Paolo Crisafulli

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 5

Top Topics

Cyber Physical Systems

Development Process

Autonomous Vehicles

Systems Engineering

Top Venues

Robotics Auton. Syst.

Publications

Paolo Crisafulli, Safouan Taha, Burkhart Wolff
Modeling and analysing Cyber-Physical Systems in HOL-CSP. Robotics Auton. Syst. 170 (2023)
Boutheina Bannour, Julien Niol, Paolo Crisafulli
Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation. IV (2021)
Françoise Caron, Dominique Blouin, Paolo Crisafulli, Cristian Maxim
Seamless Integration between Real-time Analyses and Systems Engineering with the PST Approach. SysCon (2020)
Sergio Bezzecchi, Paolo Crisafulli, Charlotte Pichot, Burkhart Wolff
Making Agile Development Processes fit for V-style Certification Procedures. CoRR (2019)
Achim D. Brucker, Idir Aït-Sadoune, Paolo Crisafulli, Burkhart Wolff
Using the Isabelle Ontology Framework - Linking the Formal with the Informal. CICM (2018)
Bertjan Broeksema, Thomas Baudel, Arthur G. Telea, Paolo Crisafulli
Decision Exploration Lab: A Visual Analytics Solution for Decision Management. IEEE Trans. Vis. Comput. Graph. 19 (12) (2013)