default search action

combined dblp search
author search
venue search
publication search

ask others

7th IFM 2009: Düsseldorf, Germany

> Home > Conferences and Workshops > IFM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/2009
Michael Leuschel, Heike Wehrheim:
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

Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/HoangKBA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/HoangKBA09
Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial:
Developing Topology Discovery in Event-B. 1-19
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/Butler09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/Butler09
Michael J. Butler:
Decomposition Structures for Event-B. 20-38
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifm/Cook09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/Cook09
Byron Cook:
Taming the Unbounded for Hardware Synthesis. 39

Contributed Papers

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/CabotCR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/CabotCR09
Jordi Cabot, Robert Clarisó, Daniel Riera:
Verifying UML/OCL Operation Contracts. 40-55
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/WongG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/WongG09
Peter Y. H. Wong, Jeremy Gibbons:
Property Specifications for Workflow Modelling. 56-71
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BuiN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BuiN09
Thang H. Bui, Albert Nymeyer:
Formal Verification Based on Guided Random Walks. 72-87
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/StockerLG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/StockerLG09
Jan Stöcker, Frédéric Lang, Hubert Garavel:
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. 88-102
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/SchneiderT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/SchneiderT09
Steve A. Schneider, Helen Treharne:
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B. 103-117
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/ColvinH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/ColvinH09
Robert Colvin, Ian J. Hayes:
CSP with Hierarchical State. 118-135
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/Weiss09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/Weiss09
Benjamin Weiß:
Predicate Abstraction in a Program Logic Calculus. 136-150
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/ZeydaC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/ZeydaC09
Frank Zeyda, Ana Cavalcanti:
Mechanised Translation of Control Law Diagrams into Circus. 151-166
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/SalaunB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/SalaunB09
Gwen Salaün, Tevfik Bultan:
Realizability of Choreographies Using Process Algebra Encodings. 167-182
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BoitenD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BoitenD09
Eerke A. Boiten, John Derrick:
Modelling Divergence in Relational Concurrent Refinement. 183-199
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/VossSE09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/VossSE09
Sebastian Voss, Maria Sorea, Klaus Echtle:
SAL-Based Symbolic Scheduling in Time-Triggered Networks. 200-214
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/DovlandJOS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/DovlandJOS09
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Incremental Reasoning for Multiple Inheritance. 215-230
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/VargasGTG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/VargasGTG09
Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George:
Model Checking LTL Formulae in RAISE with FDR. 231-245
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/LammelZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/LammelZ09
Ralf Lämmel, Vadim Zaytsev:
An Introduction to Grammar Convergence. 246-260
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/LangariT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/LangariT09
Zarrin Langari, Richard J. Trefler:
Application of Graph Transformation in Verification of Dynamic Systems. 261-276
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/HasanAT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/HasanAT09
Osman Hasan, Naeem Abbasi, Sofiène Tahar:
Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays. 277-291
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/PaceS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/PaceS09
Gordon J. Pace, Gerardo Schneider:
Challenges in the Specification of Full Contracts. 292-306
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BenesBCSVZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BenesBCSVZ09
Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová:
Partial Order Reduction for State/Event LTL. 307-321
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/YangASHSG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/YangASHSG09
Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu:
Dynamic Path Reduction for Software Model Checking. 322-336
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/MilhauFF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/MilhauFF09
Jérémy Milhau, Benoît Fraikin, Marc Frappier:
Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. 337-351
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/Rakow09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/Rakow09
Astrid Rakow:
Decompositional Petri Net Reductions. 352-366

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.