Hugo Daniel Macedo

According to our database1, Hugo Daniel Macedo authored at least 43 papers between 2008 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Proceedings of the 21st International Overture Workshop.
CoRR, 2023

Multiplying matrices using n arithmetic operations.
CoRR, 2023

State of the Art Report: Verified Computation.
CoRR, 2023

Bidirectional UML Visualisation of VDM Models.
CoRR, 2023

Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL.
CoRR, 2023

2022
A Survey of Practical Formal Methods for Security.
Formal Aspects Comput., 2022

Proceedings of the 20th International Overture Workshop.
CoRR, 2022

Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car.
Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

Towards Secure Digital Twins.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Digital Twins for Autonomous Intelligent Systems: From Development to Deployment.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022

2021
Proceedings of the 19th International Overture Workshop.
CoRR, 2021

The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions.
Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021

Proceedings of the 18th International Overture Workshop.
CoRR, 2021

A Universal Mechanism for Implementing Functional Mock-up Units.
Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, 2021

Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?
Proceedings of the Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2021

Manufacturing Process Simulation in a Hybrid Cloud Setup.
Proceedings of the 2nd International Conference on Innovative Intelligent Industrial Production and Logistics, 2021

Problematizing the Service Portfolio of Digital Innovation Hubs.
Proceedings of the Smart and Sustainable Collaborative Networks 4.0, 2021

Fault Injecting Co-simulations for Safety.
Proceedings of the 5th International Conference on System Reliability and Safety, 2021

Towards a Digital Twin Framework for Autonomous Robots.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020
HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems.
Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2020

A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems.
Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, 2020

Introducing Regression Tests and Upgrades to the INTO-CPS Application.
Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

2019
The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution.
Comput., 2019

Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks.
Proceedings of the Software Engineering and Formal Methods, 2019

Automatic Generation of Functional Mock-Up Units from Formal Specifications.
Proceedings of the Software Engineering and Formal Methods, 2019

Migrating the INTO-CPS Application to the Cloud.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Towards a Static Check of FMUs in VDM-SL.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Collaborative Modelling and Co-simulation in Engineering and Computing Curricula.
Proceedings of the Frontiers in Software Engineering Education, 2019

2018
Towards a Schedulability-driven Architecture Exploration for Mixed Criticality Multicore Systems.
Proceedings of the 22nd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2018

2017
Compositional Verification of Interlocking Systems for Large Stations.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

The data cube as a typed linear algebra operator.
Proceedings of The 16th International Symposium on Database Programming Languages, 2017

2016
Gaussian elimination is not optimal, revisited.
J. Log. Algebraic Methods Program., 2016

Compositional Verification of Multi-station Interlocking Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015
A linear algebra approach to OLAP.
Formal Aspects Comput., 2015

Defining Effectiveness Using Finite Sets A Study on Computability.
Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015

2013
Typing linear algebra: A biproduct-oriented approach.
Sci. Comput. Program., 2013

Mining Malware Specifications through Static Reachability Analysis.
Proceedings of the Computer Security - ESORICS 2013, 2013

2012
Matrices as arrows: why categories of matrices matter
PhD thesis, 2012

2010
Matrices as Arrows!
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Towards Linear Algebras of Components.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2008
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM.
Proceedings of the FM 2008: Formal Methods, 2008


  Loading...