Name Card

Full name Familienname, Vorname
André, Étienne
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Dobe, Oyendrila ; Schupp, Stefan Alexander ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Legay, Axel ; Pajic, Miroslav ; Wang, Yu Lightweight Verification of HyperpropertiesInproceedings Konferenzbeitrag 19-Oct-2023
2Kong, Hui ; Bartocci, Ezio ; Jiang, Yu ; Henzinger, Thomas A. Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with UncertaintyKonferenzbeitrag Inproceedings2019