![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
1. NFM 2009: Moffett Field, California, USA
- Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu:
First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. NASA Conference Proceedings NASA/CP-2009-215407, 2009
Invited Talks
- Edmund M. Clarke:
Model Checking - My 27-year Quest to Overcome the State Explosion Problem. NASA Formal Methods 2009: 1 - Bill Othon:
Applying Formal Methods to NASA Projects: Transition from Research to Practice. NASA Formal Methods 2009: 2 - Leslie Lamport:
TLA+: Whence, Wherefore, and Whither. NASA Formal Methods 2009: 3 - Todd Farley:
Formal Methods Applications in Air Transportation. NASA Formal Methods 2009: 4 - John O'Leary:
Theorem Proving in Intel Hardware Design. NASA Formal Methods 2009: 5
Model Checking: Techniques and Applications
- Matthew L. Bolton, Ellen J. Bass:
Building a Formal Model of a Human-interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering. NASA Formal Methods 2009: 6-15 - Emil Vassev, Mike Hinchey, Aaron J. Quigley:
Model Checking for Autonomic Systems Specified with ASSL. NASA Formal Methods 2009: 16-25 - Yi Wang, Tetsuo Tamai:
A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process. NASA Formal Methods 2009: 26-35 - Sagar Chaki, James Ivers:
Software Model Checking without Source Code. NASA Formal Methods 2009: 36-45
Symbolic Execution and Testing
- Suzette Person, Matthew B. Dwyer:
Generalized Abstract Symbolic Summaries for Differencing Heap-manipulating Programs. NASA Formal Methods 2009: 46-55 - Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio:
A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. NASA Formal Methods 2009: 56-65
Design and Specification
- Tiziana Margaria, Marco Bakera, Christian Wagner, Emil Vassev, Michael G. Hinchey, Bernhard Steffen:
Component-Oriented Behavior Extraction for Autonomic System Design. NASA Formal Methods 2009: 66-75 - Jonathan Nicholson, Epameinondas Gasparis, Amnon H. Eden, Rick Kazman:
Verification of Design Patterns with LePUS3. NASA Formal Methods 2009: 76-85 - Yann Glouche, Jean-Pierre Talpin, Paul Le Guernic, Thierry Gautier:
A module language for typing by contracts. NASA Formal Methods 2009: 86-95 - Benjamin Aziz, Alvaro Arenas, Juan Bicarregui, Christophe Ponsard, Philippe Massonet:
From Goal-Oriented Requirements to Event-B Specifications. NASA Formal Methods 2009: 96-105
Analysis: Evaluations and New Developments (Short Papers)
- Watcharin Leungwattanakit, Cyrille Valentin Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Introduction of Virtualization Technology to Multi-Process Model Checking. NASA Formal Methods 2009: 106-110 - David Cachera, David Pichardie:
Comparing Techniques for Certified Static Analysis. NASA Formal Methods 2009: 111-115 - Matt Staats:
Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder. NASA Formal Methods 2009: 116-120 - Karthick Jayaraman, David Harvison, Vijay Ganesh, Adam Kiezun:
jFuzz: A Concolic Whitebox Fuzzer for Java. NASA Formal Methods 2009: 121-125
Deductive Verification
- Thomas Göthel, Sabine Glesner:
Machine-Checkable Timed CSP. NASA Formal Methods 2009: 126-135 - Marc Daumas, Érik Martin-Dorel, David R. Lester, Annick Truffert:
Stochastic Formal Methods for Hybrid Systems. NASA Formal Methods 2009: 136-145 - Manuel Barbosa, José Bacelar Almeida, Jorge Sousa Pinto, Bárbara Vieira:
Deductive Verification of Cryptographic Software. NASA Formal Methods 2009: 146-155 - Christine Choppy, Micaela Mayero, Laure Petrucci:
Coloured Petri net refinement specification, and correctness proof with Coq. NASA Formal Methods 2009: 156-165
Modeling and Synthesis (Short Papers)
- Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni:
Modeling Guidelines for Code Generation in the Railway Signaling Context. NASA Formal Methods 2009: 166-170 - Srinivas Nedunuri, William R. Cook, Douglas R. Smith:
Tactical Synthesis of Efficient Global Search Algorithms. NASA Formal Methods 2009: 171-175 - Manuela-Luminita Bujorianu, Marius C. Bujorianu:
Towards Co-Engineering Communicating Autonomous Cyber-physical Systems. NASA Formal Methods 2009: 176-180 - Juhan P. Ernits, Richard Dearden, Miles Pebody:
Formal Methods for Automated Diagnosis of Autosub 6000. NASA Formal Methods 2009: 181-185
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.