default search action

combined dblp search
author search
venue search
publication search

ask others

23rd SBMF 2020: Ouro Preto, 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/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2020
Gustavo Carvalho, Volker Stolz:
Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings. Lecture Notes in Computer Science 12475, Springer 2020, ISBN 978-3-030-63881-8

Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/Leucker20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/Leucker20
Martin Leucker:
Formal Verification of Neural Networks? 3-7
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/BjornerN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/BjornerN20
Nikolaj S. Bjørner, Lev Nachmanson:
Navigating the Universe of Z3 Theory Solvers. 8-24
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/OliveiraGPMRG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/OliveiraGPMRG20
Jonhnanthan Oliveira, Rohit Gheyi, Felipe Pontes, Melina Mongiovi, Márcio Ribeiro, Alessandro F. Garcia:
Revisiting Refactoring Mechanics from Tool Developers' Perspective. 25-42

Experience Reports

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbmf/MurrayASRH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MurrayASRH20
Yvonne Murray, David A. Anisi, Martin Sirevåg, Pedro Ribeiro, Rabah Saleh Hagag:
Safety Assurance of a High Voltage Controller for an Industrial Robotic System. 45-63
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/FernandesGOC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/FernandesGOC20
Herbert Rausch Fernandes, Giovanni Freitas Gomes, Antonio Carlos Pinheiro de Oliveira, Sérgio Vale Aguiar Campos:
Statistical Model Checking in Drug Repurposing for Alzheimer's Disease. 64-80

Models, Languages and Semantics

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/PaixaoS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/PaixaoS20
João Paixão, Pawel Sobocinski:
Calculational Proofs in Relational Graphical Linear Algebra. 83-100
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/NetoMVM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/NetoMVM20
João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante:
Modeling Big Data Processing Programs. 101-118
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SaeedloeiK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SaeedloeiK20
Neda Saeedloei, Feliks Kluzniak:
Optimization of Timed Scenarios. 119-136
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/CamposSMF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/CamposSMF20
Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo:
Reversal Fuzzy Switch Graphs. 137-154
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/MehtaC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MehtaC20
Mihir Parang Mehta, William R. Cook:
Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model. 155-170

Software Product Lines

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/LiuMC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/LiuMC20
Chong Liu, Nuno Macedo, Alcino Cunha:
Merging Cloned Alloy Models with Colorful Refactorings. 173-191
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/AlvesTAC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/AlvesTAC20
Thayonara Alves, Leopoldo Teixeira, Vander Alves, Thiago M. Castro:
Porting the Software Product Line Refinement Theory to the Coq Proof Assistant. 192-209
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/TeixeiraGB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/TeixeiraGB20
Leopoldo Teixeira, Rohit Gheyi, Paulo Borba:
Safe Evolution of Product Lines Using Configuration Knowledge Laws. 210-227

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.