Publications
] Filters: First Letter Of Title is A [Clear All Filters]
Automated Generation of Formal Models from ST Control Programs for Verification Purposes,
, no. CERN-ACC-NOTE-2014-0037: CERN, 2014.
"Automated Model Merge by Design Space Exploration",
19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven, The Netherlands, 04/2016.
Automated Model Transformations for the Analysis of IT Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, May, 2004.
Abstract
Automated Model Transformations in Domain Specific Visual Languages,
, October, 2005.
"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.
"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.
"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.
Automatic Algorithm Generation for Visual Control Structures,
: Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, December, 2000.
"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.
"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.
"Automatic Dependability Modeling of Systems Described in UML",
Proc. 9th International Symposium on Software Reliability Engineering (ISSRE'98), pp. 29 - 30, 1998.
"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.
"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.
"Automatic generation of platform-specific transformation",
Info-Communications-Technology, vol. LXI, no. 7, pp. 40–45, 2006.
Abstract
"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
Automatic Transformation of UML Models,
: Budapest University of Technology and Economics, 2000.
"Automatic Transformation of UML Models for System Verification",
WTUML'01: Workshop on Transformations in UML, Genova, Italy, pp. 123–127, April 7th, 2001.
Abstract
"Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker",
FORMAL ASPECTS OF COMPUTING, vol. 11, issue 6, pp. 637 - 664, 1999.
"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%
