Sessão de Abertura

 Data: segunda-feira (26-set-2011)

 Horário: 11:00 - 11:15

 Sessão Técnica 1    (SBMF: ST 1)

 Data: segunda-feira (26-set-2011)

 Horário: 11:15 - 12:45

"SPARKSkein: A Formal and Fast Reference Implementation of Skein"
Roderick Chapman (Altran Praxis Limited, UK); Eric Botcazou (AdaCore, France); Angela Wallenburg (Altran Praxis Limited, UK)

"B to CSP migration: towards a formal and automated model-driven engineering of hardware/software co-designs"
Marcel Vinicius Medeiros Oliveira, David Deharbe, Luís Cruz (UFRN)

"Pistache: implementing pi-Calculus in Scala"
Pedro Matiello, Ana De Melo (USP)

 Sessão Técnica 2    (SBMF: ST 2)

 Data: segunda-feira (26-set-2011)

 Horário: 14:30 - 16:00

"Full Abstraction at Package Boundaries of Object-Oriented Languages"
Yannick Welsch, Arnd Poetzsch-Heffter (University of Kaiserslautern, Germany)

"Modular Embedding of the Object Constraint Language into a Programming Language"
Fabian Büttner, Martin Gogolla (University of Bremen, Germany)

"Behavioural Preservation in Fault Tolerant Patterns"
Diego Machado Dias, Juliano Manabu Iyoda (UFPE)

 Sessão Técnica 3    (SBMF: ST 3)

 Data: terça-feira (27-set-2011)

 Horário: 11:00 - 12:30

 Artigos Curtos

"From Event-B Models to Code: Sensing, Actuating, and the Environment"
Andrew Edmunds, Abdolbaghi Rezazadeh, Michael Butler (University of Southampton, UK)

"EB2J : Code Generation from Event-B to Java"
Neeraj Singh (LORIA, France); Dominique Mery (Université Henri Poincaré, France)

"An Event-B Plug-in for Creating Deadlock-Freeness Theorems"
Faqing Yang, Jean-Pierre Jacquot (LORIA, France)

 Sessão Técnica 4    (SBMF: ST 4)

 Data: terça-feira (27-set-2011)

 Horário: 11:00 - 12:50

 Artigos Curtos

"JLotos: A Java IDE to Support Formal Development using LOTOS"
Diego Oliveira (UFRN); Claudia Ribeiro, Waldney Andrade (UERN)

"Integrating Software Testing, Model Checking Through Model Extraction"
Lucio Mauro Duarte (UFRGS)

"Joker: An Animation Framework for Formal Specifications"
Diego Oliveira, Marcel Vinicius Medeiros Oliveira (UFRN)

"Towards formal verification of PLC programs"
Haniel Barbosa, David Déharbe (UFRN)

 Sessão Técnica 5    (SBMF: ST 5)

 Data: terça-feira (27-set-2011)

 Horário: 14:30 - 16:00

 Artigos Curtos

"Extending CRefine to Support Tactics of Refinement"
Madiel Conserva, Marcel Vinicius Medeiros Oliveira (UFRN)

"Analytical Comparison of Refinement Checkers"
Gustavo Carvalho, Tarciana Dias, Alexandre Mota, Augusto Sampaio (UFPE)

"Laws of Programming with References"
Giovanny Lucero (UFS); Augusto Sampaio (UFPE)

 Sessão Técnica 6    (SBMF: ST 6)

 Data: terça-feira (27-set-2011)

 Horário: 14:30 - 16:00

 Artigos Curtos

"Supporting NoC projects with a Formal QoS-aware Model"
Dayanne K. F. R. Escale, Karla Ramos, Claudia Ribeiro (UERN)

"From UML to SIMULINK: a Graph Grammar Specification"
Luciana Foss, Simone Costa, Nícolas N. Bisi, Lisane Brisolara (UFPel); Flávio Wagner (UFRGS)

"Towards a Quantum Monadic Arrow Lambda-calculus"
Juliana Vizzotto (UFSM)

 Sessão Técnica 7    (SBMF: ST 7)

 Data: quarta-feira (28-set-2011)

 Horário: 11:00 - 13:00

"Sound and Complete Abstract Graph Transformation"
Dominik Steenken, Heike Wehrheim, Daniel Wonisch (University of Paderborn, Germany)

"On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts"
Braga, Menezes, Comicio, Santos, Landim (UFF)

"Model Transformation and Induced Instance Migration: A Universal Framework"
Harald König, Michael Löwe, Christoph Schulz (FHDW Hannover, Germany)

"Algebra of Monotonic Boolean Transformers"
Viorel Preoteasa (Abo Akademi University, Finland)

 Sessão Técnica 8    (SBMF: ST 8)

 Data: quarta-feira (28-set-2011)

 Horário: 14:30 - 16:00

"A Formal Treatment of Agents, Goals and Operations using Alternating-Time Temporal Logic"
Christophe Chareton, Julien Brunel, David Chemouil (ONERA-DTIM, France)

"Simulation and Verification of Synchronous Set Relations in Rewriting Logic"
Camilo Rocha (University of Illinois at Urbana-Champaign, USA); César Muñoz (Nasa Langley Research Center, USA)

"A Formal Approach to Fixing Bugs"
Sara Kalvala, Richard Warburton (University of Warwick, UK)

 Sessão de Encerramento

 Data: quarta-feira (28-set-2011)

 Horário: 16:00 - 16:10