Advertisement

© 2004

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings

  • Yassine Lakhnech
  • Sergio Yovine
Conference proceedings FTRTFT 2004, FORMATS 2004

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3253)

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Paul Feautrier
      Pages 1-2
    2. Peter Y. Ryan
      Pages 3-4
  3. Regular Papers

    1. Samar Dajani-Brown, Darren Cofer, Amar Bouali
      Pages 5-20
    2. Chiheb Kossentini, Paul Caspi
      Pages 21-35
    3. Simona Bernardi, Susanna Donatelli, Giovanna Dondossola
      Pages 36-51
    4. Jennifer M. Davoren, Thomas Moor, R. P. Goré, Vaughan Coulthard, Anil Nerode
      Pages 52-67
    5. Deepak D’Souza, Nicolas Tabareau
      Pages 68-83
    6. Dilsun Kırlı Kaynar, Nancy Lynch
      Pages 84-101
    7. Nicolas Markey, Philippe Schnoebelen
      Pages 102-117
    8. Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin
      Pages 118-133
    9. Moez Krichen, Stavros Tripakis
      Pages 134-151
    10. Oded Maler, Dejan Nickovic
      Pages 152-166
    11. Paul Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon
      Pages 167-182
    12. Cătălin Dima, Alain Girault, Yves Sorel
      Pages 215-230
    13. Fang Yu, Bow-Yaw Wang, Yao-Wen Huang
      Pages 246-262
    14. Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert
      Pages 263-276

About these proceedings

Keywords

Analysis Automat Scheduling automata formal specification formal verification model checking modeling petri net verification

Editors and affiliations

  • Yassine Lakhnech
    • 1
  • Sergio Yovine
    • 2
  1. 1.VERIMAG - University Joseph Fourier - CNRS - INPGGièresFrance
  2. 2.VERIMAG, Centre EquationGieresFrance

Bibliographic information

Industry Sectors
Automotive
Biotechnology
IT & Software
Telecommunications
Consumer Packaged Goods
Aerospace
Engineering
Finance, Business & Banking
Electronics