Search dblp for Publications

export results for "toc:db/conf/etaps/fps2014.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics