14. SBMF 2011: São Paulo, Brazil

• Harald König, Michael Löwe, Christoph Schulz:
  Model Transformation and Induced Instance Migration: A Universal Framework. 1-15
  
• Roderick Chapman, Eric Botcazou, Angela Wallenburg:
  SPARKSkein: A Formal and Fast Reference Implementation of Skein. 16-27
  
• Yannick Welsch, Arnd Poetzsch-Heffter:
  Full Abstraction at Package Boundaries of Object-Oriented Languages. 28-43
  
• Marcel Vinicius Medeiros Oliveira, David Déharbe, Luís C. D. S. Cruz:
  B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design. 44-59
  
• Camilo Rocha, César Muñoz:
  Simulation and Verification of Synchronous Set Relations in Rewriting Logic. 60-75
  
• Pedro Matiello, Ana Cristina Vieira de Melo:
  PiStache: Implementing π-Calculus in Scala. 76-91
  
• Dominik Steenken, Heike Wehrheim, Daniel Wonisch:
  Sound and Complete Abstract Graph Transformation. 92-107
  
• Christiano Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim:
  On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts. 108-123
  
• Fabian Büttner, Martin Gogolla:
  Modular Embedding of the Object Constraint Language into a Programming Language. 124-139
  
• Viorel Preoteasa:
  Algebra of Monotonic Boolean Transformers. 140-155
  
• Diego Machado Dias, Juliano Manabu Iyoda:
  Behavioural Preservation in Fault Tolerant Patterns. 156-171
  
• Sara Kalvala, Richard Warburton:
  A Formal Approach to Fixing Bugs. 172-187
  
• Christophe Chareton, Julien Brunel, David Chemouil:
  A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic. 188-203
  

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