default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/formats/formats2012.bht:"
download as .bib file
@inproceedings{DBLP:conf/formats/AkshayHJLR12,
author = {S. Akshay and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Claude Jard and
Didier Lime and
Olivier H. Roux},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Robustness of Time Petri Nets under Architectural Constraints},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {11--26},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_3},
doi = {10.1007/978-3-642-33365-1\_3},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/AkshayHJLR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AsarinBBDP12,
author = {Eugene Asarin and
Nicolas Basset and
Marie{-}Pierre B{\'{e}}al and
Aldric Degorre and
Dominique Perrin},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Toward a Timed Theory of Channel Coding},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {27--42},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_4},
doi = {10.1007/978-3-642-33365-1\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/AsarinBBDP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BastenHST12,
author = {Twan Basten and
Martijn Hendriks and
Lou J. Somers and
Nikola Trcka},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Model-Driven Design-Space Exploration for Software-Intensive Embedded
Systems - (Extended Abstract)},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {1--6},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_1},
doi = {10.1007/978-3-642-33365-1\_1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/BastenHST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BertrandS12,
author = {Nathalie Bertrand and
Sven Schewe},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Playing Optimally on Timed Automata with Random Delays},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {43--58},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_5},
doi = {10.1007/978-3-642-33365-1\_5},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BertrandS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/CarterN12,
author = {Rebekah Carter and
Eva M. Navarro{-}L{\'{o}}pez},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Dynamically-Driven Timed Automaton Abstractions for Proving Liveness
of Continuous Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {59--74},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_6},
doi = {10.1007/978-3-642-33365-1\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/CarterN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ChiltonKW12,
author = {Chris Chilton and
Marta Z. Kwiatkowska and
Xu Wang},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Revisiting Timed Specification Theories: {A} Linear-Time Perspective},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {75--90},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_7},
doi = {10.1007/978-3-642-33365-1\_7},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/ChiltonKW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DalsgaardLLOP12,
author = {Andreas Engelbredt Dalsgaard and
Alfons Laarman and
Kim G. Larsen and
Mads Chr. Olesen and
Jaco van de Pol},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Multi-core Reachability for Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {91--106},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_8},
doi = {10.1007/978-3-642-33365-1\_8},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/DalsgaardLLOP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DimitrovaF12,
author = {Rayna Dimitrova and
Bernd Finkbeiner},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Counterexample-Guided Synthesis of Observation Predicates},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {107--122},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_9},
doi = {10.1007/978-3-642-33365-1\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/DimitrovaF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/EllenGF12,
author = {Christian Ellen and
Sebastian Gerwinn and
Martin Fr{\"{a}}nzle},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Confidence Bounds for Statistical Model Checking of Probabilistic
Hybrid Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {123--138},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_10},
doi = {10.1007/978-3-642-33365-1\_10},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/EllenGF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GhasemiehRHG12,
author = {Hamed Ghasemieh and
Anne Remke and
Boudewijn R. Haverkort and
Marco Gribaudo},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot
Transition},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {139--154},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_11},
doi = {10.1007/978-3-642-33365-1\_11},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/GhasemiehRHG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/HerreraWAMP12,
author = {Christian Herrera and
Bernd Westphal and
Sergio Feo{-}Arenis and
Marco Mu{\~{n}}iz and
Andreas Podelski},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Reducing Quasi-Equal Clocks in Networks of Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {155--170},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_12},
doi = {10.1007/978-3-642-33365-1\_12},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/HerreraWAMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KindermannJN12,
author = {Roland Kindermann and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {SMT-Based Induction Methods for Timed Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {171--187},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_13},
doi = {10.1007/978-3-642-33365-1\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/KindermannJN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Larsen12,
author = {Kim G. Larsen},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Statistical Model Checking, Refinement Checking, Optimization, ...
for Stochastic Hybrid Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {7--10},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_2},
doi = {10.1007/978-3-642-33365-1\_2},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/Larsen12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MunizWP12,
author = {Marco Mu{\~{n}}iz and
Bernd Westphal and
Andreas Podelski},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Timed Automata with Disjoint Activity},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {188--203},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_14},
doi = {10.1007/978-3-642-33365-1\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/MunizWP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/PeterF12,
author = {Hans{-}J{\"{o}}rg Peter and
Bernd Finkbeiner},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {The Complexity of Bounded Synthesis for Timed Control with Partial
Observability},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {204--219},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_15},
doi = {10.1007/978-3-642-33365-1\_15},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/PeterF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/RinastS12,
author = {Jonas Rinast and
Sibylle Schupp},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Static Detection of Zeno Runs in {UPPAAL} Networks Based on Synchronization
Matrices and Two Data-Variable Heuristics},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {220--235},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_16},
doi = {10.1007/978-3-642-33365-1\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/RinastS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Stainer12,
author = {Am{\'{e}}lie Stainer},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Frequencies in Forgetful Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {236--251},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_17},
doi = {10.1007/978-3-642-33365-1\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/Stainer12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/WehrleK12,
author = {Martin Wehrle and
Sebastian Kupferschmid},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Mcta: Heuristics and Search for Timed Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {252--266},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_18},
doi = {10.1007/978-3-642-33365-1\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/WehrleK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2012,
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1},
doi = {10.1007/978-3-642-33365-1},
isbn = {978-3-642-33364-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/2012.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.
retrieved on 2025-01-19 19:01 CET 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:
