Autor der Publikation

BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction.

, , , , und . IEEE Trans. Software Eng., 30 (6): 403-417 (2004)

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

Verification of Concurrent Client-Server Real-Time Scheduling Systems., , und . RTCSA, Seite 228-235. IEEE Computer Society, (1999)On the verification of Wireless Transaction Protocol using SGM and RED., , und . RTCSA, Seite 379-383. IEEE Computer Society, (2000)Timing Behavior Analysis for Real-Time Systems. LICS, Seite 112-122. IEEE Computer Society, (1995)BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction., , , , und . IEEE Trans. Software Eng., 30 (6): 403-417 (2004)Procedure-Level Verification of Real-time Concurrent Systems., und . Real-Time Systems, 16 (1): 81-114 (1999)Preface.. Int. J. Found. Comput. Sci., 17 (4): 731-732 (2006)A Temporal Logic for Real-Time Partial Ordering with Named Transactions.. Theor. Comput. Sci., 181 (1): 195-225 (1997)Symboloc Model Checking for Event-Driven Real-Time Systems., , und . ACM Trans. Program. Lang. Syst., 19 (2): 386-412 (1997)Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations.. ICFEM, Volume 3785 von Lecture Notes in Computer Science, Seite 300-314. Springer, (2005)Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures.. CAV, Volume 3114 von Lecture Notes in Computer Science, Seite 295-307. Springer, (2004)