The SCEAS System
Navigation Menu

Conferences in DBLP

(mochart)
2006 (conf/mochart/2006)

  1. 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]
  2. 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]
  3. Stefan Edelkamp
    Automated Creation of Pattern Database Search Heuristics. [Citation Graph (0, 0)][DBLP]
    MoChArt, 2006, pp:35-50 [Conf]
  4. 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]
  5. Stefan Edelkamp, Shahid Jabbar
    Real-Time Model Checking on Secondary Storage. [Citation Graph (0, 0)][DBLP]
    MoChArt, 2006, pp:67-83 [Conf]
  6. 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]
  7. 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]
  8. Charles Pecheur, Franco Raimondi
    Symbolic Model Checking of Logics with Actions. [Citation Graph (0, 0)][DBLP]
    MoChArt, 2006, pp:113-128 [Conf]
  9. Francesco Viganò
    A Framework for Model Checking Institutions. [Citation Graph (0, 0)][DBLP]
    MoChArt, 2006, pp:129-145 [Conf]
  10. 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]
  11. Anton Wijs, Bert Lisser
    Distributed Extended Beam Search for Quantitative Model Checking. [Citation Graph (0, 0)][DBLP]
    MoChArt, 2006, pp:166-184 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002