Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Safe and stabilizing distributed multi-path cellular flows., and . Theor. Comput. Sci., (2015)ARCH-COMP19 Repeatability Evaluation Report.. ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 162-169. EasyChair, (2019)A curated corpus of simulink models for model-based empirical studies., , , , and . SEsCPS@ICSE, page 45-48. ACM, (2018)Decoupling Abstractions of Non-linear Ordinary Differential Equations., , and . FM, volume 9995 of Lecture Notes in Computer Science, page 628-644. (2016)Abstraction-Based Guided Search for Hybrid Systems., , , , , , , and . SPIN, volume 7976 of Lecture Notes in Computer Science, page 117-134. Springer, (2013)Scalable Static Hybridization Methods for Analysis of Nonlinear Systems., , , , and . HSCC, page 155-164. ACM, (2016)Hyperproperties of real-valued signals., , , , and . MEMOCODE, page 104-113. ACM, (2017)Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry., , , , , , and . ICCPS, page 340-341. ACM, (2019)Probabilistic Formal Verification of the SATS Concept of Operation., , , , and . NFM, volume 9690 of Lecture Notes in Computer Science, page 191-205. Springer, (2016)Model-based design and analysis of a reconfigurable continuous-culture bioreactor., , , , , , and . CyPhy, page 48-51. ACM, (2014)