Searching for authors named "Maciej Szreter" – sorted by Relevance.
-
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

