|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Saddek Bensalem, Yassine Lakhnech, Axel Legay (eds.) |
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  |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
A Model of Dynamic Systems. |
FPS@ETAPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Lenore D. Zuck, Kenneth L. McMillan |
Reasoning about Network Topologies in Space. |
FPS@ETAPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Gordon, David Harel |
Steps towards Scenario-Based Programming with a Natural Language Interface. |
FPS@ETAPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierluigi Nuzzo 0002, Alberto L. Sangiovanni-Vincentelli |
Let's Get Physical: Computer Science Meets Systems. |
FPS@ETAPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez |
Specification Theories for Probabilistic and Real-Time Systems. |
FPS@ETAPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez |
Parametric and Quantitative Extensions of Modal Transition Systems. |
FPS@ETAPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta 0001, Rosario Pugliese, Valerio Senni, Francesco Tiezzi 0001 |
Programming and Verifying Component Ensembles. |
FPS@ETAPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler |
The Unmet Challenge of Timed Systems. |
FPS@ETAPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato |
Context-Bounded Analysis of TSO Systems. |
FPS@ETAPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Raynal |
What Can be Computed in a Distributed System? |
FPS@ETAPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Hennicker, Alexander Knapp, Martin Wirsing |
Assembly Theories for Communication-Safe Component Systems. |
FPS@ETAPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Grosu, Doron A. Peled, C. R. Ramakrishnan 0001, Scott A. Smolka, Scott D. Stoller, Junxing Yang |
Compositional Branching-Time Measurements. |
FPS@ETAPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Toward a System Design Science. |
FPS@ETAPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Tripakis, Chris Shaver |
Feedback in Synchronous Relational Interfaces. |
FPS@ETAPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee |
Constructive Collisions. |
FPS@ETAPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga |
Model-Driven Information Flow Security for Component-Based Systems. |
FPS@ETAPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
From Hierarchical BIP to Petri Calculus. |
FPS@ETAPS |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license