Publikációk
Szűrők: A Cím Első Betűje = M [Minden szűrő visszaállítása]
"Model-driven engineering of an openCypher engine: using graph queries to compile graph queries",
18th System Design Languages Forum, Budapest, Hungary, 2017.
"Multiprocessor Checking Using Watchdog Processors",
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 11, issue 5, pp. 301 - 310, 1996.
Abstract
"Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach",
Proc. 6th Int. Conf. on the Quantitative Evaluation of Systems (QEST 2009), pp. 95 - 96, 2009.
"Making Legacy Services Highly-Available with OpenAIS: An Experience Report",
Third International Service Availability Symposium (ISAS 2006), vol. 4328, Helsinki, Finland, Springer, pp. 206–216, 2006.
Abstract
"MONDO-SAM: A Framework to Systematically Assess MDE Scalability",
BigMDE 2014 2nd Workshop on Scalable Model Driven Engineering: ACM, 2014.
"Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts",
Proc. of the 27th Euromicro Conference, Workshop on Software Process and Product Improvement, Los Alamitos, IEEE Computer Society Press, pp. 200 - 207, 2001.
"Manapság már Magyarországon is óránként készülnek az új "Fürdö utca 10"-ek",
Híradástechnika, vol. 61(5), no. 5: Híradástechnikai társulat, pp. 58–59, 2006.
"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 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.
"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-Based Regression Testing of Autonomous Robots",
Model-Driven Engineering for Future Internet - 18th International SDL Forum, Budapest, Hungary, Springer International Publishing, 09/2017.
"A Model-driven Framework for Guided Design Space Exploration",
Proceedings of the 19th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 01/2012.
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
"A model-driven framework for guided design space exploration",
Automated Software Engineering, vol. 22, issue 3, pp. 399-436, 08/2014, 2015.
Abstract
"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%
Making the TTreeReader interface more accessible,
, no. CERN-STUDENTS-Note-2015-039, Geneva, Switzerland, CERN, pp. 5, 2015.
Model Driven Software Engineering,
: Springer, pp. 91–118, 2005.
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 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 Verification of Reliable Messaging by Graph Transformation Systems",
Electr. Notes Theor. Comput. Sci., vol. 175, no. 4, pp. 37-50, 2007.
Abstract