Abstract is missing.
- Model-Driven Information Flow Security for Component-Based SystemsNajah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga. 1-20 [doi]
- Context-Bounded Analysis of TSO SystemsMohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato. 21-38 [doi]
- A Model of Dynamic SystemsManfred Broy. 39-53 [doi]
- From Hierarchical BIP to Petri CalculusRoberto Bruni, HernĂ¡n C. Melgratti, Ugo Montanari. 54-68 [doi]
- Programming and Verifying Component EnsemblesRocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi. 69-83 [doi]
- Parametric and Quantitative Extensions of Modal Transition SystemsUli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez. 84-97 [doi]
- Specification Theories for Probabilistic and Real-Time SystemsUli Fahrenberg, Axel Legay, Louis-Marie Traonouez. 98-117 [doi]
- Compositional Branching-Time MeasurementsRadu Grosu, Doron Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang. 118-128 [doi]
- Steps towards Scenario-Based Programming with a Natural Language InterfaceMichal Gordon, David Harel. 129-144 [doi]
- Assembly Theories for Communication-Safe Component SystemsRolf Hennicker, Alexander Knapp, Martin Wirsing. 145-160 [doi]
- Constructive CollisionsEdward A. Lee. 161-176 [doi]
- The Unmet Challenge of Timed SystemsOded Maler. 177-192 [doi]
- Let's Get Physical: Computer Science Meets SystemsPierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli. 193-208 [doi]
- What Can be Computed in a Distributed System?Michel Raynal. 209-224 [doi]
- Toward a System Design ScienceJoseph Sifakis. 225-234 [doi]
- OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical SystemsJanos Sztipanovits, Ted Bapty, Sandeep Neema, Larry Howard, Ethan K. Jackson. 235-248 [doi]
- Feedback in Synchronous Relational InterfacesStavros Tripakis, Chris Shaver. 249-266 [doi]
- Reasoning about Network Topologies in SpaceLenore D. Zuck, Kenneth L. McMillan. 267-277 [doi]