Accéder directement au contenu

Burkhart Wolff

7
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

safouan-taha

Modeling and analysing Cyber–Physical Systems in HOL-CSP

Paolo Crisafulli , Safouan Taha , Burkhart Wolff
Robotics and Autonomous Systems, 2023, 170, pp.104549. ⟨10.1016/j.robot.2023.104549⟩
Article dans une revue hal-04265879v1

HOL-CSPM - Architectural operators for HOL-CSP

Benoit Ballenghien , Safouan Taha , Burkhart Wolff
Archive of Formal Proofs, 2023, https://www.isa-afp.org/entries/HOL-CSPM.html
Article dans une revue hal-04503778v1

The HOL-CSP Refinement Toolkit

Safouan Taha , Burkhart Wolff , Lina Ye
Archive of Formal Proofs, 2020, https://www.isa-afp.org/entries/CSP_RefTK.html#cite-popup
Article dans une revue hal-04503821v1

HOL-CSP Version 2.0

Safouan Taha , Burkhart Wolff , Lina Ye
Archive of Formal Proofs, 2019, https://www.isa-afp.org/entries/HOL-CSP.html#
Article dans une revue hal-04503825v1
Image document

Towards a formal semantics of the TESL specification language

Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Safouan Taha , Benoît Valiron
3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Benoit Combemale; Julien Deantoni; Jeff Gray, Sep 2015, Ottawa, Canada. pp.14-19
Communication dans un congrès hal-01239669v1

Philosophers may Dine - Definitively!

Safouan Taha , Burkhart Wolff , Lina Ye
16th International Conference on Integrated Formal Methods, 2020, ⟨10.1007/978-3-030-63461-2_23⟩
Chapitre d'ouvrage hal-03134972v1
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