7. IFM 2009:
Düsseldorf,
Germany
Michael Leuschel, Heike Wehrheim (Eds.):
Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings.
Lecture Notes in Computer Science 5423 Springer 2009, ISBN 978-3-642-00254-0 BibTeX
Invited Talks
Contributed Papers
- Jordi Cabot, Robert Clarisó, Daniel Riera:
Verifying UML/OCL Operation Contracts.
40-55
Electronic Edition (link) BibTeX
- Peter Y. H. Wong, Jeremy Gibbons:
Property Specifications for Workflow Modelling.
56-71
Electronic Edition (link) BibTeX
- Thang H. Bui, Albert Nymeyer:
Formal Verification Based on Guided Random Walks.
72-87
Electronic Edition (link) BibTeX
- Jan Stöcker, Frédéric Lang, Hubert Garavel:
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format.
88-102
Electronic Edition (link) BibTeX
- Steve Schneider, Helen Treharne:
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B.
103-117
Electronic Edition (link) BibTeX
- Robert Colvin, Ian J. Hayes:
CSP with Hierarchical State.
118-135
Electronic Edition (link) BibTeX
- Benjamin Weiß:
Predicate Abstraction in a Program Logic Calculus.
136-150
Electronic Edition (link) BibTeX
- Frank Zeyda, Ana Cavalcanti:
Mechanised Translation of Control Law Diagrams into Circus.
151-166
Electronic Edition (link) BibTeX
- Gwen Salaün, Tevfik Bultan:
Realizability of Choreographies Using Process Algebra Encodings.
167-182
Electronic Edition (link) BibTeX
- Eerke A. Boiten, John Derrick:
Modelling Divergence in Relational Concurrent Refinement.
183-199
Electronic Edition (link) BibTeX
- Sebastian Voss, Maria Sorea, Klaus Echtle:
SAL-Based Symbolic Scheduling in Time-Triggered Networks.
200-214
Electronic Edition (link) BibTeX
- Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Incremental Reasoning for Multiple Inheritance.
215-230
Electronic Edition (link) BibTeX
- Abigail Parisaca Vargas, Ana G. Garis, S. Lizeth Tapia Tarifa, Chris George:
Model Checking LTL Formulae in RAISE with FDR.
231-245
Electronic Edition (link) BibTeX
- Ralf Lämmel, Vadim Zaytsev:
An Introduction to Grammar Convergence.
246-260
Electronic Edition (link) BibTeX
- Zarrin Langari, Richard J. Trefler:
Application of Graph Transformation in Verification of Dynamic Systems.
261-276
Electronic Edition (link) BibTeX
- Osman Hasan, Naeem Abbasi, Sofiène Tahar:
Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays.
277-291
Electronic Edition (link) BibTeX
- Gordon J. Pace, Gerardo Schneider:
Challenges in the Specification of Full Contracts.
292-306
Electronic Edition (link) BibTeX
- Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova:
Partial Order Reduction for State/Event LTL.
307-321
Electronic Edition (link) BibTeX
- Zijiang Yang, Bashar Al-Rawi, Karem Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu:
Dynamic Path Reduction for Software Model Checking.
322-336
Electronic Edition (link) BibTeX
- Jérémy Milhau, Benoît Fraikin, Marc Frappier:
Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions.
337-351
Electronic Edition (link) BibTeX
- Astrid Rakow:
Decompositional Petri Net Reductions.
352-366
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:23:12 2009
by Michael Ley (ley@uni-trier.de)