default search action

combined dblp search
author search
venue search
publication search

ask others

19th FORMATS 2021, Paris, France

> Home > Conferences and Workshops > FORMATS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/formats/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/2021
Catalin Dima, Mahsa Shirmohammadi:
Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings. Lecture Notes in Computer Science 12860, Springer 2021, ISBN 978-3-030-85036-4
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BarbosaKTT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BarbosaKTT21
Fernando S. Barbosa, Jesper Karlsson, Pouria Tajvar, Jana Tumova:
Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract). 1-14
- view
  authority control:
- export record
  dblp key:
  - conf/formats/AsarinFNU21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/AsarinFNU21
Eugene Asarin, Thomas Ferrère, Dejan Nickovic, Dogan Ulus:
On the Complexity of Timed Pattern Matching. 15-31
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BonnelandJLMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BonnelandJLMS21
Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba:
Stubborn Set Reduction for Timed Reachability and Safety Games. 32-49
- view
  authority control:
- export record
  dblp key:
  - conf/formats/KimBD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/KimBD21
Edward Kim, Stanley Bak, Parasara Sridhar Duggirala:
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems. 50-66
- view
  authority control:
- export record
  dblp key:
  - conf/formats/Liu21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/Liu21
Jun Liu:
Closing the Gap Between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability. 67-83
- view
  authority control:
- export record
  dblp key:
  - conf/formats/LundDLMJA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/LundDLMJA21
Sebastian Lund, Jesper van Diepen, Kim G. Larsen, Marco Muñiz, Tobias Ringholm Jørgensen, Tobias Skaarup Daa Andersen:
An Integer Static Analysis for Better Extrapolation in Uppaal. 84-99
- view
  authority control:
- export record
  dblp key:
  - conf/formats/MariDG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/MariDG21
Thomas Mari, Thao Dang, Gregor Gössler:
Explaining Safety Violations in Real-Time Systems. 100-116
- view
  authority control:
- export record
  dblp key:
  - conf/formats/MohammadinejadP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/MohammadinejadP21
Sara Mohammadinejad, Brandon Paulsen, Jyotirmoy V. Deshmukh, Chao Wang:
DiffRNN: Differential Verification of Recurrent Neural Networks. 117-134
- view
  authority control:
- export record
  dblp key:
  - conf/formats/PeruffoA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/PeruffoA21
Andrea Peruffo, Alessandro Abate:
Formal Abstraction and Synthesis of Parametric Stochastic Processes. 135-153

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.