Items where Author is "Búr, Márton"

Book Section

Vörös, András and Búr, Márton and Ráth, István Zoltán and Horváth, Ákos and Micskei, Zoltán Imre and Balogh, László and Hegyi, Bálint and Horváth, Benedek and Mázló, Zsolt and Varró, Dániel (2018) MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems. In: NASA Formal Methods. Lecture Notes in Computer Science (10811). Springer International Publishing, Cham, pp. 460-467. ISBN 978-3-319-77934-8

Debreceni, Csaba and Bergmann, Gábor and Búr, Márton and Ráth, István and Varró, Dániel (2017) The MONDO collaboration framework: secure collaborative modeling over existing version control systems. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. ACM Press, New York, pp. 984-988. ISBN 978-1-4503-5105-8

Marton, József and Szárnyas, Gábor and Búr, Márton (2017) Model-driven engineering of an openCypher engine: using graph queries to compile graph queries. In: 18th System Design Languages Forum: Model-Driven Engineering for Future Internet. Lecture Notes in Computer Science (10567). Springer International Publishing, Cham, pp. 80-98. ISBN 978-3-319-68014-9

Búr, Márton and Vörös, András and Bergmann, Gábor and Varró, Dániel (2017) Towards Modeling Cyber-Physical Systems From Multiple Approaches. In: Proceedings of the 24th PhD Mini-Symposium. BME MIT, Budapest, pp. 6-9. ISBN 978-963-313-243-2

Conference or Workshop Item

Búr, Márton and Szilágyi, Gábor and Vörös, András and Varró, Dániel (2018) Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems. In: Fundamental Approaches to Software Engineering, 2018.04.14-2018.04.20, Thessaloniki.

Debreceni, Csaba and Bergmann, Gábor and Búr, Márton and Ráth, István and Varró, Dániel (2017) The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017.09.04-2017.09.08, Paderborn.