Claude Marché
4
Documents
Affiliations actuelles
Publications
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
The CoLiS Platform for the Analysis of Maintainer Scripts in Debian Software PackagesInternational Journal on Software Tools for Technology Transfer, 2022
Article dans une revue
hal-03737886v1
|
|
Analysing installation scenarios of Debian packagesTACAS 2020 - 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2020, The conference took place on-line, because it couldn't be held in Dublin, Ireland. pp.235-253, ⟨10.1007/978-3-030-45237-7_14⟩
Communication dans un congrès
hal-02355602v2
|
|
Ghost Code in Action: Automated Verification of a Symbolic InterpreterVSTTE 2019 - 11th Working Conference on Verified Software: Tools, Techniques and Experiments, Jul 2019, New York, United States. ⟨10.1007/978-3-030-41600-3_8⟩
Communication dans un congrès
hal-02276257v1
|
|
Giant-step Semantics for the Categorisation of Counterexamples[Research Report] RR-9407, Inria. 2021, pp.43
Rapport
hal-03213438v1
|