Timed automata based model checking of timed security protocols von Kurkowski, Mirosław, Penczek, Wojciech

Advances in verification of time Petri nets and timed automata a temporal logic approach von Penczek, Wojciech, Półrola, Agata

Beschreibung

Checking reachability properties for timed automata via SAT von Woźna, Bożena, Penczek, Wojciech, Zbrzezny, Andrzej

Partial order reductions preserving simulations von Gerth, Rob, Kuiper, Ruurd, Penczek, Wojciech

Model checking for a fragment of event structure logic von Penczek, Wojciech

The temporal logic for event structures von Penczek, Wojciech

Verifying timed properties of security protocols von Jakubowska, Gizela, Penczek, Wojciech

Bounded model checking for interpreted systems von Penczek, Wojciech, Lomuscio, Alessio

SAT-based bounded model checking for the universal fragment of TCTL von Penczek, Wojciech, Woźna, Bożena, Zbrzezny, Andrzej

Distributed games local interactions, explicit communication, and casual knowledge von Ambroszkiewicz, Stanisław, Penczek, Wojciech

Team formation in a distributed environment the idea and algorithms von Ambroszkiewicz, Stanisław, Matyja, Olaf, Penczek, Wojciech

First-order temporal logic over trace systems von Penczek, Wojciech, Srebrny, Marian

Verifying security protocols modeled by networks of automata von Kurkowski, Mirosław, Penczek, Wojciech

Model checking security protocols: a multi-agent system approach von Lomuscio, Alessio, Penczek, Wojciech

Reachability analysis for timed automata based on partitioning von Półrola, Agata, Penczek, Wojciech, Szreter, Maciej

Unbounded model checking for knowledge and time von Kacprzak, Magdalena, Lomuscio, Alessio, Penczek, Wojciech

Branching time bounded model checking for elementary net systems von Penczek, Wojciech, Woźna, Bożena, Zbrzezny, Andrzej

Modeling rational BDI agents within the framework of asynchronous automata von Ambroszkiewicz, Stanisław, Penczek, Wojciech

Inevitability in diamond-discrete systems von Penczek, Wojciech

Transactions on petri nets and other models of concurrency XII

Weitere Verfasser:
Volltext öffnen Volltext öffnen