Publikációk
"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
"Model Checking as a Service: Towards Pragmatic Hidden Formal Methods",
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2020.
"Model Checking Graph Transformations: A Comparison of Two Approaches",
Proc. ICGT 2004: Second International Conference on Graph Transformation, vol. 3256, Rome, Italy, Springer, pp. 226–241, 2004.
Abstract
"Model Checking of Replication Management",
Supplement of the EDCC-4 Conference - Fast Abstracts. Fourth European Dependable Computing Conference: LAAS-CNRS, pp. 7 - 8, 2002.
"Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms",
Periodica Polytechnica Electrical Engineering and Computer Science, vol. 61, no. 2, pp. 132-150, 2017.
Model Driven Software Engineering,
: Springer, pp. 91–118, 2005.
Abstract
"Model Transformation by Example",
Proc. Model Driven Engineering Languages and Systems (MODELS 2006), vol. 4199, Genova, Italy, Springer, pp. 410–424, 2006.
Abstract
Acceptance rate: 29%
"Model Transformation by Example Using Inductive Logic Programming",
Software and Systems Modeling, vol. 8, no. 3, pp. 347-364, 2009.
"Model Transformation by Graph Transformation: A Comparative Study",
MTiP 2005, International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005), 2005.
Abstract
"The Model Transformation Language of the VIATRA2 Framework",
Science of Computer Programming, vol. 68, no. 3, pp. 214–234, October, 2007.
Abstract
"Model Transformation Plugins on EMF Models",
Proc. of 14th PHD Mini-Symposium, Budapest, Hungary, Deaprtment of Measurement and Infomration Systems, BUTE, pp. 110–111, Febr. 4-5, 2007.
A model transformation-based approach for the Dependability analysis of UML-based system designs with maintenance,
, no. rcl090601: University of Florence, Dip. Sistemi Informatica, RCL group, 06/2009.
Abstract
"Model Transformations for Performability Analysis of Service Configurations",
Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers, vol. 5421: Springer, pp. 153-166, 2008.
Abstract
"Model-Based Analysis and Synthesis Methods for Dependable Embedded Systems",
Proceedings of Regional Conference on Embedded and Ambient Systems, Budapest, Neumann János Számítógép-tudományi Társaság, pp. 123 - 130, 2007.
"Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services",
Architecting Dependable Systems V, Berlin ; Heidelberg, Springer-Verlag, pp. 150 - 174, 2008.
"Model-based Automatic Test Generation For Event-driven Embedded Systems Using Model Checkers",
Proc. of Dependability of Computer Systems: IEEE Computer Society Press, pp. 191 - 198, 2006.
"Model-based Control of IT Infrastructures",
10th International Carpathian Control Conference, pp. 211 -214, 05/2010.
"Model-based Integration Framework for Development and Testing Tool-chains",
FORMS/FORMAT 2010, the 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, Springer Verlag, Berlin, pp. 204-212, 03/12/2010.
"Model-based Integration, Execution and Certification of Development Tool-chains",
Proceedings of the 2nd ECMDA Workshop on Model-Driven Tool & Process Integration, Enschede, pp. * - 10, 2009.
"Model-Based Optimization of Enterprise Application and Service Deployment",
Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, vol. 3694: Springer, pp. 84–98, 2005.
Abstract
"Model-Based Regression Testing of Autonomous Robots",
Model-Driven Engineering for Future Internet - 18th International SDL Forum, Budapest, Hungary, Springer International Publishing, 09/2017.
"Model-Based Testing of Service Infrastructure Components",
Proc. Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, TestCom/FATES 2007, Tallinn, Estonia, June 26-29, 2007, vol. 4581: Springer, pp. 155-170, 2007.
Abstract
Acceptance rate: 39%
"Model-Driven Development of ARINC 653 Configuration Tables",
29th IEEE & AIAA Digital Avionics System Conference (DASC), Salt Lake City, US, IEEE, 10/2010.
Abstract
"Model-Driven Development of Heterogeneous Cyber-Physical Systems",
Proceedings of the 28th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 24-27, 2021.
Abstract
"Model-driven engineering of an openCypher engine: using graph queries to compile graph queries",
18th System Design Languages Forum, Budapest, Hungary, 2017.