Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/nfm/nfm2023.bht:"
@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} }
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.