Michele Sevegnani
Orcid: 0000-0001-6773-9481
According to our database1,
Michele Sevegnani
authored at least 39 papers
between 2012 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2025
2024
Formal Aspects Comput., September, 2024
Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification.
CoRR, 2024
Proceedings of the Integrated Formal Methods - 19th International Conference, 2024
The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction.
Proceedings of the Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction, 2024
Proceedings of the Graph Transformation - 17th International Conference, 2024
2023
Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime.
Proceedings of the 32nd IEEE International Conference on Robot and Human Interactive Communication, 2023
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
Proceedings of the iFM 2023 - 18th International Conference, 2023
2022
IEEE Trans. Ind. Informatics, 2022
IEEE Access, 2022
Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study.
Proceedings of the 8th IEEE World Forum on Internet of Things, 2022
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022
2021
Formal Aspects Comput., 2021
Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
2020
Dynamic Probabilistic Model Checking for Sensor Validation in Industry 4.0 Applications.
Proceedings of the 2020 IEEE International Conference on Smart Internet of Things, 2020
Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020
Proceedings of the Graph Transformation - 13th International Conference, 2020
2019
Stochastic Model Checking for Predicting Component Failures and Service Availability.
IEEE Trans. Dependable Secur. Comput., 2019
2018
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
2017
Proceedings of the Proceedings First Workshop on Architectures, 2017
2016
ACM Trans. Comput. Hum. Interact., 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
2015
2014
Sci. Comput. Program., 2014
Formal Aspects Comput., 2014
Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014
2012
Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012