Author of the publication

Counter-Constraint Finite State Machines: Modelling Component Protocols with Resource-Dependencies

. 2002/121. School for Computer Science and Software Engineering, Monash University, VIC 3145 Australia, (2002)

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

Deriving performance-relevant infrastructure properties through model-based experiments with Ginpex., , , and . Softw. Syst. Model., 13 (4): 1345-1365 (2014)Monitor Overhead Measurement of MPI Applications with SKaMPI., , and . PVM/MPI, volume 1697 of Lecture Notes in Computer Science, page 43-50. Springer, (1999)Enabling consistency in view-based system development - The Vitruvius approach., , , , , and . J. Syst. Softw., (2021)Optimising multiple quality criteria of service-oriented software architectures., , and . QUASOSS@ESEC/FSE, page 25-32. ACM, (2009)Identifying Confidentiality Violations in Architectural Design Using Palladio (short paper)., , , , and . ECSA (Companion), volume 2978 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Architecture-Based Attack Path Analysis for Identifying Potential Security Incidents., , and . ECSA, volume 14212 of Lecture Notes in Computer Science, page 37-53. Springer, (2023)Uncertainty in coupled models of cyber-physical systems., , , , , and . MoDELS (Companion), page 569-578. ACM, (2022)Using quality of service bounds for effective multi-objective software architecture optimization., , and . QUASOSS@MoDELS, page 1:1-1:6. ACM, (2010)Replication Package of "Evaluation Methods and Replicability of Software Architecture Research Objects"., , , , , , , , , and 8 other author(s). ICSA Companion, page 58. IEEE, (2022)Datenzentrische Softwarearchitekturen., , and . SE, volume P-300 of LNI, page 47-48. Gesellschaft für Informatik e.V., (2020)