Author of the publication

Compositional Verification of Middleware-Based Software Architecture Descriptions.

, , and . ICSE, page 221-230. IEEE Computer Society, (2004)

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

INTERO: An Interoperability Model for Large Systems., , and . IEEE Software, 37 (3): 38-45 (2020)Model-driven engineering for mobile robotic systems: a systematic mapping study., , , , , and . Softw. Syst. Model., 21 (1): 19-49 (2022)A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World., , , , and . IEEE Access, (2019)Engineering Challenges of Stationary Wireless Smart Ocean Observation Systems., , , , , , , , and . IEEE Internet Things J., 10 (16): 14712-14724 (August 2023)Self-Adaptive Testing in the Field., , and . ACM Trans. Auton. Adapt. Syst., 19 (1): 4:1-4:37 (March 2024)CHARMY: A Framework for Designing and Verifying Architectural Specifications., , and . IEEE Trans. Software Eng., 35 (3): 325-346 (2009)Ad-Opera: Music-Inspired Self-Adaptive Systems., , , and . Computation for Humanity, CRC Press, (2014)Specification Patterns for Robotic Missions., , , , and . CoRR, (2019)Special issue: Engineering Fault Tolerant Systems., , , and . Comput. Syst. Sci. Eng., (2008)The Problem of Consolidating RE Practices at Scale: An Ethnographic Study., , , and . REFSQ, volume 10753 of Lecture Notes in Computer Science, page 155-170. Springer, (2018)