|
Conferences in DBLP
(mochart) 2006 (conf/mochart/2006)
- Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. [Citation Graph (0, 0)][DBLP] MoChArt, 2006, pp:1-18 [Conf]
- Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini
Verifying Space and Time Requirements for Resource-Bounded Agents. [Citation Graph (0, 0)][DBLP] MoChArt, 2006, pp:19-34 [Conf]
- Stefan Edelkamp
Automated Creation of Pattern Database Search Heuristics. [Citation Graph (0, 0)][DBLP] MoChArt, 2006, pp:35-50 [Conf]
- Jörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. [Citation Graph (0, 0)][DBLP] MoChArt, 2006, pp:51-66 [Conf]
- Stefan Edelkamp, Shahid Jabbar
Real-Time Model Checking on Secondary Storage. [Citation Graph (0, 0)][DBLP] MoChArt, 2006, pp:67-83 [Conf]
- Tadashi Araragi, Seung Mo Cho
Checking Liveness Properties of Concurrent Systems by Reinforcement Learning. [Citation Graph (0, 0)][DBLP] MoChArt, 2006, pp:84-94 [Conf]
- Alessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny
Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation. [Citation Graph (0, 0)][DBLP] MoChArt, 2006, pp:95-112 [Conf]
- Charles Pecheur, Franco Raimondi
Symbolic Model Checking of Logics with Actions. [Citation Graph (0, 0)][DBLP] MoChArt, 2006, pp:113-128 [Conf]
- Francesco Viganò
A Framework for Model Checking Institutions. [Citation Graph (0, 0)][DBLP] MoChArt, 2006, pp:129-145 [Conf]
- Miroslaw Kurkowski, Wojciech Penczek, Andrzej Zbrzezny
SAT-Based Verification of Security Protocols Via Translation to Networks of Automata. [Citation Graph (0, 0)][DBLP] MoChArt, 2006, pp:146-165 [Conf]
- Anton Wijs, Bert Lisser
Distributed Extended Beam Search for Quantitative Model Checking. [Citation Graph (0, 0)][DBLP] MoChArt, 2006, pp:166-184 [Conf]
|