Autor der Publikation

Model Checking of Unrestricted Hierarchical State Machines.

, , und . ICALP, Volume 2076 von Lecture Notes in Computer Science, Seite 652-666. Springer, (2001)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Identifying Modules via Concept Analysis., und . IEEE Trans. Software Eng., 25 (6): 749-768 (1999)Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors.. POPL, Seite 169-176. ACM Press, (1982)Finite differencing of logical formulas for static analysis., , und . ACM Trans. Program. Lang. Syst., 32 (6): 24:1-24:55 (2010)Shape Analysis as a Generalized Path Problem.. PEPM, Seite 1-11. ACM Press, (1995)A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations., , und . ACM Trans. Softw. Eng. Methodol., 1 (3): 310-354 (1992)Debugging via Run-Time Type Checking., , , und . FASE, Volume 2029 von Lecture Notes in Computer Science, Seite 217-232. Springer, (2001)Secure Programming via Visibly Pushdown Safety Games., , und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 581-598. Springer, (2012)A Method for Symbolic Computation of Abstract Operations., und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 174-192. Springer, (2012)Improving Pushdown System Model Checking., und . CAV, Volume 4144 von Lecture Notes in Computer Science, Seite 343-357. Springer, (2006)An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph., und . POPL, Seite 287-296. ACM Press, (1994)