Sandro Stucki
-
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