Publikációk
Szűrők: A Cím Első Betűje = U [Minden szűrő visszaállítása]
"UML - Extensions for Quantitative Analysis",
Proc. of UML 2000 Workshop: Dynamic Behaviour in UML Models: Semantic Questions, München, LMU-München, Institut für Informatik, pp. 70 - 75, 2000.
A Unifying Semantic Framework for Multilevel Metamodelling,
: Budapest University of Technology and Economics, October, 2001.
"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.
"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 Modeling and Development of J2EE Applications: Course Experiences",
MODELS 2006: Educators Symposium, Genova, Italy, 2006.
Abstract
"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.
"Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts",
IEEE Access, vol. 8, pp. 190760–190783, 2020.