( en | de | ru )

 

Disambiguation of "Lüttgen, Gerald"

Author of the publication

copydeleteadd this publication to your clipboard
Using formal specifications to support testing.

, , , , , , , , , , , , , , and . ACM Comput. Surv., 41 (2): 9:1-9:76 (2009)

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.

Gerald Lüttgen

Walter Lüttgen

Holger Lüttgen

Jenna Lüttgen

Karsten Lüttgen

 

Other publications of authors with the same name

What Is in a Step: New Perspectives on a Classical Question., , and . Essays in Memory of Amir Pnueli, volume 6200 of Lecture Notes in Computer Science, page 370-399. Springer, (2010)Modeling and Verifying Distributed Systems Using Priorities: A Case Study., , , and . Softw. Concepts Tools, 17 (2): 50-62 (1996)Bisimulation on speed: A unified approach., and . Theor. Comput. Sci., 360 (1-3): 209-227 (2006)The intuitionism behind Statecharts steps., and . ACM Trans. Comput. Log., 3 (1): 1-41 (2002)Measuring and Evaluating Parallel State-Space Exploration Algorithms., and . PDMC@CAV, volume 198 of Electronic Notes in Theoretical Computer Science, page 47-61. Elsevier, (2007)A-maze-ing Esterel., , and . SLAP, volume 88 of Electronic Notes in Theoretical Computer Science, page 21-37. Elsevier, (2003)Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams., , and . TACAS, volume 4424 of Lecture Notes in Computer Science, page 648-663. Springer, (2007)Accessing Databases within Esterel., and . SYNCHRON, volume 04491 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)Heap Patterns for Memory Graph Visualization., and . VISSOFT, page 162-166. IEEE, (2022)DSI: an evidence-based approach to identify dynamic data structures in C programs., , and . ISSTA, page 259-269. ACM, (2016)