| Verified simulation for robotics A Cavalcanti, A Sampaio, A Miyazawa, P Ribeiro, M Conserva Filho, ... Science of Computer Programming 174, 1-37, 2019 | 43 | 2019 |
| 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 | 36 | 2012 |
| 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 | 23 | 2013 |
| CML definition 0 J Woodcock, A Cavalcanti, J Coleman, A Didier, PG Larsen, A Miyazawa, ... Public Document. Deliverable, 3-1, 2012 | 14 | 2012 |
| Rapid Prototyping of a Semantically Well Founded Circus Model Checker A Mota, A Farias, A Didier, J Woodcock Software Engineering and Formal Methods: 12th International Conference, SEFM …, 2014 | 12 | 2014 |
| A formal semantics for sysml activity diagrams L Lima, A Didier, M Cornélio Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF …, 2013 | 10 | 2013 |
| 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 | 7 | 2013 |
| Identifying hardware failures systematically A Didier, A Mota Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF …, 2012 | 6 | 2012 |
| RoboSim reference manual A Cavalcanti, P Ribeiro, A Miyazawa, A Sampaio, M Conserva Filho, ... University of York, 2019 | 4 | 2019 |
| An algebra of temporal faults A Didier, A Mota Information Systems Frontiers 18 (5), 967-980, 2016 | 3 | 2016 |
| Checking z data refinements using traces refinement A Didier, A Farias, A Mota Electronic Notes in Theoretical Computer Science 240, 129-148, 2009 | 3 | 2009 |
| A Lattice-Based representation of temporal failures ALR Didier, A Mota 2015 IEEE International Conference on Information Reuse and Integration, 295-302, 2015 | 1 | 2015 |
| Reasoning About Temporal Faults Using an Activation Logic A Didier, A Mota Quality Software Through Reuse and Integration 4, 287-311, 2018 | | 2018 |
| Automatic Z Data Refinement A Didier | | 2006 |
Alexandre MotaLecturer of Computer Science, Universidade Federal de Pernambuco在 cin.ufpe.br 的电子邮件经过验证
