Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs20.bht:"
@inproceedings{DBLP:journals/corr/abs-1003-0381, author = {Gopinadh Sirigineedi and Antonios Tsourdos and Brian A. White and Rafal Zbikowski}, editor = {Manuela{-}Luminita Bujorianu and Michael Fisher}, title = {Modelling and Verification of Multiple {UAV} Mission Using {SMV}}, booktitle = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA} 2009, Eindhoven, The Netherlands, 3rd November 2009}, series = {{EPTCS}}, volume = {20}, pages = {22--33}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.20.3}, doi = {10.4204/EPTCS.20.3}, timestamp = {Tue, 21 Sep 2021 18:08:28 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1003-0381.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1003-0396, author = {Emil Vassev and Mike Hinchey}, editor = {Manuela{-}Luminita Bujorianu and Michael Fisher}, title = {Developing Experimental Models for {NASA} Missions with {ASSL}}, booktitle = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA} 2009, Eindhoven, The Netherlands, 3rd November 2009}, series = {{EPTCS}}, volume = {20}, pages = {88}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.20.10}, doi = {10.4204/EPTCS.20.10}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1003-0396.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1003-0431, author = {Piotr Kordy and Rom Langerak and Jan Willem Polderman}, editor = {Manuela{-}Luminita Bujorianu and Michael Fisher}, title = {Re-verification of a Lip Synchronization Protocol using Robust Reachability}, booktitle = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA} 2009, Eindhoven, The Netherlands, 3rd November 2009}, series = {{EPTCS}}, volume = {20}, pages = {49--62}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.20.5}, doi = {10.4204/EPTCS.20.5}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1003-0431.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1003-0554, author = {Lo{\"{\i}}c Besnard and Thierry Gautier and Julien Ouy and Jean{-}Pierre Talpin and Jean{-}Paul Bodeveix and Alexandre Cortier and Marc Pantel and Martin Strecker and G{\'{e}}rald Garcia and Ana{-}Elena Rugina and J{\'{e}}r{\'{e}}my Buisson and Fabien Dagnat}, editor = {Manuela{-}Luminita Bujorianu and Michael Fisher}, title = {Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software}, booktitle = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA} 2009, Eindhoven, The Netherlands, 3rd November 2009}, series = {{EPTCS}}, volume = {20}, pages = {80--87}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.20.9}, doi = {10.4204/EPTCS.20.9}, timestamp = {Thu, 09 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1003-0554.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1003-0617, author = {Louise A. Dennis and Michael Fisher and Nicholas Lincoln and Alexei Lisitsa and Sandor M. Veres}, editor = {Manuela{-}Luminita Bujorianu and Michael Fisher}, title = {Agent Based Approaches to Engineering Autonomous Space Software}, booktitle = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA} 2009, Eindhoven, The Netherlands, 3rd November 2009}, series = {{EPTCS}}, volume = {20}, pages = {63--67}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.20.6}, doi = {10.4204/EPTCS.20.6}, timestamp = {Fri, 03 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1003-0617.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1003-0634, author = {Mircea Lazar}, editor = {Manuela{-}Luminita Bujorianu and Michael Fisher}, title = {Flexible Lyapunov Functions and Applications to Fast Mechatronic Systems}, booktitle = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA} 2009, Eindhoven, The Netherlands, 3rd November 2009}, series = {{EPTCS}}, volume = {20}, pages = {76--79}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.20.8}, doi = {10.4204/EPTCS.20.8}, timestamp = {Thu, 26 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1003-0634.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1003-1682, author = {Howard Barringer and Alex Groce and Klaus Havelund and Margaret H. Smith}, editor = {Manuela{-}Luminita Bujorianu and Michael Fisher}, title = {An Entry Point for Formal Methods: Specification and Analysis of Event Logs}, booktitle = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA} 2009, Eindhoven, The Netherlands, 3rd November 2009}, series = {{EPTCS}}, volume = {20}, pages = {16--21}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.20.2}, doi = {10.4204/EPTCS.20.2}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1003-1682.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1003-1741, author = {Alessandro Cimatti and Marco Roveri and Angelo Susi and Stefano Tonetta}, editor = {Manuela{-}Luminita Bujorianu and Michael Fisher}, title = {Formalization and Validation of Safety-Critical Requirements}, booktitle = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA} 2009, Eindhoven, The Netherlands, 3rd November 2009}, series = {{EPTCS}}, volume = {20}, pages = {68--75}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.20.7}, doi = {10.4204/EPTCS.20.7}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1003-1741.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1003-2871, author = {Julien Forget and Fr{\'{e}}d{\'{e}}ric Boniol and David Lesens and Claire Pagetti}, editor = {Manuela{-}Luminita Bujorianu and Michael Fisher}, title = {Implementing Multi-Periodic Critical Systems: from Design to Code Generation}, booktitle = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA} 2009, Eindhoven, The Netherlands, 3rd November 2009}, series = {{EPTCS}}, volume = {20}, pages = {34--48}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.20.4}, doi = {10.4204/EPTCS.20.4}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1003-2871.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1003-4812, author = {Mariken H. C. Everdij and Henk A. P. Blom}, editor = {Manuela{-}Luminita Bujorianu and Michael Fisher}, title = {Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets}, booktitle = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA} 2009, Eindhoven, The Netherlands, 3rd November 2009}, series = {{EPTCS}}, volume = {20}, pages = {1--15}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.20.1}, doi = {10.4204/EPTCS.20.1}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1003-4812.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1003-5363, editor = {Manuela{-}Luminita Bujorianu and Michael Fisher}, title = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA} 2009, Eindhoven, The Netherlands, 3rd November 2009}, series = {{EPTCS}}, volume = {20}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.20}, doi = {10.4204/EPTCS.20}, timestamp = {Tue, 21 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1003-5363.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.