Search results for "NASA"

Hits ?▲	Authors	Title	Venue	Year	Link
35	Simon Busard, Charles Pecheur	PyNuSMV: NuSMV as a Python Library.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Yassamine Seladji, Olivier Bouissou	Numerical Abstract Domain Using Support Functions.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler	SMT-Based Analysis of Biological Computation.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Bogdan Mihaila, Alexander Sepp, Axel Simon	Widening as Abstract Domain.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Sergio Feo-Arenis, Bernd Westphal	Formal Verification of a Parameterized Data Aggregation Protocol.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Normann Decker, Martin Leucker, Daniel Thoma	jUnitRV-Adding Runtime Verification to jUnit.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Petr Rockai, Jiri Barnat, Lubos Brim	Improved State Space Reductions for LTL Model Checking of C and C++ Programs.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Umair Siddique, Vincent Aravantinos, Sofiène Tahar	Formal Stability Analysis of Optical Resonators.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Matthew L. Bolton, Ellen J. Bass	Evaluating Human-Human Communication Protocols with Miscommunication Generation and Model Checking.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Daniela Remenska, Jeff Templon, Tim A. C. Willemse, Philip Homburg, Kees Verstoep, Adrian Casajus Ramo, Henri E. Bal	From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, Willem Visser	Bounded Lazy Initialization.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Phillip James, Matthew Trumble, Helen Treharne, Markus Roggenbach, Steve A. Schneider	OnTrack: An Open Tooling Environment for Railway Verification.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Timothy K. Zirkel, Stephen F. Siegel, Timothy McClory	Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Wei-Fan Chiang, Ganesh Gopalakrishnan, Guodong Li, Zvonimir Rakamaric	Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Dennis Griffith, Elsa L. Gunter	LiquidPi: Inferrable Dependent Session Types.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Pierre-Loïc Garoche, Temesghen Kahsai, Cesare Tinelli	Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Alfons Laarman, David Faragó	Improved on-the-Fly Livelock Detection.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin	Towards Complete Specifications with an Error Calculus.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Brigid Halling, Perry Alexander	Verifying a Privacy CA Remote Attestation Protocol.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Daniel Neider, Nils Jansen 0001	Regular Model Checking Using Solver Technologies and Automata Learning.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Alwyn Goodloe, Suzette Person (eds.)	NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen	Checking and Distributing Statistical Model Checking.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen	Integrating Statechart Components in Polyglot.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	David N. Jansen, Flemming Nielson, Lijun Zhang 0001	Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Wenbin Li 0009, Jane Huffman Hayes, Miroslaw Truszczynski	Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements - (Preliminary Results).	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Jörg Brauer, Axel Simon	Inferring Definite Counterexamples through Under-Approximation.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Roberto Bruttomesso, Alessandro Carioni, Silvio Ghilardi, Silvio Ranise	Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha	Compositional Verification of Architectural Models.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Nicolas Brisebarre, Mioara Joldes, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau, Laurent Théry	Rigorous Polynomial Approximation Using Taylor Models in Coq.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen	Generating Verifiable Java Code from Verified PVS Specifications.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka, Panagiotis Katsaros	Abstract Model Repair.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Paolo Masci 0001, Huayi Huang, Paul Curzon, Michael D. Harrison	Using PVS to Investigate Incidents through the Lens of Distributed Cognition.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Rupak Majumdar, Indranil Saha, K. C. Shashidhar, Zilong Wang 0004	CLSE: Closed-Loop Symbolic Execution.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Xian Zhang, Martin Leucker, Wei Dong 0006	Runtime Verification with Predictive Semantics.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Michael Backes 0001, Alex Busenius, Catalin Hritcu	On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Damiano Macedonio, Massimo Merro	A Semantic Analysis of Wireless Network Security Protocols.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Alessio Ferrari 0001, Alessandro Fantechi, Stefania Gnesi	Lessons Learnt from the Adoption of Formal Model-Based Development.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng	Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang	Testing Static Analyzers with Randomly Generated Programs.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Kalyan C. Regula, Hampton Smith, Heather Keown, Jason O. Hallstrom, Nigamanth Sridhar, Murali Sitaraman	A Case Study in Verification of Embedded Network Software.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Alexander Herz, Kalmer Apinis	Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli, Mike Whalen	Incremental Verification with Mode Variable Invariants in State Machines.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Étienne André, Laurent Fribourg, Romain Soulat	Enhancing the Inverse Method with State Merging.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Anaheed Ayoub, BaekGyu Kim, Insup Lee 0001, Oleg Sokolsky	A Safety Case Pattern for Model-Based Development Approach.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Jiri Barnat, Lubos Brim, Petr Rockai	Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Yingke Chen, Hua Mao, Manfred Jaeger, Thomas Dyhre Nielsen, Kim Guldstrand Larsen, Brian Nielsen	Learning Markov Models for Stationary System Behaviors.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Andreas Bauer 0002, Jan-Christoph Küster, Gil Vegliach	Runtime Verification Meets Android Security.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Norbert Th. Müller, Christian Uhrhan	Some Steps into Verification of Exact Real Arithmetic.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Karolina Zurowska, Jürgen Dingel	Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Aditi Tagore, Diego Zaccai, Bruce W. Weide	Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Yuhui Lin, Alan Bundy, Gudmund Grov	The Use of Rippling to Automate Event-B Invariant Preservation Proofs.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Pérez 0001, Pablo Ascariz	PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Dennis Guck, Tingting Han 0001, Joost-Pieter Katoen, Martin R. Neuhäußer	Quantitative Timed Analysis of Interactive Markov Chains.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Wenrui Meng, Fei He 0001, Bow-Yaw Wang, Qiang Liu	Thread-Modular Model Checking with Iterative Refinement.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Andrew W. Appel	Verified Software Toolchain.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs 0002, Frank Piessens	Sound Formal Verification of Linux's USB BP Keyboard Driver.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Cesare Tinelli	SMT-Based Model Checking.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Patrick Cousot	Formal Verification by Abstract Interpretation.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Ross Gore, Paul F. Reynolds Jr.	Modifying Test Suite Composition to Enable Effective Predicate-Level Statistical Debugging.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Xinxin Liu, Bingtian Xue	Specification in PDL with Recursion.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
35	Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)	NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Simon Foster 0001, Georg Struth	Integrating an Automated Theorem Prover into Agda.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Jan Peleska 0001, Elena Vorobev, Florian Lapschies	Automated Test Case Generation with SMT-Solving and Abstract Interpretation.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Colin Eles, Mark Lawford	A Tabular Expression Toolbox for Matlab/Simulink.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Andreas Zeller	Specifications for Free.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Aleksandar Milicevic, Hillel Kugler	Model Checking Using SMT and Theory of Lists.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Ernst Moritz Hahn, Tingting Han 0001, Lijun Zhang 0001	Synthesis for PCTL in Parametric Markov Decision Processes.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Wilfried Steiner, Bruno Dutertre	Automated Formal Verification of the TTEthernet Synchronization Quality.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Michael J. Butler	Applying Atomicity and Model Decomposition to a Space Craft System in Event-B.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Rüdiger Ehlers	Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Faqing Yang, Jean-Pierre Jacquot	Scaling Up with Event-B: A Case Study.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Cristiano Calcagno, Dino Distefano	Infer: An Automatic Program Verifier for Memory Safety of C Programs.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Joe Hurd	The OpenTheory Standard Theory Library.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Moritz Kleine, Björn Bartels, Thomas Göthel, Steffen Helke, Dirk Prenzel	LLVM2CSP: Extracting CSP Models from Concurrent Programs.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Shuvendu K. Lahiri, Shaz Qadeer	Call Invariants.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Temesghen Kahsai, Yeting Ge, Cesare Tinelli	Instantiation-Based Invariant Discovery.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan	D-Finder 2: Towards Efficient Correctness of Incremental Design.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Arie Gurfinkel, Sagar Chaki, Samir Sapra	Efficient Predicate Abstraction of Program Summaries.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Alfons Laarman, Jaco van de Pol, Michael Weber 0002	Multi-Core LTSmin: Marrying Modularity and Scalability.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Sergey Tverdyshev	Extending the GWV Security Policy and Its Modular Application to a Separation Kernel.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Peeter Laud	Implementing Cryptographic Primitives in the Symbolic Model.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Michal Moskal	Verifying Functional Correctness of C Programs with VCC.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	José Vander Meulen, Charles Pecheur	Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Heber Herencia-Zapana, George Hagen, Anthony Narkawicz	Formalizing Probabilistic Safety Claims.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Anton Wijs	Towards Informed Swarm Verification.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba	opaal: A Lattice Model Checker.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	David R. Cok	jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois C. Knoll, Harald Ruess	Model Construction and Priority Synthesis for Simple Interaction Systems.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Andreas Bauer 0002, Martin Leucker	The Theory and Practice of SALT.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Matheus Souza 0003, Mateus Borges, Marcelo d'Amorim, Corina S. Pasareanu	CORAL: Solving Complex Constraints for Symbolic PathFinder.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Bart Jacobs 0002, Jan Smans, Pieter Philippaerts, Frédéric Vogels, Willem Penninckx, Frank Piessens	VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Mahmoud Said, Chao Wang 0001, Zijiang Yang 0006, Karem A. Sakallah	Generating Data Race Witnesses by an SMT-Based Analysis.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Hannes Mehnert	Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse	Stuttering Mostly Speeds Up Solving Parity Games.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	William Denman, Mohamed H. Zaki, Sofiène Tahar, Luis Rodrigues	Towards Flight Control Verification Using Automated Theorem Proving.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Tsutomu Kumazawa, Tetsuo Tamai	Counterexample-Based Error Localization of Behavior Models.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Alejandro Sánchez, César Sánchez 0001	A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Ulrich Loup, Erika Ábrahám	GiNaCRA: A C++ Library for Real Algebraic Computations.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Zarrin Langari, Richard J. Trefler	Symmetry for the Analysis of Dynamic Systems.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	K. Rustan M. Leino	From Retrospective Verification to Forward-Looking Development.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF