Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Madiel Conserva Filho

Madiel S. Conserva Filho

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/CavalcantiSMRFD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CavalcantiSMRFD19
Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis:
Verified simulation for robotics. Sci. Comput. Program. 174: 1-37 (2019)
2018
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/FilhoOSC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/FilhoOSC18
Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti:
Compositional and local livelock analysis for CSP. Inf. Process. Lett. 133: 21-25 (2018)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/larc/SantosFS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/larc/SantosFS23
Marcus Santos, Madiel Conserva Filho, Augusto Sampaio:
A Model-based Approach to the Development and Verification of Robotic Systems for Competitions. LARS/SBR/WRE 2023: 236-241
2021
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/ZhangDSCFZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/ZhangDSCFZ21
Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang:
Transforming RoboSim Models into UPPAAL. TASE 2021: 79-86
2018
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/FilhoMMW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/FilhoMMW18
Madiel S. Conserva Filho, R. Marinho, Alexandre Mota, Jim Woodcock:
Analysing RoboChart with Probabilities. SBMF 2018: 198-214
2017
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/PereiraOFS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/PereiraOFS17
Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva:
BTS: A Tool for Formal Component-Based Development. IFM 2017: 211-226
2016
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/FilhoOSC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/FilhoOSC16
Madiel S. Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti:
Local Livelock Analysis of Component-Based Models. ICFEM 2016: 279-295
2014
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/OliveiraSF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/OliveiraSF14
Marcel Vinícius Medeiros Oliveira, Augusto C. A. Sampaio, Madiel S. Conserva Filho:
Model-Checking Circus State-Rich Specifications. IFM 2014: 39-54
2012
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/FilhoO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/FilhoO12
Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira:
Implementing Tactics of Refinement in CRefine. SEFM 2012: 342-351

Coauthor Index

see FAQ

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.