Maveric Group Publications


2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000,
1999, 1998, 1997, 1996, 1995, 1994, 1993, 1992, 1991, 1990

Go back to Maveric home page index.

Updated August 14, 2008

2009

2009 Journal Papers

  • J. A. Brzozowski and N. Santean,
    Predictable Semiautomata,
    Theoretical Computer Science
    to appear.

  • J. A. Brzozowski and S. Konstantinidis,
    State-Complexity Hierarchies of Uniform Languages of Alphabet-Size Length,
    Theoretical Computer Science
    to appear.

  • T. Ang and J. A. Brzozowski,
    Languages Convex with respect to Binary Relations, and Their Closure Properties,
    Acta Cybernetica
    to appear

  • 2008

    2008 Conference Papers

  • J. A. Brzozowski and N. Santean,
    Determinism without Determinization,
    Proceedings of the 10th International Workshop on Descriptional Complexity of Formal Systems,
    pp. 109-120, July 2008.

  • J. A. Brzozowski and S. Konstantinidis,
    State-Complexity Hierarchies of Uniform Languages of Alphabet-Size Length,
    Proceedings of the 10th International Workshop on Descriptional Complexity of Formal Systems,
    pp. 97-108, July 2008.

  • T. Ang and J. A. Brzozowski,
    Continuous Languages,
    Proceedings of the 12th International Conference on Automata and Formal Languages,
    E. Csuhaj-Varju and Z. Esik, eds., Computer and Information Research Institute,
    Hungarian Academy of Sciences,
    pp. 74-85, May 2008.

    2008 Technical Reports and Preprints

  • J. A. Brzozowski, J. Shallit, and Z. Xu,
    Decision Procedures for Convex Languages,
    Preprint,
    22 pp., August 14, 2008.

  • T. Ang and J. A. Brzozowski,
    Continuous Languages,
    Technical Report CS-2008-06
    David R. Cheriton School of Computer Science
    University of Waterloo
    March 12, 2008.

  • J. A. Brzozowski and S. Konstantinidis,
    State-Complexity Hierarchies of Uniform Languages of Alphabet-Size Length,
    Technical Report CS-2008-05
    David R. Cheriton School of Computer Science
    University of Waterloo
    March 11, 2008.

  • Go to the top of this document.

    2007

    2007 Journal Papers and Contributions to Books

  • J. A. Brzozowski and H. Jurgensen,
    Representations of Semiautomata by Canonical Words and Equivalences,
    Part II: Specification of Software Modules,
    Int. J. Foundations of Computer Science,
    Vol. 18, Issue 5, pp. 1065-1087, October 2007.

    2007 Conference Papers

  • J. A. Brzozowski and Y. Ye,
    Simulation of Gate Circuits with Feedback in Multi-Valued Algebras,
    Proceedings 37th International Symposium on Multiple-Valued Logic,
    Oslo, Norway, May 14-15, 2007.

    2007 Technical Report

  • J. A. Brzozowski and N. Santean,
    Predictable Semiautomata,
    Technical Report CS-2007-03
    David R. Cheriton School of Computer Science
    University of Waterloo
    February 27, 2007.

  • Go to the top of this document.


    2006

    2006 Journal Papers and Contributions to Books

  • Y. Ye and J. A. Brzozowski,
    Covering of Transient Simulation of Feedback-Free Circuits by Binary Analysis,
    Int. J. Foundations of Computer Science,
    Vol. 17, No. 4, pp. 949-973, August 2006.

  • J. A. Brzozowski,
    Topics in Asynchronous Circuit Theory,
    in Recent Advances in Formal Languages and Applications,
    Studies in Computational Intelligence, Vol. 25,
    Z. Esik, C. Martin-Vide, and V. Mitrana, eds.,
    Springer, 2006.

  • J. A. Brzozowski,
    Representation of a Class of Nondeterministic Semiautomata by Canonical Words,
    Theoretical Computer Science,
    Vol. 356, pp. 46-57, 2006.

    2006 Technical Report

  • J. A. Brzozowski and Y. Ye,
    Gate Circuits with Feedback in Finite Algebras of Transients,
    Maveric Research Report 2006-1,
    September 27, 2006.
    pdf

  • Go to the top of this document.


    2005

    2005 Journal Papers and Contributions to Books

  • J. A. Brzozowski and H. Jurgensen,
    Representation of Semiautomata by Canonical Words and Equivalences,
    Int. J. Foundations of Computer Science,
    Vol. 16, No. 5, pp. 831-850, 2005.

  • J. A. Brzozowski and M. Gheorghiu,
    Gate Circuits in the Algebra of Transients,
    Theoretical Informatics and Applications,
    Vol. 39, No. 1, pp. 67-91, January - March, 2005.

  • 2005 Technical Reports

  • J. A. Brzozowski,
    Representation of a Class of Nondeterministic Semiautomata by Canonical Words,
    Maveric Research Report CS-2005-02,
    School of Computer Science,
    University of Waterloo, Waterloo, ON, Canada.
    July 14, 2005.
    pdf

  • Y. Ye and J. A. Brzozowski,
    Covering of Transient Simulation of Feedback-Free Circuits by Binary Analysis,
    Maveric Research Report CS-2005-01,
    School of Computer Science,
    University of Waterloo, Waterloo, ON, Canada.
    June 24, 2005.
    pdf

  • Go to the top of this document.


    2004

    2004 Journal Papers and Contributions to Books

  • J. A. Brzozowski and R. Negulescu,
    Duality for Three: Ternary Symmetry in Process Spaces,
    pp. 1-14 in
    Theory is Forever,
    Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday,
    J. Karhumaki, H. Maurer, G. Paun, and G. Rozenberg, eds.,
    LNCS 3113, Springer, 2004.

  • J. A. Brzozowski,
    Involuted Semilattices and Uncertainty in Ternary Algebras,
    International Journal of Algebra and Computation,
    Vol. 14, No. 3, pp. 295-310, 2004.

  • 2004 Conference Papers

  • J. A. Brzozowski and H. Jurgensen,
    Representation of Semiautomata by Canonical Words and Equivalences,
    Descriptional Complexity of Formal Systems, 6th Workshop,
    L.~Ilie and D.~Wotschke, eds.,
    Report No.~619, Department of Computer Science,
    University of Western Ontario, London, ON, Canada,
    pp. 13-27, July 26-28, 2004.
    pdf
    or ps.gz
    Invited paper. See also Technical Report CS-2004-30 below.

  • 2004 Technical Reports

  • J. A. Brzozowski and H. Jurgensen,
    Theory of Deterministic Trace-Assertion Specifications,
    Technical Report CS-2004-30,
    School of Computer Science,
    University of Waterloo, Waterloo, ON, Canada.
    May 2004.
    pdf or ps.gz

  • Go to the top of this document.


    2003

    2003 Journal Papers and Contributions to Books

  • J. A. Brzozowski and T. Luba,
    Decomposition of Boolean Functions Specified by Cubes,
    Journal of Multiple-Valued Logic and Soft Computing
    vol. 9, pp. 377-417, 2003.

  • M. Gheorghiu and J. A. Brzozowski,
    Simulation of Feedback-Free Circuits in the Algebra of Transients,
    Int. J. Foundations of Computer Science,
    vol. 14, no. 6, pp. 1033-1054, December 2003.

  • J. A. Brzozowski and Z. Esik,
    Hazard Algebras,
    Formal Methods in System Design,
    vol. 23, issue 3, pp. 223-256, November 2003.

  • S. Silver and J. A. Brzozowski,
    True Concurrency in Models of Asynchronous Circuit Behavior,
    Formal Methods in System Design,
    vol. 22, issue 3, pp. 183-203, May 2003.

  • J. A. Brzozowski, Z. Esik, and Y. Iland
    Algebras for Hazard Detection,
    Beyond Two - Theory and Applications of Multiple-Valued Logic,
    M. Fitting and E. Orlowska, eds.,
    Physica-Verlag, Heidelberg
    pp. 3-24, 2003.
    (Reprinted from ISMVL 2001)

  • 2003 Conference Papers

  • M. Gheorghiu and J. A. Brzozowski,
    Feedback-Free Circuits in the Algebra of Transients,
    Implementation and Application of Automata,
    J.-M. Champarnaud and D. Maurel, eds.,
    (Revised papers from CIAA 2002, Tours, France, July 2002)
    Springer Lecture Notes in Computer Science,
    vol. 2608, pp. 106-116, June 2003.
    Copyright Springer-Verlag
    pdf

  • J. A. Brzozowski and M. Gheorghiu,
    Simulation of Gate Circuits in the Algebra of Transients,
    Implementation and Application of Automata,
    J.-M. Champarnaud and D. Maurel, eds.,
    (Revised papers from CIAA 2002, Tours, France, July 2002)
    Springer Lecture Notes in Computer Science,
    vol. 2608, pp. 57-66, June 2003.
    Copyright Springer-Verlag
    pdf

  • 2003 Technical Reports

  • J. A. Brzozowski and H. Jurgensen
    Trace-Assertion Specifications of Deterministic Software Modules,
    Maveric Research Report 03-1
    School of Computer Science,
    University of Waterloo,
    Waterloo, Ontario, Canada N2L 3G1,
    28 pp., September 26, 2003, revised October 26, 2003.
    ps.gz or pdf
    NOTE: This report has been superseded by Technical Report CS-2004-30 above.

  • Go to the top of this document.


    2002

    2002 Journal Papers and Contributions to Books

  • P. R. Sidorowicz and J. A. Brzozowski,
    A Framework for Testing Special-Purpose Memories,
    IEEE Transactions on Computer-Aided Design,
    Vol. 21, No. 12, pp. 1459-1468, December 2002.

  • 2002 Conference Papers

  • M. Gheorghiu and J. A. Brzozowski,
    Feedback-Free Circuits in the Algebra of Transients,
    Pre-Proceedings of the
    7th Int. Conf. on Implementation and Application of Automata (CIAA),
    University of Tours, Tours, France, July 3 - 5, 2002.
    Copyright Springer-Verlag
    ps.gz or pdf

  • J. A. Brzozowski and M. Gheorghiu,
    Simulation of Gate Circuits in the Algebra of Transients,
    Pre-Proceedings of the
    7th Int. Conf. on Implementation and Application of Automata (CIAA),
    University of Tours, Tours, France, July 3 - 5, 2002.
    Copyright Springer-Verlag
    ps.gz or pdf

  • J. A. Brzozowski,
    Partially Ordered Structures for Hazard Detection,
    Special Session: The Many Lives of Lattice Theory,
    Joint Mathematics Meetings,
    San Diego, CA, January 6-9, 2002. (Invited Paper)
    Abstract and Bibliography, 6 pp.
    ps.gz or pdf

  • 2002 Technical Reports

  • M. Gheorghiu and J. A. Brzozowski,
    Feedback-Free Circuits in the Algebra of Transients,
    Maveric Research Report 02-3
    Department of Computer Science,
    University of Waterloo,
    Waterloo, Ontario, Canada N2L 3G1,
    10 pp., April 9, 2002.
    ps.gz or pdf

  • J. A. Brzozowski and M. Gheorghiu,
    Simulation of Gate Circuits in the Algebra of Transients,
    Maveric Research Report 02-2
    Department of Computer Science,
    University of Waterloo,
    Waterloo, Ontario, Canada N2L 3G1,
    10 pp., April 9, 2002.
    ps.gz or pdf

  • J. A. Brzozowski,
    Involuted Semilattices and Uncertainty in Ternary Algebras,
    Maveric Research Report 02-1
    Department of Computer Science,
    University of Waterloo,
    Waterloo, Ontario, Canada N2L 3G1,
    21 pp., February 2002.
    ps.gz or pdf

  • Go to the top of this document.


    2001

    2001 Journal Papers and Contributions to Books

  • J. A. Brzozowski and Z. Esik,
    Hazard Algebras, pp. 1-19 in
    Half Century of Automata Theory,
    A. Salomaa, D. Wood, and S. Yu, eds.,
    World Scientific, Singapore, 2001.

  • J. A. Brzozowski,
    A Characterization of De Morgan Algebras,
    International Journal of Algebra and Computation,
    Vol. 11, No. 5, pp. 525-527, October 2001.

  • 2001 Conference Papers

  • J. A. Brzozowski, Z. Esik, and Y. Iland,
    Algebras for Hazard Detection,
    31st IEEE International Symposium on Multiple-Valued Logic,
    Warsaw, Poland, May 22 - 24, 2001,
    IEEE Computer Society, 2001.
    Read the abstract
    ps.gz or pdf

  • 2001 Theses

  • M. Gheorghiu,
    Circuit Simulation Using a Hazard Algebra,
    MMath Thesis,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada, N2L 3G1,
    December 2001.
    (Supervised by J. A. Brzozowski)
    Read the abstract
    ps.gz or pdf
  • 2001 Technical Reports

  • J. A. Brzozowski and Z. Esik,
    Hazard Algebras,
    Maveric Research Report 00-2,
    Department of Computer Science,
    University of Waterloo,
    Waterloo, Ontario, Canada N2L 3G1,
    27 pp., July 2000; REVISED December 11, 2001.
    Read the abstract
    ps.gz or pdf

  • Z. Esik,
    Free De Morgan Bisemigroups and Bisemilattices,
    Maveric Research Report 01-1,
    Department of Computer Science,
    University of Waterloo,
    Waterloo, Ontario, Canada N2L 3G1,
    10 pp., January 2001.
    Read the abstract

    ps.gz or pdf

  • Go to the top of this document.


    2000

    2000 Encyclopedia Article

  • J. A. Brzozowski,
    Sequential Machines,
    Encyclopedia of Computer Science, Fourth Edition,
    A. Ralston, E. D. Reilly, and D. Hemminger, eds.,
    pp. 1565-1569,
    Grove's Dictionaries, Inc.,
    New York, 2000

  • 2000 Journal Papers and Contributions to Books

  • J. A. Brzozowski,
    Delay-Insensitivity and Ternary Simulation,
    Theoretical Computer Science,
    Vol. 245, Issue 1, pp. 3-25, 17 August 2000.

  • J. A. Brzozowski and H. Zhang,
    Delay-Insensitivity and Semi-Modularity,
    Formal Methods in System Design,
    Vol. 16, No. 2, pp. 187-214, March 2000.

  • J. A. Brzozowski and R. Negulescu,
    Automata of Asynchronous Behaviors,
    Theoretical Computer Science,
    Vol. 231, Issue 1, pp. 113-128, 17 January 2000.
    Special issue based on WIA97.
    See also 1998 Journal Papers and Contributions to Books,
    and 1997 Conference Papers.

  • 2000 Conference Papers

  • J. A. Brzozowski and Z. Esik,
    Hazard Algebras (extended abstract)
    Half Century of Automata Theory
    London, ON, July 26, 2000,
    Proceedings to be published by World Scientific Publishing Co. Pte. Ltd.
    Read the abstract

    Download this report (compressed postscript).

  • J. A. Brzozowski,
    De Morgan Bisemilattices,
    30th IEEE International Symposium on Multiple-Valued Logic,
    Portland, Oregon, May 23 - 25, 2000,
    pp. 173-178, IEEE Computer Society, 2000.

  • Igor Benko and Jo Ebergen,
    Composing snippets,
    ASYNC 2000,
    Eilat, Israel, April 2-6, 2000
    Dowload this report as compressed postscript, pdf.

  • 2000 Theses

  • P. R. Sidorowicz,
    A Formal Framework for Modeling and Testing Memories,
    PhD Thesis,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada, N2L 3G1,
    January 2000.
    (Supervised by J. A. Brzozowski)
    Read the abstract
    Download this report (compressed postscript).

  • 2000 Technical Reports

  • J. A. Brzozowski and Z. Esik,
    Hazard Algebras,
    Maveric Research Report 00-2,
    Department of Computer Science,
    University of Waterloo,
    Waterloo, Ontario, Canada N2L 3G1,
    27 pp., July 2000; REVISED December 11, 2001.
    Read the abstract
    Download this report (compressed postscript).

  • J. A. Brzozowski,
    De Morgan Bisemilattices,
    Maveric Research Report 00-1,
    Department of Computer Science,
    University of Waterloo,
    Waterloo, Ontario, Canada N2L 3G1,
    12 pp., January 2000.
    Read the abstract
    Download this report (compressed postscript).

  • Go to the top of this document.


    1999

    Erratum

  • Erratum to the paper
    "J. A. Brzozowski and H. Jurgensen, An Algebra of Multiple Faults in RAMs,
    Journal of Electronic Testing: Theory and Applications,
    Vol. 8, No. 2, pp. 129-142, April 1996."
    Journal of Electronic Testing: Theory and Applications,
    Vol. 14, No. 3, pp. 305-306, June 1999.
    Download this report
    (compressed postscript).
    March 1999.
  • 1999 Journal Papers and Contributions to Books

  • J. A. Brzozowski and H. Jurgensen,
    Semilattices of Fault Semiautomata,
    pp. 3-15 in Jewels are Forever,
    J. Karhumaki, H. Maurer, G. Paun and G. Rozenberg, eds.,
    Springer-Verlag, Berlin, 1999.

  • J. A. Brzozowski and J. J. Lou,
    Blanket Algebra for Multiple-Valued Function Decomposition,
    pp. 262-276 in Algebraic Engineering ,
    C. L. Nehaniv and M. Ito, eds.,
    World Scientific Publishing Co. Pte. Ltd.,
    1999.

  • J. A. Brzozowski,
    Some Applications of Ternary Algebras,
    Publicationes Mathematicae (Debrecen).
    Vol. 54, Supplement, pp. 583-589, 1999.
    Read the abstract
    Download this report (compressed postscript).

  • 1999 Conference Papers

  • J. J. Lou and J. A. Brzozowski,
    A Generalization of Shestakov's Function Decomposition Method,
    29th IEEE International Symposium on Multiple-Valued Logic,
    Freiburg, Germany, May 20 - 22, 1999,
    pp. 66-71, IEEE Computer Society, 1999.

  • P. R. Sidorowicz,
    Modeling and Testing Transistor Faults in Content-Addressable Memories,
    1999 IEEE International Workshop on Memory Technology, Design and Testing,
    San Jose, CA, August 9 -10, 1999. pp. 83-90.
    Read the abstract .
    Download this paper
    REVISED July 11, 1999 .

  • 1999 Theses

  • I. Benko,
    ECF Processes and Asynchronous Circuit Design,
    PhD Thesis,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada, N2L 3G1,
    August 1999.
    (Supervised by J. C. Ebergen)
    Download this report compressed postscript , pdf .

  • M. Shams,
    Modeling and Optimization of CMOS Logic Circuits with Application to Asynchronous Design,
    PhD Thesis,
    Department of Electrical and Computer Engineering,
    University of Waterloo, Waterloo, Ontario, Canada, N2L 3G1,
    May 1999.
    (Co-supervised by J. C. Ebergen and M. I. Elmasry)
    Download this report (compressed postscript).

  • S. Silver,
    True Concurrency in Models of Asynchronous Circuit Behavior,
    MMath Thesis,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada, N2L 3G1,
    January 1999.
    (Supervised by J. A. Brzozowski)
    Download this report (compressed postscript).

  • 1999 Technical Reports

  • J. A. Brzozowski,
    A Characterization of De Morgan Algebras,
    Maveric Research Report 99-2,
    Department of Computer Science,
    University of Waterloo,
    Waterloo, Ontario, Canada N2L 3G1,
    4 pp., September 1999.
    Download this report (compressed postscript).

  • P. R. Sidorowicz,
    Evaluating Tests for Input Stuck-at Faults in Word-Oriented Static Random-Access Memories,
    Research Report CS-99-05,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    25 pp., March 1999.
    Read the abstract
    Download this report (compressed postscript)

  • J. A. Brzozowski and H. Jurgensen,
    Semilattices of Fault Semiautomata,
    Maveric Research Report 99-1,
    Department of Computer Science,
    University of Waterloo,
    Waterloo, Ontario, Canada N2L 3G1,
    January 1999.
    Read the abstract
    Download this report (compressed postscript).

  • Go to the top of this document.


    1998

    1998 Journal Papers and Contributions to Books

  • C.-J. Shi and J. A. Brzozowski,
    A Characterization of Signed Hypergraphs and Its Applications
    to VLSI Minimization and Logic Synthesis,
    Discrete Applied Mathematics,
    Vol. 89, No. 1-3, December 1998.

  • J. A. Brzozowski and R. Negulescu,
    Automata of Asynchronous Behaviors,
    pp. 29-45 in D. Wood and S. Yu, eds., "Automata Implementation",
    (Second International Workshop on Implementing Automata (WIA97),
    London, Ontario, Canada, September 18-20, 1997: REVISED PAPERS)
    Lecture Notes in Computer Science, LNCS 1436
    Springer, Berlin, 1998.

  • C.-J. Shi and J. A. Brzozowski,
    Cluster-Cover: A Theoretical Framework for a Class
    of VLSI-CAD Optimization Problems,
    ACM Trans. on Design Automation of Electronic Systems,
    Vol. 3, No. 1, pp. 76-107, January 1998.

  • R. Negulescu and J. A. Brzozowski,
    Relative Liveness: From Intuition to Automated Verification
    Formal Methods in System Design,
    Vol. 12, No. 1, pp. 73-115, January 1998.

    1998 Conference Papers

  • P. R. Sidorowicz and J. A. Brzozowski,
    Verification of CAM Tests for Input Stuck-at Faults,
    1998 IEEE International Workshop on Memory Technology, Design and Testing,
    San Jose, CA, August 24 - 25, 1998. pp. 76-82.
    Read the abstract .
    Download this paper;
    minor revision September 3, 1998
    .

  • P. R. Sidorowicz and J. A. Brzozowski,
    An Approach to Modeling and Testing Memories and its Application to CAMs,
    16th IEEE VLSI Test Symposium ,
    Monterey, CA, April 27 - 30, 1998, pp. 411-416.
    Read the abstract.
    Download this paper.

  • J. C. Ebergen, S. Fairbanks, and I. E. Sutherland,
    Predicting Performance of Micropipelines Using Charlie Diagrams,
    Fourth International Symposium on Advanced Research in Asynchronous
    Circuits and Systems, ASYNC '98
    ,
    San Diego, CA, March 30 - April 2, 1998.

  • R. Negulescu and A. M. G. Peeters,
    Verification of Speed-Dependences in Single-Rail Handshake Circuits,
    Fourth International Symposium on Advanced Research in Asynchronous
    Circuits and Systems (ASYNC '98)
    ,
    San Diego, CA, March 30 - April 2, 1998, pp. 159-170.
    Read the abstract.
    Download this paper.

  • R. Negulescu,
    Event-Driven Verification of Switch-Level Correctness Concerns,
    International Conference on Application of Concurrency to System Design (CSD '98),
    Aizu-Wakamatsu City, Fukushima, Japan, March 23 - 26, 1998, pp. 213-223.
    Read the abstract.
    Download this paper.

  • 1998 Theses

  • R. Berks,
    Performance Analysis of Asynchronous Networks,
    PhD Thesis,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada, N2L 3G1,
    July 1998.
    (Supervised by J. C. Ebergen)
    Read the abstract
    Download this report (compressed postscript).

  • J. J. Lou,
    Decompositions of Multi-Valued Functions,
    MMath Thesis,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada, N2L 3G1,
    August 1998.
    (Supervised by J. A. Brzozowski)
    Read the abstract
    Download this report (compressed postscript).

  • R. Negulescu,
    Process Spaces and Formal Verification of Asynchronous Circuits,
    PhD Thesis,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada, N2L 3G1,
    August 1998.
    (Supervised by J. A. Brzozowski)
    Read the abstract
    Download this report (compressed postscript).

  • 1998 Technical Reports

  • S. J. Silver and J. A. Brzozowski,
    Delay-Insensitivity and True Concurrency,
    Maveric Research Report,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    November 1998. Revised April 1999.
    Read the abstract
    Download this report (compressed postscript).

  • Decomposition of Boolean Functions Specified by Cubes:
    J. A. Brzozowski and T. Luba,
    Part I: Theory of Serial Decompositions Using Blankets;
    M. Nowicka and T. Luba,
    Part II: Practical Results.
    These papers represent a very major revision of an earlier technical report.
    Much new material has been added, and the presentation has been improved.
    Research Report CS-97-01 REVISED
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    October 1998.
    Read the abstract
    Download Part I
    (compressed postscript).
    Read the abstract
    Download Part II (compressed postscript).

  • J. A. Brzozowski and H. Zhang,
    Delay-Insensitivity and Semi-Modularity,
    Research Report CS-97-11,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    23 pp., March 1997. REVISED, 27 pp., July 1998.
    Read the abstract
    Download this report (compressed postscript).

  • J. J. Lou and J. A. Brzozowski,
    A Formalization of Shestakov's Decomposition,
    Research Report CS-98-03,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    19 pp., February 1998.
    Read the abstract
    Download this report (compressed postscript)

  • P. R. Sidorowicz and J. A. Brzozowski,
    Testing for Input Stuck-at Faults in Content-Addressable Memories,
    Research Report CS-98-02,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    37 pp., April 1998; minor revision, September 3, 1998.
    Read the abstract
    Download this report (compressed postscript)

  • Go to the top of this document.


    1997

    1997 Journal Papers and Contributions to Books

  • J. A. Brzozowski, J. J. Lou, and R. Negulescu,
    A Characterization of Finite Ternary Algebras,
    International Journal of Algebra and Computation,
    Vol. 7, No. 6, pp. 713-721, 1997.

  • R. David, J. A. Brzozowski, and H. Jurgensen,
    Testing for Bounded Faults in RAMs,
    Journal of Electronic Testing: Theory and Applications,
    Vol. 10, No. 3, pp. 197-214, June 1997.

    1997 Conference Papers

  • R. Negulescu,
    A Technique for Finding and Verifying Speed-Dependences in Gate Circuits,
    1997 ACM/IEEE International Workshop on Timing Issues in the Specification
    and Synthesis of Digital Systems
    ,
    Austin, Texas, December 4-5, 1997, pp. 189-198.
    Read the abstract
    Download the report (compressed postscript).

  • R. Berks and J. Ebergen,
    Response Time Properties of Asynchronous Linear Pipelines,
    1997 ACM/IEEE International Workshop on Timing Issues in the Specification
    and Synthesis of Digital Systems
    ,
    Austin, Texas, December 4-5, 1997.
    Read the abstract
    Download this report (compressed postscript).

  • J. A. Brzozowski and R. Negulescu,
    Automata of Asynchronous Behaviors,
    Second International Workshop on Implementing Automata (WIA97),
    London, Ontario, Canada, September 18-20, 1997
    Participants' Proceedings, pp. 77-88 (invited paper).
    Read the abstract
    See also 1998 Journal Papers and Contributions to Books above.

  • J. Ebergen and R. Berks,
    Response Time Properties of Some Asynchronous Circuits,
    Third International Symposium on Advanced Research in Asynchronous
    Circuits and Systems, ASYNC '97
    ,
    Eindhoven, The Netherlands, April 7-10, 1997.
    Read the abstract
    Download this report (compressed postscript).

  • J. A. Brzozowski,
    Delay-Insensitivity and Ternary Simulation,
    First International Conference on Semigroups
    and Algebraic Engineering,
    Aizu-Wakamatsu City, Japan, March 24-28, 1997.
    (invited paper, to be published in Theoretical Computer Science)
    Read the abstract
    Download this report (compressed postscript).

  • J. A. Brzozowski and J. J. Lou,
    Blanket Algebra for Multiple-Valued Function Decomposition,
    Proceedings of the International Workshop on Formal Languages
    and Computer Systems,
    Kyoto, Japan, March 18-21, 1997.
    (invited paper, to be published by World Scientific)
    Read the abstract
    Download this report (compressed postscript)
    REVISED February 12, 1998; minor revision July 22, 1998).

    1997 Theses and Essays

  • B. Schubert,
    How to use Sorting Procedures to Minimize a DFA,
    MSc Thesis,
    Department of Computer Science,
    University of Western Ontario, London, Ontario, Canada, N6A 5B7,
    May 1997.
    (Supervised by H. Jurgensen)

  • H. Zhang,
    Delay-Insensitive Networks,
    MMath Thesis,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    June 1997.
    1997 University of Waterloo Outstanding Achievement in Graduate Studies
    1997 University of Waterloo Alumni Gold Medal
    (Supervised by J. A. Brzozowski)
    Read the abstract
    Download this report (compressed postscript).

    1997 Technical Reports

  • H. Zhang and J. A. Brzozowski,
    Strong Delay-Insensitivity and the JTU-Rules,
    Maveric Research Report,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    October 1997.
    Read the abstract
    Download this report (compressed postscript).

  • R. Negulescu,
    A Technique for Finding and Verifying Speed-Dependences in Gate Circuits,
    Research Report CS-97-28,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    28 pp., August 1997.
    Read the abstract
    Download this report (compressed postscript).

  • R. Berks and J. Ebergen,
    Response Time Properties of Asynchronous Linear Pipelines,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    14 pp., July 1997.
    Read the abstract
    Download this report (compressed postscript).

  • J. A. Brzozowski and H. Zhang,
    Delay-Insensitivity and Semi-Modularity,
    Research Report CS-97-11,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    23 pp., March 1997.
    Read the abstract
    Download this report (compressed postscript).

  • J. Ebergen and R. Berks,
    Response Time Properties of Some Asynchronous Circuits,
    Research Report CS-97-02,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    18 pp., January 1997.
    Read the abstract
    Download this report (compressed postscript).

  • J. A. Brzozowski and T. Luba,
    Decomposition of Boolean Functions Specified by Cubes,
    Research Report CS-97-01,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    36 pp., January 1997.
    Read the abstract
    Download this report (compressed postscript).

  • Go to the top of this document.


    1996

    1996 Journal Papers and Contributions to Books

  • H. Jurgensen and S. Konstantinidis,
    Codes,
    Handbook of Formal Language Theory, G. Rozenberg and A. Salomaa (editors), Springer-Verlag, Berlin, pp. 511 - 607, 1996. (See also Report No. 484 below.)

  • J. Segers and J. C. Ebergen,
    Design and Analysis of Up-Down Counters,
    Science of Computer Programming,
    No. 27, pp. 185-204, 1996.

  • J. A. Brzozowski and H. Jurgensen,
    An Algebra of Multiple Faults in RAMs,
    Journal of Electronic Testing: Theory and Applications, Vol. 8, No. 2,
    pp. 129-142, April 1996.
    Please see the erratum posted on March 1999 under the 1999 publications.

  • J. A. Brzozowski and H. Jurgensen,
    Applications of Automata and Languages to Testing,
    Publicationes Mathematicae (Debrecen).
    Vol. 48, No. 3-4, pp. 201-215, 1996.
    AMS Review

    1996 Conference Papers

  • M. Shams, J. C. Ebergen, and M. I. Elmasry, A Comparison of CMOS Implementations of an Asychronous Circuits Primitive: the C-element, Proceedings of the International Symposium on Low Power Electronics and Design, Monterrey, CA, August 12-14, IEEE Computer Society Press, pp. 93-96, 1996.

  • J. A. Brzozowski, Some Applications of Ternary Algebras, 8th International Conference on Automata and Formal Languages, Salgotarjan, Hungary, July 29 - August 2, 1996. Proceedings to be published in Publicationes Mathematicae (Debrecen). (Invited paper)
    Read the abstract
    Download this report (compressed postscript).

    1996 Technical Reports

  • H. Jurgensen and S. Konstantinidis,
    Codes,
    Report No. 484,
    Department of Computer Science,
    The University of Western Ontario, London, Ontario, Canada N6A 5B7,
    87 pp., 1996.

  • J. A. Brzozowski, J. Lou, and R. Negulescu,
    A Characterization of Finite Ternary Algebras,
    Reaserch Report CS-96-26,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    9 pp., July 1996.
    Read the abstract
    Download this report (compressed postscript).

  • Go to the top of this document.


    1995

    Monograph

  • J. A. Brzozowski and C-J. H. Seger, Asynchronous Circuits, Springer-Verlag, New York, NY, 1995, 404 pp.

    1995 Journal Papers and Contributions to Books

  • J. C. Ebergen, J. Segers, and I. Benko, Parallel Program and Asynchronous Circuit Design, in Asynchronous Digital Hardware Design, Workshops in Computing, Springer Verlag, Chapter 2, 1995, pp. 50-104.
    Read the abstract
    Download this document (compressed postscript).

    1995 Conference Papers

  • S. Hessabi, K. Raahemifar, and M. I. Elmasry, A Design-for-Testability Technique for CMOS/BiCMOS Logic Circuits, Proceedings of the Seventh International Conference on Microelectronics (ICM), Malaysia, December 1995.

  • K. Raahemifar, S. Hessabi, and M. I. Elmasry, A Design-for-Testability Technique for Shorts and Bridging Faults in BiCMOS Logic Families, Proceedings of the 1995 Canadian Conference on Electrical and Computer Engineering, Vol. 1, Montreal, Canada, September 5-8, 1995, pp. 221-224.

  • T. Bogue, M. Gossel, and H. Jurgensen, BIST with Negligible Aliasing through Random Cover Circuits, Proceedings of the Asia and South Pacific Design Automation Conference, Makuhari, Chiba, Japan, August 29-September 1, 1995, IEEE Computer Society Press, pp. 223-228.

  • C.-J. Shi and J. A. Brzozowski, A Framework for the Analysis and Design of Algorithms for a Class of VLSI Optimization Problems, Proceedings of the Asia and South Pacific Design Automation Conference, Makuhari, Chiba, Japan, August 29-September 1, 1995, IEEE Computer Society Press, pp.67-74. (Nominated for Best Paper Award)

  • J. A. Brzozowski and H. Jurgensen, Composition of Multiple Faults in RAMs, Records of the 1995 IEEE International Workshop on Memory Technology, Design and Testing, San Jose, CA, August 7-8, 1995, IEEE Computer Society Press, pp. 123-128.

  • J. A. Brzozowski and K. Raahemifar, Testing C-Elements Is Not Elementary, Proceedings of the Second Working Conference on Asynchronous Design Methodologies, South Bank University, London, UK, May 30-31, 1995, IEEE Computer Society Press, pp. 150-159.

  • R. Negulescu and J. A. Brzozowski, Relative Liveness: From Intuition to Automated Verification, Proceedings of the Second Working Conference on Asynchronous Design Methodologies, South Bank University, London, UK, May 30-31, 1995, IEEE Computer Society Press, pp. 108-117.

    1995 Technical Reports

  • R. Negulescu,
    Process Spaces,
    Research Report CS-95-48,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    30 pp., December 1995.
    Read the abstract
    Download this report (compressed postscript).

  • R. Negulescu and J. A. Brzozowski,
    Relative Liveness: From Intuition to Automated Verification,
    Research Report CS-95-32,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    50 pp., July 1995.
    Read the abstract
    Download this report (compressed postscript).

  • J. A. Brzozowski and H. Jurgensen,
    An Algebra of Multiple Faults in RAMs,
    Research Report CS-95-18,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    22 pp., May 1995.
    Read the abstract
    Download this report (compressed postscript).

    1995 Other Publications

  • J. C. Ebergen and R. Berks, VERDECT: A Verifier for Asynchronous Circuits, Newsletter of the Technical Committee on Computer Architecture (TCCA), IEEE Computer Society Press, 10 pp., October 1995.
    Download this report (compressed postscript).

  • Go to the top of this document.

    Go back to Maveric home page index.


    1994

    1994 Journal Papers and Contributions to Books

  • J. A. Brzozowski and H. Jurgensen, Component Automata and RAM Faults, in Words, Languages and Combinatorics II, M. Ito and H. Jurgensen, eds., World Scientific Publishing Co. Pte. Ltd., Singapore, pp. 49-67, 1994.

  • C-J. Seger and J. A. Brzozowski, Generalized Ternary Simulation of Sequential Circuits, Theoretical Informatics and Applications , Vol. 28, No. 3-4, pp. 159-186, 1994.

    1994 Conference Papers

  • I. Benko and J. C. Ebergen, Delay-Insensitive Solutions to the Committee Problem, Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, IEEE Computer Society Press, 1994, pp. 228-239.

  • T. Bogue, M. Gossel, and H. Jurgensen, Design of Cover Circuits for Monitoring the Output of a MISA, Proceedings of the IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems, Montreal, Canada, 1994, pp. 124-132.

    1994 Theses and Essays

  • J. Ning, Solutions to the Readers-Writers Problem Using Delay-Insensitive Circuits,
    MMath essay, Department of Computer Science, University of Waterloo,
    Waterloo, Ontario, Canada N2L 3G1, May 1994. (Supervised by J. C. Ebergen)

  • C.-J. Shi, Optimum Logic Encoding and Layout Wiring for VLSI Design: A Graph-Theoretic Approach,
    PhD Thesis, Department of Computer Science, University of Waterloo,
    Waterloo, Ontario, Canada N2L 3G1, May 1994.
    1995 NSERC Doctoral Prize
    University of Waterloo Outstanding Achievement in Graduate Studies Award
    (Supervised by J. A. Brzozowski)

    1994 Technical Reports

  • J. A. Brzozowski and H. Jurgensen,
    Applications of Automata and Languages to Testing,
    Report No. 420,
    Department of Computer Science,
    The University of Western Ontario, London, Ontario, Canada N6A 5B7,
    11 pp., 1994.

  • Go to the top of this document.

    Go back to Maveric home page index.


    1993

    1993 Journal Papers and Contributions to Books

  • J. A. Brzozowski, Sequential Machines, Encyclopedia of Computer Science, Third Edition, A. Ralston and E.D. Reilly, eds., Van Nostrand Reinhold, New York, NY, pp. 1191-1195, 1993.

  • C.-J. Shi and J. A. Brzozowski, An Efficient Algorithm for Constrained Encoding and Its Applications, IEEE Trans. on Computer-Aided Design, Vol. 12, No. 12, pp. 1813-1826, December 1993.

    1993 Conference Papers

  • J. A. Brzozowski and H. Jurgensen, An Automaton Theoretic Approach to Circuit Testing, Abstracts of the Seventh Conference on Automata and Formal Languages, Salgotarjan, Hungary, May 18-21, 1993.

  • R. David, J. A. Brzozowski and H. Jurgensen, Random Test Length for Bounded Faults in RAMs, Proceedings of the European Test Conference ETC93, Rotterdam, The Netherlands, IEEE Computer Society Press, Los Alamitos, CA, pp. 149-158, April 19-24, 1993.

  • J. A. Brzozowski and C-J. Seger, Asynchronous Behaviors and Fundamental-Mode Realizations, Seminar Report No. 54 on Automata Theory: Distributed Models, Dagstuhl, Germany, pp. 4-5, January 11--15, 1993.

    1993 Theses and Essays

  • T. M. Bogue, Random Testing of Integrated Circuits, MSc thesis, Department of Computer Science, The University of Western Ontario, London, Ontario, Canada N6A 5B7, 1993. (Supervised by H. Jurgensen.)

  • S. Gingras, Verifying Decompositions of Command-Based Specifications, MMath thesis, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1, October 1993. (Supervised by J. C. Ebergen.)

  • P. Mayo, Decision Diagrams for Ternary Expressions, MMath essay, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1, October 1993. (Supervised by J. A. Brzozowski.)

  • I. Benko, The Committee Problem and Delay-Insensitive Circuits, MMath thesis, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1, May 1993. (Supervised by J.C. Ebergen.)
    Read the abstract
    Download this document (compressed postscript).

  • J. Segers, The Design and Analysis of Asynchronous Up-Down Counters, thesis for the degree `Ingenieur in de Technische Informatica' from Eindhoven University of Technology, May 1993. (Supervised by J. C. Ebergen; research done at Waterloo.)

  • Go to the top of this document.

    Go back to Maveric home page index.


    1992

    1992 Journal Papers and Contributions to Books

  • J. A. Brzozowski and J. C. Ebergen, On the Delay-Sensitivity of Gate Networks, IEEE Transactions on Computers, Vol. 41, No. 10, pp. 1349-1360, November 1992.

  • B. F. Cockburn and J. A. Brzozowski, Near-Optimal Tests for Classes of Write-Triggered Coupling Faults in RAMs, J. Electronic Testing: Theory and Applications, Vol. 3, No. 3, pp. 251-264, August 1992.

  • J. A. Brzozowski and H. Jurgensen, A Model for Sequential Machine Testing and Diagnosis, J. Electronic Testing: Theory and Applications, Vol. 3, No. 3, pp. 219-234, August 1992.

    1992 Conference Papers

  • J. A. Brzozowski and H. Jurgensen, Automaton Theoretic Considerations in Circuit Testing, Proceedings 2. Theorietag, Kiel, Germany, October 2-3, 1992.

  • C.-J. Shi and J. A. Brzozowski, Efficient Constrained Encoding for VLSI Sequential Logic Synthesis, Proceedings of the European Design Automation Conference, EURO-DAC '92, Hamburg, Germany, IEEE Computer Society Press, Los Alamitos, CA, pp. 266-271, September 7-10, 1992.

  • J. A. Brzozowski and H. Jurgensen, Component Automata and RAM Faults, Abstracts of the Second International Colloquium on Words, Languages and Combinatorics, Kyoto Sangyo University, Kyoto, Japan, pp. 6-10, August 25-28, 1992.

    1992 Theses and Essays

  • P. Wong, A Language Theoretic Approach to Fault Coverage and Fault Testing, MSc thesis, Department of Computer Science, The University of Western Ontario, London, Ontario, Canada N6A 5B7, 1992. (Supervised by H. Jurgensen.)

    1992 Technical Reports

  • J. A. Brzozowski and H. Jurgensen,
    Component Automata and RAM Faults,
    Report No. 324,
    Department of Computer Science,
    The University of Western Ontario, London, Ontario, Canada N6A 5B7,
    23 pp., 1992.

  • R. David, J. A. Brzozowski, and H. Jurgensen,
    Testing for Bounded Faults in RAMs,
    Research Report No. CS-92-30,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    May 1992.

  • C.-J. Shi and J. A. Brzozowski,
    An Efficient Algorithm for Constrained Encoding and Its Applications,
    Research Report No. CS-92-20,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    April 1992.

  • Go to the top of this document.

    Go back to Maveric home page index.


    1991

    1991 Journal Papers and Contributions to Books

  • J. A. Brzozowski, A. J. Gahlinger and F. Mavaddat, Consistency and Satisfiability of Waveform Timing Specifications, Networks, Vol. 21, No. 1, pp. 91-107, January 1991.

    1991 Conference Papers

  • B. F. Cockburn and J. A. Brzozowski, Near-Optimal Tests for Classes of Write-Triggered Coupling Faults in RAMs, poster paper, International Test Conference, Nashville, Tennessee, October 28-November 1, 1991.

    1991 Technical Reports

  • B. F. Cockburn and J. A. Brzozowski,
    Near-Optimal Tests for Classes of Coupling Faults in RAMs,
    Research Report CS-91-01,
    Department of Computer Science,
    University of Waterloo, Waterloo, Ontario, Canada N2L 3G1,
    18 pp., January 1991.

    1991 Other Publications

  • J. A. Brzozowski and C-J. Seger,
    Advances in Asynchronous Circuit Theory---Part II:
    Bounded-Delay Models, MOS Circuits, Design Techniques,
    Bulletin of the European Association for Theoretical Computer Science,
    No. 43, pp. 199-263, February 1991.

  • Go to the top of this document.

    Go back to Maveric home page index.


    1990

    1990 Journal Papers and Contributions to Books

  • J. A. Brzozowski and B. F. Cockburn, Detection of Coupling Faults in RAMs, Journal of Electronic Testing: Theory and Applications, Vol. 1, No. 2, pp. 151-162, May 1990.

  • B. F. Cockburn and J. A. Brzozowski, Switch-Level Testability of the Dynamic CMOS PLA, Integration, The VLSI Journal, Vol. 9, No. 1, pp. 49-80, February 1990.

    1990 Theses and Essays

  • B. F. Cockburn, Fault Models and Tests for Coupling Faults in Random-Access Memories, PhD thesis, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1, October 1990. (Supervised by J. A. Brzozowski.)

    1990 Technical Reports

  • J. A. Brzozowski and J. C. Ebergen,
    On the Delay-Sensitivity of Gate Networks,
    Computing Science Notes 90/05,
    Department of Mathematics and Computing Science,
    Eindhoven University of Technology,
    Eindhoven, The Netherlands,
    23 pp., June 1990.

    1990 Other Publications

  • J. A. Brzozowski and C-J. Seger,
    Advances in Asynchronous Circuit Theory---Part I:
    Gate and Unbounded Inertial Delay Models,
    Bulletin of the European Association for Theoretical Computer Science,
    No. 42, pp. 198-249, October 1990.

    Go to the top of this document.

    Go back to Maveric home page index.