default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFM 2008: Turku, Finland
- Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere:
FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings. Lecture Notes in Computer Science 5014, Springer 2008, ISBN 978-3-540-68235-6
Invited Talks
- Shmuel Katz:
Aspects and Formal Methods. 1-11 - Arvind, Nirav Dave, Michael Katelman:
Getting Formal Verification into Design Flow. 12-32 - Dawson R. Engler:
Lessons in the Weird and Unexpected: Some Experiences from Checking Large Real Systems. 33 - David Kitchin, Evan Powell, Jayadev Misra:
Simulation, Orchestration and Logical Clocks. 34
Programming Language Analysis
- Anna Zaks, Amir Pnueli:
CoVaC: Compiler Validation by Program Analysis of the Cross-Product. 35-51 - Johan Dovland, Einar Broch Johnsen
, Olaf Owe, Martin Steffen:
Lazy Behavioral Subtyping. 52-67 - Arsenii Rudich, Ádám Darvas, Peter Müller:
Checking Well-Formedness of Pure-Method Specifications. 68-83
Verification
- Thomas Noll, Stefan Rieger:
Verifying Dynamic Pointer-Manipulating Threads. 84-99 - A. K. McIver, Carroll C. Morgan, Carlos Gonzalía:
Proofs and Refutations for Probabilistic Refinement. 100-115 - Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu:
Assume-Guarantee Verification for Interface Automata. 116-131
Real-Time and Concurrency
- Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. 132-147 - Radu Mateescu, Damien Thivolle:
A Model Checking Language for Concurrent Value-Passing Systems. 148-164
Grand Chellenge Problems
- Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif:
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. 165-180 - Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald:
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. 181-197
FM Practice
- Boutheina Chetali, Quang Huy Nguyen:
Industrial Use of Formal Methods for a High-Level Security Evaluation. 198-213 - Joseph R. Kiniry, Daniel M. Zimmerman:
Secret Ninja Formal Methods. 214-228 - Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve:
Specification and Checking of Software Contracts for Conditional Information Flow. 229-245
Runtime Moitoring and Analysis
- Patrice Chalin, Frédéric Rioux:
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity. 246-261 - Irem Aktug, Mads Dam, Dilian Gurov:
Provably Correct Runtime Monitoring. 262-277
Communication
- Olivier Ponsini, Wendelin Serwe:
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS. 278-293 - Tom Ridge, Michael Norrish, Peter Sewell:
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service. 294-309
Constraint Analysis
- Engin Uzuncaova, Sarfraz Khurshid:
Constraint Prioritization for Efficient Analysis of Declarative Models. 310-325 - Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson:
Finding Minimal Unsatisfiable Cores of Declarative Specifications. 326-341 - Thomas Gawlitza, Helmut Seidl:
Precise Interval Analysis vs. Parity Games. 342-357
Design
- Tim McComb, Graeme Smith:
Introducing Objects through Refinement. 358-373 - Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Masking Faults While Providing Bounded-Time Phased Recovery. 374-389 - Alexander Harhurin, Judith Hartmann:
Towards Consistent Specifications of Product Families. 390-405
Industry Day
- Scott Lintelman, Richard Robinson, Mingyan Li, Krishna Sampigethaya:
Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution. 406-410 - Eric Verhulst, Gjalt G. de Jong, Vitaliy Mezhuyev:
An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS. 411-418 - Klaas Wijbrans, Franc Buve, Robin Rijkers, Wouter Geurts:
Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System. 419-424 - Taro Kurita, Miki Chiba, Yasumasa Nakatsugawa:
Application of a Formal Specification Language in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone. 425-429 - Thierry Lecomte:
Safe and Reliable Metro Platform Screen Doors Control/Command Systems. 430-434
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-12-03 20:17 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:
