E-LIB Suche - Ergebnisse für: Macedo, Hugo Daniel

1

Using INTO-CPS Tools in the Development of a Digital Twin f..:

, In: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; Lecture Notes in Computer Science,

Tøttrup, Malthe Faurschou ; Hu, Emil Chao ; Kramer, Bastian Aron.. - p. 200-209 , 2023

2

Towards Secure Digital Twins:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Practice,

Kulik, Tomas ; Gomes, Cláudio ; Macedo, Hugo Daniel.. - p. 159-176 , 2022

Link: https://doi.org/10.1007/..

3

A Survey of Practical Formal Methods for Security:

Kulik, Tomas ; Dongol, Brijesh ; Larsen, Peter Gorm...
Formal Aspects of Computing. 34 (2022) 1 - p. 1-39 , 2022

Link: https://doi.org/10.1145/..

4

Under What Conditions Does a Digital Shadow Track a Periodi..:

, In: Lecture Notes in Computer Science; Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops,

Feng, Hao ; Gomes, Cláudio ; Sandberg, Michael.. - p. 143-155 , 2022

Link: https://doi.org/10.1007/..

5

Digital Twins for Autonomous Intelligent Systems: From Deve..:

, In: 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C),

Esterle, Lukas ; Ejersbo, Henrik ; Frasheri, Mirgita... - p. 53-54 , 2022

Link: https://doi.org/10.1109/..

6

HUBCAP: A Novel Collaborative Approach to Model-Based Desig..:

, In: Lecture Notes in Networks and Systems; Simulation and Modeling Methodologies, Technologies and Applications,

Larsen, Peter Gorm ; Macedo, Hugo Daniel ; Fitzgerald, John... - p. 90-110 , 2021

Link: https://doi.org/10.1007/..

7

Estimating the maximum allowable delay bound for networked ..:

, In: Control Strategy for Time-Delay Systems,

Feng, Hao ; Macedo, Hugo Daniel ; Larsen, Peter Gorm - p. 257-280 , 2021

Link: https://doi.org/10.1016/..

8

Towards a Digital Twin Framework for Autonomous Robots:

, In: 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC),

Lumer-Klabbers, Gill ; Hausted, Jacob Odgaard ; Kvistgaard, Jakob Levisen... - p. 1254-1259 , 2021

Link: https://doi.org/10.1109/..

9

Problematizing the Service Portfolio of Digital Innovation ..:

, In: IFIP Advances in Information and Communication Technology; Smart and Sustainable Collaborative Networks 4.0,

Asplund, Fredrik ; Macedo, Hugo Daniel ; Sassanelli, Claudio - p. 433-440 , 2021

Link: https://doi.org/10.1007/..

10

Facilitating model-based design of cyber-manufacturing syst..:

Macedo, Hugo Daniel ; Sassanelli, Claudio ; Larsen, Peter Gorm.
Procedia CIRP. 104 (2021) - p. 1936-1941 , 2021

Link: https://doi.org/10.1016/..

11

Introducing Regression Tests and Upgrades to the INTO-CPS A..:

, In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops; Lecture Notes in Computer Science,

Talasila, Prasad ; Sanjari, Armine ; Villadsen, Kristoffer... - p. 311-317 , 2021

Link: https://doi.org/10.1007/..

12

List of contributors:

, In: Control Strategy for Time-Delay Systems,

Alavi, Seyed Amir ; Bououden, Sofiane ; Cao, Ning... - p. ix-x , 2021

Link: https://doi.org/10.1016/..

13

Uncertainty Quantification and Runtime Monitoring Using Env..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends; Lecture Notes in Computer Science,

Woodcock, Jim ; Gomes, Cláudio ; Macedo, Hugo Daniel. - p. 72-87 , 2021

Link: https://doi.org/10.1007/..

14

Automatic Generation of Functional Mock-Up Units from Forma..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Palmieri, Maurizio ; Macedo, Hugo Daniel - p. 27-33 , 2020

Link: https://doi.org/10.1007/..

15

Towards Reuse of Synchronization Algorithms in Co-simulatio..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Thule, Casper ; Palmieri, Maurizio ; Gomes, Cláudio... - p. 50-66 , 2020

Link: https://doi.org/10.1007/..