M
Magdalena Kacprzak
Researcher at Bialystok University of Technology
Publications - 56
Citations - 635
Magdalena Kacprzak is an academic researcher from Bialystok University of Technology. The author has contributed to research in topics: Model checking & Persuasion. The author has an hindex of 14, co-authored 53 publications receiving 600 citations. Previous affiliations of Magdalena Kacprzak include University of Białystok.
Papers
More filters
Journal Article
VerICS 2007 - a Model Checker for Knowledge and Real-Time
Magdalena Kacprzak,Wojciech Nabiałek,Artur Niewiadomski,Wojciech Penczek,Agata Półrola,Maciej Szreter,Bożena Woźna,Andrzej Zbrzezny +7 more
TL;DR: New features of the VerICS verifier include SAT-based model checking for multi-agent systems and several extensions and improvements to real-time systems' verification.
Proceedings ArticleDOI
Verification of Multiagent Systems via Unbounded Model Checking
TL;DR: In this paper, the authors present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking, which can be applied to the well-known train, gate and controller problem.
Journal ArticleDOI
Complete genome sequence of Gluconacetobacter xylinus E25 strain—Valuable and effective producer of bacterial nanocellulose ☆
Katarzyna Kubiak,Marta Kurzawa,Marzena Jędrzejczak-Krzepkowska,Karolina Ludwicka,Mariusz Krawczyk,Andrzej Migdalski,Magdalena Kacprzak,Damian Loska,Alina Krystynowicz,Stanisław Bielecki +9 more
TL;DR: The release of complete genome sequence of the producer of bacterial nanocellulose (BNC) - Gluconacetobacter xylinus E25, a vinegar-isolated strain revealed complexity of the genome structure and familiarized genetic basis of productive properties of E25 strain.
Journal Article
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol
Magdalena Kacprzak,Alessio Lomuscio,Artur Niewiadomski,Wojciech Penczek,Franco Raimondi,Maciej Szreter +5 more
TL;DR: This work model the protocol in terms of a network of communicating automata and verify that the protocol meets the anonymity requirements specified and evaluated two different model checking techniques to verify the protocols.
Journal Article
From Bounded to Unbounded Model Checking for Temporal Epistemic Logic
TL;DR: This paper addresses the problem of verification of temporal epistemic properties of multi-agent systems by means of symbolic model checking with an extension of this technique called unbounded model checking to solve these limitations.