Author of the publication

Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning.

, , , , and . FormaliSE, page 18-28. IEEE, (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

PRIMAmob-UML: a methodology for performance analysis of mobile software architectures., and . Workshop on Software and Performance, page 262-274. ACM, (2002)Software Engineering for Self-Adaptive Systems: A Second Research Roadmap, , , , , , , , , and 32 other author(s). Software Engineering for Self-Adaptive Systems II, volume 7475 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2013)Modeling and Analysis of Non-functional Properties in Component-based Systems, and . Electronic Notes in Theoretical Computer Science, 82, Elsevier, (2003)Software performance engineering of component-based systems., and . WOSP, page 238-242. ACM, (2004)A Model Based Approach to Design Applications for Network Processor., , , , and . RISE, volume 3475 of Lecture Notes in Computer Science, page 93-101. Springer, (2004)Abstraction-Raising Transformation for Generating Analysis Models., , , and . MoDELS (Satellite Events), volume 3844 of Lecture Notes in Computer Science, page 217-226. Springer, (2005)Introduction., , , and . CoCoME, volume 5153 of Lecture Notes in Computer Science, page 1-3. Springer, (2007)Reliability Analysis of Component-Based Systems with Multiple Failure Modes., , , and . CBSE, volume 6092 of Lecture Notes in Computer Science, page 1-20. Springer, (2010)A Hybrid Framework for Web Services Reliability and Performance Assessment., , , and . ISSRE Workshops, page 185-192. IEEE, (2019)Reinforcement Learning Techniques for Decentralized Self-adaptive Service Assembly., , , and . ESOCC, volume 9846 of Lecture Notes in Computer Science, page 53-68. Springer, (2016)