Publications
] Filters: First Letter Of Title is A [Clear All Filters]
"Automatic Dependability Modeling of Systems Described in UML",
Proc. 9th International Symposium on Software Reliability Engineering (ISSRE'98), pp. 29 - 30, 1998.
"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.
"Automated Dependability Analysis of UML Designs",
Proc. 2nd IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC'99), pp. 139 - 144, 1999.
"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 Transformation of UML Models,
: Budapest University of Technology and Economics, 2000.
Automatic Algorithm Generation for Visual Control Structures,
: Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, December, 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 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
"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.
"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.
"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
"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
"Abstract Model-based Checkpoint And Recovery",
Proceedings of the 2nd Conference of Phd Students in Computer Science, Szeged, University of Szeged, pp. 96 - 97, 2004.
Automated Model Transformations for the Analysis of IT Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, May, 2004.
Abstract
"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.
Automated Model Transformations in Domain Specific Visual Languages,
, October, 2005.
"Automatic generation of platform-specific transformation",
Info-Communications-Technology, vol. LXI, no. 7, pp. 40–45, 2006.
Abstract
"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
"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
"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.
"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%
"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.
"Adding High Availability Features to Server Applications Using Aspect-Oriented Programming",
HÍRADÁSTECHNIKA, vol. LXII, issue 1, pp. 56 - 62, 2007.
"Aspect-Oriented Modelling and Analysis of Information Systems",
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 51, issue 1-2, pp. 21 - 31, 2007.
"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%
