Publications
Filters: First Letter Of Title is A [Clear All Filters]
"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.
"Activity-Based Abstraction Refinement for Timed Systems",
Proceedings of the 24th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 18–21, 2017.
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
"Adaptive Step Size Control for Hybrid CT Simulation without Rollback",
13th International Modelica Conference, OTH Regensburg, Germany, 2019.
"Adding High Availability Features to Server Applications Using Aspect-Oriented Programming",
HÍRADÁSTECHNIKA, vol. LXII, issue 1, pp. 56 - 62, 2007.
"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%
"Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets",
Periodica Polytechnica, Electrical Engineering and Computer Science, vol. 58, no. 1, pp. 11, 2014.
"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
"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.
"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%
"Application of Data Mining in Failure Data Analysis",
Workshop on Reliability Analysis of System Failure Data, pp. * - 2, 2007.
"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
"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.
"Applying MDA approach for the SA Forum platform",
3rd Federated Event on Distributed Computing Techniques 2008, Oslo, pp. 1 - 6, 2008.
"Applying Model Checking to Industrial-Sized PLC Programs",
IEEE Transactions on Industrial Informatics, vol. 11, issue 6: IEEE, pp. 1400-1410, 12/2015.
"Aspect-Oriented Modelling and Analysis of Information Systems",
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 51, issue 1-2, pp. 21 - 31, 2007.
"Automated abstraction in model-driven engineering",
Mestepróba'14, Budapest, 2014.
"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.
"Automated Dependability Analysis of UML Designs",
Proc. 2nd IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC'99), pp. 139 - 144, 1999.
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.
"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
"Automated Generation of Consistent Graph Models with Multiplicity Reasoning",
IEEE Transactions on Software Engineering: IEEE, pp. 1-20, 09/2020.
Abstract
"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