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)

Using the Isabelle Ontology Framework - Linking the Formal with the Informal. - Achim D. Brucker; Idir Aït-Sadoune; Paolo Crisafulli; Burkhart Wolff (CICM, 2018)

Making Agile Development Processes fit for V-style Certification Procedures. - Sergio Bezzecchi; Paolo Crisafulli; Charlotte Pichot; Burkhart Wolff (CoRR, 2019)

Seamless Integration between Real-time Analyses and Systems Engineering with the PST Approach. - Françoise Caron; Dominique Blouin; Paolo Crisafulli; Cristian Maxim (SysCon, 2020)

Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation. - Boutheina Bannour; Julien Niol; Paolo Crisafulli (IV, 2021)

Modeling and analysing Cyber-Physical Systems in HOL-CSP. - Paolo Crisafulli; Safouan Taha; Burkhart Wolff (Robotics Auton. Syst., 2023)

Polychronous RSS in a Process-Algebraic Framework - A Case Study. - Paolo Crisafulli; Adrien Durier; Benjamin Puyobro; Burkhart Wolff (ABZ, 2025)