Publications

Export 530 results:
Sort by: Author Title [ Type  (Asc)] Year
Conference Paper
Honfi, D., Molnár, G., Micskei, Z., and Majzik, I., "Model-Based Regression Testing of Autonomous Robots", Model-Driven Engineering for Future Internet - 18th International SDL Forum, Budapest, Hungary, Springer International Publishing, 09/2017.
Gönczy, L., Heckel, R., and Varró, D., "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%
Horváth, Á., Varró, D., and Schoofs, T., "Model-Driven Development of ARINC 653 Configuration Tables", 29th IEEE & AIAA Digital Avionics System Conference (DASC), Salt Lake City, US, IEEE, 10/2010. Abstract
Csuvarszki, J C., Graics, B., and Vörös, A., "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
Hegedüs, Á., Horváth, Á., Ráth, I., and Varró, D., "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%
Hegedüs, Á., "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.
Tóth, A., Varró, D., and Pataricza, A., "Model-Level Automatic Test Generation for UML Statecharts", Proc. 6th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2003), Poznan, Poland, pp. 293–294, April 14–16, 2003.
Graics, B., and Majzik, I., "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
Baresi, L., Heckel, R., Thöne, S., and Varró, D., "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%
Baresi, L., Heckel, R., Thöne, S., and Varró, D., "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
Huszerl, G., and Majzik, I., "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.
Bartha, T., "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
Gönczy, L., and Varró, D., "Modeling Reliable Messaging in Service Oriented Architecture", International Workshop on Web Services –- Modeling and Testing, Palermo, Italy, June, 2006. Abstract
Polgár, B., Bartha, T., and Selényi, E., "Modeling Uncertainty In System-level Fault Diagnosis Using Process Graphs", Proc. of DAPSYS 2002, 4th Austrian-Hungarian Workshop on Distributed and Parallel Processing: Kluwer Academic Publishers, pp. 195 - 202, 2002.
Oláh, J., and Majzik, I., "A Modell Based Framework for Specifying and Executing Fault Injection Experiments.", Proc. of the 4th International Conference on Dependability of Computer Systems., Brunów, Poland, pp. 107-114, June, 2009.
Horváth, Á., "Modelltranszformációk Implementációjainak Automatikus, Transzformáció Alapú Generálása", XI. Fiatal Mûszakiak Tudományos Ülésszaka (FMTU), Kolozsvar, Romania, Erdélyi Múzeum Egyesület, pp. 149–153, 03/2006.
Ujhelyi, Z., "Modelltranszformációk statikus analízise", Tavaszi Szél Konferenciakiadvány, Szeged, pp. 33–39, 05/2009.

Magyar, M., and Majzik, I., "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.
Debreceni, C., Bergmann, G., Búr, M., Ráth, I., and Varró, D., "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.
Izsó, B., Szárnyas, G., Ráth, I., and Varró, D., "MONDO-SAM: A Framework to Systematically Assess MDE Scalability", BigMDE 2014 2nd Workshop on Scalable Model Driven Engineering: ACM, 2014.
Abdeen, H., Varró, D., Sahraoui, H., Nagy, A S., Hegedüs, Á., Horváth, Á., and Debreceni, C., "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