Author of the publication

Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata.

, , , , , , and . MoDELS, page 24-30. ACM, (2022)

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

Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations., , , and . ACM Trans. Auton. Adapt. Syst., 10 (4): 23:1-23:28 (2016)Guest Editors' Introduction: 1999 International Conference on Software Engineering., , and . IEEE Trans. Software Eng., 27 (2): 97-98 (2001)Building Long-Lived Adaptive Systems., , and . IEEE Software, 36 (2): 70-72 (2019)An Automated Approach to Management of a Collection of Autonomic Systems., and . FAS*W@SASO/ICAC, page 110-115. IEEE, (2019)Formalizing Design Spaces: Implicit Invocation Mechanisms., and . VDM Europe (1), volume 551 of Lecture Notes in Computer Science, page 31-44. Springer, (1991)Architectural Mismatch or Why It's Hard to Build Systems Out Of Existing Parts., , and . ICSE, page 179-185. ACM, (1995)Specifying and Analyzing Dynamic Software Architectures., , and . FASE, volume 1382 of Lecture Notes in Computer Science, page 21-37. Springer, (1998)A Software Infrastructure for User-Guided Quality-of-Service Tradeoffs., , , , and . ICSOFT (Selected Papers), volume 47 of Communications in Computer and Information Science, page 48-61. Springer, (2008)Explanations for human-on-the-loop: a probabilistic model checking approach., , , and . SEAMS@ICSE, page 181-187. ACM, (2020)Modeling and Analysis of Explanation for Secure Industrial Control Systems., , , and . ACM Trans. Auton. Adapt. Syst., 17 (3-4): 1-26 (December 2022)