PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Theobald, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems.

, , , , , , and . Int. J. Found. Comput. Sci., 14 (4): 583-604 (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Beltle University of Stuttgart

Measurement and Simulation of the Shielding Effectiveness of Planar Material with Apertures using a ASTM D4935 TEM Cell, , and . 2023 International Symposium on Electromagnetic Compatibility : EMC Europe, IEEE, (2023)
Measurement and Simulation of the Shielding Effectiveness of Planar Material with Apertures using a ASTM D4935 TEM Cell, , and . 2023 International Symposium on Electromagnetic Compatibility : EMC Europe, IEEE, (2023)Using capacitive electric field sensors to measure transient overvoltages : a case study, , , , and . 23rd International Symposium on High Voltage Engineering (ISH 2023), page 20-25. Stevenage, Institution of Engineering and Technology, (2023)Measurement System for Surface Potentials in Realistic HVDC-GIS Environments, , , and . 23rd International Symposium on High Voltage Engineering (ISH 2023), page 543-547. Stevenage, Institution of Engineering and Technology, (2023)

Michael Luckert University of Stuttgart

Michael Weber University of Stuttgart

Michael Böhm

Michael Funk

 

Other publications of authors with the same name

Fast OFFD-Based Minimization of Fixed Polarity Reed-Muller Expressions., , and . IEEE Trans. Computers, 45 (11): 1294-1299 (1996)On the Expressive Power of OKFDDs., , and . Formal Methods in System Design, 11 (1): 5-21 (1997)Delay-Insensitive Carry-Lookahead Adders., , , and . VLSI Design, page 322-328. IEEE Computer Society, (1997)Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems., , , , , , and . Int. J. Found. Comput. Sci., 14 (4): 583-604 (2003)Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement., , , , , and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 192-207. Springer, (2003)Generalized Latency-Insensitive Systems for Single-Clock and Multi-Clock Architectures., and . DATE, page 1008-1013. IEEE Computer Society, (2004)Self-Timed Carry-Lookahead Adders., , and . IEEE Trans. Computers, 49 (7): 659-672 (2000)Anton, a special-purpose machine for molecular dynamics simulation., , , , , , , , , and 17 other author(s). ISCA, page 1-12. ACM, (2007)Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic., , , , , and . DAC, page 268-271. ACM, (2008)Symbolic Model Checking of Software., , and . Electron. Notes Theor. Comput. Sci., 89 (3): 480-498 (2003)