ISoLA (4)

Keyphrases

Publications

2022

Alessandro Fantechi, Stefania Gnesi, Gloria Gori
Future Train Control Systems: Challenges for Dependability Assessment. ISoLA (4) (2022)
Alan McGibney, Sourabh Bharti
DISTiL: DIStributed Industrial Computing Environment for Trustworthy DigiTaL Workflows: A Design Perspective. ISoLA (4) (2022)
Julia Pampus, Brian-Frederik Jahnke, Ronja Quensel
Evolving Data Space Technologies: Lessons Learned from an IDS Connector Reference Implementation. ISoLA (4) (2022)
Tiziana Margaria, Dirk Pesch, Alan McGibney
Digital Thread in Smart Manufacturing. ISoLA (4) (2022)
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. ISoLA (4) (2022)
Xiaotian Dai, Shuai Zhao, Benjamin Lesage, Iain Bate
Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems. ISoLA (4) (2022)
John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes
Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) (2022)
Aaron John Buhagiar, Leo Freitas, William E. Scott III, Peter Gorm Larsen
Digital Twins for Organ Preservation Devices. ISoLA (4) (2022)
Axel Hessenkämper, Falk Howar, Hardi Hungar, Andreas Rausch
Formal Methods for a Digital Industry - Industrial Track at ISoLA 2022. ISoLA (4) (2022)
Jan Peleska, Anne E. Haxthausen, Thierry Lecomte
Standardisation Considerations for Autonomous Train Control. ISoLA (4) (2022)
Le Liu, Aleksandra Lekic, Marjan Popov
Robust Adaptive Back-Stepping Control Approach Using Quadratic Lyapunov Functions for MMC-Based HVDC Digital Twins. ISoLA (4) (2022)
Katerina Ksystra, Maria Dimarogkona, Nikolaos Triantafyllou, Petros S. Stefaneas, Petros Kavassalis
Towards a Methodology for Formally Analyzing Federated Identity Management Systems. ISoLA (4) (2022)
Tomas Kulik, Cláudio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen
Towards Secure Digital Twins. ISoLA (4) (2022)
Thomas Wright, Cláudio Gomes, Jim Woodcock
Formally Verified Self-adaptation of an Incubator Digital Twin. ISoLA (4) (2022)
Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David Cameron, Einar Broch Johnsen
Digital Twin Reconfiguration Using Asset Models. ISoLA (4) (2022)
Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. ISoLA (4) (2022)
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. ISoLA (4) (2022)
Thierry Lecomte
Safe and Secure Architecture Using Diverse Formal Methods. ISoLA (4) (2022)
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. ISoLA (4) (2022)
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. ISoLA (4) (2022)
Sergiy Bogomolov, John Fitzgerald, Sadegh Soudjani, Paulius Stankaitis
Data-Driven Reachability Analysis of Digital Twin FMI Models. ISoLA (4) (2022)
Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
Formal Methods for Distributed Control Systems of Future Railways. ISoLA (4) (2022)
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. ISoLA (4) (2022)
Mirco Soderi, John G. Breslin
Crazy Nodes: Towards Ultimate Flexibility in Ubiquitous Big Data Stream Engineering, Visualisation, and Analytics, in Smart Factories. ISoLA (4) (2022)
Pasindu Kuruppuarachchi, Susan Rea, Alan McGibney
Trust and Security Analyzer for Collaborative Digital Manufacturing Ecosystems. ISoLA (4) (2022)
Ivan Guevara, Hafiz Ahmad Awais Chaudhary, Tiziana Margaria
Model-Driven Edge Analytics: Practical Use Cases in Smart Manufacturing. ISoLA (4) (2022)
Barbara Steffen, Steve Boßelmann
Domain-Specificity as Enabler for Global Organization aLignment and Decision. ISoLA (4) (2022)
Roberto Canonico, Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks. ISoLA (4) (2022)
Martin Eisenberg, Daniel Lehner, Radek Sindelár, Manuel Wimmer
Towards Reactive Planning with Digital Twins and Model-Driven Optimization. ISoLA (4) (2022)

volume 13704, 2022

Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV ISoLA (4) 13704 (2022)

volume 12479, 2021

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV ISoLA (4) 12479 (2021)

2020

2018

volume 11247, 2018

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV ISoLA (4) 11247 (2018)