default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/formats/formats2009.bht:"
download as .bib file
@inproceedings{DBLP:conf/formats/AsarinD09,
author = {Eugene Asarin and
Aldric Degorre},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Volume and Entropy of Regular Timed Languages: Analytic Approach},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {13--27},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_4},
doi = {10.1007/978-3-642-04368-0\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/AsarinD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BenattarCLR09,
author = {Gilles Benattar and
Franck Cassez and
Didier Lime and
Olivier H. Roux},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Synthesis of Non-Interferent Timed Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {28--42},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_5},
doi = {10.1007/978-3-642-04368-0\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BenattarCLR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BjornerM09,
author = {Nikolaj S. Bj{\o}rner and
Leonardo Mendon{\c{c}}a de Moura},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Tapas: Theory Combinations and Practical Applications},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {1--6},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_1},
doi = {10.1007/978-3-642-04368-0\_1},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BjornerM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BouillardHR09,
author = {Anne Bouillard and
Stefan Haar and
Sidney Rosario},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Critical Paths in the Partial Order Unfolding of a Stochastic Petri
Net},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {43--57},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_6},
doi = {10.1007/978-3-642-04368-0\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BouillardHR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BrabermanGKMO09,
author = {V{\'{\i}}ctor A. Braberman and
Diego Garbervetsky and
Nicolas Kicillof and
Daniel Monteverde and
Alfredo Olivero},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization
and Live Component Analysis},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {58--72},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_7},
doi = {10.1007/978-3-642-04368-0\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BrabermanGKMO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BulychevCDL09,
author = {Peter E. Bulychev and
Thomas Chatain and
Alexandre David and
Kim Guldstrand Larsen},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {73--87},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_8},
doi = {10.1007/978-3-642-04368-0\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BulychevCDL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ChiplunkarKJ09,
author = {Ashish Chiplunkar and
Shankara Narayanan Krishna and
Chinmay Jain},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Model Checking Logic {WCTL} with Multi Constrained Modalities on One
Clock Priced Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {88--102},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_9},
doi = {10.1007/978-3-642-04368-0\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/ChiplunkarKJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ColomboPS09,
author = {Christian Colombo and
Gordon J. Pace and
Gerardo Schneider},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Safe Runtime Verification of Real-Time Properties},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {103--117},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_10},
doi = {10.1007/978-3-642-04368-0\_10},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/ColomboPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DimaL09,
author = {Catalin Dima and
Ruggero Lanotte},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Removing All Silent Transitions from Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {118--132},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_11},
doi = {10.1007/978-3-642-04368-0\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/DimaL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DoyenGRR09,
author = {Laurent Doyen and
Gilles Geeraerts and
Jean{-}Fran{\c{c}}ois Raskin and
Julien Reichert},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Realizability of Real-Time Logics},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {133--148},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_12},
doi = {10.1007/978-3-642-04368-0\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/DoyenGRR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/FranzleS09,
author = {Martin Fr{\"{a}}nzle and
Mani Swaminathan},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Revisiting Decidability and Optimum Reachability for Multi-Priced
Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {149--163},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_13},
doi = {10.1007/978-3-642-04368-0\_13},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/FranzleS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GantyM09,
author = {Pierre Ganty and
Rupak Majumdar},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Analyzing Real-Time Event-Driven Programs},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {164--178},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_14},
doi = {10.1007/978-3-642-04368-0\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/GantyM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Gaubert09,
author = {Stephane Gaubert},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis,
and Zero-Sum Games},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {7--11},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_2},
doi = {10.1007/978-3-642-04368-0\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/Gaubert09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Gomez09,
author = {Rodolfo G{\'{o}}mez},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {A Compositional Translation of Timed Automata with Deadlines to Uppaal
Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {179--194},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_15},
doi = {10.1007/978-3-642-04368-0\_15},
timestamp = {Thu, 14 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/Gomez09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KatoenKN09,
author = {Joost{-}Pieter Katoen and
Daniel Klink and
Martin R. Neuh{\"{a}}u{\ss}er},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Compositional Abstraction for Stochastic Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {195--211},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_16},
doi = {10.1007/978-3-642-04368-0\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/KatoenKN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KwiatkowskaNP09,
author = {Marta Z. Kwiatkowska and
Gethin Norman and
David Parker},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Stochastic Games for Verification of Probabilistic Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {212--227},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_17},
doi = {10.1007/978-3-642-04368-0\_17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/KwiatkowskaNP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Li09,
author = {Guangyuan Li},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Checking Timed B{\"{u}}chi Automata Emptiness Using LU-Abstractions},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {228--242},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_18},
doi = {10.1007/978-3-642-04368-0\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/Li09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Pappas09,
author = {George J. Pappas},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Approximations of Discrete, Continuous, and Hybrid Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {12},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_3},
doi = {10.1007/978-3-642-04368-0\_3},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/Pappas09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Quaas09,
author = {Karin Quaas},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {On the Supports of Recognizable Timed Series},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {243--257},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_19},
doi = {10.1007/978-3-642-04368-0\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/Quaas09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Umeno09,
author = {Shinya Umeno},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol
Using Event Order Abstraction},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {258--274},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_20},
doi = {10.1007/978-3-642-04368-0\_20},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/Umeno09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/WoehrleLT09,
author = {Matthias Woehrle and
Kai Lampka and
Lothar Thiele},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Exploiting Timed Automata for Conformance Testing of Power Measurements},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {275--290},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_21},
doi = {10.1007/978-3-642-04368-0\_21},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/WoehrleLT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2009,
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0},
doi = {10.1007/978-3-642-04368-0},
isbn = {978-3-642-04367-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/2009.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 2024-12-04 21:17 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:
