dblp.uni-trier.dewww.uni-trier.de

Agata Pólrola

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
11EEMagdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny: VerICS 2007 - a Model Checker for Knowledge and Real-Time. Fundam. Inform. 85(1-4): 313-328 (2008)
2007
10EEAndrzej Zbrzezny, Agata Pólrola: SAT-Based Reachability Checking for Timed Automata with Discrete Data. Fundam. Inform. 79(3-4): 579-593 (2007)
2006
9 Wojciech Penczek, Agata Pólrola: Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Springer 2006
2004
8EEWojciech Penczek, Agata Pólrola: Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata. ICATPN 2004: 37-76
7EEAgata Pólrola, Wojciech Penczek: Minimization Algorithms for Time Petri Nets. Fundam. Inform. 60(1-4): 307-331 (2004)
2003
6EEAgata Pólrola, Wojciech Penczek, Maciej Szreter: Towards Efficient Partition Refinement for Checking Reachability in Timed Automata. FORMATS 2003: 2-17
5EEPiotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny: Verics: A Tool for Verifying Timed Automata and Estelle Specifications. TACAS 2003: 278-283
4EEAgata Pólrola, Wojciech Penczek, Maciej Szreter: Reachability Analysis for Timed Automata Using Partitioning Algorithms. Fundam. Inform. 55(2): 203-221 (2003)
2002
3 Piotr Dembinski, Wojciech Penczek, Agata Pólrola: Verification of Timed Automata Based on Similarity. Fundam. Inform. 51(1-2): 59-89 (2002)
2001
2EEWojciech Penczek, Agata Pólrola: Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets. ICATPN 2001: 323-342
1EEPiotr Dembinski, Wojciech Penczek, Agata Pólrola: Automated Verification of Infinite State Concurrent Systems. PPAM 2001: 247-255

Coauthor Index

1Piotr Dembinski [1] [3] [5]
2Agata Janowska [5]
3Pawel Janowski [5]
4Magdalena Kacprzak [11]
5Wojciech Nabialek [11]
6Artur Niewiadomski [11]
7Wojciech Penczek [1] [2] [3] [4] [5] [6] [7] [8] [9] [11]
8Maciej Szreter [4] [5] [6] [11]
9Bozena Wozna [5] [11]
10Andrzej Zbrzezny [5] [10] [11]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)