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 (2015):
PBMC: Symbolic Slicing for the Verification of Concurrent Programs.
In: Proceedings of the Symposium on Automated Technology for Verification and Analysis, ATVA 2015, [Conference or Workshop Item]

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

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

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

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

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

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

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

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

This list was generated on Tue Oct 15 01:54:30 2019 CEST.