André LR Didier
Title
Cited by
Cited by
Year
COMPASS tool vision for a system of systems Collaborative Development Environment
JW Coleman, AK Malmos, PG Larsen, J Peleska, R Hains, Z Andrews, ...
System of Systems Engineering (SoSE), 2012 7th International Conference on …, 2012
322012
Verified simulation for robotics
A Cavalcanti, A Sampaio, A Miyazawa, P Ribeiro, M Conserva Filho, ...
Science of Computer Programming 174, 1-37, 2019
212019
Model-based development of fault tolerant systems of systems
Z Andrews, R Payne, A Romanovsky, A Didier, A Mota
Systems Conference (SysCon), 356-363, 2013
212013
CML definition 0
J Woodcock, A Cavalcanti, J Coleman, A Didier, PG Larsen, A Miyazawa, ...
Public Document. Deliverable, 3-1, 2012
142012
Rapid prototyping of a semantically well founded Circus model checker
A Mota, A Farias, A Didier, J Woodcock
International Conference on Software Engineering and Formal Methods, 235-249, 2014
112014
Report on timed fault tree analysis-fault modelling
Z Andrews, A Didier, R Payne, C Ingram, J Holt, S Perry, M Oliveira, ...
COMPASS Deliverable D 24, 2013
72013
A formal semantics for sysml activity diagrams
L Lima, A Didier, M Cornélio
Brazilian Symposium on Formal Methods, 179-194, 2013
62013
Identifying hardware failures systematically
A Didier, A Mota
Brazilian Symposium on Formal Methods, 115-130, 2012
42012
An algebra of temporal faults
A Didier, A Mota
Information Systems Frontiers 18 (5), 967-980, 2016
32016
Checking z data refinements using traces refinement
A Didier, A Farias, A Mota
Electronic Notes in Theoretical Computer Science 240, 129-148, 2009
32009
A Lattice-Based representation of temporal failures
ALR Didier, A Mota
2015 IEEE International Conference on Information Reuse and Integration, 295-302, 2015
12015
Ana Cavalcanti Pedro Ribeiro
A Miyazawa, A Didier
2021
Reasoning About Temporal Faults Using an Activation Logic
A Didier, A Mota
Quality Software Through Reuse and Integration, 287-311, 2016
2016
Automatic Z Data Refinement
A Didier
2006
The system can't perform the operation now. Try again later.
Articles 1–14