FPS@ETAPS

Publications

2014

Manfred Broy
A Model of Dynamic Systems. FPS@ETAPS (2014)
Lenore D. Zuck, Kenneth L. McMillan
Reasoning about Network Topologies in Space. FPS@ETAPS (2014)
Michal Gordon, David Harel
Steps towards Scenario-Based Programming with a Natural Language Interface. FPS@ETAPS (2014)
Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
Let's Get Physical: Computer Science Meets Systems. FPS@ETAPS (2014)
Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
Specification Theories for Probabilistic and Real-Time Systems. FPS@ETAPS (2014)
Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez
Parametric and Quantitative Extensions of Modal Transition Systems. FPS@ETAPS (2014)
Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi
Programming and Verifying Component Ensembles. FPS@ETAPS (2014)
Oded Maler
The Unmet Challenge of Timed Systems. FPS@ETAPS (2014)
Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato
Context-Bounded Analysis of TSO Systems. FPS@ETAPS (2014)
Michel Raynal
What Can be Computed in a Distributed System? FPS@ETAPS (2014)
Rolf Hennicker, Alexander Knapp, Martin Wirsing
Assembly Theories for Communication-Safe Component Systems. FPS@ETAPS (2014)
Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
Compositional Branching-Time Measurements. FPS@ETAPS (2014)
Joseph Sifakis
Toward a System Design Science. FPS@ETAPS (2014)
Janos Sztipanovits, Ted Bapty, Sandeep Neema, Larry Howard, Ethan K. Jackson
OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems. FPS@ETAPS (2014)
Stavros Tripakis, Chris Shaver
Feedback in Synchronous Relational Interfaces. FPS@ETAPS (2014)
Edward A. Lee
Constructive Collisions. FPS@ETAPS (2014)
Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga
Model-Driven Information Flow Security for Component-Based Systems. FPS@ETAPS (2014)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
From Hierarchical BIP to Petri Calculus. FPS@ETAPS (2014)

volume 8415, 2014

From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings FPS@ETAPS 8415 (2014)