Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

19. SBMF 2016: Natal, 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/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2016
Leila Ribeiro, Thierry Lecomte:
Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. Lecture Notes in Computer Science 10090, 2016, ISBN 978-3-319-49814-0

Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/Leuschel16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/Leuschel16
Michael Leuschel:
Formal Model-Based Constraint Solving and Document Generation. 3-20
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SampaioA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SampaioA16
Augusto Sampaio, Filipe Arruda:
Formal Testing from Natural Language in an Industrial Context. 21-38

Analysis and Verification

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/MoralesMV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MoralesMV16
Luis E. Mendoza Morales, Carlos Monsalve, Mónica Villavicencio:
Application of Formal Methods to Verify Business Processes. 41-58
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/NogueiraFMOMP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/NogueiraFMOMP16
Sidney C. Nogueira, Taciana Pontual Falcão, Alexandre Mota, Emanuel Oliveira, Itamar Moraes, Iverson Pereira:
An Approach for Verifying Educational Robots. 59-77
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/CostaBARBHM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/CostaBARBHM16
Andrei Costa, Jonas Santos Bezerra, Guilherme Grochau Azzi, Leonardo Marques Rodrigues, Thiago Rafael Becker, Ricardo Gabriel Herdt, Rodrigo Machado:
Verigraph: A System for Specification and Analysis of Graph Grammars. 78-94

Modeling and Logic

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/EdmundsW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/EdmundsW16
Andrew Edmunds, Marina Waldén:
Modelling 'Operation-Calls' in Event-B with Shared-Event Composition. 97-111
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/CastroA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/CastroA16
Pablo F. Castro, Nazareno Aguirre:
Algebraic Foundations for Specification Refinements. 112-128
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SantiagoBMM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SantiagoBMM16
Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins:
On Interval Dynamic Logic. 129-144
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/MolinaCDRCAF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MolinaCDRCAF16
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias:
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications. 145-160
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/MachadoA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MachadoA16
Efraim Machado, Aline Andrade:
A Refinement Repair Algorithm Based on Refinement Game for KMTS Models. 161-178
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/FariasBM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/FariasBM16
Hugo Farias, Christiano Braga, Paulo Blauth Menezes:
Massive Open Online Courses and Monoids. 179-195

Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/TimmGH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/TimmGH16
Nils Timm, Stefan Gruner, Matthias Harvey:
A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems. 199-216
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/BarzaCISMB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/BarzaCISMB16
Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros:
Model Checking Requirements. 217-234
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/LimaIS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/LimaIS16
Lucas Lima, Juliano Iyoda, Augusto Sampaio:
Refinement Verification of Sequence Diagrams Using CSP. 235-252

a service of

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.