From Programs to Systems. The Systems perspective in Computing

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

Editors:

ISBN: 978-3-642-54847-5 (Print) 978-3-642-54848-2 (Online)

Table of contents (18 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-20

    Model-Driven Information Flow Security for Component-Based Systems

  3. No Access

    Book Chapter

    Pages 21-38

    Context-Bounded Analysis of TSO Systems

  4. No Access

    Book Chapter

    Pages 39-53

    A Model of Dynamic Systems

  5. No Access

    Book Chapter

    Pages 54-68

    From Hierarchical BIP to Petri Calculus

  6. No Access

    Book Chapter

    Pages 69-83

    Programming and Verifying Component Ensembles

  7. No Access

    Book Chapter

    Pages 84-97

    Parametric and Quantitative Extensions of Modal Transition Systems

  8. No Access

    Book Chapter

    Pages 98-117

    Specification Theories for Probabilistic and Real-Time Systems

  9. No Access

    Book Chapter

    Pages 118-128

    Compositional Branching-Time Measurements

  10. No Access

    Book Chapter

    Pages 129-144

    Steps towards Scenario-Based Programming with a Natural Language Interface

  11. No Access

    Book Chapter

    Pages 145-160

    Assembly Theories for Communication-Safe Component Systems

  12. No Access

    Book Chapter

    Pages 161-176

    Constructive Collisions

  13. No Access

    Book Chapter

    Pages 177-192

    The Unmet Challenge of Timed Systems

  14. No Access

    Book Chapter

    Pages 193-208

    Let’s Get Physical: Computer Science Meets Systems

  15. No Access

    Book Chapter

    Pages 209-224

    What Can be Computed in a Distributed System?

  16. No Access

    Book Chapter

    Pages 225-234

    Toward a System Design Science

  17. No Access

    Book Chapter

    Pages 235-248

    OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems

  18. No Access

    Book Chapter

    Pages 249-266

    Feedback in Synchronous Relational Interfaces

  19. No Access

    Book Chapter

    Pages 267-277

    Reasoning about Network Topologies in Space

  20. Back Matter

    Pages -