Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

18. SBMF 2015: Belo Horizonte, 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/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2015
Márcio Cornélio, Bill Roscoe:
Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings. Lecture Notes in Computer Science 9526, Springer 2016, ISBN 978-3-319-29472-8

Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/MacarioO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MacarioO15
F. J. S. Macário, Marcel Vinícius Medeiros Oliveira:
Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware. 3-18
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/TimmG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/TimmG15
Nils Timm, Stefan Gruner:
Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking. 19-35

Languages and Semantics

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/WoodcockWC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/WoodcockWC15
Jim Woodcock, Andy J. Wellings, Ana Cavalcanti:
Mobile CSP. 39-55
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/CharetonBC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/CharetonBC15
Christophe Chareton, Julien Brunel, David Chemouil:
Evaluating the Assignment of Behavioral Goals to Coalitions of Agents. 56-73
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/BragaL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/BragaL15
Christiano Braga, Bruno Lopes:
Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case. 74-89

Refinement and Verification

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/MiyazawaC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MiyazawaC15
Alvaro Miyazawa, Ana Cavalcanti:
Refinement Strategies for Safety-Critical Java. 93-109
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SilvaSM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SilvaSM15
Tarciana Dias da Silva, Augusto Sampaio, Alexandre Mota:
Verifying Transformations of Java Programs Using Alloy. 110-126
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/RibeiroC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/RibeiroC15
Rodrigo Geraldo Ribeiro, Carlos Camarão:
A Mechanized Textbook Proof of a Type Unification Algorithm. 127-141

Testing and Evaluation

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/NogueiraAAIS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/NogueiraAAIS15
Sidney C. Nogueira, Hugo Leonardo da Silva Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio:
Automatic Generation of Test Cases and Test Purposes from Natural Language. 145-161
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/JuniorT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/JuniorT15
Valdivino Alexandre de Santiago Jr., Sofiène Tahar:
Time Performance Formal Evaluation of Complex Systems. 162-177
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SilvaCS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SilvaCS15
Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio:
Test Case Generation from Natural Language Requirements Using CPN Simulation. 178-193

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.