Paolo Crisafulli

According to our database, Paolo Crisafulli authored at least 6 papers between 2013 and 2023.

Collaborative distances:

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

2023

Modeling and analysing Cyber-Physical Systems in HOL-CSP.

Paolo Crisafulli, Safouan Taha, Burkhart Wolff

Robotics Auton. Syst., December, 2023

2021

Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation.

Boutheina Bannour, Julien Niol, Paolo Crisafulli

Proceedings of the IEEE Intelligent Vehicles Symposium, 2021

2020

Seamless Integration between Real-time Analyses and Systems Engineering with the PST Approach.

Françoise Caron, Dominique Blouin, Paolo Crisafulli, Cristian Maxim

Proceedings of the IEEE International Systems Conference, 2020

2019

Making Agile Development Processes fit for V-style Certification Procedures.

Sergio Bezzecchi, Paolo Crisafulli, Charlotte Pichot, Burkhart Wolff

CoRR, 2019

2018

Using the Isabelle Ontology Framework - Linking the Formal with the Informal.

Achim D. Brucker, Idir Aït-Sadoune, Paolo Crisafulli, Burkhart Wolff

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

2013

Decision Exploration Lab: A Visual Analytics Solution for Decision Management.

Bertjan Broeksema, Thomas Baudel, Arthur G. Telea, Paolo Crisafulli

IEEE Trans. Vis. Comput. Graph., 2013