Luciana Provenzano

According to our database, Luciana Provenzano authored at least 10 papers between 2004 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems.

Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam, Mehrdad Saadatmand

J. Internet Serv. Appl., 2021

Role-based Approach as Support for Safety Analysis of Collaborative Systems.

Luciana Provenzano, Kaj Hänninen, Kristina Lundqvist

Proceedings of the IEEE Intl Conf on Dependable, 2021

2020

From Requirements to Verifiable Executable Models Using Rebeca.

Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

2017

Specifying Software Requirements for Safety-Critical Railway Systems: An Experience Report.

Luciana Provenzano, Kaj Hänninen

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017

An ontological approach to identify the causes of hazards for safety-critical systems.

Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Luciana Provenzano

Proceedings of the 2nd International Conference on System Reliability and Safety, 2017

An Ontological Approach to Elicit Safety Requirements.

Luciana Provenzano, Kaj Hänninen, Jiale Zhou, Kristina Lundqvist

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2015

An environment-driven ontological approach to requirements elicitation for safety-critical systems.

Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Yue Lu, Luciana Provenzano, Kristina Forsberg

Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

2007

Designing Viewpoint Awareness for 3D Collaborative Virtual Environment Focused on Real-Time Manipulation of Multiple Shared Objects.

Luciana Provenzano, Julie Delzons, Patricia Plénacoste, Johann Vandromme

Proceedings of the Virtual Reality, 2007

2006

Un système de visite virtuelle pour un bureau 3D.

Johann Vandromme, Samuel Degrande, Patricia Plénacoste, Luciana Provenzano, Christophe Chaillou

Proceedings of the 18th International Conference of the Association Francophone d'Interaction Homme-Machine, 2006

2004

Collision detection and response between deformable objects for the coronary stent implant simulation.

Luciana Provenzano

PhD thesis, 2004