Hugo Daniel Macedo

49 papers A 1B 5C 4Journal 19Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Proceedings of the 23rd International Overture Workshop. CoRR Hugo Daniel Macedo, Ken Pierce
2024	J	`jnl`	Proceedings of the 22nd International Overture Workshop. CoRR Hugo Daniel Macedo, Ken Pierce, Leo Freitas
2023	J	`jnl`	Bidirectional UML Visualisation of VDM Models. CoRR Jonas Lund, Lucas Bjarke Jensen, Nick Battle, Peter Gorm Larsen, Hugo Daniel Macedo
2023	J	`jnl`	Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL. CoRR Tomohiro Oda, Gaël Dur, Stéphane Ducasse, Hugo Daniel Macedo
2023	J	`jnl`	Multiplying matrices using n arithmetic operations. CoRR Hugo Daniel Macedo
2023	J	`jnl`	Proceedings of the 21st International Overture Workshop. CoRR Hugo Daniel Macedo, Ken Pierce
2023	J	`jnl`	State of the Art Report: Verified Computation. CoRR Jim Woodcock, Mikkel Schmidt Andersen, Diego F. Aranha, Stefan Hallerstede, Simon Thrane Hansen, Nikolaj Kuhne Jakobsen, Tomas Kulik, Peter Gorm Larsen, Hugo Daniel Macedo, Carlos Ignacio Isasa Martin, Victor Alexander Mtsimbe Norrild
2022	J	`jnl`	A Survey of Practical Formal Methods for Security. Formal Aspects Comput. Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, Jim Woodcock
2022	—	`conf`	Digital Twins for Autonomous Intelligent Systems: From Development to Deployment. ACSOS-C Lukas Esterle, Henrik Ejersbo, Mirgita Frasheri, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen
2022	J	`jnl`	Proceedings of the 20th International Overture Workshop. CoRR Hugo Daniel Macedo, Ken Pierce
2022	—	`conf`	Towards Secure Digital Twins. ISoLA (4) Tomas Kulik, Cláudio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen
2022	—	`conf`	Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car. SEFM Workshops Malthe Faurschou Tøttrup, Emil Chao Hu, Bastian Aron Kramer, Hugo Daniel Macedo, Lukas Esterle
2021	J	`jnl`	A Survey of Practical Formal Methods for Security. CoRR Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter Würtz Vinther Tran-Jørgensen, Jim Woodcock
2021	C	`conf`	A Universal Mechanism for Implementing Functional Mock-up Units. SIMULTECH Christian Møldrup Legaard, Daniella Tola, Thomas Schranz, Hugo Daniel Macedo, Peter Gorm Larsen
2021	—	`conf`	Fault Injecting Co-simulations for Safety. ICSRS Mirgita Frasheri, Casper Thule, Hugo Daniel Macedo, Kenneth Lausdahl, Peter Gorm Larsen, Lukas Esterle
2021	—	`conf`	Manufacturing Process Simulation in a Hybrid Cloud Setup. IN4PL Gerhard Benedikt Weiß, Dario Pietraroia, Claudio Sassanelli, Hugo Daniel Macedo
2021	C	`conf`	Problematizing the Service Portfolio of Digital Innovation Hubs. PRO-VE Fredrik Asplund, Hugo Daniel Macedo, Claudio Sassanelli
2021	J	`jnl`	Proceedings of the 18th International Overture Workshop. CoRR John S. Fitzgerald, Tomohiro Oda, Hugo Daniel Macedo
2021	J	`jnl`	Proceedings of the 19th International Overture Workshop. CoRR Hugo Daniel Macedo, Casper Thule, Ken Pierce
2021	—	`conf`	The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions. F-IDE@NFM Jonas Kjær Rask, Frederik Palludan Madsen, Nick Battle, Hugo Daniel Macedo, Peter Gorm Larsen
2021	B	`conf`	Towards a Digital Twin Framework for Autonomous Robots. COMPSAC Gill Lumer-Klabbers, Jacob Odgaard Hausted, Jakob Levisen Kvistgaard, Hugo Daniel Macedo, Mirgita Frasheri, Peter Gorm Larsen
2021	—	`conf`	Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? SEFM Workshops Hao Feng, Cláudio Gomes, Michael Sandberg, Hugo Daniel Macedo, Peter Gorm Larsen
2020	J	`jnl`	A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems. CoRR Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.
2020	C	`conf`	A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems. SIMULTECH Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.
2020	—	`conf`	HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. SIMULTECH (Selected Papers) Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Giuseppe Veneziano, Lorenzo Sutton, Sergio Gusmeroli, George Suciu
2020	B	`conf`	Introducing Regression Tests and Upgrades to the INTO-CPS Application. SEFM Prasad Talasila, Armine Sanjari, Kristoffer Villadsen, Casper Thule, Peter Gorm Larsen, Hugo Daniel Macedo
2020	—	`conf`	Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. ISoLA (4) Jim Woodcock, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen
2019	—	`conf`	Automatic Generation of Functional Mock-Up Units from Formal Specifications. SEFM Workshops Maurizio Palmieri, Hugo Daniel Macedo
2019	—	`conf`	Collaborative Modelling and Co-simulation in Engineering and Computing Curricula. FISEE Peter Gorm Larsen, Hugo Daniel Macedo, Cláudio Goncalves Gomes, Lukas Esterle, Casper Thule, John S. Fitzgerald, Kenneth Pierce
2019	—	`conf`	Migrating the INTO-CPS Application to the Cloud. FM Workshops (2) Hugo Daniel Macedo, Mikkel Bayard Rasmussen, Casper Thule, Peter Gorm Larsen
2019	J	`jnl`	The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution. Comput. Hugo Daniel Macedo, René S. Nilsson, Peter Gorm Larsen
2019	—	`conf`	Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. SEFM Workshops Casper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen
2019	—	`conf`	Towards a Static Check of FMUs in VDM-SL. FM Workshops (2) Nick Battle, Casper Thule, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen
2018	C	`conf`	Towards a Schedulability-driven Architecture Exploration for Mixed Criticality Multicore Systems. DS-RT Jalil Boudjadar, Hugo Daniel Macedo
2017	—	`conf`	Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. NFM Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen
2017	B	`conf`	Compositional Verification of Interlocking Systems for Large Stations. SEFM Alessandro Fantechi, Anne E. Haxthausen, Hugo Daniel Macedo
2017	—	`conf`	The data cube as a typed linear algebra operator. DBPL José Nuno Oliveira, Hugo Daniel Macedo
2016	—	`conf`	Compositional Verification of Multi-station Interlocking Systems. ISoLA (2) Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen
2016	J	`jnl`	Gaussian elimination is not optimal, revisited. J. Log. Algebraic Methods Program. Hugo Daniel Macedo
2015	J	`jnl`	A linear algebra approach to OLAP. Formal Aspects Comput. Hugo Daniel Macedo, José Nuno Oliveira
2015	—	`conf`	Defining Effectiveness Using Finite Sets A Study on Computability. WEIT Hugo Daniel Macedo, Edward Hermann Haeusler, Alex de V. Garcia
2013	A	`conf`	Mining Malware Specifications through Static Reachability Analysis. ESORICS Hugo Daniel Macedo, Tayssir Touili
2013	J	`jnl`	Mining Malware Specifications through Static Reachability Analysis. CoRR Hugo Daniel Macedo, Tayssir Touili
2013	J	`jnl`	Typing linear algebra: A biproduct-oriented approach. CoRR Hugo Daniel Macedo, José Nuno Oliveira
2013	J	`jnl`	Typing linear algebra: A biproduct-oriented approach. Sci. Comput. Program. Hugo Daniel Macedo, José Nuno Oliveira
2012	—	`—`	Matrices as arrows: why categories of matrices matter Hugo Daniel Macedo
2010	B	`conf`	Matrices as Arrows! MPC Hugo Daniel Macedo, José Nuno Oliveira
2010	—	`conf`	Towards Linear Algebras of Components. FACS Hugo Daniel Macedo, José Nuno Oliveira
2008	B	`conf`	Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. FM Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald