Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/etaps/fps2014.bht:"
@inproceedings{DBLP:conf/etaps/AtigBP14, author = {Mohamed Faouzi Atig and Ahmed Bouajjani and Gennaro Parlato}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {Context-Bounded Analysis of {TSO} Systems}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {21--38}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_2}, doi = {10.1007/978-3-642-54848-2\_2}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/etaps/AtigBP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/Broy14, author = {Manfred Broy}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {A Model of Dynamic Systems}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {39--53}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_3}, doi = {10.1007/978-3-642-54848-2\_3}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etaps/Broy14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/BruniMM14, author = {Roberto Bruni and Hern{\'{a}}n C. Melgratti and Ugo Montanari}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {From Hierarchical {BIP} to Petri Calculus}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {54--68}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_4}, doi = {10.1007/978-3-642-54848-2\_4}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etaps/BruniMM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/FahrenbergLLT14, author = {Uli Fahrenberg and Kim Guldstrand Larsen and Axel Legay and Louis{-}Marie Traonouez}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {Parametric and Quantitative Extensions of Modal Transition Systems}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {84--97}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_6}, doi = {10.1007/978-3-642-54848-2\_6}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etaps/FahrenbergLLT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/FahrenbergLT14, author = {Uli Fahrenberg and Axel Legay and Louis{-}Marie Traonouez}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {Specification Theories for Probabilistic and Real-Time Systems}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {98--117}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_7}, doi = {10.1007/978-3-642-54848-2\_7}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etaps/FahrenbergLT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/GordonH14, author = {Michal Gordon and David Harel}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {Steps towards Scenario-Based Programming with a Natural Language Interface}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {129--144}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_9}, doi = {10.1007/978-3-642-54848-2\_9}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etaps/GordonH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/GrosuPRSSY14, author = {Radu Grosu and Doron A. Peled and C. R. Ramakrishnan and Scott A. Smolka and Scott D. Stoller and Junxing Yang}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {Compositional Branching-Time Measurements}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {118--128}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_8}, doi = {10.1007/978-3-642-54848-2\_8}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etaps/GrosuPRSSY14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/HennickerKW14, author = {Rolf Hennicker and Alexander Knapp and Martin Wirsing}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {Assembly Theories for Communication-Safe Component Systems}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {145--160}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_10}, doi = {10.1007/978-3-642-54848-2\_10}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etaps/HennickerKW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/Lee14, author = {Edward A. Lee}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {Constructive Collisions}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {161--176}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_11}, doi = {10.1007/978-3-642-54848-2\_11}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etaps/Lee14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/Maler14, author = {Oded Maler}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {The Unmet Challenge of Timed Systems}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {177--192}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_12}, doi = {10.1007/978-3-642-54848-2\_12}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etaps/Maler14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/NicolaLLMPST14, author = {Rocco De Nicola and Alberto Lluch{-}Lafuente and Michele Loreti and Andrea Morichetta and Rosario Pugliese and Valerio Senni and Francesco Tiezzi}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {Programming and Verifying Component Ensembles}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {69--83}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_5}, doi = {10.1007/978-3-642-54848-2\_5}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etaps/NicolaLLMPST14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/NuzzoS14, author = {Pierluigi Nuzzo and Alberto L. Sangiovanni{-}Vincentelli}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {Let's Get Physical: Computer Science Meets Systems}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {193--208}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_13}, doi = {10.1007/978-3-642-54848-2\_13}, timestamp = {Mon, 15 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etaps/NuzzoS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/Raynal14, author = {Michel Raynal}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {What Can be Computed in a Distributed System?}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {209--224}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_14}, doi = {10.1007/978-3-642-54848-2\_14}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etaps/Raynal14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/SaidABB14, author = {Najah Ben Said and Takoua Abdellatif and Saddek Bensalem and Marius Bozga}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {Model-Driven Information Flow Security for Component-Based Systems}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {1--20}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_1}, doi = {10.1007/978-3-642-54848-2\_1}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etaps/SaidABB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/Sifakis14, author = {Joseph Sifakis}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {Toward a System Design Science}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {225--234}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_15}, doi = {10.1007/978-3-642-54848-2\_15}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etaps/Sifakis14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/SztipanovitsBNHJ14, author = {Janos Sztipanovits and Ted Bapty and Sandeep Neema and Larry Howard and Ethan K. Jackson}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {OpenMETA: {A} Model- and Component-Based Design Tool Chain for Cyber-Physical Systems}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {235--248}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_16}, doi = {10.1007/978-3-642-54848-2\_16}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etaps/SztipanovitsBNHJ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/TripakisS14, author = {Stavros Tripakis and Chris Shaver}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {Feedback in Synchronous Relational Interfaces}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {249--266}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_17}, doi = {10.1007/978-3-642-54848-2\_17}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etaps/TripakisS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/ZuckM14, author = {Lenore D. Zuck and Kenneth L. McMillan}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {Reasoning about Network Topologies in Space}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {267--277}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_18}, doi = {10.1007/978-3-642-54848-2\_18}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etaps/ZuckM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/etaps/2014fps, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2}, doi = {10.1007/978-3-642-54848-2}, isbn = {978-3-642-54847-5}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etaps/2014fps.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.