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

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

  • DOI https://doi.org/10.1007/b100824
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-23167-7
  • Online ISBN 978-3-540-30206-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book