Author of the publication

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations.

, , , , , , , and . CoRR, (2023)

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

TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud via Sub-Sampling., , , and . MASCOTS, page 1-8. IEEE, (2020)Using framework interfaces with design fragments., , and . OOPSLA Companion, page 718. ACM, (2006)GNOME: An Introductory Programming Environment Based on a Family of STructured Editors., and . Software Development Environments (SDE), page 65-72. ACM, (1984)SIGPLAN Notices 19 (5), May 1984.Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework., and . World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1281-1300. Springer, (1999)Using Style to Understand Descriptions of Software Architecture., , and . SIGSOFT FSE, page 9-20. ACM, (1993)Emerging issues (session summary).. ISPW, page 33-38. IEEE Computer Society, (1989)Preconditions for understanding.. IWSSD, page 242-245. IEEE Computer Society, (1991)Task Planning of Cyber-Human Systems., , and . SEFM, volume 9276 of Lecture Notes in Computer Science, page 293-309. Springer, (2015)Software Architecture-Based Adaptation for Grid Computing., , , , and . HPDC, page 389-398. IEEE Computer Society, (2002)SWIM: an exemplar for evaluation and comparison of self-adaptation approaches for web applications., , and . SEAMS@ICSE, page 137-143. ACM, (2018)