Author of the publication

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)

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

Guest Editors' Introduction: 1999 International Conference on Software Engineering., , and . IEEE Trans. Software Eng., 27 (2): 97-98 (2001)Architecture-based self-adaptation in the presence of multiple objectives., , and . SEAMS@ICSE, page 2-8. ACM, (2006)Building Long-Lived Adaptive Systems., , and . IEEE Software, 36 (2): 70-72 (2019)Modeling and Analysis of Explanation for Secure Industrial Control Systems., , , and . ACM Trans. Auton. Adapt. Syst., 17 (3-4): 1-26 (December 2022)Acme: Architectural Description of Component-Based Systems, , and . Foundations of component-based systems, Cambridge University Press, New York, NY, USA, (2000)Documenting Software Architectures: Views and Beyond, , , , , , , and . Addison-Wesley, 2nd Edition edition, (2001)Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations., , , and . ACM Trans. Auton. Adapt. Syst., 10 (4): 23:1-23:28 (2016)Explanations for human-on-the-loop: a probabilistic model checking approach., , , and . SEAMS@ICSE, page 181-187. ACM, (2020)Focusing on What Matters: Explaining Quality Tradeoffs in Software-Intensive Systems Via Dimensionality Reduction., , , and . IEEE Softw., 41 (1): 64-73 (January 2024)Learning by Redoing: An Experimental Study on the Impact of Repetition of Formative Assessments in a Formal Methods Course for Software Engineers., and . IEEE Softw., 40 (6): 95-101 (November 2023)