Publications
] Filters: First Letter Of Title is M [Clear All Filters]
"Multi-Objective Optimization in Rule-Based Design Space Exploration",
29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), Vasteras, Sweden, IEEE, 9/2014.
Abstract
"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 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 Transformation by Example Using Inductive Logic Programming",
Software and Systems Modeling, vol. 8, no. 3, pp. 347-364, 2009.
"Modeling and Analysis of Architectural Styles Based on Graph Transformation",
The 6th ICSE Workshop on Component Based Software Engineering: Automated Reasoning and Prediction, Portland, Oregon, USA, Carnegie Mellon University, USA, and Monash University, Australia, pp. 67–72, May 3-4, 2003.
Abstract
"Modeling and Analysis of Architectural Styles",
Proc ESEC 2003: 9th European Software Engineering Conference, Helsinki, Finland, ACM Press, pp. 68–77, September, 2003.
Abstract
Acceptance rate: 20%
"Modeling and Parameter Estimation of the Primary Circuit of Paks",
NPPIAEA Regional Workshop on "Modernization Projects of NPP Instrumentation and Control Systems Related to Power Uprates and Licence Renewals Project (RER/4/027)", Bécs, 2008.
Abstract
Art. No.: 29On CD
MIDDLEWARE TO AUTOMATICALLY VERIFY SMART CONTRACTS ON BLOCKCHAINS,
, no. 16/227,728, United States, 06/2020.
Abstract
US Patent Application
"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
"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.
"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
"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.
"Model Transformation by Graph Transformation: A Comparative Study",
MTiP 2005, International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005), 2005.
Abstract
"Modelling and Formal Verification of Timing Aspects in Large PLC Programs",
Proceedings of the 19th IFAC World Congress 2014, pp. 3333-3339, 08/2014.
"Modeling and Verification of Reliable Messaging by Graph Transformation Systems",
Electr. Notes Theor. Comput. Sci., vol. 175, no. 4, pp. 37-50, 2007.
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
"Methodologies for Model-Driven Development and Deployment: an Overview",
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, no. 6582: Springer-Verlag, 2011.
Abstract
"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%
"Modeling Reliable Messaging in Service Oriented Architecture",
International Workshop on Web Services –- Modeling and Testing, Palermo, Italy, June, 2006.
Abstract
"Modeling and Analysis of an Industrial Communication Protocol in the Gamma Framework",
27th Minisymposium of the Department of Measurement and Information Systems, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 02/2020.
Abstract
"Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems",
Software and Systems Modeling, vol. 19, issue Interplay of Model-Driven and Component-Based Software Engineering: Springer, 2020.
Abstract
"Mix-and-Match Composition in the Gamma Framework",
25th Minisymposium of the Department of Measurement and Information Systems, Budapest, Hungary, 2018.
Abstract
Model Driven Software Engineering,
: Springer, pp. 91–118, 2005.
Abstract
Making the TTreeReader interface more accessible,
, no. CERN-STUDENTS-Note-2015-039, Geneva, Switzerland, CERN, pp. 5, 2015.
"A Model-driven Framework for Guided Design Space Exploration",
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, IEEE Computer Society, 11/2011.
Abstract
ACM Distinguished Paper Award, Acceptance rate: 15%
