Hugo Daniel Macedo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
7
Active years
2008–2022
Best venue rank
B
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ISoLA | Towards Secure Digital Twins. | Tomas Kulik, Cludio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen |
| 2022 | SEFM | Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car. | Malthe Faurschou Tttrup, Emil Chao Hu, Bastian Aron Kramer, Hugo Daniel Macedo, Lukas Esterle |
| 2021 | COMPSAC | Towards a Digital Twin Framework for Autonomous Robots. | Gill Lumer-Klabbers, Jacob Odgaard Hausted, Jakob Levisen Kvistgaard, Hugo Daniel Macedo, Mirgita Frasheri, Peter Gorm Larsen |
| 2021 | SEFM | Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? | Hao Feng, Cludio Gomes, Michael Sandberg, Hugo Daniel Macedo, Peter Gorm Larsen |
| 2021 | SIMULTECH | A Universal Mechanism for Implementing Functional Mock-up Units. | Christian Mldrup Legaard, Daniella Tola, Thomas Schranz, Hugo Daniel Macedo, Peter Gorm Larsen |
| 2020 | ISoLA | Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. | Jim Woodcock, Cludio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen |
| 2020 | SEFM | Introducing Regression Tests and Upgrades to the INTO-CPS Application. | Prasad Talasila, Armine Sanjari, Kristoffer Villadsen, Casper Thule, Peter Gorm Larsen, Hugo Daniel Macedo |
| 2020 | SIMULTECH | A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems. | Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr. |
| 2020 | SIMULTECH | HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. | 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 |
| 2019 | FM | Towards a Static Check of FMUs in VDM-SL. | Nick Battle, Casper Thule, Cludio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen |
| 2019 | FM | Migrating the INTO-CPS Application to the Cloud. | Hugo Daniel Macedo, Mikkel Bayard Rasmussen, Casper Thule, Peter Gorm Larsen |
| 2019 | SEFM | Automatic Generation of Functional Mock-Up Units from Formal Specifications. | Maurizio Palmieri, Hugo Daniel Macedo |
| 2019 | SEFM | Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. | Casper Thule, Maurizio Palmieri, Cludio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen |
| 2017 | SEFM | Compositional Verification of Interlocking Systems for Large Stations. | Alessandro Fantechi, Anne E. Haxthausen, Hugo Daniel Macedo |
| 2016 | ISoLA | Compositional Verification of Multi-station Interlocking Systems. | Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen |
| 2013 | ESORICS | Mining Malware Specifications through Static Reachability Analysis. | Hugo Daniel Macedo, Tayssir Touili |
| 2010 | MPC | Matrices as Arrows! | Hugo Daniel Macedo, Jos Nuno Oliveira |
| 2008 | FM | Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. | Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald |