Michael Theobald

发表

Generalized latency-insensitive systems for single-clock and multi-clock architectures

Montek Singh, Michael Theobald, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

Espresso-HF: a heuristic hazard-free minimizer for two-level logic

Tao Wu, Steven M. Nowick, Michael Theobald, 1996, DAC '96.

Self-Timed Carry-Lookahead Adders

Stephen H. Unger, Michael Theobald, Fu-Chiung Cheng, 2000, IEEE Trans. Computers.

Symbolic Model Checking of Software

Flavio Lerda, Michael Theobald, Nishant Sinha, 2003, SoftMC@CAV.

Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic

David E. Shaw, Ron O. Dror, Michael Theobald, 2008, 2008 45th ACM/IEEE Design Automation Conference.

Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems

Sandeep K. Shukla, Michael Theobald, 2006, Formal Methods Syst. Des..

Anton, a special-purpose machine for molecular dynamics simulation

John L. Klepeis, J. P. Grossman, Brian Towles, 2007, ISCA '07.

SAT-based algorithms for logic minimization

Edmund M. Clarke, Samir Sapra, Michael Theobald, 2003, Proceedings 21st International Conference on Computer Design.

Synthesis of low-power asynchronous circuits in a specified environment

Steven M. Nowick, Michael Theobald, 1997, Proceedings of 1997 International Symposium on Low Power Electronics and Design.

On the Expressive Power of OKFDDs

Rolf Drechsler, Bernd Becker, Michael Theobald, 1997, Formal Methods Syst. Des..

Using Open and Interoperable Ways to Publish and Access LANCE AIRS Near-Real Time Data

Wenli Yang, Andrey Savtchenko, Christopher S. Lynnes, 2011 .

Generalized Latency-Insensitive Systems for GALS Architectures

Montek Singh, Michael Theobald, M. Theobald, 2003 .

Hardware support for fine-grained event-driven computation in Anton 2

J. P. Grossman, Brian Towles, Joseph A. Bank, 2013, ASPLOS '13.

Delay-insensitive carry-lookahead adders

Stephen H. Unger, Michael Theobald, Fu-Chiung Cheng, 1997, Proceedings Tenth International Conference on VLSI Design.

Hierarchical simulation-based verification of Anton, a special-purpose parallel machine

J. P. Grossman, Brian Towles, David E. Shaw, 2008, 2008 IEEE International Conference on Computer Design.

Fast OFDD based minimization of fixed polarity Reed-Muller expressions

Bernd Becker, Michael Theobald, Rolf Drechsler, 1994, EURO-DAC '94.

Transformations for the synthesis and optimization of asynchronous distributed control

Steven M. Nowick, Michael Theobald, 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams

Rolf Drechsler, Bernd Becker, Marek A. Perkowski, 1994, 31st Design Automation Conference.

MINIMALIST: An Environment for the Synthesis, Verification and Testability of Burst-Mode Asynchronous Machines

Niraj K. Jha, Bill Lin, Luis A. Plana, 1999 .

Fast heuristic and exact algorithms for two-level hazard-free logic minimization

Steven M. Nowick, Michael Theobald, 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Efficient algorithms for the design of asynchronous control circuits

Steven M. Nowick, Michael Theobald, 2002 .

An implicit method for hazard-free two-level logic minimization

Steven M. Nowick, Michael Theobald, 1998, Proceedings Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems.

OKFDDs versus OBDDs and OFDDs

Rolf Drechsler, Bernd Becker, Michael Theobald, 1995, ICALP.

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

Joël Ouaknine, Olaf Stursberg, Edmund M. Clarke, 2003, Int. J. Found. Comput. Sci..

Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer

J. P. Grossman, Brian Towles, Joseph A. Bank, 2014, SC14: International Conference for High Performance Computing, Networking, Storage and Analysis.

Trauer um Lazarus : Womit die Juden Martha und Maria zu trösten suchten (Joh 11,19)

Michael Theobald, 2005 .

Proof-guided underapproximation-widening for multi-process systems

Ofer Strichman, Orna Grumberg, Flavio Lerda, 2005, POPL '05.

Facilitating NASA Earth Science Data Processing Using Nebula Cloud Computing

Aijun Chen, Steven Kempler, Christopher S. Lynnes, 2011 .

Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement

Olaf Stursberg, Edmund M. Clarke, Bruce H. Krogh, 2003, TACAS.