default search action

combined dblp search
author search
venue search
publication search

ask others

14. SBMF 2011: São Paulo, Brazil

> Home > Conferences and Workshops > SBMF

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/sbmf/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2011
Adenilso da Silva Simão, Carroll Morgan:
Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7021, Springer 2011, ISBN 978-3-642-25031-6
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/KonigLS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/KonigLS11
Harald König, Michael Löwe, Christoph Schulz:
Model Transformation and Induced Instance Migration: A Universal Framework. 1-15
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/ChapmanBW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/ChapmanBW11
Roderick Chapman, Eric Botcazou, Angela Wallenburg:
SPARKSkein: A Formal and Fast Reference Implementation of Skein. 16-27
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/WelschP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/WelschP11
Yannick Welsch, Arnd Poetzsch-Heffter:
Full Abstraction at Package Boundaries of Object-Oriented Languages. 28-43
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/OliveiraDC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/OliveiraDC11
Marcel Vinícius 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
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/RochaM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/RochaM11
Camilo Rocha, César A. Muñoz:
Simulation and Verification of Synchronous Set Relations in Rewriting Logic. 60-75
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/MatielloM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MatielloM11
Pedro Matiello, Ana Cristina Vieira de Melo:
PiStache: Implementing π-Calculus in Scala. 76-91
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SteenkenWW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SteenkenWW11
Dominik Steenken, Heike Wehrheim, Daniel Wonisch:
Sound and Complete Abstract Graph Transformation. 92-107
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/BragaMCSL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/BragaMCSL11
Christiano Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim:
On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts. 108-123
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/ButtnerG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/ButtnerG11
Fabian Büttner, Martin Gogolla:
Modular Embedding of the Object Constraint Language into a Programming Language. 124-139
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/Preoteasa11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/Preoteasa11
Viorel Preoteasa:
Algebra of Monotonic Boolean Transformers. 140-155
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/DiasI11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/DiasI11
Diego Machado Dias, Juliano Manabu Iyoda:
Behavioural Preservation in Fault Tolerant Patterns. 156-171
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/KalvalaW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/KalvalaW11
Sara Kalvala, Richard Warburton:
A Formal Approach to Fixing Bugs. 172-187
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/CharetonBC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/CharetonBC11
Christophe Chareton, Julien Brunel, David Chemouil:
A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic. 188-203

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.