Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/formats/AbateCMM20,
  author       = {Alessandro Abate and
                  Alessandro Cimatti and
                  Andrea Micheli and
                  Muhammad Syifa'ul Mufid},
  editor       = {Nathalie Bertrand and
                  Nils Jansen},
  title        = {Computation of the Transient in Max-Plus Linear Systems via SMT-Solving},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 18th International
                  Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12288},
  pages        = {161--177},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57628-8\_10},
  doi          = {10.1007/978-3-030-57628-8\_10},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/AbateCMM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/Bacci020,
  author       = {Edoardo Bacci and
                  David Parker},
  editor       = {Nathalie Bertrand and
                  Nils Jansen},
  title        = {Probabilistic Guarantees for Safe Deep Reinforcement Learning},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 18th International
                  Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12288},
  pages        = {231--248},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57628-8\_14},
  doi          = {10.1007/978-3-030-57628-8\_14},
  timestamp    = {Sat, 19 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/Bacci020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/BassetDMJ20,
  author       = {Nicolas Basset and
                  Thao Dang and
                  Akshay Mambakam and
                  Jos{\'{e}} Ignacio Requeno Jarabo},
  editor       = {Nathalie Bertrand and
                  Nils Jansen},
  title        = {Learning Specifications for Labelled Patterns},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 18th International
                  Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12288},
  pages        = {76--93},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57628-8\_5},
  doi          = {10.1007/978-3-030-57628-8\_5},
  timestamp    = {Tue, 11 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/BassetDMJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/BrihayeG20,
  author       = {Thomas Brihaye and
                  Aline Goeminne},
  editor       = {Nathalie Bertrand and
                  Nils Jansen},
  title        = {On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 18th International
                  Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12288},
  pages        = {94--110},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57628-8\_6},
  doi          = {10.1007/978-3-030-57628-8\_6},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/BrihayeG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/ClementJMM20,
  author       = {Emily Clement and
                  Thierry J{\'{e}}ron and
                  Nicolas Markey and
                  David Mentr{\'{e}}},
  editor       = {Nathalie Bertrand and
                  Nils Jansen},
  title        = {Computing Maximally-Permissive Strategies in Acyclic Timed Automata},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 18th International
                  Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12288},
  pages        = {111--126},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57628-8\_7},
  doi          = {10.1007/978-3-030-57628-8\_7},
  timestamp    = {Sat, 19 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/ClementJMM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/DonatelliH20,
  author       = {Susanna Donatelli and
                  Serge Haddad},
  editor       = {Nathalie Bertrand and
                  Nils Jansen},
  title        = {Guarded Autonomous Transitions Increase Conciseness and Expressiveness
                  of Timed Automata},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 18th International
                  Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12288},
  pages        = {215--230},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57628-8\_13},
  doi          = {10.1007/978-3-030-57628-8\_13},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/DonatelliH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/GranigJLMN20,
  author       = {Wolfgang Granig and
                  Stefan Jaksic and
                  Horst Lewitschnig and
                  Cristinel Mateis and
                  Dejan Nickovic},
  editor       = {Nathalie Bertrand and
                  Nils Jansen},
  title        = {Weakness Monitors for Fail-Aware Systems},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 18th International
                  Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12288},
  pages        = {283--299},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57628-8\_17},
  doi          = {10.1007/978-3-030-57628-8\_17},
  timestamp    = {Sat, 19 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/GranigJLMN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/HasanbeigKA20,
  author       = {Mohammadhosein Hasanbeig and
                  Daniel Kroening and
                  Alessandro Abate},
  editor       = {Nathalie Bertrand and
                  Nils Jansen},
  title        = {Deep Reinforcement Learning with Temporal Logics},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 18th International
                  Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12288},
  pages        = {1--22},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57628-8\_1},
  doi          = {10.1007/978-3-030-57628-8\_1},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/HasanbeigKA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/HenryJM20,
  author       = {L{\'{e}}o Henry and
                  Thierry J{\'{e}}ron and
                  Nicolas Markey},
  editor       = {Nathalie Bertrand and
                  Nils Jansen},
  title        = {Active Learning of Timed Automata with Unobservable Resets},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 18th International
                  Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12288},
  pages        = {144--160},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57628-8\_9},
  doi          = {10.1007/978-3-030-57628-8\_9},
  timestamp    = {Sat, 19 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/HenryJM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/JeronMMNS20,
  author       = {Thierry J{\'{e}}ron and
                  Nicolas Markey and
                  David Mentr{\'{e}} and
                  Reiya Noguchi and
                  Ocan Sankur},
  editor       = {Nathalie Bertrand and
                  Nils Jansen},
  title        = {Incremental Methods for Checking Real-Time Consistency},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 18th International
                  Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12288},
  pages        = {249--264},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57628-8\_15},
  doi          = {10.1007/978-3-030-57628-8\_15},
  timestamp    = {Sat, 19 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/JeronMMNS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/KempaZJZR20,
  author       = {Brian Kempa and
                  Pei Zhang and
                  Phillip H. Jones and
                  Joseph Zambreno and
                  Kristin Yvonne Rozier},
  editor       = {Nathalie Bertrand and
                  Nils Jansen},
  title        = {Embedding Online Runtime Verification for Fault Disambiguation on
                  Robonaut2},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 18th International
                  Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12288},
  pages        = {196--214},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57628-8\_12},
  doi          = {10.1007/978-3-030-57628-8\_12},
  timestamp    = {Thu, 11 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/formats/KempaZJZR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/KolblLS20,
  author       = {Martin K{\"{o}}lbl and
                  Stefan Leue and
                  Robert Schmid},
  editor       = {Nathalie Bertrand and
                  Nils Jansen},
  title        = {Dynamic Causes for the Violation of Timed Reachability Properties},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 18th International
                  Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12288},
  pages        = {127--143},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57628-8\_8},
  doi          = {10.1007/978-3-030-57628-8\_8},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/KolblLS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/LiBB20,
  author       = {Dongxu Li and
                  Stanley Bak and
                  Sergiy Bogomolov},
  editor       = {Nathalie Bertrand and
                  Nils Jansen},
  title        = {Reachability Analysis of Nonlinear Systems Using Hybridization and
                  Dynamics Scaling},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 18th International
                  Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12288},
  pages        = {265--282},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57628-8\_16},
  doi          = {10.1007/978-3-030-57628-8\_16},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/LiBB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/ParrotL20,
  author       = {R{\'{e}}mi Parrot and
                  Didier Lime},
  editor       = {Nathalie Bertrand and
                  Nils Jansen},
  title        = {Backward Symbolic Optimal Reachability in Weighted Timed Automata},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 18th International
                  Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12288},
  pages        = {41--57},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57628-8\_3},
  doi          = {10.1007/978-3-030-57628-8\_3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/ParrotL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/QinD20,
  author       = {Xin Qin and
                  Jyotirmoy V. Deshmukh},
  editor       = {Nathalie Bertrand and
                  Nils Jansen},
  title        = {Clairvoyant Monitoring for Signal Temporal Logic},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 18th International
                  Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12288},
  pages        = {178--195},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57628-8\_11},
  doi          = {10.1007/978-3-030-57628-8\_11},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/QinD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/VanBBKVW20,
  author       = {Hai Nguyen Van and
                  Thibaut Balabonski and
                  Fr{\'{e}}d{\'{e}}ric Boulanger and
                  Chantal Keller and
                  Beno{\^{\i}}t Valiron and
                  Burkhart Wolff},
  editor       = {Nathalie Bertrand and
                  Nils Jansen},
  title        = {On the Semantics of Polychronous Polytimed Specifications},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 18th International
                  Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12288},
  pages        = {23--40},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57628-8\_2},
  doi          = {10.1007/978-3-030-57628-8\_2},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/formats/VanBBKVW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/WimmerHP20,
  author       = {Simon Wimmer and
                  Fr{\'{e}}d{\'{e}}ric Herbreteau and
                  Jaco van de Pol},
  editor       = {Nathalie Bertrand and
                  Nils Jansen},
  title        = {Certifying Emptiness of Timed B{\"{u}}chi Automata},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 18th International
                  Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12288},
  pages        = {58--75},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57628-8\_4},
  doi          = {10.1007/978-3-030-57628-8\_4},
  timestamp    = {Mon, 13 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/formats/WimmerHP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/formats/2020,
  editor       = {Nathalie Bertrand and
                  Nils Jansen},
  title        = {Formal Modeling and Analysis of Timed Systems - 18th International
                  Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12288},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57628-8},
  doi          = {10.1007/978-3-030-57628-8},
  isbn         = {978-3-030-57627-1},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/2020.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.