PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Veith, Helmut"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Temporal Logic Queries to Vacuity Detection.

, und . VISSAS, Volume 1 von NATO Security through Science Series D: Information and Communication Security, Seite 149-167. IOS Press, (2005)

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.

Hon. -Prof. Dr. -Ing. Helmut Lotz University of Stuttgart

Natalie Veith University of Stuttgart

Prof. Dr. Helmut Bertagnolli University of Stuttgart

Dr. Helmut Haas University of Stuttgart

Univ. -Prof. Dr. -Ing. Helmut Bott University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Parameterized model checking of fault-tolerant distributed algorithms by abstraction., , , , und . FMCAD, Seite 201-209. IEEE, (2013)From Temporal Logic Queries to Vacuity Detection., und . VISSAS, Volume 1 von NATO Security through Science Series D: Information and Communication Security, Seite 149-167. IOS Press, (2005)Securing symmetric watermarking schemes against protocol attacks., und . Security and Watermarking of Multimedia Contents, Volume 4675 von SPIE Proceedings, Seite 260-268. SPIE, (2002)Para2: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms., , , und . Formal Methods in System Design, 51 (2): 270-307 (2017)Jakstab: A Static Analysis Platform for Binaries., und . CAV, Volume 5123 von Lecture Notes in Computer Science, Seite 423-427. Springer, (2008)Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms., , , , und . SPIN, Volume 7976 von Lecture Notes in Computer Science, Seite 209-226. Springer, (2013)Model Checking: Back and Forth between Hardware and Software., , , und . VSTTE, Volume 4171 von Lecture Notes in Computer Science, Seite 251-255. Springer, (2005)On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic., , , und . MFCS (2), Volume 8635 von Lecture Notes in Computer Science, Seite 481-492. Springer, (2014)SAT Based Predicate Abstraction for Hardware Verification., , , und . SAT, Volume 2919 von Lecture Notes in Computer Science, Seite 78-92. Springer, (2003)Parameterized Model Checking of Rendezvous Systems., , , , und . CONCUR, Volume 8704 von Lecture Notes in Computer Science, Seite 109-124. Springer, (2014)