Sandro Stucki
-
Gray-box monitoring of hyperproperties with an application to
privacy
Sandro Stucki, C. Sanchez, Gerardo Schneider, B. Bonakdarpour
Formal Methods in System Design - 2021-01-01 -
Rate Equations for
Graphs
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314 - 2020-01-01 -
Gray-box monitoring of
hyperproperties
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
Formal Methods – The Next 30 Years. FM 2019. Lecture Notes in Computer Science, vol 11800 - 2019-01-01