default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWojciech Penczek
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j76]Artur Meski, Maciej Koutny, Lukasz Mikulski, Wojciech Penczek:
Reaction mining for reaction systems. Nat. Comput. 23(2): 323-343 (2024)- [j75]Jaime Arias
, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk:
Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models. IEEE Trans. Reliab. 73(2): 861-875 (2024) - [c88]Artur Niewiadomski, Maciej Nazarczuk, Mateusz Przychodzki, Magdalena Kacprzak, Wojciech Penczek, Andrzej Zbrzezny:
SMT4SMTL: A Tool for SMT-Based Satisfiability Checking of SMTL. AAMAS 2024: 2815-2817 - [c87]Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk:
Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic. PPDP 2024: 10:1-10:14 - 2023
- [c86]Wojciech Penczek:
Model Checking of Strategic Timed Temporal Logics (Invited Talk). PNSE@Petri Nets 2023 - [c85]Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk:
Strategic (Timed) Computation Tree Logic. AAMAS 2023: 382-390 - [c84]Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek, Andrzej Zbrzezny:
SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic. ECAI 2023: 1180-1189 - [i11]Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk:
Strategic (Timed) Computation Tree Logic. CoRR abs/2302.13405 (2023) - [i10]Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk:
Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models. CoRR abs/2305.04616 (2023) - [i9]Damian Kurpiewski, Wojciech Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk:
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. CoRR abs/2310.15789 (2023) - [i8]Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga:
MsATL: a Tool for SAT-Based ATL Satisfiability Checking. CoRR abs/2310.16519 (2023) - [i7]Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek:
Multi-Valued Verification of Strategic Ability. CoRR abs/2310.20344 (2023) - 2022
- [c83]Wojtek Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski:
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. AiML 2022: 531-556 - [c82]Jaime Arias, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk:
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. ICECCS 2022: 1-10 - [c81]Jaime Arias, Michal Knapik, Wojciech Penczek, Laure Petrucci:
Modular Analysis of Tree-Topology Models. ICFEM 2022: 36-53 - 2021
- [j74]Holger Schlingloff, Wojciech Penczek:
Preface. Fundam. Informaticae 179(2) (2021) - [j73]Jörg Keller, Wojciech Penczek:
Preface. Fundam. Informaticae 182(1) (2021) - [c80]Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk:
Strategic Abilities of Asynchronous Agents: Semantic Side Effects. AAMAS 2021: 1545-1547 - [c79]Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk:
ADT2AMAS: Managing Agents in Attack-Defence Scenarios. AAMAS 2021: 1749-1751 - [c78]Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk:
Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them. KR 2021: 368-378 - [c77]Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek:
Satisfiability Checking of Strategy Logic with Simple Goals. KR 2021: 400-410 - [c76]Michal Kanski, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek:
SMT-Based Unbounded Model Checking for ATL. VECoS 2021: 43-58 - [i6]Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk:
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. CoRR abs/2101.06838 (2021) - 2020
- [j72]Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek:
Multi-valued Verification of Strategic Ability. Fundam. Informaticae 175(1-4): 207-251 (2020) - [j71]Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, Antoni W. Mazurkiewicz:
Towards Partial Order Reductions for Strategic Ability. J. Artif. Intell. Res. 68: 817-850 (2020) - [c75]Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga:
MsATL: A Tool for SAT-Based ATL Satisfiability Checking. AAMAS 2020: 2111-2113 - [c74]Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga:
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. ICFEM 2020: 3-19 - [c73]Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek:
SAT-Based ATL Satisfiability Checking. KR 2020: 539-549 - [i5]Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek:
SAT-Based ATL Satisfiability Checking. CoRR abs/2002.03117 (2020) - [i4]Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk:
Strategic Abilities of Asynchronous Agents: Semantic Paradoxes and How to Tame Them. CoRR abs/2003.03867 (2020)
2010 – 2019
- 2019
- [j70]Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek:
Applying Modern SAT-solvers to Solving Hard Problems. Fundam. Informaticae 165(3-4): 321-344 (2019) - [j69]Wojciech Penczek, Holger Schlingloff, Piotr Wasilewski:
Preface. Fundam. Informaticae 165(3-4): i-iii (2019) - [j68]Victor Khomenko, Jetty Kleijn, Wojciech Penczek, Olivier H. Roux:
Preface. Fundam. Informaticae 169(1-2): v-vi (2019) - [j67]Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek:
Timed ATL: Forget Memory, Just Count. J. Artif. Intell. Res. 66: 197-223 (2019) - [j66]Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci:
Parametric Verification: An Introduction. Trans. Petri Nets Other Model. Concurr. 14: 64-100 (2019) - [c72]Laure Petrucci, Michal Knapik, Wojciech Penczek, Teofil Sidoruk:
Squeezing State Spaces of (Attack-Defence) Trees. ICECCS 2019: 71-80 - [p3]Wojciech Penczek:
All True Concurrency Models Start with Petri Nets: A Personal Tribute to Carl Adam Petri. Carl Adam Petri: Ideas, Personality, Impact 2019: 193-204 - [i3]Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Mariëlle Stoelinga:
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems. CoRR abs/1906.05283 (2019) - [i2]Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci:
Parametric Verification: An Introduction. CoRR abs/1907.00555 (2019) - 2018
- [j65]Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek:
SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME. Sci. Ann. Comput. Sci. 28(2): 269-288 (2018) - [j64]Artur Niewiadomski, Piotr Switalski, Marcin Kowalczyk, Wojciech Penczek:
TripICS - a Web Service Composition System for Planning Trips and Travels. Fundam. Informaticae 157(4): 403-425 (2018) - [j63]Ludwik Czaja, Wojciech Penczek, Holger Schlingloff, Hung Son Nguyen:
Preface. Fundam. Informaticae 157(4): i-ii (2018) - [j62]Wil M. P. van der Aalst, Eike Best, Wojciech Penczek:
Preface. Fundam. Informaticae 161(4): i-ii (2018) - [c71]Wojciech Jamroga, Wojciech Penczek, Piotr Dembinski, Antoni W. Mazurkiewicz:
Towards Partial Order Reductions for Strategic Ability. AAMAS 2018: 156-165 - [c70]Wojciech Penczek:
Improving Efficiency of Model Checking for Variants of Alternating-time Temporal Logic. CS&P 2018 - [c69]Artur Meski, Maciej Koutny, Wojciech Penczek:
Reaction Mining for Reaction Systems. UCNC 2018: 131-144 - [e6]Natasha Alechina, Kjetil Nørvåg, Wojciech Penczek:
25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018. LIPIcs 120, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-089-7 [contents] - [e5]Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek:
Transactions on Petri Nets and Other Models of Concurrency XIII. Lecture Notes in Computer Science 11090, Springer 2018, ISBN 978-3-662-58380-7 [contents] - 2017
- [j61]Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz, Maciej Szreter, Agata Pólrola:
Combining ontology reductions with new approaches to automated abstract planning of Planics. Appl. Soft Comput. 53: 352-379 (2017) - [j60]Artur Meski, Maciej Koutny, Wojciech Penczek:
Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations. Fundam. Informaticae 154(1-4): 289-306 (2017) - [c68]Étienne André, Laure Petrucci, Wojciech Jamroga, Michal Knapik, Wojciech Penczek:
Timed ATL: Forget Memory, Just Count. AAMAS 2017: 1460-1462 - [e4]Maciej Koutny, Jetty Kleijn, Wojciech Penczek:
Transactions on Petri Nets and Other Models of Concurrency XII. Lecture Notes in Computer Science 10470, Springer 2017, ISBN 978-3-662-55861-4 [contents] - 2016
- [j59]Ludwik Czaja, Wojciech Penczek, Krzysztof Stencel:
Preface. Fundam. Informaticae 143(1-2): v-vi (2016) - [j58]Raymond R. Devillers, Antti Valmari, Wojciech Penczek:
Preface. Fundam. Informaticae 146(1): v-vi (2016) - [j57]Artur Niewiadomski, Jaroslaw Skaruz, Piotr Switalski, Wojciech Penczek:
Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing. Fundam. Informaticae 147(2-3): 289-313 (2016) - [j56]Ludwik Czaja, Wojciech Penczek, Krzysztof Stencel:
Preface. Fundam. Informaticae 147(2-3): i-iii (2016) - [c67]Étienne André, Michal Knapik, Wojciech Penczek, Laure Petrucci:
Controlling Actions and Time in Parametric Timed Automata. ACSD 2016: 45-54 - [c66]Wojciech Jamroga, Beata Konikowska, Wojciech Penczek:
Multi-Valued Verification of Strategic Ability. AAMAS 2016: 1180-1189 - [c65]Artur Niewiadomski, Wojciech Penczek:
TripICS - a Web Service Composition System for Planning Trips and Travels (extended abstract). CS&P 2016: 171-179 - [c64]Artur Meski, Maciej Koutny, Wojciech Penczek:
Towards Quantitative Verification of Reaction Systems. UCNC 2016: 142-154 - [p2]Michal Knapik, Wojciech Penczek:
SMT-Based Parameter Synthesis for Parametric Timed Automata. Challenging Problems and Solutions in Intelligent Systems 2016: 3-21 - [e3]Guy De Tré, Przemyslaw Grzegorzewski, Janusz Kacprzyk, Jan W. Owsinski, Wojciech Penczek, Slawomir Zadrozny:
Challenging Problems and Solutions in Intelligent Systems. Studies in Computational Intelligence 634, Springer 2016, ISBN 978-3-319-30164-8 [contents] - 2015
- [j55]Artur Meski, Wojciech Penczek, Grzegorz Rozenberg:
Model checking temporal properties of reaction systems. Inf. Sci. 313: 22-42 (2015) - [j54]Michal Knapik, Artur Meski, Wojciech Penczek:
Action Synthesis for Branching Time Logic: Theory and Applications. ACM Trans. Embed. Comput. Syst. 14(4): 64:1-64:23 (2015) - [j53]Artur Niewiadomski, Wojciech Penczek:
SMT-Based Abstract Parametric Temporal Planning. Trans. Petri Nets Other Model. Concurr. 10: 55-83 (2015) - [c63]Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek:
Hybrid Planning by Combining SMT and Simulated Annealing. CS&P 2015: 173-176 - [c62]Michal Knapik, Artur Niewiadomski, Wojciech Penczek:
Generating None-Plans in Order to Find Plans. SEFM 2015: 310-324 - 2014
- [j52]Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny:
BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance. Auton. Agents Multi Agent Syst. 28(4): 558-604 (2014) - [j51]Michal Knapik, Wojciech Penczek:
Parameter Synthesis for Timed Kripke Structures. Fundam. Informaticae 133(2-3): 211-226 (2014) - [j50]Artur Niewiadomski, Jaroslaw Skaruz, Wojciech Penczek, Maciej Szreter, Mariusz Jarocki:
SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework. Fundam. Informaticae 135(4): 451-466 (2014) - [j49]Wojciech Penczek, Ludwik Czaja:
Preface. Fundam. Informaticae 135(4): i (2014) - [c61]Michal Knapik, Artur Meski, Wojciech Penczek:
Action Synthesis for Branching Time Logic: Theory and Applications. ACSD 2014: 1-10 - [c60]Artur Niewiadomski, Wojciech Penczek:
SMT-based Abstract Temporal Planning. PNSE @ Petri Nets 2014: 55-74 - [c59]Artur Niewiadomski, Wojciech Penczek:
PlanICS 2.0 - A Tool for Composing Services. PNSE @ Petri Nets 2014: 351-352 - [c58]Michal Knapik, Wojciech Penczek:
Fixed-Point Methods in Parametric Model Checking. IEEE Conf. on Intelligent Systems (1) 2014: 231-242 - [c57]Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz:
A Hybrid Approach to Web Service Composition Problem in the PlanICS Framework. MobiWIS 2014: 17-28 - 2013
- [j48]Lars Michael Kristensen, Wojciech Penczek, Laure Petrucci:
Preface. Fundam. Informaticae 122(1-2) (2013) - [j47]Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny:
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets. Trans. Petri Nets Other Model. Concurr. 8: 89-105 (2013) - [c56]Michal Knapik, Wojciech Penczek:
Parameter Synthesis for Timed Kripke Structures. CS&P 2013: 259-270 - [c55]Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz:
SMT vs Genetic Algorithms: Concrete Planning in PlanICS Framework. CS&P 2013: 309-321 - [c54]Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek:
Automated abstract planning with use of genetic algorithms. GECCO (Companion) 2013: 129-130 - [c53]Artur Niewiadomski, Wojciech Penczek:
Towards SMT-based Abstract Planning in PlanICS Ontology. KEOD 2013: 123-131 - [c52]Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek:
Evolutionary Algorithms for Abstract Planning. PPAM (1) 2013: 392-401 - 2012
- [j46]Wojciech Penczek, Bozena Wozna-Szczesniak, Andrzej Zbrzezny:
Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems. Fundam. Informaticae 119(3-4): 373-392 (2012) - [j45]Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny:
Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios. Fundam. Informaticae 120(2): 181-203 (2012) - [j44]Wojciech Penczek:
Preface. Fundam. Informaticae 120(3-4) (2012) - [j43]Michal Knapik, Wojciech Penczek:
Bounded Model Checking for Parametric Timed Automata. Trans. Petri Nets Other Model. Concurr. 5: 141-159 (2012) - [c51]Andrew V. Jones, Michal Knapik, Wojciech Penczek, Alessio Lomuscio:
Group synthesis for parametric temporal-epistemic logic. AAMAS 2012: 1107-1114 - [c50]Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny:
Bounded model checking for knowledge and linear time. AAMAS 2012: 1447-1448 - [c49]Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny:
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets. PNSE 2012: 15-31 - [c48]Michal Knapik, Wojciech Penczek:
SMT-based parameter synthesis for L/U automata. PNSE 2012: 77-92 - [c47]Alessio Lomuscio, Wojciech Penczek:
Symbolic Model Checking for Temporal-Epistemic Logic. Logic Programs, Norms and Action 2012: 172-195 - [c46]Artur Meski, Wojciech Penczek, Maciej Szreter:
Bounded Model Checking for Linear Time Temporal-Epistemic Logic. ICCSW 2012: 88-94 - [c45]Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny:
Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge. KES-AMSTA 2012: 514-523 - [c44]Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Jaroslaw Skaruz:
HarmonICS - a Tool for Composing Medical Services. ZEUS 2012: 25-33 - [r1]Miroslaw Kurkowski, Wojciech Penczek:
Applying Timed Automata to Model Checking of Security Protocols. Handbook of Finite State Based Models and Applications 2012: 223-254 - 2011
- [j42]Artur Meski, Wojciech Penczek, Agata Pólrola:
BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets. Fundam. Informaticae 109(3): 305-321 (2011) - [j41]Alessio Lomuscio, Wojciech Penczek, Monika Solanki, Maciej Szreter:
Runtime Monitoring of Contract Regulated Web Services. Fundam. Informaticae 111(3): 339-355 (2011) - [j40]Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny:
PlanICS - a Web Service Composition Toolset. Fundam. Informaticae 112(1): 47-71 (2011) - [j39]Wojciech Penczek:
Preface. Fundam. Informaticae 112(1) (2011) - [j38]Johan Lilius, Wojciech Penczek:
Preface. Fundam. Informaticae 113(3-4) (2011) - [c43]Artur Meski, Agata Pólrola, Wojciech Penczek, Bozena Wozna-Szczesniak, Andrzej Zbrzezny:
Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets. PNSE 2011: 72-91 - [c42]Wojciech Jamroga, Wojciech Penczek:
Specification and Verification of Multi-Agent Systems. ESSLLI 2011: 210-263 - 2010
- [j37]Michal Knapik, Wojciech Penczek, Maciej Szreter, Agata Pólrola:
Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics. Fundam. Informaticae 101(1-2): 9-27 (2010) - [j36]Alessio Lomuscio, Wojciech Penczek, Hongyang Qu:
Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems. Fundam. Informaticae 101(1-2): 71-90 (2010) - [j35]Wojciech Penczek:
Preface. Fundam. Informaticae 102(1) (2010) - [j34]Giuliana Franceschinis, Wojciech Penczek, Karsten Wolf:
Preface. Fundam. Informaticae 105(3) (2010) - [j33]Michal Knapik, Maciej Szreter, Wojciech Penczek:
Bounded Parametric Model Checking for Elementary Net Systems. Trans. Petri Nets Other Model. Concurr. 4: 42-71 (2010) - [j32]Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny:
SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets. Trans. Petri Nets Other Model. Concurr. 4: 72-97 (2010) - [j31]Michal Knapik, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny:
Parametric Model Checking with VerICS. Trans. Petri Nets Other Model. Concurr. 4: 98-120 (2010) - [c41]Michal Knapik, Wojciech Penczek:
Bounded Model Checking for Parametric Timed Automata. ACSD/Petri Nets Workshops 2010: 419-435 - [c40]Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny:
Towards Automatic Composition of Web Services: A SAT-Based Phase. ACSD/Petri Nets Workshops 2010: 453-473 - [c39]Alessio Lomuscio, Wojciech Penczek, Hongyang Qu:
Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems. AAMAS 2010: 659-666 - [c38]Alessio Lomuscio, Monika Solanki, Wojciech Penczek, Maciej Szreter:
Runtime monitoring of contract regulated web services. AAMAS 2010: 1449-1450 - [e2]Johan Lilius, Wojciech Penczek:
Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings. Lecture Notes in Computer Science 6128, Springer 2010, ISBN 978-3-642-13674-0 [contents]
2000 – 2009
- 2009
- [j30]Gizela Jakubowska, Piotr Dembinski, Wojciech Penczek, Maciej Szreter:
Simulation of Security Protocols based on Scenarios of Attacks. Fundam. Informaticae 93(1-3): 185-203 (2009) - [j29]Miroslaw Kurkowski, Wojciech Penczek:
Timed Automata Based Model Checking of Timed Security Protocols. Fundam. Informaticae 93(1-3): 245-259 (2009)