Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Personen Ehemalige Dr. Máté Kovács login

Dr. Máté Kovács

Name:Dr. Máté Kovács
Raum:-
Tel:-
eMail:kovacsm<at>in.tum.de
Visitenkarte:


Publications of Máté Kovács

Theses

  1. Máté Kovács. Information Flow Security in Tree-Manipulating Processes. PhD thesis, Institut für Informatik, Technische Universität München March 2014.

    Download: PDF Reference: Bibtex


Journal Articles

The following articles appeared in peer-reviewed journals. The copyright of these articles lies with the respective journals.

  1. Máté Kovács, Dániel Varró and László Gönczy. Formal Analysis of BPEL Workflows with Compensation by Model Checking. International Journal of Computer Systems Science and Engineering, , 2008.

    Detail: Abstract Reference: Bibtex


Conference Papers

The following papers were published in peer-reviewed conferences. The copyright of these papers lies with the respective publishers.

  1. Helmut Seidl and Máté Kovács. Interprocedural Information Flow Analysis of XML Processors. Language and Automata Theory and Applications - 8th International Conference, volume 8370 of Lecture Notes in Computer Science, pages 34-61, 2014. Springer.

    Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

  2. Máté Kovács, Helmut Seidl and Bernd Finkbeiner. Relational Abstract Interpretation for the Verification of 2-Hypersafety Properties. Proceedings of the 20th ACM conference on Computer and Communications Security (CCS 2013), November 2013.

    Reference: Bibtex

  3. Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus Rabe and Helmut Seidl. Model Checking Information Flow in Reactive Systems. In Viktor Kuncak and Andrey Rybalchenko, editors, Verification, Model Checking, and Abstract Interpretation, volume 7148 of Lecture Notes in Computer Science, pages 169-185, 2012. 10.1007/978-3-642-27940-9_12. Springer Berlin / Heidelberg.

    Detail: Abstract Reference: Bibtex

  4. Máté Kovács and Helmut Seidl. Runtime Enforcement of Information Flow Security in Tree Manipulating Processes. In Gilles Barthe, Benjamin Livshits and Riccardo Scandariato, editors, Engineering Secure Software and Systems, volume 7159 of Lecture Notes in Computer Science, pages 46-59, 2012. 10.1007/978-3-642-28166-2_6. Springer Berlin / Heidelberg.

    Detail: Abstract Download: PDF Reference: Bibtex

  5. Máté Kovács, Paolo Lollini, István Majzik and Andrea Bondavalli. An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications. (SERENE 2008), RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms, pages 29-38, Newcastle Upon Tyne, UK, November 17-19 2008.

    Reference: Bibtex

  6. Máté Kovács, Dániel Varró and László Gönczy. Formal Modeling of BPEL Workflows Including Fault and Compensation Handling. Proc. of the 2007 Workshop on Engineering Fault Tolerant Systems (EFTS 2007), Dubrovnik, Croatia, September 4 2007.

    Reference: Bibtex

  7. Máté Kovács and László Gönczy. Simulation and Formal Analysis of Workflow Models. In Roberto Bruni and Daniel Varro, editors, 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.

    Detail: Abstract Reference: Bibtex

  8. László Gönczy, Máté Kovács and Dániel Varró. Modeling and Verification of Reliable Messaging by Graph Transformation Systems. Proc. of the Workshop on Graph Transformation for Verification and Concurrency (GTVC2006) , 2006. Elsevier.

    Detail: Abstract Reference: Bibtex


Workshop Papers and Technical Reports

  1. Máté Kovács. Relational Abstract Interpretation for the Verification of 2-Hypersafety Properties (Proofs). , 2013.

    Download: PDF Reference: Bibtex

  2. Máté Kovács and Helmut Seidl. Runtime Enforcement of Information Flow Security in Tree Manipulating Processes (Proofs) . , pages 17, 2011. Fakultät für Informatik der Technischen Universität München.

    Detail: Abstract Download: PDF Reference: Bibtex



TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 10 ms