The SCEAS System
Navigation Menu

Conferences in DBLP

School on Formal Methods for the Design of Computer, Communication and Software Systems (sfm)
2004 (conf/sfm/2004)

  1. Rajeev Alur, P. Madhusudan
    Decision Problems for Timed Automata: A Survey. [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:1-24 [Conf]
  2. Elmar Bihler, Walter Vogler
    Timed Petri Nets: Efficiency of Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:25-58 [Conf]
  3. Jos C. M. Baeten, Michel A. Reniers
    Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing). [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:59-97 [Conf]
  4. Diletta Cacciagrano, Flavio Corradini
    Expressiveness of Timed Events and Timed Languages. [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:98-131 [Conf]
  5. Mario Bravetti
    Real Time and Stochastic Time. [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:132-180 [Conf]
  6. Bran Selic
    On the Semantic Foundations of Standard UML 2.0. [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:181-199 [Conf]
  7. Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen
    A Tutorial on Uppaal. [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:200-236 [Conf]
  8. Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis
    The IF Toolset. [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:237-267 [Conf]
  9. Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns
    Embedded Software Analysis with MOTOR. [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:268-294 [Conf]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002