From Programs to Systems. The Systems perspective in Computing

ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings

  • Saddek Bensalem
  • Yassine Lakhneck
  • Axel Legay
Conference proceedings

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

Table of contents

  1. Front Matter
  2. Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga
    Pages 1-20
  3. Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato
    Pages 21-38
  4. Manfred Broy
    Pages 39-53
  5. Roberto Bruni, Hernán Melgratti, Ugo Montanari
    Pages 54-68
  6. Rocco De Nicola, Alberto Lluch Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni et al.
    Pages 69-83
  7. Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez
    Pages 84-97
  8. Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
    Pages 98-117
  9. Radu Grosu, Doron Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
    Pages 118-128
  10. Rolf Hennicker, Alexander Knapp, Martin Wirsing
    Pages 145-160
  11. Edward A. Lee
    Pages 161-176
  12. Oded Maler
    Pages 177-192
  13. Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli
    Pages 193-208
  14. Michel Raynal
    Pages 209-224
  15. Joseph Sifakis
    Pages 225-234
  16. Janos Sztipanovits, Ted Bapty, Sandeep Neema, Larry Howard, Ethan Jackson
    Pages 235-248
  17. Stavros Tripakis, Chris Shaver
    Pages 249-266
  18. Lenore D. Zuck, Kenneth L. McMillan
    Pages 267-277
  19. Back Matter

About these proceedings


"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in honor of Professor Joseph Sifakis in the framework of the 16th European Joint Conferences on Theory and Practice of Software, ETAPS, in Grenoble, April 2014.
Joseph Sifakis is an active and visionary researcher in the area of system design. He believes that endowing design with scientific foundations is at least of equal importance as the quest for scientific truth in natural sciences. Previously, he has worked on Petri nets, concurrent systems, program semantics, verification, embedded systems, real-time systems, and formal methods more generally. The book contains 18 papers covering various topics related to the extension of programming theory to systems.


Petri nets complex systems complexity computing formal methods model checking probabilistic systems program correctness programming theory real-time systems realtime software engineering software modeling software verification system correctness system modeling systems engineering systems perspective theory of computation timed systems

Editors and affiliations

  • Saddek Bensalem
    • 1
  • Yassine Lakhneck
    • 1
  • Axel Legay
    • 2
  1. 1.Verimag Laboratory, Verimag Centre ÉquationUniversity Joseph FourierGièresFrance
  2. 2.Inria, Campus Universitaire de BeaulieuRennes CedexFrance

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-54847-5
  • Online ISBN 978-3-642-54848-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site