( en | de | ru )

 

Disambiguation of "Bouajjani, Ahmed"

Author of the publication

copydeleteadd this publication to your clipboard
06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis.

, , und . Software Verification: Infinite-State Model Checking and Static Program Analysis, Volume 06081 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)

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.

Ahmed Fattah Ahmed Ahmed

Ejaz Ahmed

Yasar Luqman Ahmed

Sayed Tawfik Ahmed

Ahmed Moustafa Mohammed Ahmed

 

Weitere Publikationen von Autoren mit dem selben Namen

Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol., , und . TACAS, Volume 1579 von Lecture Notes in Computer Science, Seite 208-222. Springer, (1999)Varda: A Framework for Compositional Distributed Programming., , und . NETYS, Volume 13464 von Lecture Notes in Computer Science, Seite 16-30. Springer, (2022)Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures., , und . CAV, Volume 4590 von Lecture Notes in Computer Science, Seite 207-220. Springer, (2007)Computing Simulations over Tree Automata., , , , und . TACAS, Volume 4963 von Lecture Notes in Computer Science, Seite 93-108. Springer, (2008)Deciding Robustness against Total Store Ordering., , und . ICALP (2), Volume 6756 von Lecture Notes in Computer Science, Seite 428-440. Springer, (2011)Verification of Infinite State Systems (Tutorial).. CSL, Volume 2803 von Lecture Notes in Computer Science, Seite 71. Springer, (2003)Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems., , und . CAV, Volume 1855 von Lecture Notes in Computer Science, Seite 419-434. Springer, (2000)Reachability Analysis of Pushdown Automata: Application to Model-Checking., , und . CONCUR, Volume 1243 von Lecture Notes in Computer Science, Seite 135-150. Springer, (1997)Formalizing and Checking Multilevel Consistency., , , , und . VMCAI, Volume 11990 von Lecture Notes in Computer Science, Seite 379-400. Springer, (2020)Reachability Analysis of Synchronized PA Systems., , und . INFINITY, Volume 138 von Electronic Notes in Theoretical Computer Science, Seite 153-178. Elsevier, (2004)