The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions von Kjær Rask, Jonas, Palludan Madsen, Frederik, Battle, Nick, Daniel Macedo, Hugo, Gorm Larsen, Peter

Volltext

The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution von Macedo, Hugo Daniel, Nilsson, René Søndergaard, Larsen, Peter Gorm

Volltext

A Survey of Practical Formal Methods for Security von Kulik, Tomas, Dongol, Brijesh, Larsen, Peter Gorm, Macedo, Hugo Daniel, Schneider, Steve, Tran-Jørgensen, Peter W. V., Woodcock, James

Volltext

Facilitating model-based design of cyber-manufacturing systems von Macedo, Hugo Daniel, Sassanelli, Claudio, Larsen, Peter Gorm, Terzi, Sergio

Volltext

Gaussian elimination is not optimal, revisited von Macedo, Hugo Daniel

Volltext

Typing linear algebra: A biproduct-oriented approach von Macedo, Hugo Daniel, Oliveira, José Nuno

Volltext

A linear algebra approach to OLAP von Macedo, Hugo Daniel, Oliveira, José Nuno

Volltext

Automatic Generation of Functional Mock-Up Units from Formal Specifications von Palmieri, Maurizio, Macedo, Hugo Daniel

Volltext

Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins von Woodcock, Jim, Gomes, Cláudio, Macedo, Hugo Daniel, Larsen, Peter Gorm

Volltext

Multiplying matrices using n arithmetic operations von Macedo, Hugo Daniel

Volltext bestellen

Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car von Tøttrup, Malthe Faurschou, Hu, Emil Chao, Kramer, Bastian Aron, Macedo, Hugo Daniel, Esterle, Lukas

Volltext

Proceedings of the 21st International Overture Workshop von Macedo, Hugo Daniel, Pierce, Ken

Volltext bestellen

Towards Secure Digital Twins von Kulik, Tomas, Gomes, Cláudio, Macedo, Hugo Daniel, Hallerstede, Stefan, Larsen, Peter Gorm

Volltext

Mining Malware Specifications through Static Reachability Analysis von Macedo, Hugo Daniel, Touili, Tayssir

Volltext

Proceedings of the 22nd International Overture Workshop von Macedo, Hugo Daniel, Pierce, Ken, Freitas, Leo

Volltext bestellen

Migrating the INTO-CPS Application to the Cloud von Macedo, Hugo Daniel, Rasmussen, Mikkel Bayard, Thule, Casper, Larsen, Peter Gorm

Volltext

Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? von Feng, Hao, Gomes, Cláudio, Sandberg, Michael, Macedo, Hugo Daniel, Larsen, Peter Gorm

Volltext

Proceedings of the 20th International Overture Workshop von Macedo, Hugo Daniel, Pierce, Ken

Volltext bestellen

Introducing Regression Tests and Upgrades to the INTO-CPS Application von Talasila, Prasad, Sanjari, Armine, Villadsen, Kristoffer, Thule, Casper, Larsen, Peter Gorm, Macedo, Hugo Daniel

Volltext

Towards a Static Check of FMUs in VDM-SL von Battle, Nick, Thule, Casper, Gomes, Cláudio, Macedo, Hugo Daniel, Larsen, Peter Gorm

Volltext