1
TITLE: Proposition of an Action Layer for Electrum
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Thomas Hujsa; Nuno Macedo ; Jeanne Tawa;
SOURCE: 6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018 in Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, VOLUME: 10817, PUBLISHED: 2018
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
2
TITLE: The electrum analyzer: model checking relational first-order temporal specifications
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
SOURCE: 33rd IEEE/ACM International Conference on Automated Software Engineering, ASE 2018 in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, PUBLISHED: 2018
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
3
TITLE: Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
AUTHORS: Alcino Cunha ; Nuno Macedo ;
SOURCE: 6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018 in Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, VOLUME: 10817, PUBLISHED: 2018
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
4
TITLE: A Feature-Based Classification of Model Repair Approaches  Full Text
AUTHORS: Nuno Macedo ; Jorge Tiago; Alcino Cunha ;
SOURCE: IEEE Trans. Software Eng., VOLUME: 43, ISSUE: 7, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
5
TITLE: Exploiting Partial Knowledge for Efficient Model Analysis
AUTHORS: Nuno Macedo ; Alcino Cunha ; Eduardo Pessoa;
SOURCE: 15th International Conference on Automated Technology for Verification and Analysis, ATVA 2017 in Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, VOLUME: 10482, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
6
TITLE: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
7
TITLE: Mining the Usage Patterns of ROS Primitives
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ; Rafael Arrais ; Filipe Neves dos Santos ;
SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2017 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), VOLUME: 2017-September, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
8
TITLE: A Framework for Quality Assessment of ROS Repositories
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ; Claudio Lourenco ;
SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2016 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2016), VOLUME: 2016-November, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
9
TITLE: Alloy meets TLA+: An exploratory study PDF
AUTHORS: Nuno Macedo ; Alcino Cunha ;
SOURCE: CoRR, VOLUME: abs/1603.03599, PUBLISHED: 2016
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
10
TITLE: Least-change bidirectional model transformation with QVT-R and ATL  Full Text
AUTHORS: Nuno Macedo ; Alcino Cunha ;
SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, ISSUE: 3, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | DBLP
Page 1 of 3. Total results: 23.