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
- 7
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
Modeling and analysing Cyber–Physical Systems in HOL-CSPRobotics 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-CSPArchive of Formal Proofs, 2023, https://www.isa-afp.org/entries/HOL-CSPM.html
Article dans une revue
hal-04503778v1
|
|
The HOL-CSP Refinement ToolkitArchive 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.0Archive of Formal Proofs, 2019, https://www.isa-afp.org/entries/HOL-CSP.html#
Article dans une revue
hal-04503825v1
|
|
Towards a formal semantics of the TESL specification language3rd 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!16th International Conference on Integrated Formal Methods, 2020, ⟨10.1007/978-3-030-63461-2_23⟩
Chapitre d'ouvrage
hal-03134972v1
|
|
Modelling and Proving Safety in Autonomous Cars Scenarios in HOL-CSP[Research Report] 1, University Paris-Saclay; IRT SystemX, Palaiseau. 2021, pp.81
Rapport
hal-03429597v2
|