André Didier

According to our database, André Didier authored at least 10 papers between 2008 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Verified simulation for robotics.

Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis

Sci. Comput. Program., 2019

2017

An algebra of temporal faults.

André Luis Ribeiro Didier

PhD thesis, 2017

2016

An algebra of temporal faults.

André Didier, Alexandre Mota

Inf. Syst. Frontiers, 2016

2015

A Lattice-Based Representation of Temporal Failures.

André Luis Ribeiro Didier, Alexandre Mota

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

2014

Rapid Prototyping of a Semantically Well Founded Circus Model Checker.

Alexandre Mota, Adalberto Farias, André Didier, Jim Woodcock

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2013

Model-based development of fault tolerant systems of systems.

Zoe Andrews, Richard John Payne, Alexander B. Romanovsky, André Didier, Alexandre Mota

Proceedings of the IEEE International Systems Conference, 2013

A Formal Semantics for SysML Activity Diagrams.

Lucas Lima, André Didier, Márcio Cornélio

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

2012

COMPASS tool vision for a system of systems Collaborative Development Environment.

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

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

Identifying Hardware Failures Systematically.

André Didier, Alexandre Mota

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

2008

Checking Z Data Refinements Using Traces Refinement.

André Didier, Adalberto Farias, Alexandre Mota

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008