André Didier

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 2

Top Topics

Formal Semantics

Development Environment

Temporal Analysis

Top Venues

Sci. Comput. Program.

Publications

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 (2019)
André Didier, Alexandre Mota
An algebra of temporal faults. Inf. Syst. Frontiers 18 (5) (2016)
Alexandre Mota, Adalberto Farias, André Didier, Jim Woodcock
Rapid Prototyping of a Semantically Well Founded Circus Model Checker. SEFM (2014)
Lucas Lima, André Didier, Márcio Cornélio
A Formal Semantics for SysML Activity Diagrams. SBMF (2013)
Zoe Andrews, Richard John Payne, Alexander B. Romanovsky, André Didier, Alexandre Mota
Model-based development of fault tolerant systems of systems. SysCon (2013)
André Didier, Alexandre Mota
Identifying Hardware Failures Systematically. SBMF (2012)
Joey W. Coleman, Anders Kaels Malmos, Peter Gorm Larsen, Jan Peleska, Ralph Hains, Zoe Andrews, Richard John Payne, Simon Foster, Alvaro Miyazawa, Cristiano Bertolini, André Didier
COMPASS tool vision for a system of systems Collaborative Development Environment. SoSE (2012)
André Didier, Adalberto Farias, Alexandre Mota
Checking Z Data Refinements Using Traces Refinement. Electron. Notes Theor. Comput. Sci. 240 (2009)