More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

11th IFM 2014: Bertinoro, Italy

> 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/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/2014
Elvira Albert, Emil Sekerinski:
Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Lecture Notes in Computer Science 8739, Springer 2014, ISBN 978-3-319-10180-4

Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/CalvaneseKSVZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/CalvaneseKSVZ14
Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger:
Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures. 3-17
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/DrossopoulouN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/DrossopoulouN14
Sophia Drossopoulou, James Noble:
How to Break the Bank: Semantics of Capability Policies. 18-35

Tool Integration

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/OliveiraSF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/OliveiraSF14
Marcel Vinícius Medeiros Oliveira, Augusto C. A. Sampaio, Madiel S. Conserva Filho:
Model-Checking Circus State-Rich Specifications. 39-54
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/HentschelKHB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/HentschelKHB14
Martin Hentschel, Stefan Käsdorf, Reiner Hähnle, Richard Bubel:
An Interactive Verification Tool Meets an IDE. 55-70
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/GilmoreTV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/GilmoreTV14
Stephen Gilmore, Mirco Tribastone, Andrea Vandin:
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. 71-86
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/AbbasBR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/AbbasBR14
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo:
Modeling UML Template Classes with FoCaLiZe. 87-102
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/LaibinisBPTTP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/LaibinisBPTTP14
Linas Laibinis, Benjamin Byholm, Inna Pereverzeva, Elena Troubitsyna, Kuan Eeik Tan, Ivan Porres:
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. 103-119
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/FathabadiSB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/FathabadiSB14
Asieh Salehi Fathabadi, Colin F. Snook, Michael J. Butler:
Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems. 120-135

Model Verification

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/MellerGY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/MellerGY14
Yael Meller, Orna Grumberg, Karen Yorav:
Verifying Behavioral UML Systems via CEGAR. 139-154
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/MiyazawaC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/MiyazawaC14
Alvaro Miyazawa, Ana Cavalcanti:
Formal Refinement in SysML. 155-170
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BrideKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BrideKP14
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux:
Verifying Modal Workflow Specifications Using Constraint Solving. 171-186

Program Development

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/ErikssonPB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/ErikssonPB14
Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back:
Proofs and Refutations in Invariant-Based Programming. 189-204
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/ChaudhariD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/ChaudhariD14
Dipak L. Chaudhari, Om P. Damani:
Automated Theorem Prover Assisted Program Calculations. 205-220
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/SchneiderTWW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/SchneiderTWW14
Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams:
Managing LTL Properties in Event-B Refinement. 221-237

Security Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BruniSNN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BruniSNN14
Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson:
Formal Security Analysis of the MaCAN Protocol. 241-255
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/KordyPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/KordyPS14
Barbara Kordy, Marc Pouly, Patrick Schweitzer:
A Probabilistic Framework for Security Scenarios with Dependent Actions. 256-271
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/RamsdellDGR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/RamsdellDGR14
John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe:
A Hybrid Analysis for Security Protocols with State. 272-287

Analysis and Transformation

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/AsavoaeAR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/AsavoaeAR14
Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco:
Towards a Formal Semantics-Based Technique for Interprocedural Slicing. 291-306
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/JakobsPWW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/JakobsPWW14
Marie-Christine Jakobs, Marco Platzner, Heike Wehrheim, Tobias Wiersema:
Integrating Software and Hardware Verification. 307-322
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/FurstHBDSM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/FurstHBDSM14
Andreas Fürst, Thai Son Hoang, David A. Basin, Krishnaji Desai, Naoto Sato, Kunihiko Miyazaki:
Code Generation for Event-B. 323-338

Concurrency and Control

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/DerrickSD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/DerrickSD14
John Derrick, Graeme Smith, Brijesh Dongol:
Verifying Linearizability on TSO Architectures. 341-356
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/TofanSR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/TofanSR14
Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif:
A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset. 357-372
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/PatcasLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/PatcasLM14
Lucian M. Patcas, Mark Lawford, Tom Maibaum:
A Separation Principle for Embedded System Interfacing. 373-388

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.