9. IFM 2012: Pisa, Italy

• Egon Börger, Antonio Cisternino, Vincenzo Gervasi:
  Contribution to a Rigorous Analysis of Web Application Frameworks. 1-20
  
• Muffy Calder, Michele Sevegnani:
  Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management. 21-23
  
• Dominik Hansen, Michael Leuschel:
  Translating TLA + to B for Validation with ProB. 24-38
  
• Brijesh Dongol, Ian J. Hayes:
  Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands. 39-53
  
• Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach:
  Safety and Line Capacity in Railways - An Approach in Timed CSP. 54-68
  
• Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain:
  Refinement-Based Development of Timed Systems. 69-83
  
• Tim Blackmore, David Halliwell, Philip Barker, Kerstin Eder, Naresh Ramaram:
  Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports. 84-98
  
• Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson:
  Model Checking as Static Analysis: Revisited. 99-112
  
• Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard:
  Formal Verification of Compiler Transformations on Polychronous Equations. 113-127
  
• Herbert Rocha, Raimundo S. Barreto, Lucas Cordeiro, Arilo Dias Neto:
  Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. 128-142
  
• Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham:
  MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. 143-157
  
• Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi:
  Mechanized Extraction of Topology Anti-patterns in Wireless Networks. 158-173
  
• Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen:
  A Proof Framework for Concurrent Programs. 174-190
  
• Riccardo Bresciani, Andrew Butterfield:
  A UTP Semantics of pGCL as a Homogeneous Relation. 191-205
  
• HaiYun Tian, Phillip J. Brooke, Anne-Gwenn Bosser:
  Behaviour-Based Cheat Detection in Multiplayer Games with Event-B. 206-220
  
• Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu:
  Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. 221-236
  
• Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis:
  Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. 237-252
  
• Jasen Markovski, Dirk A. van Beek, Jos C. M. Baeten:
  Partially-Supervised Plants: Embedding Control Requirements in Plant Components. 253-267
  
• Jozef Hooman, Arjan J. Mooij, Hans van Wezep:
  Early Fault Detection in Industry Using Models at Various Abstraction Levels. 268-282
  
• Ran Ji, Richard Bubel:
  PE-KeY: A Partial Evaluator for Java Programs. 283-295
  
• Francisco Rebello de Andrade, João Pascoal Faria, Antónia Lopes, Ana C. R. Paiva:
  Specification-Driven Unit Test Generation for Java Generic Classes. 296-311
  
• Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco:
  Specifying UML Protocol State Machines in Alloy. 312-326
  
• Dennis M. M. Schunselaar, Fabrizio Maria Maggi, Natalia Sidorova:
  Patterns for a Log-Based Strengthening of Declarative Compliance Models. 327-342
  
• Camilo Rocha, Héctor Cadavid, César A. Muñoz, Radu Siminiceanu:
  A Formal Interactive Verification Environment for the Plan Execution Interchange Language. 343-357
  

Last update Sun May 19 22:48:42 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page