TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 9.

Saissi, Habib and Bokor, Peter and Suri, Neeraj :
PBMC: Symbolic Slicing for the Verification of Concurrent Programs.
Proceedings of the Symposium on Automated Technology for Verification and Analysis, ATVA 2015
[Conference or Workshop Item] , (2015)

Serafini, Marco and Bokor, Peter and Suri, Neeraj and Vinter, Jonny and Ademaj, Astrit and Brandstätter, Wolfgang and Tagliabò, Fulvio and Koch, Jens :
Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems.
In: IEEE Transactions On Dependable & Secure Computing
[Article] , (2009)

Bokor, Peter and Serafini, Marco and Suri, Neeraj and Veith, Helmut :
Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction.
DISC '09: Proceedings of the 2009 23rd Symposium on Distributed Computing Springer Berlin / Heidelberg
[Conference or Workshop Item] , (2009)

Bokor, Peter and Serafini, Marco and Suri, Neeraj and Veith, Helmut :
Role-Based Symmetry Reduction of Fault-tolerant Distributed Protocols with Language Support.
Proc. of International Conference on Formal Engineering Methods (ICFEM)
[Conference or Workshop Item] , (2009)

Sakurai, Kohei and Bokor, Peter and Suri, Neeraj :
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications.
HASE '08: Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium IEEE Computer Society , Washington, DC, USA
[Conference or Workshop Item] , (2008)

Bokor, Peter and Shukla, Sandeep and Pataricza, András and Suri, Neeraj :
Strengthened State Transitions for Complete Invariant Verification in Practical Depth-Induction.
AFM '08: Proceedings of the 3rd Workshop on Automated Formal Methods ACM
[Conference or Workshop Item] , (2008)

Bokor, Peter and Serafini, Marco and Sisak, Aron and Pataricza, András and Suri, Neeraj :
Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation.
HASE '07: Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium IEEE Computer Society , Washington, DC, USA
[Conference or Workshop Item] , (2007)

Bokor, Peter :
Model checking of an on-line diagnosis algorithm.
TUD, DEEDS , Darmstadt
[Report] , (2005)

Bokor, Peter and Serafini, Marco :
On using abstraction to model check an on-line diagnostic protocol.
TUD, DEEDS , Darmstadt
[Report] , (2005)

This list was generated on Tue May 21 01:31:00 2019 CEST.