Advertisement

Integrated Formal Methods

5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

  • Judi Romijn
  • Graeme Smith
  • Jaco van de Pol
Conference proceedings IFM 2005

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis
      Pages 5-19
  3. Session: Components

  4. Session: State/Event-Based Verification

    1. Sagar Chaki, Edmund Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili et al.
      Pages 53-69
    2. Steve Schneider, Helen Treharne, Neil Evans
      Pages 89-108
  5. Session: System Development

    1. Richard F. Paige, Phillip J. Brooke
      Pages 109-128
    2. Lars Grunske, Peter Lindsay, Nisansala Yatapanage, Kirsten Winter
      Pages 129-149
    3. Shane Bracher, Padmanabhan Krishnan
      Pages 150-166
  6. Session: Applications of B

    1. Pontus Boström, Marina Waldén
      Pages 167-186
    2. Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
      Pages 187-206
    3. Frédéric Gervais, Marc Frappier, Régine Laleau
      Pages 207-226
  7. Session: Tool Support

    1. Tim Miller, Leo Freitas, Petra Malik, Mark Utting
      Pages 227-245
    2. Kun Wei, James Heather
      Pages 246-265
    3. Lars M. Kristensen, Michael Westergaard, Peder Christian Nørgaard
      Pages 266-286
  8. Session: Non-software Domains

  9. Session: Semantics

    1. Héctor Ruíz Barradas, Didier Bert
      Pages 327-346
  10. Session: UML and Statecharts

    1. Bikram Sengupta, Rance Cleaveland
      Pages 366-385
    2. Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières
      Pages 386-405
  11. Back Matter

About these proceedings

Keywords

Attribut Unified Modeling Language (UML) automata calculus component systems constraint satisfaction embedded systems formal method formal methods formal specification formal validation formal verification model checking semantics verification

Editors and affiliations

  • Judi Romijn
    • 1
  • Graeme Smith
    • 2
  • Jaco van de Pol
    • 3
  1. 1.Dept. of Mathematics and Computer ScienceTechnische Universiteit EindhovenEindhovenThe Netherlands
  2. 2.School of Information Technology and Electrical EngineeringThe University of QueenslandAustralia
  3. 3.Formal Methods and Tools, Department of Computer ScienceUniversity of TwenteEnschedeThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/11589976
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-30492-0
  • Online ISBN 978-3-540-32240-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications