RIDINGS (RIgorous DesIgN of GALS Systems)
RIDINGS is a project funded by the programme PHC Amadeus dedicated to foster scientific collaborations between Austria and France.
The partners involved are the IST (Institute of Software Technology) of TU Graz and the CONVECS project-team of Inria Grenoble - Rhône-Alpes.
Scientific activities
Workshops
Publications
- A Formal TLS Handshake Model in LNT
Josip Bozic, Lina Marsso, Radu Mateescu, and Franz Wotawa
Proceedings of the 3rd Workshop on Models for Formal Analysis of Real Systems and the 6th International Workshop on Verification and Program Transformation MARS/VPT'2018 (Thessaloniki, Greece), April 20, 2018.
| Full text: |
 |
|
Slides: |
|
- Using LNT Formal Descriptions for Model-Based Diagnosis
Birgit Hofer, Radu Mateescu, Wendelin Serwe, and Franz Wotawa
Proceedings of the 29th International Workshop on Principles of Diagnosis DX'2018 (Warsaw, Poland), August 27-30, 2018.
| Full text: |
|
|
Slides: |
|
Models
|
|
|
|
