Accéder directement au contenu

Burkhart Wolff

4
Documents

Présentation

[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")
[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")

Publications

paolocrisafulli
Image document

Making Agile Development Processes fit for V-style Certification Procedures

Sergio Bezzecchi , Paolo Crisafulli , Charlotte Pichot , Burkhart Wolff
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
Communication dans un congrès hal-01702815v1
Image document

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

Achim D. Brucker , Idir Ait-Sadoune , Paolo Crisafulli , Burkhart Wolff
International Conference on Intelligent Computer Mathematics (CICM), 2018, Hagenberg,, Austria. pp.23--38, ⟨10.1007/978-3-319-96812-4_3⟩
Communication dans un congrès hal-01875734v1
Image document

Modelling and Proving Safety in Autonomous Cars Scenarios in HOL-CSP

Paolo Crisafulli , Safouan Taha , Burkhart Wolff
[Research Report] 1, University Paris-Saclay; IRT SystemX, Palaiseau. 2021, pp.81
Rapport hal-03429597v2