Publikációk
Szűrők: Az Utónév Első Betűje = M [Minden szűrő visszaállítása]
"Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View",
10th Latin-American Symposium on Dependable Computing (LADC 2021), Florianópolis, Brazil, IEEE, 11/2021.
"Towards Symbolic Analysis of Visual Modelling Languages",
Proc. GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 72 (3), no. 3, Barcelona, Spain, Elsevier, pp. 57–70, October 11-12, 2002.
Abstract
"Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles",
IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS): IEEE, 2019.
New Ideas and Vision Track
"UML Based Design of Time Triggered Systems",
Proceedings of The 7th IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC-2004): IEEE Computer Society Press, pp. 60 - 63, 2004.
"UML Based Visual Design of Embedded Systems",
Proceedings of the 7th IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS'04), pp. 115 - 120, 2004.
"UML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module",
Formal Methods for Railway Operation and Control Systems, Budapest, L'Harmattan Kiadó, pp. 125 - 132, 2003.
"User-defined Sandbox Behavior for Dynamic Symbolic Execution",
Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 03/2017.
"Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking",
Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Entreprises (MITIP 2012), Budapest, Hungary, Hungarian Academy of Sciences, Computer and Automation Research Institute (MTA SZTAKI), 10/2012.
"Verification of UML Statechart Models of Embedded Systems",
Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2002): Brno University of Technology, pp. 70 - 77, 2002.
"Visual Graph Transformation in System Verification",
DDECS 2000 International IEEE Workshop on the Design and Diagnostics of Electronic Circuits and Systems, Bratislava, Slovakia, pp. 137–141, April 5–7, 2000.
Abstract
"Well-Formedness and Invariant Checking of PLCspecif Specifications",
Proceedings of the 24th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 10-13, 2017.
"VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models",
Proc. ASE 2002: 17th IEEE International Conference on Automated Software Engineering, Edinburgh, UK, IEEE Press, pp. 267–270, September 23–27, 2002.
Abstract
Acceptance rate = 20%
"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.
"Automated Generation of Consistent Graph Models with Multiplicity Reasoning",
IEEE Transactions on Software Engineering: IEEE, pp. 1-20, 09/2020.
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.
"Classifying generated white-box tests: an exploratory study",
Software Quality Journal, pp. 42, 2019.
Abstract
"Component-wise Incremental LTL Model Checking",
Formal Aspects of Computing, vol. 28, issue 3: Springer, pp. 345-379, 05/2016.
"Control Flow Checking in Multitasking Systems",
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 39, issue 1, pp. 27 - 36, 1995.
"A Data Mining Approach to Identify Key Factors in Dependability Experiments",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 3463, pp. 263 - 280, 2005.
Abstract
"Dependability Analysis in The Early Phases of Uml-based System Design",
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 16, issue 5, pp. 265 - 275, 2001.
Abstract
"Design and Evaluation of a Safe Driver Machine Interface",
INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 5, issue 2, pp. 153 - 166, 2009.
"Efficient Strategies for CEGAR-based Model Checking",
Journal of Automated Reasoning, vol. 64, issue 6, pp. 1051-1091, 2020.
Abstract
"Evaluation of Optimization Strategies for Incremental Graph Queries",
Periodica Polytechnica, Electrical Engineering and Computer Science, 01/2017.