Checking Z Data Refinements Using Traces Refinement. - André Didier; Adalberto Farias; Alexandre Mota 001 (SBMF, 2008)

Identifying Hardware Failures Systematically. - André Didier; Alexandre Mota 001 (SBMF, 2012)

COMPASS tool vision for a system of systems Collaborative Development Environment. - Joey W. Coleman; Anders Kaels Malmos; Peter Gorm Larsen; Jan Peleska 001; Ralph Hains; Zoe Andrews; Richard John Payne; Simon Foster 001; Alvaro Miyazawa; Cristiano Bertolini; André Didier (SoSE, 2012)

A Formal Semantics for SysML Activity Diagrams. - Lucas Lima 001; André Didier; Márcio Cornélio (SBMF, 2013)

Model-based development of fault tolerant systems of systems. - Zoe Andrews; Richard John Payne; Alexander B. Romanovsky; André Didier; Alexandre Mota 001 (SysCon, 2013)

Rapid Prototyping of a Semantically Well Founded Circus Model Checker. - Alexandre Mota 001; Adalberto Farias; André Didier; Jim Woodcock 001 (SEFM, 2014)

A Lattice-Based Representation of Temporal Failures. - André Luis Ribeiro Didier; Alexandre Mota 001 (IRI, 2015)

An algebra of temporal faults. - André Didier; Alexandre Mota 001 (Inf. Syst. Frontiers, 2016)

An algebra of temporal faults. - André Luis Ribeiro Didier (2017)

Verified simulation for robotics. - Ana Cavalcanti 001; Augusto Sampaio 001; Alvaro Miyazawa; Pedro Ribeiro 002; Madiel Conserva Filho; André Didier; Wei Li 055; Jon Timmis (Sci. Comput. Program., 2019)