![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
FPS@ETAPS 2014: Grenoble, France
- Saddek Bensalem, Yassine Lakhnech, Axel Legay:
From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Lecture Notes in Computer Science 8415, Springer 2014, ISBN 978-3-642-54847-5 - Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga:
Model-Driven Information Flow Security for Component-Based Systems. 1-20 - Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato
:
Context-Bounded Analysis of TSO Systems. 21-38 - Manfred Broy:
A Model of Dynamic Systems. 39-53 - Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
From Hierarchical BIP to Petri Calculus. 54-68 - Rocco De Nicola
, Alberto Lluch-Lafuente
, Michele Loreti
, Andrea Morichetta, Rosario Pugliese
, Valerio Senni
, Francesco Tiezzi:
Programming and Verifying Component Ensembles. 69-83 - Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez:
Parametric and Quantitative Extensions of Modal Transition Systems. 84-97 - Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez:
Specification Theories for Probabilistic and Real-Time Systems. 98-117 - Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang:
Compositional Branching-Time Measurements. 118-128 - Michal Gordon, David Harel:
Steps towards Scenario-Based Programming with a Natural Language Interface. 129-144 - Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Assembly Theories for Communication-Safe Component Systems. 145-160 - Edward A. Lee:
Constructive Collisions. 161-176 - Oded Maler:
The Unmet Challenge of Timed Systems. 177-192 - Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Let's Get Physical: Computer Science Meets Systems. 193-208 - Michel Raynal:
What Can be Computed in a Distributed System? 209-224 - Joseph Sifakis:
Toward a System Design Science. 225-234 - Janos Sztipanovits, Ted Bapty, Sandeep Neema
, Larry Howard, Ethan K. Jackson:
OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems. 235-248 - Stavros Tripakis
, Chris Shaver:
Feedback in Synchronous Relational Interfaces. 249-266 - Lenore D. Zuck, Kenneth L. McMillan:
Reasoning about Network Topologies in Space. 267-277
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.