Követés
Hugo Daniel Macedo
Cím
Hivatkozott rá
Hivatkozott rá
Év
Typing linear algebra: A biproduct-oriented approach
HD Macedo, JN Oliveira
Science of Computer Programming 78 (11), 2160-2191, 2013
952013
Incremental development of a distributed real-time model of a cardiac pacing system using VDM
HD Macedo, PG Larsen, J Fitzgerald
International Symposium on Formal Methods, 181-197, 2008
642008
A survey of practical formal methods for security
T Kulik, B Dongol, PG Larsen, HD Macedo, S Schneider, ...
Formal aspects of computing 34 (1), 1-39, 2022
492022
Mining malware specifications through static reachability analysis
HD Macedo, T Touili
Computer Security–ESORICS 2013: 18th European Symposium on Research in …, 2013
412013
A linear algebra approach to OLAP
HD Macedo, JN Oliveira
Formal Aspects of Computing 27 (2), 283-307, 2015
332015
Towards a digital twin framework for autonomous robots
G Lumer-Klabbers, JO Hausted, JL Kvistgaard, HD Macedo, M Frasheri, ...
2021 IEEE 45th annual computers, software, and applications conference …, 2021
292021
A Universal Mechanism for Implementing Functional Mock-up Units
CM Legaard, D Tola, T Schranz, HD Macedo, PG Larsen
Proceedings of the 11th International Conference on Simulation and Modeling …, 2021
272021
Problematizing the service portfolio of digital innovation hubs
F Asplund, HD Macedo, C Sassanelli
Working Conference on Virtual Enterprises, 433-440, 2021
242021
Visual studio code vdm support
JK Rask, FP Madsen, N Battle, HD Macedo, PG Larsen
Proceedings of the 18th International Overture Workshop, 35-49, 2021
232021
The specification language server protocol: A proposal for standardised LSP extensions
JK Rask, FP Madsen, N Battle, HD Macedo, PG Larsen
arXiv preprint arXiv:2108.02961, 2021
212021
Facilitating model-based design of cyber-manufacturing systems
HD Macedo, C Sassanelli, PG Larsen, S Terzi
Procedia CIRP 104, 1936-1941, 2021
212021
Towards reuse of synchronization algorithms in co-simulation frameworks
C Thule, M Palmieri, C Gomes, K Lausdahl, HD Macedo, N Battle, ...
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops …, 2020
212020
Compositional Verification of Multi-station Interlocking Systems
HD Macedo, A Fantechi, AE Haxthausen
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
202016
Migrating the INTO-CPS application to the cloud
MB Rasmussen, C Thule, HD Macedo, PG Larsen
Proceedings of the 17th Overture Workshop, 47-62, 2019
19*2019
Compositional verification of interlocking systems for large stations
A Fantechi, AE Haxthausen, HD Macedo
Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017
172017
Compositional model checking of interlocking systems for lines with multiple stations
HD Macedo, A Fantechi, AE Haxthausen
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017
172017
Uncertainty quantification and runtime monitoring using environment-aware digital twins
J Woodcock, C Gomes, HD Macedo, PG Larsen
Leveraging Applications of Formal Methods, Verification and Validation …, 2021
162021
Matrices as Arrows!
HD Macedo, JN Oliveira
International Conference on Mathematics of Program Construction, 271-287, 2010
162010
A cloud-based collaboration platform for model-based design of cyber-physical systems
PG Larsen, HD Macedo, J Fitzgerald, H Pfeifer, M Benedikt, S Tonetta, ...
arXiv preprint arXiv:2005.02449, 2020
142020
Modelling the HUBCAP sandbox architecture in VDM: A study in security
T Kulik, HD Macedo, P Talasila, PG Larsen
John Fitzgerald, Tomohiro Oda, and Hugo Daniel Macedo (Editors) 20, 2021
122021
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20