Search 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    = {Sat, 19 Oct 2019 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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.