Publications

Export 44 results:
Sort by: Author [ Title  (Desc)] Type Year
Filters: First Letter Of Title is A  [Clear All Filters]
[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   [Show ALL]
A
Varró, D., and Balogh, Z., "Automating Model Transformation by Example Using Inductive Logic Programming", Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 11-15, 2007: ACM Press, pp. 978-984, 2007. Abstract
Acceptance rate: 32%
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
Varró, D., Automatic Transformation of UML Models, : Budapest University of Technology and Economics, 2000.
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
Horváth, Á., Varró, D., and Varró, G., "Automatic generation of platform-specific transformation", Info-Communications-Technology, vol. LXI, no. 7, pp. 40–45, 2006. Abstract
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.
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.
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.
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.
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.
Gyapay, S., and Varró, D., Automatic Algorithm Generation for Visual Control Structures, : Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, December, 2000.
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.
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.
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.
Varró, D., Automated Model Transformations for the Analysis of IT Systems, : Budapest University of Technology and Economics, Department of Measurement and Information Systems, May, 2004. 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.
Semeráth, O., Babikian, A. A., Li, A., Marussy, K., and Varró, D., "Automated Generation of Consistent Models with Structural and Attribute Constraints", 23rd International Conference on Model Driven Engineering Languages and Systems, Canada, ACM / IEEE, 2020. Abstract
Artifacts (tool and measurement results) are availables as a virtual machine at https://zenodo.org/record/3950552
Marussy, K., Semeráth, O., and Varró, D., "Automated Generation of Consistent Graph Models with Multiplicity Reasoning", IEEE Transactions on Software Engineering: IEEE, pp. 1-20, 09/2020. Abstract
Varró, D., "Automated Formal Verification of Visual Modeling Languages by Model Checking", Journal of Software and Systems Modeling, vol. 3, no. 2, pp. 85–113, May, 2004. Abstract
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
Horányi, G., and Majzik, I., Automated Evaluation of the Test Traces of Autonomous Systems, , Budapest, Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, pp. 25 pages, 01/2013.
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.