Publikációk

Export 530 results:
Rendezés: Szerző [ Cím (Asc)] Típus Év
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
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, Á., Horváth, Á., and Varró, D., "A model-driven framework for guided design space exploration", Automated Software Engineering, vol. 22, issue 3, pp. 399-436, 08/2014, 2015. Abstract
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
Pintér, G., and Majzik, I., "Modeling and analysis of exception handling by using UML statecharts", LECTURE NOTES IN COMPUTER SCIENCE, vol. 3409, pp. 58 - 67, 2005. 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., Kovács, Máté, and Varró, D., "Modeling and Verification of Reliable Messaging by Graph Transformation Systems", Electr. Notes Theor. Comput. Sci., vol. 175, no. 4, pp. 37-50, 2007. Abstract
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.
Fernández Adiego, B., Darvas, D., Blanco Viñuela, E., Tournier, J-C., González Suárez, V. M., and Blech, J O., "Modelling and Formal Verification of Timing Aspects in Large PLC Programs", Proceedings of the 19th IFAC World Congress 2014, pp. 3333-3339, 08/2014.
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.
Ráth, I., "Modelltranszformációk integrált alkalmazása domain-specifikus nyelvekben", Tavaszi Szél Konferenciakiadvány, 2009.
Ujhelyi, Z., "Modelltranszformációk statikus analízise", Tavaszi Szél Konferenciakiadvány, Szeged, pp. 33–39, 05/2009.

Vörös, A., Búr, M., Ráth, I., Horváth, Á., Micskei, Z., Balogh, L., Hegyi, B., Horváth, B., Mázló, Z., and Varró, D., "MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems", NASA Formal Methods, Cham, Springer International Publishing, pp. 460–467, 2018. Abstract
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.
Szárnyas, G., Semeráth, O., Izsó, B., Debreceni, C., Hegedüs, Á., Ujhelyi, Z., and Bergmann, G., "Movie Database Case: An EMF-IncQuery Solution", 7th Transformation Tool Contest, York, United Kingdom, 2014. Abstract
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
Szárnyas, G., "Multidimenziós adatkezelés és bitmap indexelés", Department of Telecommunications and Media Informatics, vol. BSc: Budapest University of Technology and Economics, pp. 82, 12/2011.

Nyelvek

  • English
  • Magyar

Belépés

Navigáció