Searching for authors named "Maciej Szreter" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Partial Order Reductions Preserving Simulations
- … Eindhoven, The Netherlands wsinruur@(email omitted); Maciej Szreter* Institute of Computer Science ICS PAS, Warsaw…
- Add To MetaCart
-
Reachability Analysis for Timed Automata Based on Partitioning
- …Agata Po lrola Wojciech Penczek Maciej Szreter Reachability Analysis for Timed Automata Based…
- Cited by 2 (2 self) – Add To MetaCart
-
VerICS 2004: A model checker for real time and multi-agent systems
- … Niewiadomski 2 , Wojciech Penczek 1,2 , Agata Pó̷lrola 3 , and Maciej Szreter 1 1 Institute of Computer Science…
- Cited by 13 (1 self) – Add To MetaCart
-
Improving Partial Order Reductions for Universal Branching Time Properties
- … for Universal Branching Time Properties Wojciech Penczek and Maciej Szreter Institute of Computer Science…
- Cited by 10 (7 self) – Add To MetaCart
-
Reachability Analysis for Timed Automata Using Partitioning Algorithms
- …-238 Lodz, Poland polrola@(email omitted); Wojciech Penczek z and Maciej Szreter Institiute of Computer…
- Cited by 1 (1 self) – Add To MetaCart
-
Verics: A Tool for Verifying Timed Automata and Estelle Specifications
- … , Agata Janowska 2 , Pawe l Janowski 2 , Wojciech Penczek 1 , Agata Po lrola 3 , Maciej Szreter 1…
- Cited by 15 (10 self) – Add To MetaCart
Showing 1 through 6.
