×

zbMATH — the first resource for mathematics

Półrola, Agata

Compute Distance To:
Author ID: polrola.agata Recent zbMATH articles by "Półrola, Agata"
Published as: Pòłrola, Agata; Półrola, Agata
Documents Indexed: 19 Publications since 2001, including 1 Book

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 31 times in 27 Documents Cited by Year
VERICS 2007 – a model checker for knowledgee and real-time. Zbl 1167.68381
Kacprzak, Magdalena; Nabiałek, Wojciech; Niewiadomski, Artur; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Woźna, Bożena; Zbrzezny, Andrzej
11
2008
Specification and model checking of temporal properties in time Petri nets and timed automata. Zbl 1094.68067
Penczek, Wojciech; Półrola, Agata
5
2004
Advances in verification of time Petri nets and timed automata. A temporal logic approach. Zbl 1110.68087
Penczek, Wojciech; Półrola, Agata
4
2006
\(\surd\)erics: A tool for verifying timed automata and Estelle specifications. Zbl 1031.68546
Dembiński, Piotr; Janowska, Agata; Janowski, Paweł; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Wozna, Bozena; Zbrzezny, Andrzej
4
2003
Abstractions and partial order reductions for checking branching properties of time Petri nets. Zbl 0986.68096
Penczek, Wojciech; Półrola, Agata
3
2001
Parametric model checking with VerICS. Zbl 1312.68134
Knapik, Michał; Niewiadomski, Artur; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Zbrzezny, Andrzej
2
2010
SAT-based (parametric) reachability for a class of distributed time Petri nets. Zbl 1312.68137
Penczek, Wojciech; Pòłrola, Agata; Zbrzezny, Andrzej
1
2010
SAT-based reachability checking for timed automata with discrete data. Zbl 1124.68061
Zbrzezny, Andrzej; Półrola, Agata
1
2007
Parametric model checking with VerICS. Zbl 1312.68134
Knapik, Michał; Niewiadomski, Artur; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Zbrzezny, Andrzej
2
2010
SAT-based (parametric) reachability for a class of distributed time Petri nets. Zbl 1312.68137
Penczek, Wojciech; Pòłrola, Agata; Zbrzezny, Andrzej
1
2010
VERICS 2007 – a model checker for knowledgee and real-time. Zbl 1167.68381
Kacprzak, Magdalena; Nabiałek, Wojciech; Niewiadomski, Artur; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Woźna, Bożena; Zbrzezny, Andrzej
11
2008
SAT-based reachability checking for timed automata with discrete data. Zbl 1124.68061
Zbrzezny, Andrzej; Półrola, Agata
1
2007
Advances in verification of time Petri nets and timed automata. A temporal logic approach. Zbl 1110.68087
Penczek, Wojciech; Półrola, Agata
4
2006
Specification and model checking of temporal properties in time Petri nets and timed automata. Zbl 1094.68067
Penczek, Wojciech; Półrola, Agata
5
2004
\(\surd\)erics: A tool for verifying timed automata and Estelle specifications. Zbl 1031.68546
Dembiński, Piotr; Janowska, Agata; Janowski, Paweł; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Wozna, Bozena; Zbrzezny, Andrzej
4
2003
Abstractions and partial order reductions for checking branching properties of time Petri nets. Zbl 0986.68096
Penczek, Wojciech; Półrola, Agata
3
2001

Citations by Year