Skip to Main content Skip to Navigation


...
hal-01875734v1  Conference papers
Achim D. BruckerIdir Ait-SadounePaolo CrisafulliBurkhart Wolff. Using the Isabelle Ontology Framework. Linking the Formal with the Informal
International Conference on Intelligent Computer Mathematics (CICM), 2018, Hagenberg,, Austria. pp.23--38, ⟨10.1007/978-3-319-96812-4_3⟩
...
hal-01702815v1  Conference papers
Sergio BezzecchiPaolo CrisafulliCharlotte PichotBurkhart Wolff. Making Agile Development Processes fit for V-style Certification Procedures
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
...
hal-02454258v1  Conference papers
Paolo CrisafulliDominique BlouinFrançoise CaronCristian Maxim. Engineering Railway Systems with an Architecture-Centric Process Supported by AADL and ALISA: an Experience Report
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
...
hal-03429597v2  Reports
Paolo CrisafulliSafouan TahaBurkhart Wolff. Modelling and Proving Safety in Autonomous Cars Scenarios in HOL-CSP
[Research Report] 1, University Paris-Saclay; IRT SystemX, Palaiseau. 2021, pp.81