Accéder directement au contenu

Burkhart Wolff

3
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

chantal-keller
Image document

On the Semantics of Polychronous Polytimed Specifications

Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Chantal Keller , Benoît Valiron
18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienna, Austria. pp.23-40, ⟨10.1007/978-3-030-57628-8_2⟩
Communication dans un congrès hal-02931403v1
Image document

A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing

Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Chantal Keller , Benoît Valiron
15th International Conference on Formal Modelling and Analysis of Timed Systems FORMATS 2017, Sep 2017, Berlin, Germany. ⟨10.1007/978-3-319-65765-3_18⟩
Communication dans un congrès hal-01583815v1
Image document

HOL-TestGen Version 1.8 USER GUIDE

Achim D. Brucker , Lukas Brügger , Abderrahmane Feliachi , Chantal Keller , Matthias P. Krieger
[Technical Report] Univeristé Paris-Saclay; LRI - CNRS, University Paris-Sud. 2016
Rapport hal-01765526v1