Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/formats/AsarinFNU21,
  author       = {Eugene Asarin and
                  Thomas Ferr{\`{e}}re and
                  Dejan Nickovic and
                  Dogan Ulus},
  editor       = {Catalin Dima and
                  Mahsa Shirmohammadi},
  title        = {On the Complexity of Timed Pattern Matching},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 19th International
                  Conference, {FORMATS} 2021, Paris, France, August 24-26, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12860},
  pages        = {15--31},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85037-1\_2},
  doi          = {10.1007/978-3-030-85037-1\_2},
  timestamp    = {Wed, 01 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/AsarinFNU21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/BarbosaKTT21,
  author       = {Fernando S. Barbosa and
                  Jesper Karlsson and
                  Pouria Tajvar and
                  Jana Tumova},
  editor       = {Catalin Dima and
                  Mahsa Shirmohammadi},
  title        = {Formal Methods for Robot Motion Planning with Time and Space Constraints
                  (Extended Abstract)},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 19th International
                  Conference, {FORMATS} 2021, Paris, France, August 24-26, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12860},
  pages        = {1--14},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85037-1\_1},
  doi          = {10.1007/978-3-030-85037-1\_1},
  timestamp    = {Tue, 17 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/BarbosaKTT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/BonnelandJLMS21,
  author       = {Frederik M. B{\o}nneland and
                  Peter Gj{\o}l Jensen and
                  Kim G. Larsen and
                  Marco Mu{\~{n}}iz and
                  Jir{\'{\i}} Srba},
  editor       = {Catalin Dima and
                  Mahsa Shirmohammadi},
  title        = {Stubborn Set Reduction for Timed Reachability and Safety Games},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 19th International
                  Conference, {FORMATS} 2021, Paris, France, August 24-26, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12860},
  pages        = {32--49},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85037-1\_3},
  doi          = {10.1007/978-3-030-85037-1\_3},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/BonnelandJLMS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/KimBD21,
  author       = {Edward Kim and
                  Stanley Bak and
                  Parasara Sridhar Duggirala},
  editor       = {Catalin Dima and
                  Mahsa Shirmohammadi},
  title        = {Automatic Dynamic Parallelotope Bundles for Reachability Analysis
                  of Nonlinear Systems},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 19th International
                  Conference, {FORMATS} 2021, Paris, France, August 24-26, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12860},
  pages        = {50--66},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85037-1\_4},
  doi          = {10.1007/978-3-030-85037-1\_4},
  timestamp    = {Tue, 17 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/KimBD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/Liu21,
  author       = {Jun Liu},
  editor       = {Catalin Dima and
                  Mahsa Shirmohammadi},
  title        = {Closing the Gap Between Discrete Abstractions and Continuous Control:
                  Completeness via Robustness and Controllability},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 19th International
                  Conference, {FORMATS} 2021, Paris, France, August 24-26, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12860},
  pages        = {67--83},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85037-1\_5},
  doi          = {10.1007/978-3-030-85037-1\_5},
  timestamp    = {Wed, 01 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/Liu21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/LundDLMJA21,
  author       = {Sebastian Lund and
                  Jesper van Diepen and
                  Kim G. Larsen and
                  Marco Mu{\~{n}}iz and
                  Tobias Ringholm J{\o}rgensen and
                  Tobias Skaarup Daa Andersen},
  editor       = {Catalin Dima and
                  Mahsa Shirmohammadi},
  title        = {An Integer Static Analysis for Better Extrapolation in Uppaal},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 19th International
                  Conference, {FORMATS} 2021, Paris, France, August 24-26, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12860},
  pages        = {84--99},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85037-1\_6},
  doi          = {10.1007/978-3-030-85037-1\_6},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/LundDLMJA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/MariDG21,
  author       = {Thomas Mari and
                  Thao Dang and
                  Gregor G{\"{o}}ssler},
  editor       = {Catalin Dima and
                  Mahsa Shirmohammadi},
  title        = {Explaining Safety Violations in Real-Time Systems},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 19th International
                  Conference, {FORMATS} 2021, Paris, France, August 24-26, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12860},
  pages        = {100--116},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85037-1\_7},
  doi          = {10.1007/978-3-030-85037-1\_7},
  timestamp    = {Thu, 25 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/MariDG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/MohammadinejadP21,
  author       = {Sara Mohammadinejad and
                  Brandon Paulsen and
                  Jyotirmoy V. Deshmukh and
                  Chao Wang},
  editor       = {Catalin Dima and
                  Mahsa Shirmohammadi},
  title        = {DiffRNN: Differential Verification of Recurrent Neural Networks},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 19th International
                  Conference, {FORMATS} 2021, Paris, France, August 24-26, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12860},
  pages        = {117--134},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85037-1\_8},
  doi          = {10.1007/978-3-030-85037-1\_8},
  timestamp    = {Tue, 17 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/MohammadinejadP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/PeruffoA21,
  author       = {Andrea Peruffo and
                  Alessandro Abate},
  editor       = {Catalin Dima and
                  Mahsa Shirmohammadi},
  title        = {Formal Abstraction and Synthesis of Parametric Stochastic Processes},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 19th International
                  Conference, {FORMATS} 2021, Paris, France, August 24-26, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12860},
  pages        = {135--153},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85037-1\_9},
  doi          = {10.1007/978-3-030-85037-1\_9},
  timestamp    = {Tue, 17 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/PeruffoA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/formats/2021,
  editor       = {Catalin Dima and
                  Mahsa Shirmohammadi},
  title        = {Formal Modeling and Analysis of Timed Systems - 19th International
                  Conference, {FORMATS} 2021, Paris, France, August 24-26, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12860},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85037-1},
  doi          = {10.1007/978-3-030-85037-1},
  isbn         = {978-3-030-85036-4},
  timestamp    = {Tue, 17 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/2021.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.