default search action

combined dblp search
author search
venue search
publication search

ask others

24th SBMF 2021: 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/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2021
Sérgio Campos, Marius Minea:
Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings. Lecture Notes in Computer Science 13130, Springer 2021, ISBN 978-3-030-92136-1
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/MenezesMR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MenezesMR21
Bruno Menezes, Ana Teresa C. Martins, Thiago Alves Rocha:
A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/BKPR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/BKPR21
Thamilselvam B, Subrahmanyam Kalyanasundaram, Shubham Parmar, M. V. Panduranga Rao:
Statistical Model Checking for Traffic Models. 17-33
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/LindosoNDL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/LindosoNDL21
Waldeck Lindoso, Sidney C. Nogueira, Renato Domingues, Lucas Lima:
Visual Specification of Properties for Robotic Designs. 34-52
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/TimmB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/TimmB21
Nils Timm, Josua Botha:
Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation. 53-69
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/AbbaCJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/AbbaCJ21
Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob:
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. 70-86
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/CravoR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/CravoR21
Diogo Raphael Cravo, Leila Ribeiro:
Module Integration Using Graph Grammars (MIGRATE). 87-103
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/AliP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/AliP21
Muhammad Rizwan Ali, Violet Ka I Pun:
Cost Analysis for an Actor-Based Workflow Modelling Language. 104-121
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SaeedloeiK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SaeedloeiK21
Neda Saeedloei, Feliks Kluzniak:
Minimization of the Number of Clocks for Timed Scenarios. 122-139

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.