default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFPS@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
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.
last updated on 2024-09-19 23:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
