Följ
Luciana Provenzano
Luciana Provenzano
Senior Lecturer, MDU
Verifierad e-postadress på mdu.se - Startsida
Titel
Citeras av
Citeras av
År
An ontological interpretation of the hazard concept for safety-critical systems
J Zhou, K Hänninen, K Lundqvist, L Provenzano
The 27th European Safety and Reliability Conference ESREL'17, 18-22 Jun 2017 …, 2017
212017
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
212004
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
152017
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
142017
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
122017
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
112006
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
92021
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
82021
Specifying software requirements for safety-critical railway systems: An experience report
L Provenzano, K Hänninen
Requirements Engineering: Foundation for Software Quality: 23rd …, 2017
82017
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
82015
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
62007
Artery soft-tissue modelling for stent implant training system
G Aloisio, LT DE PAOLIS, A Mongelli, L PROVENZANO
Virtual reality 1, 2, 2002
62002
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
42015
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
42005
An Integrated System for the Angioplasty Intervention Simulation
G Aloisio, LT DE PAOLIS, L Provenzano
MEDICON and HEALTH TELEMATICS 2004 6, ---, 2004
32004
Searching for a specific virtual environment for an angioplasty training simulator
G Aloisio, LT De Paolis, L Provenzano
WSEAS Transactions on Information Science and Applications 3, 720-728, 2006
22006
Soft-tissue modelling for surgical training simulator
G Aloisio, LT DE PAOLIS, L Provenzano
USA 2, 22-26, 2004
22004
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
12005
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
A Hazard Domain Ontology for Preliminary Hazard Analysis in Reuse Scenarios
J Zhou, K Hänninen, Y Lu, K Lundqvist, L Provenzano
Mälardalen Real-Time Research Centre, Mälardalen University, 2016
2016
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20