default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. NFM 2014: Houston, TX, USA
- Julia M. Badger, Kristin Yvonne Rozier:
NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings. Lecture Notes in Computer Science 8430, Springer 2014, ISBN 978-3-319-06199-3 - Darren D. Cofer, Steven P. Miller:
DO-333 Certification Case Studies. 1-15 - André de Matos Pedro
, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto:
A Compositional Monitoring Framework for Hard Real-Time Systems. 16-30 - Pedro R. G. Antonino, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Klaus E. Kristensen, Jeremy W. Bryans:
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification. 31-45 - Lars Noschinski, Christine Rizkallah, Kurt Mehlhorn:
Verification of Certifying Computations through AutoCorres and Simpl. 46-61 - Robert M. Hierons, Uraz Cengiz Türker:
Distinguishing Sequences for Partially Specified FSMs. 62-76 - Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik:
On Proving Recoverability of Smart Electrical Grids. 77-91 - Dustin Hoffman, Aditi Tagore, Diego Zaccai, Bruce W. Weide:
Providing Early Warnings of Specification Problems. 92-97 - Björn Bartels, Nils Jähnig:
Mechanized, Compositional Verification of Low-Level Code. 98-112 - Fabian Immler:
Formally Verified Computation of Enclosures of Solutions of Ordinary Differential Equations. 113-127 - Mohamed Yousri Mahmoud, Sofiène Tahar:
On the Quantum Formalization of Coherent Light in HOL. 128-142 - Stephan Merz, Hernán Vanzetto:
Refinement Types for tla +. 143-157 - Matthew Danish, Hongwei Xi:
Using Lightweight Theorem Proving in an Asynchronous Systems Context. 158-172 - Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel S. Tyszberowicz, Mana Taghdiri:
JKelloy: A Proof Assistant for Relational Specifications of Java Programs. 173-187 - Paul B. Jackson, Andrew Sogokon, James P. Bridge, Lawrence C. Paulson:
Verifying Hybrid Systems Involving Transcendental Functions. 188-202 - William Denman:
Verifying Nonpolynomial Hybrid Systems by Qualitative Abstraction and Automated Theorem Proving. 203-208 - Paolo Masci, Yi Zhang, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi, Paul Curzon, Harold Thimbleby:
Combining PVSio with Stateflow. 209-214 - Loïc Correnson:
Qed. Computing What Remains to Be Proved. 215-229 - Ethel Bardsley, Alastair F. Donaldson:
Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels. 230-245 - Pierre-Loïc Garoche, Falk Howar, Temesghen Kahsai, Xavier Thirioux:
Testing-Based Compiler Validation for Synchronous Languages. 246-251 - Johann Schumann, Stefan-Alexander Schneider:
Automated Testcase Generation for Numerical Support Functions in Embedded Systems. 252-257 - Anton Wijs, Luc Engelen:
REFINER: Towards Formal Verification of Model Transformations. 258-263 - Franco Mazzanti, Giorgio Oronzo Spagnolo, Alessio Ferrari:
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach. 264-269 - Adrià Gascón, Ashish Tiwari:
A Synthesized Algorithm for Interactive Consistency. 270-284 - Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz:
Energy-Utility Quantiles. 285-299 - Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina:
Incremental Verification of Compiler Optimizations. 300-306 - Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist:
Memory Efficient Data Structures for Explicit Verification of Timed Systems. 307-312 - Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar:
The Gradual Verifier. 313-327 - Bogdan Mihaila, Axel Simon:
Synthesizing Predicates from Abstract Domain Losses. 328-342 - Nuno Carvalho, Cristiano da Silva Sousa, Jorge Sousa Pinto, Aaron Tomb:
Formal Verification of kLIBC with the WP Frama-C Plug-in. 343-358
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 2026-07-14 00:31 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
