Nuno Macedo

Tutorial accepted at IROS

nfmmacedo — Thu, 13 May 2021 14:34:01 +0000

Our tutorial on Improving the Software Quality of ROS Applications with HAROS has been accepted by the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Nuno Macedo

Paper accepted at SCP

nfmmacedo — Mon, 10 May 2021 00:00:00 +0000

Our extended experience report on teaching Alloy with an automated assessment platform has been accepted at the Science of Computer Programming (SCP) journal.

Nuno Macedo

Paper accepted at IJRC

nfmmacedo — Tue, 13 Apr 2021 00:00:00 +0000

Our extended paper on ROSY, an elegant language to teach the pure reactive nature of robot programming, has just been accepted at the International Journal of Robotic Computing (IJRC).

Nuno Macedo

Paper accepted at RoSE

nfmmacedo — Mon, 15 Mar 2021 11:02:49 +0000

Our work on HAROS, a framework for promoting high-assurance ROS software, has been accepted at the 3rd International Workshop on Robotics Software Engineering (RoSE).

Nuno Macedo

Paper award

nfmmacedo — Tue, 15 Dec 2020 15:01:56 +0000

Our work on merging cloned Alloy models with colorful refactorings has been awarded the 2nd best paper award at SBMF'20.

Nuno Macedo

Paper award

nfmmacedo — Wed, 18 Nov 2020 14:57:33 +0000

Our paper on ROSY has received the Gerhard Kraetzschmar Award of IRC'20 for contibutions in the field of "Software Development for Robotics".

Nuno Macedo

Paper accepted at SBMF

nfmmacedo — Wed, 18 Nov 2020 14:55:46 +0000

Our work on merging cloned Alloy models with colorful refactorings has been accepted at the 23rd Brazilian Symposium on Formal Methods (SBMF).

Nuno Macedo

Moved to DEI/FEUP

nfmmacedo — Wed, 30 Sep 2020 10:51:59 +0000

I've moved to DEI/FEUP as an Assistant Professor.

Nuno Macedo

Paper accepted at IROS

nfmmacedo — Fri, 17 Jul 2020 08:36:34 +0000

Our work on the verification of system-wide safety properties of ROS applications has been accepted at IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Nuno Macedo

Papers accepted at ABZ

nfmmacedo — Tue, 07 Apr 2020 09:28:28 +0000

Our experience report on teaching Alloy with an automated assessment platform, and an answer to the case study call on validating multiple variants of an automotive light system with Electrum, have been accepted at ABZ'20.

Nuno Macedo