Author of the publication

Refinement and verification in component-based model-driven design.

, , , , and . Sci. Comput. Program., 74 (4): 168-196 (2009)

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

Harnessing rCOS for Tool Support - The CoCoME Experience., , , , and . Formal Methods and Hybrid Real-Time Systems, volume 4700 of Lecture Notes in Computer Science, page 83-114. Springer, (2007)Failure-Divergence Refinement of Compensating Communicating Processes., , and . FM, volume 6664 of Lecture Notes in Computer Science, page 262-277. Springer, (2011)Topology-Aware Deployment of Scientific Applications in Cloud Computing., , , , and . IEEE CLOUD, page 319-326. IEEE Computer Society, (2012)An Interface Theory Based Approach to Verification of Web Services., , , , and . COMPSAC (2), page 139-144. IEEE Computer Society, (2006)0-7695-2655-1.MPISE: Symbolic Execution of MPI Programs., , , , , and . HASE, page 181-188. IEEE Computer Society, (2015)A Data Set for User Request Trace-Oriented Monitoring and its Applications., , , , and . IEEE Trans. Services Computing, 11 (4): 699-712 (2018)Failure-divergence semantics and refinement of long running transactions., , and . Theor. Comput. Sci., (2012)A Runtime Monitoring Based Fuzzing Framework for Temporal Properties., , , , and . ISSRE Workshops, page 300-301. IEEE, (2021)A Predictive Runtime Verification Framework for Cyber-Physical Systems., , and . SERE (Companion), page 223-227. IEEE, (2014)Symbolic verification of regular properties., , , , and . ICSE, page 871-881. ACM, (2018)