default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/formats/formats2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/formats/Benveniste08,
author = {Albert Benveniste},
editor = {Franck Cassez and
Claude Jard},
title = {Composing Web Services in an Open World: Issues of Quality of Service},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {14},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_2},
doi = {10.1007/978-3-540-85778-5\_2},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/Benveniste08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BerendsenV08,
author = {Jasper Berendsen and
Frits W. Vaandrager},
editor = {Franck Cassez and
Claude Jard},
title = {Compositional Abstraction in Real-Time Model Checking},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {233--249},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_17},
doi = {10.1007/978-3-540-85778-5\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BerendsenV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BoniolHPAJ08,
author = {Fr{\'{e}}d{\'{e}}ric Boniol and
Pierre{-}Emmanuel Hladik and
Claire Pagetti and
Fr{\'{e}}d{\'{e}}ric Aspro and
Victor J{\'{e}}gu},
editor = {Franck Cassez and
Claude Jard},
title = {A Framework for Distributing Real-Time Functions},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {155--169},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_12},
doi = {10.1007/978-3-540-85778-5\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BoniolHPAJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BouchenebB08,
author = {Hanifa Boucheneb and
Kamel Barkaoui},
editor = {Franck Cassez and
Claude Jard},
title = {Relevant Timed Schedules / Clock Valuations for Constructing Time
Petri Net Reachability Graphs},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {265--279},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_19},
doi = {10.1007/978-3-540-85778-5\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BouchenebB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BouyerBJLR08,
author = {Patricia Bouyer and
Thomas Brihaye and
Marcin Jurdzinski and
Ranko Lazic and
Michal Rutkowski},
editor = {Franck Cassez and
Claude Jard},
title = {Average-Price and Reachability-Price Games on Hybrid Automata with
Strong Resets},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {63--77},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_6},
doi = {10.1007/978-3-540-85778-5\_6},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BouyerBJLR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BouyerFLMS08,
author = {Patricia Bouyer and
Ulrich Fahrenberg and
Kim Guldstrand Larsen and
Nicolas Markey and
Jir{\'{\i}} Srba},
editor = {Franck Cassez and
Claude Jard},
title = {Infinite Runs in Weighted Timed Automata with Energy Constraints},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {33--47},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_4},
doi = {10.1007/978-3-540-85778-5\_4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BouyerFLMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ChandyMP08,
author = {K. Mani Chandy and
Sayan Mitra and
Concetta Pilotto},
editor = {Franck Cassez and
Claude Jard},
title = {Convergence Verification: From Shared Memory to Partially Synchronous
Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {218--232},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_16},
doi = {10.1007/978-3-540-85778-5\_16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/ChandyMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ChatterjeeHP08,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Vinayak S. Prabhu},
editor = {Franck Cassez and
Claude Jard},
title = {Timed Parity Games: Complexity and Robustness},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {124--140},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_10},
doi = {10.1007/978-3-540-85778-5\_10},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/ChatterjeeHP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DegorreM08,
author = {Aldric Degorre and
Oded Maler},
editor = {Franck Cassez and
Claude Jard},
title = {On Scheduling Policies for Streams of Structured Jobs},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {141--154},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_11},
doi = {10.1007/978-3-540-85778-5\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/DegorreM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/FuriaR08,
author = {Carlo A. Furia and
Matteo Rossi},
editor = {Franck Cassez and
Claude Jard},
title = {{MTL} with Bounded Variability: Decidability and Complexity},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {109--123},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_9},
doi = {10.1007/978-3-540-85778-5\_9},
timestamp = {Wed, 14 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/FuriaR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/IgnaKYBGVVSS08,
author = {Georgeta Igna and
Venkatesh Kannan and
Yang Yang and
Twan Basten and
Marc Geilen and
Frits W. Vaandrager and
Marc Voorhoeve and
Sebastian de Smet and
Lou J. Somers},
editor = {Franck Cassez and
Claude Jard},
title = {Formal Modeling and Scheduling of Datapaths of Digital Document Printers},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {170--187},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_13},
doi = {10.1007/978-3-540-85778-5\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/IgnaKYBGVVSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/JurdzinskiT08,
author = {Marcin Jurdzinski and
Ashutosh Trivedi},
editor = {Franck Cassez and
Claude Jard},
title = {Concavely-Priced Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {48--62},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_5},
doi = {10.1007/978-3-540-85778-5\_5},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/JurdzinskiT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KatoenM08,
author = {Joost{-}Pieter Katoen and
Alexandru Mereacre},
editor = {Franck Cassez and
Claude Jard},
title = {Model Checking {HML} on Piecewise-Constant Inhomogeneous Markov Chains},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {203--217},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_15},
doi = {10.1007/978-3-540-85778-5\_15},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/KatoenM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/OuaknineW08,
author = {Jo{\"{e}}l Ouaknine and
James Worrell},
editor = {Franck Cassez and
Claude Jard},
title = {Some Recent Results in Metric Temporal Logic},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {1--13},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_1},
doi = {10.1007/978-3-540-85778-5\_1},
timestamp = {Thu, 14 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/OuaknineW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Rabinovich08,
author = {Alexander Rabinovich},
editor = {Franck Cassez and
Claude Jard},
title = {Complexity of Metric Temporal Logics with Counting and the Pnueli
Modalities},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {93--108},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_8},
doi = {10.1007/978-3-540-85778-5\_8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/Rabinovich08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/RemkeH08,
author = {Anne Remke and
Boudewijn R. Haverkort},
editor = {Franck Cassez and
Claude Jard},
title = {A Uniformization-Based Algorithm for Model Checking the {CSL} Until
Operator on Labeled Queueing Networks},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {188--202},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_14},
doi = {10.1007/978-3-540-85778-5\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/RemkeH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/SchmaltzT08,
author = {Julien Schmaltz and
Jan Tretmans},
editor = {Franck Cassez and
Claude Jard},
title = {On Conformance Testing for Timed Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {250--264},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_18},
doi = {10.1007/978-3-540-85778-5\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/SchmaltzT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Srba08,
author = {Jir{\'{\i}} Srba},
editor = {Franck Cassez and
Claude Jard},
title = {Comparing the Expressiveness of Timed Automata and Timed Extensions
of Petri Nets},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {15--32},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_3},
doi = {10.1007/978-3-540-85778-5\_3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/Srba08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/SumanPKM08,
author = {P. Vijay Suman and
Paritosh K. Pandya and
Shankara Narayanan Krishna and
Lakshmi Manasa},
editor = {Franck Cassez and
Claude Jard},
title = {Timed Automata with Integer Resets: Language Inclusion and Expressiveness},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {78--92},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_7},
doi = {10.1007/978-3-540-85778-5\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/SumanPKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/TraonouezLR08,
author = {Louis{-}Marie Traonouez and
Didier Lime and
Olivier H. Roux},
editor = {Franck Cassez and
Claude Jard},
title = {Parametric Model-Checking of Time Petri Nets with Stopwatches Using
the State-Class Graph},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {280--294},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_20},
doi = {10.1007/978-3-540-85778-5\_20},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/TraonouezLR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2008,
editor = {Franck Cassez and
Claude Jard},
title = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5},
doi = {10.1007/978-3-540-85778-5},
isbn = {978-3-540-85777-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/2008.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-11-07 10:45 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:
