default search action

combined dblp search
author search
venue search
publication search

ask others

FPS@ETAPS 2014: Grenoble, France

> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/etaps/2014fps
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/2014fps
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
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/SaidABB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/SaidABB14
Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga:
Model-Driven Information Flow Security for Component-Based Systems. 1-20
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/AtigBP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/AtigBP14
Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato:
Context-Bounded Analysis of TSO Systems. 21-38
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/Broy14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/Broy14
Manfred Broy:
A Model of Dynamic Systems. 39-53
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/BruniMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/BruniMM14
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
From Hierarchical BIP to Petri Calculus. 54-68
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/NicolaLLMPST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/NicolaLLMPST14
Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi:
Programming and Verifying Component Ensembles. 69-83
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/FahrenbergLLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/FahrenbergLLT14
Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez:
Parametric and Quantitative Extensions of Modal Transition Systems. 84-97
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/FahrenbergLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/FahrenbergLT14
Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez:
Specification Theories for Probabilistic and Real-Time Systems. 98-117
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/GrosuPRSSY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/GrosuPRSSY14
Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang:
Compositional Branching-Time Measurements. 118-128
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/GordonH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/GordonH14
Michal Gordon, David Harel:
Steps towards Scenario-Based Programming with a Natural Language Interface. 129-144
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/HennickerKW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/HennickerKW14
Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Assembly Theories for Communication-Safe Component Systems. 145-160
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/Lee14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/Lee14
Edward A. Lee:
Constructive Collisions. 161-176
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/Maler14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/Maler14
Oded Maler:
The Unmet Challenge of Timed Systems. 177-192
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/NuzzoS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/NuzzoS14
Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Let's Get Physical: Computer Science Meets Systems. 193-208
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/Raynal14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/Raynal14
Michel Raynal:
What Can be Computed in a Distributed System? 209-224
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/Sifakis14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/Sifakis14
Joseph Sifakis:
Toward a System Design Science. 225-234
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/SztipanovitsBNHJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/SztipanovitsBNHJ14
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
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/TripakisS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/TripakisS14
Stavros Tripakis, Chris Shaver:
Feedback in Synchronous Relational Interfaces. 249-266
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/ZuckM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/ZuckM14
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.