The SCEAS System
Navigation Menu

Conferences in DBLP

Formal Modeling and Analysis of Timed Systems (formats)
2007 (conf/formats/2007)

  1. Joost-Pieter Katoen
    Abstraction of Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:1-3 [Conf]
  2. Bruce H. Krogh
    From Analysis to Design. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:4- [Conf]
  3. Franck Cassez
    Efficient On-the-Fly Algorithms for Partially Observable Timed Games. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:5-24 [Conf]
  4. Sara Adams, Joël Ouaknine, James Worrell
    Undecidability of Universality for Timed Automata with Minimal Resources. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:25-37 [Conf]
  5. Grégory Batt, Ramzi Ben Salah, Oded Maler
    On Timed Models of Gene Networks. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:38-52 [Conf]
  6. Patricia Bouyer, Nicolas Markey
    Costs Are Expensive! [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:53-68 [Conf]
  7. Víctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik
    Hypervolume Approximation in Timed Automata Model Checking. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:69-81 [Conf]
  8. Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar
    Counter-Free Input-Determined Timed Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:82-97 [Conf]
  9. Pieter J. L. Cuijpers, Reinder J. Bril
    Towards Budgeting in Real-Time Calculus: Deferrable Servers. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:98-113 [Conf]
  10. Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen
    Automatic Abstraction Refinement for Timed Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:114-129 [Conf]
  11. Catalin Dima
    Dynamical Properties of Timed Automata Revisited. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:130-146 [Conf]
  12. Georgios E. Fainekos, George J. Pappas
    Robust Sampling for MITL Specifications. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:147-162 [Conf]
  13. Carlo A. Furia, Matteo Rossi
    On the Expressiveness of MTL Variants over Dense Time. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:163-178 [Conf]
  14. Sergio Giro, Pedro R. D'Argenio
    Quantitative Model Checking Revisited: Neither Decidable Nor Approximable. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:179-194 [Conf]
  15. Rodolfo Gómez, Howard Bowman
    Efficient Detection of Zeno Runs in Timed Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:195-210 [Conf]
  16. John Håkansson, Paul Pettersson
    Partial Order Reduction for Verification of Real-Time Components. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:211-226 [Conf]
  17. Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David
    Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:227-240 [Conf]
  18. Susmit Jha, Bryan A. Brady, Sanjit A. Seshia
    Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:241-256 [Conf]
  19. Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian
    Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:257-273 [Conf]
  20. Pavel Krcál, Martin Stigge, Wang Yi
    Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:274-289 [Conf]
  21. Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat
    Designing Consistent Multimedia Documents: The RT-LOTOS Methodology. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:290-303 [Conf]
  22. Dejan Nickovic, Oded Maler
    AMT: A Property-Based Monitoring Tool for Analog Systems. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:304-319 [Conf]
  23. Andreas Podelski, Silke Wagner
    Region Stability Proofs for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:320-335 [Conf]
  24. Anne Remke, Boudewijn R. Haverkort
    CSL Model Checking Algorithms for Infinite-State Structured Markov Chains. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:336-351 [Conf]
  25. Farn Wang
    Symbolic Simulation-Checking of Dense-Time Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:352-368 [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