Nuno Macedo

According to our database1, Nuno Macedo authored at least 34 papers between 2012 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum.
Int. J. Softw. Tools Technol. Transf., 2020

Merging Cloned Alloy Models with Colorful Refactorings.
Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

Verification of system-wide safety properties of ROS applications.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

ROSY: An elegant language to teach the pure reactive nature of robot programming.
Proceedings of the Fourth IEEE International Conference on Robotic Computing, 2020

Experiences on Teaching Alloy with an Automated Assessment Platform.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

Validating Multiple Variants of an Automotive Light System with Electrum.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019
Simulation under Arbitrary Temporal Logic Constraints.
Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019

Sharing and Learning Alloy on the Web.
CoRR, 2019

Simplifying the Analysis of Software Design Variants with a Colorful Alloy.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019

Static-Time Extraction and Analysis of the ROS Computation Graph.
Proceedings of the 3rd IEEE International Conference on Robotic Computing, 2019

2018
Teaching how to program using automated assessment and functional glossy games (experience report).
Proc. ACM Program. Lang., 2018

Improving the Visualization of Alloy Instances.
Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018

Property-based testing for the robot operating system.
Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, 2018

The electrum analyzer: model checking relational first-order temporal specifications.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Proposition of an Action Layer for Electrum.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017
A Feature-Based Classification of Model Repair Approaches.
IEEE Trans. Software Eng., 2017

Mining the usage patterns of ROS primitives.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Formal Verification of ROS-Based Robotic Applications Using Timed-Automata.
Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

Exploiting Partial Knowledge for Efficient Model Analysis.
Proceedings of the Automated Technology for Verification and Analysis, 2017

2016
Least-change bidirectional model transformation with QVT-R and ATL.
Softw. Syst. Model., 2016

Alloy meets TLA+: An exploratory study.
CoRR, 2016

Lightweight specification and analysis of dynamic systems with rich configurations.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Towards a Formal Validation of ETL Patterns Behaviour.
Proceedings of the Model and Data Engineering - 6th International Conference, 2016

A framework for quality assessment of ROS repositories.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

2015
Exploring Scenario Exploration.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014
Bidirectional spreadsheet formulas.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

Target Oriented Relational Model Finding.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

Towards a Framework for Multidirectional Model Transformations.
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

2013
Composing Least-change Lenses.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

A Generic Scheme and Properties of Bidirectional Transformations.
CoRR, 2013

Model repair and transformation with Echo.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Implementing QVT-R Bidirectional Model Transformations Using Alloy.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012
Automatic Unbounded Verification of Alloy Specifications with Prover9
CoRR, 2012

Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012


  Loading...