These are the archived web pages of the Programming and Software Engineering Group (PST).
The web pages of the Software and Computational Systems Lab (SoSy) can be found on https://www.sosy-lab.org/.

Startseite > People > Former Members > M. Kovács > Publications

Publications

Máté Kovács

  • László Gönczy, Máté Kovács, and Dániel Varró. Modeling and Verification of Reliable Messaging by Graph Transformation Systems. In Proc. of the Workshop on Graph Transformation for Verification and Concurrency (ICGT2006). Elsevier, 2006.
  • Máté Kovács and László Gönczy. Simulation and Formal Analysis of Workflow Models. In Proc. of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, Electronic Notes in Theoretical Computer Science, pages 215-224, Vienna, AUSTRIA, 2006. Elsevier.
  • Máté Kovács. Simulation and Formal Analysis of Workflow Models Using Model Transformations. In in Proceedings of Conference of PhD Students in Computer Science, page 65, Szeged, HUNGARY, 2006.
  • Máté Kovács. Munkafolyamatok szimulációja és formális analízise. In Fiatal Műszakiak Tudományos Ülésszaka (FMTU2004), pages 197-200, Cluj Napoca, ROMANIA, 2006. In Hungarian.
  • Máté Kovács. Modeling BPEL Workflows with Fault Handling. In Proc. 14th PhD Mini-Symposium , pages 114-115, Budapest, HUNGARY, 2007.
  • Máté Kovács, Dániel Varró, and László Gönczy. Formal Modeling of BPEL Workflows Including Fault and Compensation Handling. In EFTS '07: Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, page 1, New York, NY, USA, 2007. ACM.
Drucken
nach oben
Impressum - Datenschutz Kontakt