default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th NFM 2019: Houston, TX, USA
- Julia M. Badger, Kristin Yvonne Rozier:
NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. Lecture Notes in Computer Science 11460, Springer 2019, ISBN 978-3-030-20651-2 - Bernhard K. Aichernig
, Christian Burghard, Robert Korosec:
Learning-Based Testing of an Industrial Measurement Device. 1-18 - James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens:
MLν: A Distributed Real-Time Modal Logic. 19-35 - Rylo Ashmore, Arie Gurfinkel, Richard J. Trefler:
Local Reasoning for Parameterized First Order Protocols. 36-53 - Benoît Barbot, Nicolas Basset, Thao Dang:
Generation of Signals Under Temporal Constraints for CPS Testing. 54-70 - Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu:
Traffic Management for Urban Air Mobility. 71-87 - Allan Blanchard, Frédéric Loulergue, Nikolai Kosmatov:
Towards Full Proof Automation in Frama-C Using Auto-active Verification. 88-105 - Matteo Busi, Pierpaolo Degano, Letterio Galletta:
Using Standard Typing Algorithms Incrementally. 106-122 - Chris Casinghino, J. T. Paasch, Cody Roux, John Altidor, Michael Dixon, Dustin Jamner:
Using Binary Analysis Frameworks: The Case for BAP and angr. 123-129 - Jannik Dunkelau, Sebastian Krings, Joshua Schmidt:
Automated Backend Selection for ProB Using Deep Learning. 130-147 - Mathias Fleury:
Optimizing a Verified SAT Solver. 148-165 - Aman Goel, Karem A. Sakallah:
Model Checking of Verilog RTL Using IC3 with Syntax-Guided Abstraction. 166-185 - Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist:
Towards a Two-Layer Framework for Verifying Autonomous Vehicles. 186-203 - Marijn J. H. Heule, Benjamin Kiesl, Armin Biere:
Clausal Proofs of Mutilated Chessboards. 204-210 - Amjad Ibrahim, Severin Kacianka, Alexander Pretschner, Charles Hartsell, Gabor Karsai:
Practical Causal Models for Cyber-Physical Systems. 211-227 - Eleftherios Ioannidis, M. Frans Kaashoek, Nickolai Zeldovich:
Extracting and Optimizing Formally Verified Code for Systems Programming. 228-236 - Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu:
Structured Synthesis for Probabilistic Systems. 237-254 - Sudeep Kanav, Levi Lúcio, Christian Hilden, Thomas Schuetz:
Design and Runtime Verification Side-by-Side in eTrice. 255-262 - Jürgen König, Heike Wehrheim:
Data Independence for Software Transactional Memory. 263-279 - Mohsen Lesani:
Transaction Protocol Verification with Labeled Synchronization Logic. 280-297 - Mathias Claus Jensen, Anders Mariegaard, Kim Guldstrand Larsen:
Symbolic Model Checking of Weighted PCTL Using Dependency Graphs. 298-315 - Hakan Metin, Souheib Baarir, Fabrice Kordon:
Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving. 316-332 - Anitha Murugesan, Mohammad Moghadamfalahi, Arunabh Chattopadhyay:
Formal Methods Assisted Training of Safe Reinforcement Learning Agents. 333-340 - David E. Narváez:
Formalizing CNF SAT Symmetry Breaking in PVS. 341-354 - Yash Vardhan Pant, Rhudii A. Quaye, Houssam Abbas, Akarsh Varre, Rahul Mangharam:
Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic. 355-362 - Rocco Salvia, Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz, Zvonimir Rakamaric:
A Mixed Real and Floating-Point Solver. 363-370 - Masaki Waga, Étienne André:
Online Parametric Timed Pattern Matching with Automata-Based Skipping. 371-389
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.
last updated on 2025-11-20 00:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
