Export 519 results:
Rendezés: Szerző [ Cím  (Desc)] 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 
Hajdu, Á., Vörös, A., and Bartha, T., "New Search Strategies for the Petri Net CEGAR Approach", Application and Theory of Petri Nets and Concurrency, vol. 9115: Springer, pp. 309-328, 2015. Abstract
Polgár, B., "Multiprocesszoros Rendszerek Maximum Likelihood Diagnosztikája", FMTÜ 2003, Fiatal Muszakiak Tudományos Ülésszaka VIII.: Erdélyi Múzeum-Egyesület, pp. 75 - 78, 2003.
Majzik, I., Hohl, W., Pataricza, A., and Sieh, V., "Multiprocessor Checking Using Watchdog Processors", COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 11, issue 5, pp. 301 - 310, 1996. 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.
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
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.
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.
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.
Ujhelyi, Z., "Modelltranszformációk statikus analízise", Tavaszi Szél Konferenciakiadvány, Szeged, pp. 33–39, 05/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.
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.
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.
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
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
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.
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
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
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%
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
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.