8. IFM 2010: Nancy, France

• Christel Baier:
  On Model Checking Techniques for Randomized Distributed Systems. 1-11
  
• John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce, Marcel Verhoef, Sune Wolff:
  Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. 12-26
  
• Rajeev Joshi:
  Programming with Miracles. 27
  
• Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, Michael D. Wilson:
  An Event-B Approach to Data Sharing Agreements. 28-42
  
• Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
  A Logical Framework to Deal with Variability. 43-58
  
• Serge Autexier, Christoph Lüth:
  Adding Change Impact Analysis to the Formal Verification of C Programs. 59-73
  
• Pontus Boström:
  Creating Sequential Programs from Event-B Models. 74-88
  
• Hanifa Boucheneb, Abdessamad Imine, Manal Najem:
  Symbolic Model-Checking of Optimistic Replication Algorithms. 89-104
  
• Matthias Daum, Norbert Schirmer, Mareike Schmidt:
  From Operating-System Correctness to Pervasively Verified Applications. 105-120
  
• Aleksandar Dimovski:
  A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs. 121-135
  
• Johannes Faber:
  Verification Architectures: Compositional Reasoning for Real-Time Systems. 136-151
  
• Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans:
  Automatic Verification of Parametric Specifications with Complex Topologies. 152-167
  
• Martin Fränzle, Tino Teige, Andreas Eggers:
  Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT. 168-182
  
• Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim:
  Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. 183-198
  
• Kevin Lano, Shekoufeh Kolahdouz Rahimi:
  Specification and Verification of Model Transformations Using UML-RSDS. 199-214
  
• Stefano Marrone, Camilla Papa, Valeria Vittorini:
  Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. 215-228
  
• Radu Mateescu, Gwen Salaün:
  Translating Pi-Calculus into LOTOS NT. 229-244
  
• Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau:
  Systematic Translation Rules from astd to Event-B. 245-259
  
• Steve Schneider, Helen Treharne, Heike Wehrheim:
  A CSP Approach to Control in Event-B. 260-274
  
• Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis:
  Towards Probabilistic Modelling in Event-B. 275-289
  
• Thi Mai Thuong Tran, Martin Steffen:
  Safe Commits for Transactional Featherweight Java. 290-304
  
• Javier de Dios, Manuel Montenegro, Ricardo Peña:
  Certified Absence of Dangling Pointers in a Language with Explicit Deallocation. 305-319
  
• Sorin Stratulat:
  Integrating Implicit Induction Proofs into Certified Proof Environments. 320-335
  

Last update Fri May 25 08:22:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page