| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michal Knapik, Wojciech Penczek |
Bounded Model Checking for Parametric Timed Automata.  |
T. Petri Nets and Other Models of Concurrency  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek |
Symbolic Model Checking for Temporal-Epistemic Logic. |
Logic Programs, Norms and Action |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny |
PlanICS - a Web Service Composition Toolset. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek, Monika Solanki, Maciej Szreter |
Runtime Monitoring of Contract Regulated Web Services. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Lilius, Wojciech Penczek |
Preface. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Meski, Wojciech Penczek, Agata Pólrola |
BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Penczek |
Preface. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Knapik, Maciej Szreter, Wojciech Penczek |
Bounded Parametric Model Checking for Elementary Net Systems. |
T. Petri Nets and Other Models of Concurrency |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Knapik, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny |
Parametric Model Checking with VerICS. |
T. Petri Nets and Other Models of Concurrency |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny |
SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets. |
T. Petri Nets and Other Models of Concurrency |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliana Franceschinis, Wojciech Penczek, Karsten Wolf |
Preface. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Penczek |
Preface. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek, Hongyang Qu |
Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Knapik, Wojciech Penczek, Maciej Szreter, Agata Pólrola |
Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Lilius, Wojciech Penczek (eds.) |
Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings |
Petri Nets |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny |
Towards Automatic Composition of Web Services: A SAT-Based Phase. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michal Knapik, Wojciech Penczek |
Bounded Model Checking for Parametric Timed Automata. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek, Hongyang Qu |
Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Monika Solanki, Wojciech Penczek, Maciej Szreter |
Runtime monitoring of contract regulated web services. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gizela Jakubowska, Piotr Dembinski, Wojciech Penczek, Maciej Szreter |
Simulation of Security Protocols based on Scenarios of Attacks. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Kurkowski, Wojciech Penczek |
Timed Automata Based Model Checking of Timed Security Protocols. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Niewiadomski, Wojciech Penczek, Maciej Szreter |
A New Approach to Model Checking of UML State Machines. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Niewiadomski, Wojciech Penczek, Maciej Szreter |
Towards Checking Parametric Reachability for UML State Machines. |
Ershov Memorial Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Penczek, Maciej Szreter |
SAT-based Unbounded Model Checking of Timed Automata. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Magdalena 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. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek |
LDYIS: a Framework for Model Checking Security Protocols. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek, Hongyang Qu |
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. |
MoChArt |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Kurkowski, Wojciech Penczek |
Verifying Security Protocols Modelled by Networks of Automata. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Agata Janowska, Wojciech Penczek |
Path Compression in Timed Automata. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Gizela Jakubowska, Wojciech Penczek |
Modelling and Checking Timed Authentication of Security Protocols. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek |
Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek, Bozena Wozna |
Bounded model checking for knowledge and real time. |
Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek |
Symbolic model checking for temporal-epistemic logics. |
SIGACT News |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gizela Jakubowska, Wojciech Penczek |
Is Your Security Protocol on Time ? |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Penczek, Maciej Szreter |
SAT-based Unbounded Model Checking of Timed Automata. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter |
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wojciech Penczek, Agata Pólrola |
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. |
|
2006 |
DOI RDF |
|
| 1 | Miroslaw Kurkowski, Wojciech Penczek, Andrzej Zbrzezny |
SAT-Based Verification of Security Protocols Via Translation to Networks of Automata. |
MoChArt |
2006 |
DBLP DOI BibTeX RDF |
model checking, authentication, security protocols |
| 1 | Beata Konikowska, Wojciech Penczek |
Model checking for multivalued logic of knowledge and time. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
multivalued modal logic, model checking, epistemic logic, interpreted systems |
| 1 | Bozena Wozna, Alessio Lomuscio, Wojciech Penczek |
Bounded Model Checking for Deontic Interpreted Systems. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Magdalena Kacprzak, Wojciech Penczek |
Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1. |
Autonomous Agents and Multi-Agent Systems |
2005 |
DBLP DOI BibTeX RDF |
Alternating-time Temporal Logic, unbounded model checking, SAT-based verification, multi-agent systems, symbolic model checking |
| 1 | Bozena Wozna, Alessio Lomuscio, Wojciech Penczek |
Bounded model checking for knowledge and real time. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
model checking, real time, epistemic logic, interpreted systems |
| 1 | Agata Pólrola, Wojciech Penczek |
Minimization Algorithms for Time Petri Nets. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Beata Konikowska, Wojciech Penczek |
On Designated Values in Multi-valued CTL* Model Checking. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek |
From Bounded to Unbounded Model Checking for Temporal Epistemic Logic. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Wojciech Penczek, Agata Pólrola |
Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata. |
ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter |
Verifying Multi-agent Systems via Unbounded Model Checking. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
unbounded model checking, multi-agent systems, Model checking |
| 1 | Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek |
Verification of Multiagent Systems via Unbounded Model Checking. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Magdalena Kacprzak, Wojciech Penczek |
Unbounded Model Checking for Alternating-Time Temporal Logic. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bozena Wozna, Andrzej Zbrzezny, Wojciech Penczek |
Checking Reachability Properties for Timed Automata via SAT. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Agata Pólrola, Wojciech Penczek, Maciej Szreter |
Reachability Analysis for Timed Automata Using Partitioning Algorithms. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Wojciech Penczek, Alessio Lomuscio |
Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Piotr 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Agata Pólrola, Wojciech Penczek, Maciej Szreter |
Towards Efficient Partition Refinement for Checking Reachability in Timed Automata. |
FORMATS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Penczek, Alessio Lomuscio |
Verifying epistemic properties of multi-agent systems via bounded model checking. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
logics for knowledge, model checking |
| 1 | Henri Hansen, Wojciech Penczek, Antti Valmari |
Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny |
Bounded Model Checking for the Universal Fragment of CTL. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Piotr Dembinski, Wojciech Penczek, Agata Pólrola |
Verification of Timed Automata Based on Similarity. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Beata Konikowska, Wojciech Penczek |
Reducing Model Checking from Multi-valued {\rm CTL}^{\ast} to {\rm CTL}^{\ast}. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, T. Lasica, Wojciech Penczek |
Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny |
Towards Bounded Model Checking for the Universal Fragment of TCTL. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Dembinski, Wojciech Penczek, Agata Pólrola |
Automated Verification of Infinite State Concurrent Systems. |
PPAM |
2001 |
DBLP BibTeX RDF |
|
| 1 | Wojciech Penczek, Agata Pólrola |
Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets. |
ICATPN |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Penczek |
Efficient Model Checking of Causal-Knowledge Protocols. |
CEEMAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Penczek |
Temporal Approach to Causal Knowledge. |
Logic Journal of the IGPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper |
Improving Partial Order Reductions for Universal Branching Time Properties. |
Fundam. Inform. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislaw Ambroszkiewicz, Wojciech Penczek, Tomasz Nowak |
Towards Formal Specification and Verification in Cyberspace. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislaw Ambroszkiewicz, Krzysztof Cetnarowicz, Jaroslaw Kozlak, Tomasz Nowak, Wojciech Penczek |
Modeling Agent Organizations. |
Intelligent Information Systems |
2000 |
DBLP BibTeX RDF |
|
| 1 | Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek |
A Partial Order Approach to Branching Time Logic Model Checking. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Penczek, Stanislaw Ambroszkiewicz |
Model checking of causal knowledge formulas. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislaw Ambroszkiewicz, Wojciech Penczek |
Local Interactions, Explicit Communication and Causal Knowledge in Games and Multi-Agent Systems. |
CEEMAS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Stanislaw Ambroszkiewicz, Olaf Matyja, Wojciech Penczek |
Team Formation by Self-Interested Mobile Agents. |
DAI |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Penczek |
Model-Checking for a Subclass of Event Structures. |
TACAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Penczek |
Axiomatizations of Temporal Logics on Trace Systems. |
Fundam. Inform. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Penczek, Andrzej Szalas (eds.) |
Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings |
MFCS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Doron Peled, Wojciech Penczek |
Using asynchronous Büchi automata for efficient automatic verification of concurrent systems. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek |
A Partial Order Approach to Branching Time Logic Model Checking. |
ISTCS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Rajeev Alur, Doron Peled, Wojciech Penczek |
Model-Checking of Causality Properties |
LICS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Doron Peled, Wojciech Penczek |
A Hierarchy of Partial Order Temporal Properties. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Penczek |
Temporal Logics for Trace Systems: On Automated Verification. |
Int. J. Found. Comput. Sci. |
1993 |
DBLP BibTeX RDF |
|
| 1 | Wojciech Penczek |
Axiomatizations of Temporal Logics on Trace Systems. |
STACS |
1993 |
DBLP DOI BibTeX RDF |
Classification Theory of Parallel and Distributed Computation, Semantics and Logics of Programming Languages, Logic in Computer Science |
| 1 | Wojciech Penczek |
On Undecidability of Propositional Temporal Logics on Trace Systems. |
Inf. Process. Lett. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Goltz, Ruurd Kuiper, Wojciech Penczek |
Propositional Temporal Logics and Equivalences. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Ochmanski, Wojciech Penczek |
Inevitability in diamond processes. |
ITA |
1990 |
DBLP BibTeX RDF |
|
| 1 | Antoni W. Mazurkiewicz, Edward Ochmanski, Wojciech Penczek |
Concurrent Systems and Inevitability. |
Theor. Comput. Sci. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Penczek |
A Temporal Logic for the Local Specification of Concurrent Systems. |
IFIP Congress |
1989 |
DBLP BibTeX RDF |
|
| 1 | Wojciech Penczek |
A Concurrent Branching Time Temporal Logic. |
CSL |
1989 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")