Search dblp for Publications

export results for "toc:db/conf/formats/formats2010.bht:"

 download as .bib file

@inproceedings{DBLP:conf/formats/Abdelzaher10,
  author    = {Tarek F. Abdelzaher},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {Interdisciplinary Foundations for Open Cyber-Physical Systems - (Invited
               Talk)},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {1},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_1},
  doi       = {10.1007/978-3-642-15297-9\_1},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/Abdelzaher10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BeekCMAR10,
  author    = {Dirk A. van Beek and
               Pieter J. L. Cuijpers and
               Jasen Markovski and
               D. E. Nadales Agut and
               Jacobus E. Rooda},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {Reconciling Urgency and Variable Abstraction in a Hybrid Compositional
               Setting},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {47--61},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_6},
  doi       = {10.1007/978-3-642-15297-9\_6},
  timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/BeekCMAR10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BouyerBM10,
  author    = {Patricia Bouyer and
               Romain Brenguier and
               Nicolas Markey},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {Computing Equilibria in Two-Player Timed Games \emph{via} Turn-Based
               Finite Games},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {62--76},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_7},
  doi       = {10.1007/978-3-642-15297-9\_7},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/formats/BouyerBM10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Cotton10,
  author    = {Scott Cotton},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {Natural Domain {SMT:} {A} Preliminary Assessment},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {77--91},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_8},
  doi       = {10.1007/978-3-642-15297-9\_8},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/Cotton10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DonzeM10,
  author    = {Alexandre Donz{\'{e}} and
               Oded Maler},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {Robust Satisfaction of Temporal Logic over Real-Valued Signals},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {92--106},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_9},
  doi       = {10.1007/978-3-642-15297-9\_9},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/DonzeM10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/EhlersMP10,
  author    = {R{\"{u}}diger Ehlers and
               Robert Mattm{\"{u}}ller and
               Hans{-}J{\"{o}}rg Peter},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {Combining Symbolic Representations for Solving Timed Games},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {107--121},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_10},
  doi       = {10.1007/978-3-642-15297-9\_10},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/EhlersMP10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ForejtKNT10,
  author    = {Vojtech Forejt and
               Marta Z. Kwiatkowska and
               Gethin Norman and
               Ashutosh Trivedi},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {Expected Reachability-Time Games},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {122--136},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_11},
  doi       = {10.1007/978-3-642-15297-9\_11},
  timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/formats/ForejtKNT10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GiampaoloGRS10,
  author    = {Barbara Di Giampaolo and
               Gilles Geeraerts and
               Jean{-}Fran{\c{c}}ois Raskin and
               Nathalie Sznajder},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {Safraless Procedures for Timed Specifications},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {2--22},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_2},
  doi       = {10.1007/978-3-642-15297-9\_2},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/GiampaoloGRS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GrabiecTJLR10,
  author    = {Bartosz Grabiec and
               Louis{-}Marie Traonouez and
               Claude Jard and
               Didier Lime and
               Olivier H. Roux},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {Diagnosis Using Unfoldings of Parametric Time Petri Nets},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {137--151},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_12},
  doi       = {10.1007/978-3-642-15297-9\_12},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/formats/GrabiecTJLR10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/HavlicekLMN10,
  author    = {John Havlicek and
               Scott Little and
               Oded Maler and
               Dejan Nickovic},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {Property-Based Monitoring of Analog and Mixed-Signal Systems},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {23--24},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_3},
  doi       = {10.1007/978-3-642-15297-9\_3},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/HavlicekLMN10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KwiatkowskaNP10,
  author    = {Marta Z. Kwiatkowska and
               Gethin Norman and
               David Parker},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {A Framework for Verification of Software with Time and Probabilities},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {25--45},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_4},
  doi       = {10.1007/978-3-642-15297-9\_4},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/KwiatkowskaNP10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/NickovicP10,
  author    = {Dejan Nickovic and
               Nir Piterman},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {From Mtl to Deterministic Timed Automata},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {152--167},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_13},
  doi       = {10.1007/978-3-642-15297-9\_13},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/formats/NickovicP10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/OlderogS10,
  author    = {Ernst{-}R{\"{u}}diger Olderog and
               Mani Swaminathan},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {Layered Composition for Timed Automata},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {228--242},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_18},
  doi       = {10.1007/978-3-642-15297-9\_18},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/OlderogS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/OrtizLS10,
  author    = {James Jerson Ortiz and
               Axel Legay and
               Pierre{-}Yves Schobbens},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {Memory Event Clocks},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {198--212},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_16},
  doi       = {10.1007/978-3-642-15297-9\_16},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/OrtizLS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/PandyaS10,
  author    = {Paritosh K. Pandya and
               Simoni S. Shah},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {Unambiguity in Timed Regular Languages: Automata and Logics},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {168--182},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_14},
  doi       = {10.1007/978-3-642-15297-9\_14},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/PandyaS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/PhilippouLSC10,
  author    = {Anna Philippou and
               Insup Lee and
               Oleg Sokolsky and
               Jin{-}Young Choi},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {A Process Algebraic Framework for Modeling Resource Demand and Supply},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {183--197},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_15},
  doi       = {10.1007/978-3-642-15297-9\_15},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/PhilippouLSC10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Schmid10,
  author    = {Ulrich Schmid},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {Synchrony and Time in Fault-Tolerant Distributed Algorithms - (Invited
               Tutorial)},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {46},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_5},
  doi       = {10.1007/978-3-642-15297-9\_5},
  timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/formats/Schmid10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/SprostonT10,
  author    = {Jeremy Sproston and
               Angelo Troina},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {Simulation and Bisimulation for Probabilistic Timed Automata},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {213--227},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_17},
  doi       = {10.1007/978-3-642-15297-9\_17},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/SprostonT10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/StypBS10,
  author    = {Sabrina von Styp and
               Henrik C. Bohnenkamp and
               Julien Schmaltz},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {A Conformance Testing Relation for Symbolic Timed Automata},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {243--255},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_19},
  doi       = {10.1007/978-3-642-15297-9\_19},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/StypBS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2010,
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9},
  doi       = {10.1007/978-3-642-15297-9},
  isbn      = {978-3-642-15296-2},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/2010.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics