Barthe, Gilles

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Barthe, Gilles
 

Own Publications Eigene Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Barthe, Gilles ; Eilers, Renate ; Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Maffei, Matteo ; Clark, Barett ; Yang, Jin 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.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Gleiss, Bernhard ; Kovács, Laura ; Robillard, Simon ; Barthe, Gilles ; Sutcliffe, Geoff ; Veanes, Margus Loop Analysis by Quantification over IterationsKonferenzbeitrag Inproceedings 2018
2Mori, Marco ; Li, Fei ; Dorn, Christoph ; Inverardi, Paola ; Dustdar, Schahram ; Barthe, Gilles ; Pardo, Alberto ; Schneider, Gerardo Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive SystemsKonferenzbeitrag Inproceedings 2011