Name Card

Full name Familienname, Vorname
Barthe, Gilles
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Barthe, Gilles ; Eilers, Renate ; Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Maffei, Matteo Verifying Relational Properties using Trace LogicKonferenzbeitrag Inproceedings 2019
2Radiček, Ivan ; Barthe, Gilles ; Gaboardi, Marco ; Garg, Deepak ; Zuleger, Florian Monadic refinements for relational cost analysisKonferenzbeitrag Inproceedings 2018

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gleiss, Bernhard ; Kovács, Laura ; Robillard, Simon Loop Analysis by Quantification over IterationsKonferenzbeitrag Inproceedings 2018
2Mori, Marco ; Li, Fei ; Dorn, Christoph ; Inverardi, Paola ; Dustdar, Schahram Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive SystemsKonferenzbeitrag Inproceedings 2011