|
|
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS@ETAPS ![Springer, 978-3-642-54847-5 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Broy |
A Model of Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS@ETAPS ![In: From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, pp. 39-53, 2014, Springer, 978-3-642-54847-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lenore D. Zuck, Kenneth L. McMillan |
Reasoning about Network Topologies in Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS@ETAPS ![In: From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, pp. 267-277, 2014, Springer, 978-3-642-54847-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michal Gordon, David Harel |
Steps towards Scenario-Based Programming with a Natural Language Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS@ETAPS ![In: From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, pp. 129-144, 2014, Springer, 978-3-642-54847-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pierluigi Nuzzo 0002, Alberto L. Sangiovanni-Vincentelli |
Let's Get Physical: Computer Science Meets Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS@ETAPS ![In: From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, pp. 193-208, 2014, Springer, 978-3-642-54847-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez |
Specification Theories for Probabilistic and Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS@ETAPS ![In: From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, pp. 98-117, 2014, Springer, 978-3-642-54847-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez |
Parametric and Quantitative Extensions of Modal Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS@ETAPS ![In: From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, pp. 84-97, 2014, Springer, 978-3-642-54847-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS@ETAPS ![In: From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, pp. 69-83, 2014, Springer, 978-3-642-54847-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Oded Maler |
The Unmet Challenge of Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS@ETAPS ![In: From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, pp. 177-192, 2014, Springer, 978-3-642-54847-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato |
Context-Bounded Analysis of TSO Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS@ETAPS ![In: From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, pp. 21-38, 2014, Springer, 978-3-642-54847-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michel Raynal |
What Can be Computed in a Distributed System? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS@ETAPS ![In: From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, pp. 209-224, 2014, Springer, 978-3-642-54847-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Hennicker, Alexander Knapp, Martin Wirsing |
Assembly Theories for Communication-Safe Component Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS@ETAPS ![In: From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, pp. 145-160, 2014, Springer, 978-3-642-54847-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS@ETAPS ![In: From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, pp. 118-128, 2014, Springer, 978-3-642-54847-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Sifakis |
Toward a System Design Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS@ETAPS ![In: From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, pp. 225-234, 2014, Springer, 978-3-642-54847-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS@ETAPS ![In: From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, pp. 235-248, 2014, Springer, 978-3-642-54847-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stavros Tripakis, Chris Shaver |
Feedback in Synchronous Relational Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS@ETAPS ![In: From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, pp. 249-266, 2014, Springer, 978-3-642-54847-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Edward A. Lee |
Constructive Collisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS@ETAPS ![In: From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, pp. 161-176, 2014, Springer, 978-3-642-54847-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga |
Model-Driven Information Flow Security for Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS@ETAPS ![In: From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, pp. 1-20, 2014, Springer, 978-3-642-54847-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
From Hierarchical BIP to Petri Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS@ETAPS ![In: From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, pp. 54-68, 2014, Springer, 978-3-642-54847-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|