Advertisement

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
    15. Thomas Brihaye, Véronique Bruyère, Jean-François Raskin
      Pages 277-292
    16. Marta Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang
      Pages 293-308
    17. Mikhail Bernadsky, Raman Sharykin, Rajeev Alur
      Pages 309-324
    18. Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén
      Pages 343-362
    19. Olga Grinchtein, Bengt Jonsson, Martin Leucker
      Pages 379-395
  4. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications