Luciana Provenzano

According to our database1, Luciana Provenzano authored at least 11 papers between 2004 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
How Do Practitioners Reason About Security Requirements? An Interview Study.
Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

2021
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems.
J. Internet Serv. Appl., 2021

Role-based Approach as Support for Safety Analysis of Collaborative Systems.
Proceedings of the IEEE Intl Conf on Dependable, 2021

2020
From Requirements to Verifiable Executable Models Using Rebeca.
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.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017

An ontological approach to identify the causes of hazards for safety-critical systems.
Proceedings of the 2nd International Conference on System Reliability and Safety, 2017

An Ontological Approach to Elicit Safety Requirements.
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2015
An environment-driven ontological approach to requirements elicitation for safety-critical systems.
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.
Proceedings of the Virtual Reality, 2007

2006
Un système de visite virtuelle pour un bureau 3D.
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.
PhD thesis, 2004


  Loading...