Publikációk

Export 492 results:
Rendezés: Szerző Cím [ Típus  (Asc)] Év
Conference Paper
Varró, G., Varró, D., and Friedl, K., "Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans", GraMot 2005, International Workshop on Graph and Model Transformations, vol. 152: Elsevier, pp. 191–205, 2006. Abstract
Farkas, R., Bergmann, G., and Horváth, Á., "Adaptive Step Size Control for Hybrid CT Simulation without Rollback", 13th International Modelica Conference, OTH Regensburg, Germany, 2019.
Balogh, A., and Varró, D., "Advanced Model Transformation Language Constructs in the VIATRA2 Framework", ACM Symposium on Applied Computing –- Model Transformation Track (SAC 2006), Dijon, France, ACM Press, pp. 1280–1287, April, 2006. Abstract
Acceptance rate: 32%
Debreceni, C., "Advanced Techniques and Tools in Secure Collaborative Modeling", ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Austin, Texas, USA, ACM, 09/2017.
Preprinted version
Lollini, P., Montecchi, L., Magyar, M., Majzik, I., and Bondavalli, A., "Analysis of the Impact of Communication Protocols on Service Quality in ERTMS Automatic Train Control Systems", Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 225 - 232, 2008.
Ujhelyi, Z., Horváth, Á., Varró, D., Csiszár, N I., Szőke, G., Vidács, L., and Ferenc, R., "Anti-pattern Detection with Model Queries: A Comparison of Approaches", IEEE CSMR-WCRE 2014 Software Evolution Week: IEEE, 02/2014.
IEEE Best Paper Award, Acceptance rate: 31%
Pintér, G., Majzik, I., and Pataricza, A., "Application of Data Mining in Failure Data Analysis", Workshop on Reliability Analysis of System Failure Data, pp. * - 2, 2007.
Mens, T., Gorp, P V., Karsai, G., and Varró, D., "Applying a Model Transformation Taxonomy to Graph Transformation Technology", GraMot 2005, International Workshop on Graph and Model Transformations, vol. 152: Elsevier, pp. 143–159, 2006. Abstract
Bergmann, G., Horváth, D., and Horváth, Á., "Applying Incremental Graph Transformation to Existing Models in Relational Databases", Sixth International Conference on Graph Transformation, vol. 7562/2012, Bremen, Germany , Springer, pp. 371-385, 09/2012.
Szatmári, Z., Kövi, A., and Reitenspieß, M., "Applying MDA approach for the SA Forum platform", 3rd Federated Event on Distributed Computing Techniques 2008, Oslo, pp. 1 - 6, 2008.
Domokos, P., and Majzik, I., "Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation", Proc. 19th Int. Conf. on Architecture of Computing Systems: Gesellschaft für Informatik, pp. 66 - 75, 2006.
Bondavalli, A., Majzik, I., and Mura, I., "Automated Dependability Analysis of UML Designs", Proc. 2nd IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC'99), pp. 139 - 144, 1999.
Varró, D., and Pataricza, A., "Automated Formal Verification of Model Transformations", CSDUML 2003: Critical Systems Development in UML; Proceedings of the UML'03 Workshop, no. TUM-I0323: Technische Universität München, pp. 63–78, September, 2003. Abstract
Debreceni, C., Ráth, I., Varró, D., Carlos, X D., Mendialdua, X., and Trujillo, S., "Automated Model Merge by Design Space Exploration", 19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven, The Netherlands, 04/2016.
Varró, D., "Automated Program Generation in VIATRA", Mini–Symposium 2002, Budapest University of Technology and Economics, Department of Measurement and Information Systems, IEEE Hungary Section (BUTE Student Branch), pp. 34–35, February 4–5, 2002.
Oláh, J., "Automated Robustness Test Generation using OCL Constraints", Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 32-33, February, 2010.
Sisak, Á., Pintér, G., and Majzik, I., "Automated Verification of Complex Behavioral Models Using the SAL Model Checker", Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 35 - 42, 2008.
Pintér, G., and Majzik, I., "Automatic Code Generation Based on Formally Analyzed UML Statechart Models", Formal Methods for Railway Operation and Control Systems, Budapest, L'Harmattan Kiadó, pp. 45 - 52, 2003.
Bondavalli, A., Majzik, I., and Mura, I., "Automatic Dependability Analysis for Supporting Design Decisions in UML", Proc. Fourth IEEE International Symposium on High-Assurance Systems Engineering (HASE'99), Washington, pp. 64 - 71, 1999.
Majzik, I., and Bondavalli, A., "Automatic Dependability Modeling of Systems Described in UML", Proc. 9th International Symposium on Software Reliability Engineering (ISSRE'98), pp. 29 - 30, 1998.
Horváth, Á., "Automatic Generation of Compiled Model Transformations", Proc. of Fifth Conference of PhD Students in Computer Science (CSCS), Szeged, Hungary, Institute of Informatics of the University of Szeged, pp. 54–55, Jun. 27-30, 2006.
Pintér, G., and Majzik, I., "Automatic Generation of Executable Assertions For Runtime Checking Temporal Requirements", Proceedings of The 9th IEEEInternational Symposium on High Assurance Systems Engineering (HASE 2005): IEEE Computer Society Press, pp. 111 - 120, 2005.
Varró, D., "Automatic Program Generation for and by Model Transformation Systems", Proc. AGT 2002: Workshop on Applied Graph Transformation, Grenoble, France, pp. 161–173, April 12–13, 2002. Abstract
Varró, D., Gyapay, S., and Pataricza, A., "Automatic Transformation of UML Models for System Verification", WTUML'01: Workshop on Transformations in UML, Genova, Italy, pp. 123–127, April 7th, 2001. Abstract