![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
11th ISoLA 2022: Rhodes, Greece - Volume 4
- Tiziana Margaria
, Bernhard Steffen
:
Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV. Lecture Notes in Computer Science 13704, Springer 2022, ISBN 978-3-031-19761-1
Digital Twin Engineering
- John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes:
Engineering of Digital Twins for Cyber-Physical Systems. 3-8 - Tao Yue
, Shaukat Ali
, Paolo Arcaini
, Fuyuki Ishikawa
:
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. 9-21 - Aaron John Buhagiar
, Leo Freitas
, William E. Scott III
, Peter Gorm Larsen
:
Digital Twins for Organ Preservation Devices. 22-36 - Xiaotian Dai, Shuai Zhao, Benjamin Lesage, Iain Bate:
Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems. 37-53 - Martin Eisenberg
, Daniel Lehner, Radek Sindelár, Manuel Wimmer:
Towards Reactive Planning with Digital Twins and Model-Driven Optimization. 54-70 - Eduard Kamburjan
, Vidar Norstein Klungre
, Rudolf Schlatte
, Silvia Lizeth Tapia Tarifa
, David Cameron
, Einar Broch Johnsen
:
Digital Twin Reconfiguration Using Asset Models. 71-88 - Thomas Wright
, Cláudio Gomes
, Jim Woodcock
:
Formally Verified Self-adaptation of an Incubator Digital Twin. 89-109 - Tongtong Wang
, Robert Skulstad
, Motoyasu Kanazawa
, Lars Ivar Hatledal
, Guoyuan Li
, Houxiang Zhang
:
Adaptive Data-driven Predictor of Ship Maneuvering Motion Under Varying Ocean Environments. 110-125 - Le Liu
, Aleksandra Lekic
, Marjan Popov
:
Robust Adaptive Back-Stepping Control Approach Using Quadratic Lyapunov Functions for MMC-Based HVDC Digital Twins. 126-138 - Sergiy Bogomolov, John S. Fitzgerald
, Sadegh Soudjani, Paulius Stankaitis:
Data-Driven Reachability Analysis of Digital Twin FMI Models. 139-158 - Tomas Kulik
, Cláudio Gomes
, Hugo Daniel Macedo
, Stefan Hallerstede
, Peter Gorm Larsen
:
Towards Secure Digital Twins. 159-176
Digital Thread in Smart Manufacturing
- Tiziana Margaria, Dirk Pesch, Alan McGibney:
Digital Thread in Smart Manufacturing. 179-183 - Michele Boldo, Nicola Bombieri, Stefano Centomo, Mirco De Marchi, Florenc Demrozi
, Graziano Pravadelli, Davide Quaglia, Cristian Turetta:
Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 Era. 184-194 - Hafiz Ahmad Awais Chaudhary
, Ivan Guevara
, Jobish John
, Amandeep Singh
, Amrita Ghosal
, Dirk Pesch
, Tiziana Margaria
:
Model-Driven Engineering in Digital Thread Platforms: A Practical Use Case and Future Challenges. 195-207 - Pasindu Kuruppuarachchi
, Susan Rea
, Alan McGibney
:
Trust and Security Analyzer for Collaborative Digital Manufacturing Ecosystems. 208-218 - Alan McGibney
, Sourabh Bharti
:
DISTiL: DIStributed Industrial Computing Environment for Trustworthy DigiTaL Workflows: A Design Perspective. 219-226 - Liam Morris
, Rose Clancy, Andriy Hryshchenko, Dominic O'Sullivan, Ken Bruton
:
Using Model Selection and Reduction to Develop an Empirical Model to Predict Energy Consumption of a CNC Machine. 227-234 - Mirco Soderi
, John G. Breslin
:
Crazy Nodes: Towards Ultimate Flexibility in Ubiquitous Big Data Stream Engineering, Visualisation, and Analytics, in Smart Factories. 235-240
Formal Methods for DIStributed COmputing in Future RAILway Systems
- Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
:
Formal Methods for Distributed Control Systems of Future Railways. 243-245 - Monika Seisenberger
, Maurice H. ter Beek
, Xiuyi Fan
, Alessio Ferrari
, Anne E. Haxthausen
, Phillip James
, Andrew Lawrence, Bas Luttik
, Jaco van de Pol
, Simon Wimmer
:
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. 246-268 - Alessandro Fantechi
, Stefania Gnesi
, Gloria Gori
:
Future Train Control Systems: Challenges for Dependability Assessment. 269-285 - Jan Peleska
, Anne E. Haxthausen
, Thierry Lecomte
:
Standardisation Considerations for Autonomous Train Control. 286-307 - Roberto Canonico
, Francesco Flammini
, Stefano Marrone
, Roberto Nardone
, Valeria Vittorini
:
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks. 308-320 - Thierry Lecomte:
Safe and Secure Architecture Using Diverse Formal Methods. 321-333
Industrial Day
- Axel Hessenkämper, Falk Howar, Hardi Hungar, Andreas Rausch:
Formal Methods for a Digital Industry - Industrial Track at ISoLA 2022. 337-339 - Barbara Steffen, Steve Boßelmann:
Domain-Specificity as Enabler for Global Organization aLignment and Decision. 340-365 - Julia Pampus
, Brian-Frederik Jahnke
, Ronja Quensel
:
Evolving Data Space Technologies: Lessons Learned from an IDS Connector Reference Implementation. 366-381 - Katerina Ksystra, Maria Dimarogkona, Nikolaos Triantafyllou, Petros S. Stefaneas, Petros Kavassalis:
Towards a Methodology for Formally Analyzing Federated Identity Management Systems. 382-405 - Ivan Guevara
, Hafiz Ahmad Awais Chaudhary
, Tiziana Margaria
:
Model-Driven Edge Analytics: Practical Use Cases in Smart Manufacturing. 406-421
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.