Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th NFM 2020: Moffett Field, CA, USA
- Ritchie Lee
, Susmit Jha, Anastasia Mavridou:
NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Lecture Notes in Computer Science 12229, Springer 2020, ISBN 978-3-030-55753-9
Learning and Formal Synthesis
- Bernhard K. Aichernig, Andrea Pferscher, Martin Tappler:
From Passive to Active: Learning Timed Automata Efficiently. 1-19 - Si Liu, Atul Sandur, José Meseguer, Peter Csaba Ölveczky, Qi Wang:
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs. 22-40 - Matej Troják, David Safránek, Lukrécia Mertová, Lubos Brim:
Parameter Synthesis and Robustness Analysis of Rule-Based Models. 41-59
Formal Methods for DNNs
- Edward W. Ayers, Francisco Eiras, Majd Hawasly, Iain Whiteside:
PaRoT: A Practical Framework for Robust Deep Neural Network Training. 63-84 - Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark W. Barrett, Guy Katz:
Simplifying Neural Networks Using Formal Verification. 85-93
High Assurance Systems
- Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller:
Neural Simplex Architecture. 97-114 - Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker:
Strengthening Deterministic Policies for POMDPs. 115-132 - Lukas Westhofen, Philipp Berger, Joost-Pieter Katoen:
Benchmarking Software Model Checkers on Automotive Code. 133-150
Requirement Specification and Testing
- Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Automated Requirements-Based Testing of Black-Box Reactive Systems. 153-169 - Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman:
Formal Verification of Parallel Prefix Sum. 170-186 - Vassil Todorov, Safouan Taha, Frédéric Boulanger:
Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking. 187-203
Validation and Solvers
- Xiaoxin An, Amer Tahat, Binoy Ravindran:
A Validation Methodology for OCaml-to-PVS Translation. 207-221 - Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon:
On the Usefulness of Clause Strengthening in Parallel SAT Solving. 222-229
Solvers and Program Analysis
- Ralph Bottesch, Max W. Haslbeck, Alban Reynaud, René Thiemann:
Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL. 233-250 - Jan Taljaard, Jaco Geldenhuys, Willem Visser:
Constraint Caching Revisited. 251-266 - Liyi Li, Elsa L. Gunter:
Per-Location Simulation. 267-287
Verification and Timed Systems
- Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns:
Sampling Distributed Schedulers for Resilient Space Communication. 291-310 - Borzoo Bonakdarpour, Pavithra Prabhakar, César Sánchez:
Model Checking Timed Hyperproperties in Discrete-Time Systems. 311-328 - P. Ezudheen, Zahra Rahimi Afzal, Pavithra Prabhakar, Deepak D'Souza, Meenakshi D'Souza:
Verifying Band Convergence for Sampled Control Systems. 329-349
Autonomy and Other Applications
- Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher:
Heterogeneous Verification of an Autonomous Curiosity Rover. 353-360 - Darren D. Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam:
Run-Time Assurance for Learning-Enabled Systems. 361-368 - Jannik Hüls, Henner Niehaus, Anne Remke:
hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions. 369-378
Hybrid and Cyber-Physical Systems
- Carina Pilch, Maurice Krause, Anne Remke, Erika Ábrahám:
A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata. 381-400 - Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. 401-419 - Benoît Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, James Kapinski, Tomoya Yamaguchi:
Falsification of Cyber-Physical Systems with Constrained Signal Spaces. 420-439
a service of 
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 2024-06-10 21:41 CEST 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:
