Author of the publication

Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols.

, , and . FMCAD, page 168-175. IEEE, (2015)

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

Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols., , and . FMCAD, page 168-175. IEEE, (2015)Theoretical and Practical Complexity of Unified Modeling Language: Delphi Study and Metrics Analyses., and . ICIS, page 183-194. Association for Information Systems, (2004)The Complexity of UML: Differentiating Practical and Theoretical Complexity., and . CAiSE Workshops (1), page 309-316. Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia, (2004)Industrial strength refinement checking., , , and . FMCAD, page 180-183. IEEE, (2009)Effective Data-Race Detection for the Kernel., , , and . OSDI, page 151-162. USENIX Association, (2010)PVCoherence: Designing Flat Coherence Protocols for Scalable Verification., , , and . IEEE Micro, 35 (3): 84-91 (2015)Rethinking Scholarly Communication: Building the System that Scholars Deserve., , , , and . D-Lib Mag., (2004)Efficient Tracing of Cold Code via Bias-Free Sampling., , , , and . USENIX Annual Technical Conference, page 243-254. USENIX Association, (2014)Alternative means to implement ERP: Internal and ASP., , , and . Industrial Management and Data Systems, 105 (2): 184-192 (2005)Design Science Research on Systems Analysis and Design: The Case of UML., , and . AMCIS, page 351. Association for Information Systems, (2007)