Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/formats/formats2018.bht:"
download as .bib file
@inproceedings{DBLP:conf/formats/0002Z18,
author = {Meng Sun and
Xiyue Zhang},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {A Relational Model for Probabilistic Connectors Based on Timed Data
Distribution Streams},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {125--141},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_8},
doi = {10.1007/978-3-030-00151-3\_8},
timestamp = {Sat, 09 Apr 2022 12:48:56 +0200},
biburl = {https://dblp.org/rec/conf/formats/0002Z18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AbdullaAK18,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Shankara Narayanan Krishna},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {Perfect Timed Communication Is Hard},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {91--107},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_6},
doi = {10.1007/978-3-030-00151-3\_6},
timestamp = {Mon, 27 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/AbdullaAK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AndreLR18,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Mathias Ramparison},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {{TCTL} Model Checking Lower/Upper-Bound Parametric Timed Automata
Without Invariants},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {37--52},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_3},
doi = {10.1007/978-3-030-00151-3\_3},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/AndreLR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AsarinBD18,
author = {Eugene Asarin and
Nicolas Basset and
Aldric Degorre},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {Distance on Timed Words and Applications},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {199--214},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_12},
doi = {10.1007/978-3-030-00151-3\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/AsarinBD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BakhirkinFNMA18,
author = {Alexey Bakhirkin and
Thomas Ferr{\`{e}}re and
Dejan Nickovic and
Oded Maler and
Eugene Asarin},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {Online Timed Pattern Matching Using Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {215--232},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_13},
doi = {10.1007/978-3-030-00151-3\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BakhirkinFNMA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BarkaouiB18,
author = {Kamel Barkaoui and
Hanifa Boucheneb},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {On Persistency in Time Petri Nets},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {108--124},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_7},
doi = {10.1007/978-3-030-00151-3\_7},
timestamp = {Mon, 27 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BarkaouiB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DeshmukhKB18,
author = {Jyotirmoy V. Deshmukh and
Panagiotis Kyriakis and
Paul Bogdan},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {Stochastic Temporal Logic Abstractions: Challenges and Opportunities},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {3--16},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_1},
doi = {10.1007/978-3-030-00151-3\_1},
timestamp = {Mon, 27 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/DeshmukhKB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ElgyuttFH18,
author = {Adri{\'{a}}n Elgy{\"{u}}tt and
Thomas Ferr{\`{e}}re and
Thomas A. Henzinger},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {Monitoring Temporal Logic with Clock Variables},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {53--70},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_4},
doi = {10.1007/978-3-030-00151-3\_4},
timestamp = {Mon, 27 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/ElgyuttFH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/JensenLM18,
author = {Mathias Claus Jensen and
Kim Guldstrand Larsen and
Radu Mardare},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance,
and Their Logical Characterisations},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {145--161},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_9},
doi = {10.1007/978-3-030-00151-3\_9},
timestamp = {Mon, 27 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/JensenLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/JhaR0S18,
author = {Susmit Jha and
Sunny Raj and
Sumit Kumar Jha and
Natarajan Shankar},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {Duality-Based Nested Controller Synthesis from {STL} Specifications
for Stochastic Linear Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {235--251},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_14},
doi = {10.1007/978-3-030-00151-3\_14},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/JhaR0S18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Lee18,
author = {Edward A. Lee},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {Models of Timed Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {17--33},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_2},
doi = {10.1007/978-3-030-00151-3\_2},
timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/Lee18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/LiMFS018,
author = {Meilun Li and
Peter Nazier Mosaad and
Martin Fr{\"{a}}nzle and
Zhikun She and
Bai Xue},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {Safe Over- and Under-Approximation of Reachable Sets for Autonomous
Dynamical Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {252--270},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_15},
doi = {10.1007/978-3-030-00151-3\_15},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/LiMFS018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MoarrefK18,
author = {Salar Moarref and
Hadas Kress{-}Gazit},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {Reactive Synthesis for Robotic Swarms},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {71--87},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_5},
doi = {10.1007/978-3-030-00151-3\_5},
timestamp = {Mon, 27 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/MoarrefK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MufidAA18,
author = {Muhammad Syifa'ul Mufid and
Dieky Adzkiya and
Alessandro Abate},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {Tropical Abstractions of Max-Plus Linear Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {271--287},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_16},
doi = {10.1007/978-3-030-00151-3\_16},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/MufidAA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Sharma18,
author = {Arpit Sharma},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {Trace Relations and Logical Preservation for Markov Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {162--178},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_10},
doi = {10.1007/978-3-030-00151-3\_10},
timestamp = {Fri, 01 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/Sharma18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Sharma18a,
author = {Arpit Sharma},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {Non-bisimulation Based Behavioral Relations for Markov Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {179--196},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_11},
doi = {10.1007/978-3-030-00151-3\_11},
timestamp = {Fri, 01 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/Sharma18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2018,
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3},
doi = {10.1007/978-3-030-00151-3},
isbn = {978-3-030-00150-6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-06 15:52 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
