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/formats2005.bht:"
download as .bib file
@inproceedings{DBLP:conf/formats/Abdulla05,
author = {Parosh Aziz Abdulla},
editor = {Paul Pettersson and
Wang Yi},
title = {Verification of Parameterized Timed Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {95--97},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_8},
doi = {10.1007/11603009\_8},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/Abdulla05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AdlerAF05,
author = {B. Thomas Adler and
Luca de Alfaro and
Marco Faella},
editor = {Paul Pettersson and
Wang Yi},
title = {Average Reward Timed Games},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {65--80},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_6},
doi = {10.1007/11603009\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/AdlerAF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AljazzarHL05,
author = {Husain Aljazzar and
Holger Hermanns and
Stefan Leue},
editor = {Paul Pettersson and
Wang Yi},
title = {Counterexamples for Timed Probabilistic Reachability},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {177--195},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_15},
doi = {10.1007/11603009\_15},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/AljazzarHL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AltisenT05,
author = {Karine Altisen and
Stavros Tripakis},
editor = {Paul Pettersson and
Wang Yi},
title = {Implementation of Timed Automata: An Issue of Semantics or Modeling?},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {273--288},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_21},
doi = {10.1007/11603009\_21},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/AltisenT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Arzen05,
author = {Karl{-}Erik {\AA}rz{\'{e}}n},
editor = {Paul Pettersson and
Wang Yi},
title = {Timing Analysis and Simulation Tools for Real-Time Control},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {142--143},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_12},
doi = {10.1007/11603009\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/Arzen05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BehrmannLR05,
author = {Gerd Behrmann and
Kim Guldstrand Larsen and
Jacob Illum Rasmussen},
editor = {Paul Pettersson and
Wang Yi},
title = {Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {81--94},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_7},
doi = {10.1007/11603009\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BehrmannLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BerardCHLR05,
author = {B{\'{e}}atrice B{\'{e}}rard and
Franck Cassez and
Serge Haddad and
Didier Lime and
Olivier H. Roux},
editor = {Paul Pettersson and
Wang Yi},
title = {Comparison of the Expressiveness of Timed Automata and Time Petri
Nets},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {211--225},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_17},
doi = {10.1007/11603009\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BerardCHLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BouyerLR05,
author = {Patricia Bouyer and
Fran{\c{c}}ois Laroussinie and
Pierre{-}Alain Reynier},
editor = {Paul Pettersson and
Wang Yi},
title = {Diagonal Constraints in Timed Automata: Forward Analysis of Timed
Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {112--126},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_10},
doi = {10.1007/11603009\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BouyerLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BrihayeBR05,
author = {Thomas Brihaye and
V{\'{e}}ronique Bruy{\`{e}}re and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Paul Pettersson and
Wang Yi},
title = {On Optimal Timed Strategies},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {49--64},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_5},
doi = {10.1007/11603009\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BrihayeBR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ChatainJ05,
author = {Thomas Chatain and
Claude Jard},
editor = {Paul Pettersson and
Wang Yi},
title = {Time Supervision of Concurrent Systems Using Symbolic Unfoldings of
Time Petri Nets},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {196--210},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_16},
doi = {10.1007/11603009\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/ChatainJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/CorradiniV05,
author = {Flavio Corradini and
Walter Vogler},
editor = {Paul Pettersson and
Wang Yi},
title = {Performance of Pipelined Asynchronous Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {242--257},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_19},
doi = {10.1007/11603009\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/CorradiniV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DoyenHR05,
author = {Laurent Doyen and
Thomas A. Henzinger and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Paul Pettersson and
Wang Yi},
title = {Automatic Rectangular Refinement of Affine Hybrid Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {144--161},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_13},
doi = {10.1007/11603009\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/DoyenHR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/FokkinkPW05,
author = {Wan J. Fokkink and
Jun Pang and
Anton Wijs},
editor = {Paul Pettersson and
Wang Yi},
title = {Is Timed Branching Bisimilarity an Equivalence Indeed?},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {258--272},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_20},
doi = {10.1007/11603009\_20},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/FokkinkPW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Gentilini05,
author = {Raffaella Gentilini},
editor = {Paul Pettersson and
Wang Yi},
title = {Reachability Problems on Extended O-Minimal Hybrid Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {162--176},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_14},
doi = {10.1007/11603009\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/Gentilini05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GiacobazziM05,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
editor = {Paul Pettersson and
Wang Yi},
title = {Timed Abstract Non-interference},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {289--303},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_22},
doi = {10.1007/11603009\_22},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/GiacobazziM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Hendriks05,
author = {Martijn Hendriks},
editor = {Paul Pettersson and
Wang Yi},
title = {Model Checking the Time to Reach Agreement},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {98--111},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_9},
doi = {10.1007/11603009\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/Hendriks05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/HenzingerMP05,
author = {Thomas A. Henzinger and
Rupak Majumdar and
Vinayak S. Prabhu},
editor = {Paul Pettersson and
Wang Yi},
title = {Quantifying Similarities Between Timed Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {226--241},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_18},
doi = {10.1007/11603009\_18},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/HenzingerMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/LimKLM05,
author = {Hongping Lim and
Dilsun Kirli Kaynar and
Nancy A. Lynch and
Sayan Mitra},
editor = {Paul Pettersson and
Wang Yi},
title = {Translating Timed {I/O} Automata Specifications for Theorem Proving
in {PVS}},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {17--31},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_3},
doi = {10.1007/11603009\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/LimKLM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MalerNP05,
author = {Oded Maler and
Dejan Nickovic and
Amir Pnueli},
editor = {Paul Pettersson and
Wang Yi},
title = {Real Time Temporal Logic: Past, Present, Future},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {2--16},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_2},
doi = {10.1007/11603009\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/MalerNP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/RefsdalHS05,
author = {Atle Refsdal and
Knut Eilif Husa and
Ketil St{\o}len},
editor = {Paul Pettersson and
Wang Yi},
title = {Specification and Refinement of Soft Real-Time Requirements Using
Sequence Diagrams},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {32--48},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_4},
doi = {10.1007/11603009\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/RefsdalHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/SubramaniD05,
author = {K. Subramani and
Dejan Desovski},
editor = {Paul Pettersson and
Wang Yi},
title = {A New Verification Procedure for Partially Clairvoyant Scheduling},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {127--141},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_11},
doi = {10.1007/11603009\_11},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/SubramaniD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Thiele05,
author = {Lothar Thiele},
editor = {Paul Pettersson and
Wang Yi},
title = {Modular Performance Analysis of Distributed Embedded Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {1},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_1},
doi = {10.1007/11603009\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/Thiele05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2005,
editor = {Paul Pettersson and
Wang Yi},
title = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009},
doi = {10.1007/11603009},
isbn = {3-540-30946-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/2005.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-29 19:10 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:
