Search dblp for Publications

export results for "toc:db/conf/nfm/nfm2023.bht:"

 download as .bib file

@inproceedings{DBLP:conf/nfm/0001MV23,
  author       = {Kevin Leahy and
                  Makai Mann and
                  Cristian{-}Ioan Vasile},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Rewrite-Based Decomposition of Signal Temporal Logic Specifications},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {224--240},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_14},
  doi          = {10.1007/978-3-031-33170-1\_14},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/0001MV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/AdamLMPBVKTTA23,
  author       = {Zs{\'{o}}fia {\'{A}}d{\'{a}}m and
                  Ignacio D. Lopez{-}Miguel and
                  Anastasia Mavridou and
                  Thomas Pressburger and
                  Marcin Bes and
                  Enrique Blanco Vi{\~{n}}uela and
                  Andreas Katis and
                  Jean{-}Charles Tournier and
                  Khanh V. Trinh and
                  Borja Fern{\'{a}}ndez Adiego},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {From Natural Language Requirements to the Verification of Programmable
                  Logic Controllers: Integrating {FRET} into PLCverif},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {353--360},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_21},
  doi          = {10.1007/978-3-031-33170-1\_21},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/AdamLMPBVKTTA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/AleksandrovV23,
  author       = {Andrei Aleksandrov and
                  Kim V{\"{o}}llinger},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Formalizing Piecewise Affine Activation Functions of Neural Networks
                  in Coq},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {62--78},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_4},
  doi          = {10.1007/978-3-031-33170-1\_4},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/AleksandrovV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/ArchibaldCSX23,
  author       = {Blair Archibald and
                  Muffy Calder and
                  Michele Sevegnani and
                  Mengwei Xu},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Quantitative Verification and Strategy Synthesis for {BDI} Agents},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {241--259},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_15},
  doi          = {10.1007/978-3-031-33170-1\_15},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nfm/ArchibaldCSX23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/BadithelaGIM23,
  author       = {Apurva Badithela and
                  Josefine B. Graebener and
                  Inigo Incer and
                  Richard M. Murray},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Reasoning over Test Specifications Using Assume-Guarantee Contracts},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {278--294},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_17},
  doi          = {10.1007/978-3-031-33170-1\_17},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/BadithelaGIM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/BaierDWK23,
  author       = {Christel Baier and
                  Clemens Dubslaff and
                  Patrick Wienh{\"{o}}ft and
                  Stefan J. Kiebel},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Strategy Synthesis in Markov Decision Processes Under Limited Sampling
                  Access},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {86--103},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_6},
  doi          = {10.1007/978-3-031-33170-1\_6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/BaierDWK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/BombardelliT23,
  author       = {Alberto Bombardelli and
                  Stefano Tonetta},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Reasoning with Metric Temporal Logic and Resettable Skewed Clocks},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {174--190},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_11},
  doi          = {10.1007/978-3-031-33170-1\_11},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/BombardelliT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/ChowdhuryCH23,
  author       = {Md. Solimul Chowdhury and
                  Cayden R. Codel and
                  Marijn J. H. Heule},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {A Linear Weight Transfer Rule for Local Search},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {447--463},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_27},
  doi          = {10.1007/978-3-031-33170-1\_27},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/ChowdhuryCH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/CleavelandS0R23,
  author       = {Matthew Cleaveland and
                  Oleg Sokolsky and
                  Insup Lee and
                  Ivan Ruchkin},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Conservative Safety Monitors of Stochastic Dynamical Systems},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {140--156},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_9},
  doi          = {10.1007/978-3-031-33170-1\_9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/CleavelandS0R23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/DierlHKKLLM23,
  author       = {Simon Dierl and
                  Falk Maria Howar and
                  Sean Kauffman and
                  Martin Kristjansen and
                  Kim Guldstrand Larsen and
                  Florian Lorber and
                  Malte Mauritz},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Learning Symbolic Timed Models from Concrete Timed Data},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {104--121},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_7},
  doi          = {10.1007/978-3-031-33170-1\_7},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/DierlHKKLLM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/FedchinDFMRRRSW23,
  author       = {Aleksandr Fedchin and
                  Tyler Dean and
                  Jeffrey S. Foster and
                  Eric Mercer and
                  Zvonimir Rakamaric and
                  Giles Reger and
                  Neha Rungta and
                  Robin Salkeld and
                  Lucas Wagner and
                  Cassidy Waldrip},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {A Toolkit for Automated Testing of Dafny},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {397--413},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_24},
  doi          = {10.1007/978-3-031-33170-1\_24},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/FedchinDFMRRRSW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/FinkbeinerFHL23,
  author       = {Bernd Finkbeiner and
                  Hadar Frenkel and
                  Jana Hofmann and
                  Janine Lohse},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Automata-Based Software Model Checking of Hyperproperties},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {361--379},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_22},
  doi          = {10.1007/978-3-031-33170-1\_22},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/FinkbeinerFHL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/Forsey-SmerekS023,
  author       = {Alexandra Forsey{-}Smerek and
                  Ho Chit Siu and
                  Kevin Leahy},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Centralized Multi-agent Synthesis with Spatial Constraints via Mixed-Integer
                  Quadratic Programming},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {191--206},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_12},
  doi          = {10.1007/978-3-031-33170-1\_12},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/Forsey-SmerekS023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/FritzA23,
  author       = {Anna Fritz and
                  Perry Alexander},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {A Framework for Policy Based Negotiation},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {207--223},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_13},
  doi          = {10.1007/978-3-031-33170-1\_13},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/FritzA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/HarrisonBBHLTZ23,
  author       = {William L. Harrison and
                  Ian Blumenfeld and
                  Eric Bond and
                  Chris Hathhorn and
                  Paul Li and
                  May Torrence and
                  Jared Ziegler},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Formalized High Level Synthesis with Applications to Cryptographic
                  Hardware},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {332--352},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_20},
  doi          = {10.1007/978-3-031-33170-1\_20},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/HarrisonBBHLTZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/KhalifeGF23,
  author       = {Elias Khalife and
                  Pierre{-}Lo{\"{\i}}c Garoche and
                  Mazen Farhood},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear
                  Parameter-Varying Systems},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {157--173},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_10},
  doi          = {10.1007/978-3-031-33170-1\_10},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/KhalifeGF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/Kochdumper0AB23,
  author       = {Niklas Kochdumper and
                  Christian Schilling and
                  Matthias Althoff and
                  Stanley Bak},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Open- and Closed-Loop Neural Network Verification Using Polynomial
                  Zonotopes},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {16--36},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_2},
  doi          = {10.1007/978-3-031-33170-1\_2},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/Kochdumper0AB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/LasserCEFR23,
  author       = {Sam Lasser and
                  Chris Casinghino and
                  Derek Egolf and
                  Kathleen Fisher and
                  Cody Roux},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {414--429},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_25},
  doi          = {10.1007/978-3-031-33170-1\_25},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/LasserCEFR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/LippariniR23,
  author       = {Enrico Lipparini and
                  Stefan Ratschan},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Satisfiability of Non-linear Transcendental Arithmetic as a Certificate
                  Search Problem},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {472--488},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_29},
  doi          = {10.1007/978-3-031-33170-1\_29},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/LippariniR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/LiuCO23,
  author       = {Cong Liu and
                  Darren D. Cofer and
                  Denis Osipychev},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Verifying an Aircraft Collision Avoidance Neural Network with Marabou},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {79--85},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_5},
  doi          = {10.1007/978-3-031-33170-1\_5},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/LiuCO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/MalaquiasAB23,
  author       = {Felipe Lisboa Malaquias and
                  Mihail Asavoae and
                  Florian Brandner},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {From the Standards to Silicon: Formally Proved Memory Controllers},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {295--311},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_18},
  doi          = {10.1007/978-3-031-33170-1\_18},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/MalaquiasAB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/MoradkhaniFF23,
  author       = {Farzaneh Moradkhani and
                  Connor Fibich and
                  Martin Fr{\"{a}}nzle},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Verification of {LSTM} Neural Networks with Non-linear Activation
                  Functions},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_1},
  doi          = {10.1007/978-3-031-33170-1\_1},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/MoradkhaniFF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/MunakataUYYM23,
  author       = {Satoshi Munakata and
                  Caterina Urban and
                  Haruki Yokoyama and
                  Koji Yamamoto and
                  Kazuki Munakata},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Verifying Attention Robustness of Deep Neural Networks Against Semantic
                  Perturbations},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {37--61},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_3},
  doi          = {10.1007/978-3-031-33170-1\_3},
  timestamp    = {Tue, 18 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/MunakataUYYM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/NalbachA23,
  author       = {Jasper Nalbach and
                  Erika {\'{A}}brah{\'{a}}m},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Subtropical Satisfiability for {SMT} Solving},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {430--446},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_26},
  doi          = {10.1007/978-3-031-33170-1\_26},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/NalbachA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/QianM23,
  author       = {Marian Qian and
                  Stefan Mitsch},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Reward Shaping from Hybrid Systems Models in Reinforcement Learning},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {122--139},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_8},
  doi          = {10.1007/978-3-031-33170-1\_8},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/QianM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/RiviereSAD23,
  author       = {Peter Riviere and
                  Neeraj Kumar Singh and
                  Yamine A{\"{\i}}t Ameur and
                  Guillaume Dupont},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Formalising Liveness Properties in Event-B with the Reflexive {EB4EB}
                  Framework},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {312--331},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_19},
  doi          = {10.1007/978-3-031-33170-1\_19},
  timestamp    = {Thu, 06 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/RiviereSAD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/RobinsonS23,
  author       = {Thomas Robinson and
                  Guoxin Su},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Multi-objective Task Assignment and Multiagent Planning with Hybrid
                  {GPU-CPU} Acceleration},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {260--277},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_16},
  doi          = {10.1007/978-3-031-33170-1\_16},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/RobinsonS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/RothenbergGVS23,
  author       = {Bat{-}Chen Rothenberg and
                  Orna Grumberg and
                  Yakir Vizel and
                  Eytan Singher},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Condition Synthesis Realizability via Constrained Horn Clauses},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {380--396},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_23},
  doi          = {10.1007/978-3-031-33170-1\_23},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/RothenbergGVS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/SolvstenP23,
  author       = {Steffan Christ S{\o}lvsten and
                  Jaco van de Pol},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Adiar 1.1 - Zero-Suppressed Decision Diagrams in External Memory},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {464--471},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_28},
  doi          = {10.1007/978-3-031-33170-1\_28},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/SolvstenP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/nfm/2023,
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1},
  doi          = {10.1007/978-3-031-33170-1},
  isbn         = {978-3-031-33169-5},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/2023.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.