More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

25th SBMF 2022: Virtual Event

> 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/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2022
Lucas Lima, Vince Molnár:
Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings. Lecture Notes in Computer Science 13768, Springer 2022, ISBN 978-3-031-22475-1

Model Checking and Semantics

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SaeedloeiK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SaeedloeiK22
Neda Saeedloei, Feliks Kluzniak:
An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata. 3-21
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/AbdelghanyT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/AbdelghanyT22
Mohamed Abdelghany, Sofiène Tahar:
Formalization of Functional Block Diagrams Using HOL Theorem Proving. 22-35

Generation and Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/AmaroFR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/AmaroFR22
Maycon Amaro, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro:
A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching. 39-54
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SilvaO22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SilvaO22
Luciano Silva, Marcel Oliveira:
Automatic Generation of Verified Concurrent Hardware Using VHDL. 55-72
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/Bortin22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/Bortin22
Maksym Bortin:
Synthesis of Implementations for Divide-and-Conquer Specifications. 73-88

Verification and Solvers

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/JesusS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/JesusS22
Joabe Jesus, Augusto Sampaio:
Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover. 91-108
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/HamiltonA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/HamiltonA22
Geoff W. Hamilton, Benjamin Aziz:
Excommunication: Transforming π-Calculus Specifications to Remove Internal Communication. 109-123
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/GudemannR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/GudemannR22
Matthias Güdemann, Klaus Riedl:
Level-Up - From Bits to Words. 124-142

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.