| Typing linear algebra: A biproduct-oriented approach HD Macedo, JN Oliveira Science of Computer Programming 78 (11), 2160-2191, 2013 | 98 | 2013 |
| 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 | 64 | 2008 |
| 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 | 53 | 2022 |
| Mining malware specifications through static reachability analysis HD Macedo, T Touili Computer Security–ESORICS 2013: 18th European Symposium on Research in …, 2013 | 41 | 2013 |
| A linear algebra approach to OLAP HD Macedo, JN Oliveira Formal Aspects of Computing 27 (2), 283-307, 2015 | 33 | 2015 |
| 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 | 32 | 2021 |
| Problematizing the service portfolio of digital innovation hubs F Asplund, HD Macedo, C Sassanelli Working Conference on Virtual Enterprises, 433-440, 2021 | 28 | 2021 |
| 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 | 28 | 2021 |
| 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 | 23 | 2021 |
| 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 | 22 | 2021 |
| 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 | 22 | 2020 |
| Facilitating model-based design of cyber-manufacturing systems HD Macedo, C Sassanelli, PG Larsen, S Terzi Procedia CIRP 104, 1936-1941, 2021 | 20 | 2021 |
| Compositional Verification of Multi-station Interlocking Systems HD Macedo, A Fantechi, AE Haxthausen Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 20 | 2016 |
| 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 |
| 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 | 18 | 2021 |
| Compositional verification of interlocking systems for large stations A Fantechi, AE Haxthausen, HD Macedo Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017 | 17 | 2017 |
| 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 | 17 | 2017 |
| Matrices as Arrows! HD Macedo, JN Oliveira International Conference on Mathematics of Program Construction, 271-287, 2010 | 16 | 2010 |
| 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 | 14 | 2020 |
| Gaussian elimination is not optimal, revisited HD Macedo Journal of Logical and Algebraic Methods in Programming 85 (5), 999-1010, 2016 | 13 | 2016 |
Peter Gorm LarsenAarhus University確認したメール アドレス: ece.au.dk