Publikációk
Szűrők: Az Utónév Első Betűje = D [Minden szűrő visszaállítása]
"Megbízhatósági modellek automatikus generálása gráftranszformációval",
Fiatal Műszakiak Tudományos Ülésszaka IX., Kolozsvár, pp. 101 - 104, 2004.
"Design and Analysis of Fault Tolerant Architectures by Model Weaving",
Proc. Ninth IEEE Int. Symposium on High-Assurance Systems Engineering (HASE-05): IEEE Computer Society Press, pp. 15 - 24, 2005.
"Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation",
Proc. 19th Int. Conf. on Architecture of Computing Systems: Gesellschaft für Informatik, pp. 66 - 75, 2006.
"Model checking and test generation: towards a combined approach to software verification",
Proceedings of the 26th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 12–15, 01/2019.
Abstract
"Secure Views for Collaborative Modeling",
IEEE Software, vol. 35, issue 6, no. 6, pp. 32-38, 11/2018.
"Automated Model Merge by Design Space Exploration",
19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven, The Netherlands, 04/2016.
"Advanced Techniques and Tools in Secure Collaborative Modeling",
ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Austin, Texas, USA, ACM, 09/2017.
Preprinted version
"Automated abstraction in model-driven engineering",
Mestepróba'14, Budapest, 2014.
"The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems",
11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Paderborn, Germany, ACM, 2017.
"Query-driven incremental synchronization of view models",
Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, York, United Kingdom, ACM, pp. 31, 07/2014.
"Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules",
1st International Workshop on Collaborative Modelling in MDE, Saint Malo, France, ACM, 06/2016.
"Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations",
Software and Systems Modeling, 2017.
"Property-based Locking in Collaborative Modeling",
20th International Conference on Model Driven Engineering Languages and Systems, Austin, Texas, USA, 09/2017.
"Streaming Model Transformations By Complex Event Processing",
ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%
"Ontology-Supported Design of Domain-Specific Languages: A Complex Event Processing Case Study",
Advances and Applications in Model-Driven Engineering: IGI Global, 2013.
Abstract
"Improving Saturation-based Bounded Model Checking",
Acta Cybernetica, vol. 22, issue 3, no. 3, pp. 573-589, 2016.
Transforming PLC programs into formal models for verification purposes,
, no. CERN-ACC-NOTE-2013-0040: CERN, 2013.
"Requirements towards a formal specification language for PLCs",
Proceedings of the 22nd PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 18-21, 02/2015.
"PLC Program Translation for Verification Purposes",
Periodica Polytechnica, Electrical Engineering and Computer Science, vol. 61, issue 2, pp. 151–165, 05/2017.
Abstract
"PLC Code Generation Based on a Formal Specification Language",
14th IEEE International Conference on Industrial Informatics (INDIN), Poitiers, France, IEEE, pp. 389-396, 07/2016.
"Generic Representation of PLC Programming Languages for Formal Verification",
Proceedings of the 23rd PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 6-9, 2016.
"PLCverif: A tool to verify PLC programs based on model checking techniques",
Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems, Melbourne, Australia, JACoW, pp. 911-914, 10/2015.
"Szaturációalapú tesztbemenet-generálás színezett Petri-hálókkal",
Mesterpróba 2013. Konferenciakiadvány, pp. 48-51, 05/2013.
"Formal verification of complex properties on PLC programs",
Formal Techniques for Distributed Objects, Components, and Systems, vol. 8461: Springer, pp. 284-299, 2014.
"Formal Verification of Safety PLC Based Control Software",
Integrated Formal Methods, vol. 9681: Springer, pp. 508-522, 2016.