| Computer-based simulator for catheter insertion training G Aloisio, L Barone, M Bergamasco, CA Avizzano, LT De Paolis, ... Medicine Meets Virtual Reality 12, 4-6, 2004 | 24 | 2004 |
| An Ontological Interpretation of Hazard for Safety-Critical Systems J Zhou, K Hänninen, Y Lu, K Lundqvist, L Provenzano Proceedings of ESREL'17, 2017 | 22 | 2017 |
| An ontological approach to identify the causes of hazards for safety-critical systems J Zhou, K Hänninen, K Lundqvist, L Provenzano 2017 2nd International Conference on System Reliability and Safety (ICSRS …, 2017 | 15 | 2017 |
| An ontological approach to elicit safety requirements L Provenzano, K Hänninen, J Zhou, K Lundqvist 2017 24th Asia-Pacific Software Engineering Conference (APSEC), 713-718, 2017 | 15 | 2017 |
| An ontological approach to hazard identification for safety-critical systems J Zhou, K Hänninen, K Lundqvist, L Provenzano 2017 Second International Conference on Reliability Systems Engineering …, 2017 | 13 | 2017 |
| A training simulator for the angioplasty intervention with a web portal for the virtual environment searching G Aloisio, LTD Paolis, L Provenzano Proceedings of the 5th WSEAS International Conference on Signal Processing …, 2006 | 11 | 2006 |
| Towards a verification-driven iterative development of software for safety-critical cyber-physical systems M Sirjani, L Provenzano, SA Asadollah, MH Moghadam, M Saadatmand Journal of Internet Services and Applications 12 (1), 2, 2021 | 10 | 2021 |
| From requirements to verifiable executable models using Rebeca M Sirjani, L Provenzano, S Abbaspour Asadollah, MH Moghadam Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops …, 2021 | 9 | 2021 |
| Specifying software requirements for safety-critical railway systems: An experience report L Provenzano, K Hänninen Requirements Engineering: Foundation for Software Quality: 23rd …, 2017 | 9 | 2017 |
| An environment-driven ontological approach to requirements elicitation for safety-critical systems J Zhou, K Hänninen, K Lundqvist, Y Lu, L Provenzano, K Forsberg 2015 IEEE 23rd International Requirements Engineering Conference (RE), 247-251, 2015 | 9 | 2015 |
| Designing viewpoint awareness for 3d collaborative virtual environment focused on real-time manipulation of multiple shared objects L Provenzano, J Delzons, P Plénacoste, J Vandromme Virtual Reality: Second International Conference, ICVR 2007, Held as part of …, 2007 | 6 | 2007 |
| Artery soft-tissue modelling for stent implant training system G Aloisio, LT DE PAOLIS, A Mongelli, L PROVENZANO Virtual reality 1, 2, 2002 | 6 | 2002 |
| Deriving reusable process-based arguments from process models in the context of railway safety standards B Gallina, L Provenzano 20th International Conference on Reliable Software Technologies-Industrial …, 2015 | 5 | 2015 |
| HERMES System: a Virtual Reality Simulator for the Angioplasty Intervention Training G Aloisio, LT De Paolis, L Provenzano, L Colizzi, G Pantile cardiology 5, 6, 2005 | 4 | 2005 |
| An Integrated System for the Angioplasty Intervention Simulation G Aloisio, LT DE PAOLIS, L Provenzano MEDICON and HEALTH TELEMATICS 2004 6, ---, 2004 | 3 | 2004 |
| Searching for a specific virtual environment for an angioplasty training simulator G Aloisio, LT De Paolis, P Luciana WSEAS Transactions on Information Science and Applications 3, 720-728, 2006 | 2 | 2006 |
| Soft-tissue modelling for surgical training simulator G Aloisio, LT DE PAOLIS, L Provenzano USA 2, 22-26, 2004 | 2 | 2004 |
| Real-Time Interactions with Reconstructed Deformable Organs G Aloisio, E Blasi, LT DE PAOLIS, A Mongelli, L Provenzano The 13th Annual Medicine Meets Virtual Reality Conference (MMVR13), p-p, 2005 | 1 | 2005 |
| How do practitioners reason about security requirements? An interview study L Provenzano, R Jongeling 2024 IEEE 32nd International Requirements Engineering Conference (RE), 79-90, 2024 | | 2024 |
| Role-based Approach as Support for Safety Analysis of Collaborative Systems L Provenzano, K Hänninen, K Lundqvist 2021 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf …, 2021 | | 2021 |
Kaj HänninenMälardalen University, SwedenVerified email at mdh.se