Publications
]
"Model-Driven Development of ARINC 653 Configuration Tables",
29th IEEE & AIAA Digital Avionics System Conference (DASC), Salt Lake City, US, IEEE, 10/2010.
Abstract
"Static Type Checking of Model Transformation Programs",
ICGT'10 Doctoral Symposium, University of Twente, Enschede, The Netherlands, Springer Berlin / Heidelberg, pp. 413-415, 10/2010.
"Back-annotation of Simulation Traces with Change-Driven Model Transformations",
Proceedings of the Eighth International Conference on Software Engineering and Formal Methods, Pisa, IEEE Computer Society, pp. 145-155, 09/2010.
Abstract
Acceptance rate: 22%
"Ecore to Genmodel case study solution using the Viatra2 framework",
Transformation Tool Contest (TTC '10), Malaga, Spain, 07/2010.
Abstract
"Online Infrastructure Dependency Detection and Tracking",
Conference of PhD Students in Computer Science, Szeged, pp. 67, 06/2010.
"Static Type Checking of Model Transformation Programs",
Conference of PhD Students in Computer Science, Szeged, pp. 74, 06/2010.
"Model-based Control of IT Infrastructures",
10th International Carpathian Control Conference, pp. 211 -214, 05/2010.
"Model-based Integration Framework for Development and Testing Tool-chains",
FORMS/FORMAT 2010, the 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, Springer Verlag, Berlin, pp. 204-212, 03/12/2010.
"BPEL Verification: The Back-annotation Problem",
Proceedings of the 17th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 30–31, 02/2010.
"Contextual Graph Triggers",
Proceedings of the 17th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 22–25, 2010.
"Dependency Identification in System Management",
Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, pp. 34–37, 2010.
"Identification and Tracking of IT Infrastructure Patterns",
Spring Wind 2010, Pécs, Hungary, pp. 524–529, 2010.
"Optimal Period Length for the CGS Sensor Network Scheduling Algorithm",
International conference on Networking and Services: IEEE Computer Society, pp. 192-199, 2010.
"Static Analysis of Model Transformations",
Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, pp. 26–27, 2010.
"Stochastic Simulation of Graph Transformation Systems",
Proc. of FASE2010, Fundamental Approaches to Software Engineering, 2010.
Accepted.
"Új formalizmus eseményvezérelt gráftranszformációhoz",
XV. Fiatal Műszakiak Tudományos Ülésszaka: Erdélyi Múzeum-Egyesület, 2010.
From BPEL to SAL and Back: a Tool Demo on Back-Annotation with VIATRA2,
: Consiglio Nazionale delle Ricerche (CNR), pp. 35-42, 09/2010.
Abstract
Accepted for the SEFM'2010 "Posters and Tool Demo Session" Track
"Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications",
Formal Methods for Industrial Critical Systems: Springer Verlag, pp. 199 - 214, 2009.
Software Engineering for Service-Oriented Overlay Computers,
: Springer, 2009.
"Design and Evaluation of a Safe Driver Machine Interface",
INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 5, issue 2, pp. 153 - 166, 2009.
"Supporting design and development of safety critical applications by model based tools",
ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTIENSIS DE ROLANDO EOTVOS NOMINATAE - SECTIO COMPUTATORICA, vol. 30, pp. 61 - 78, 2009.
"Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets",
Reliability Engineering & System Safety, vol. 94, issue 5, pp. 942 - 953, 2009.
UT: 000264542300006
"Model Transformation by Example Using Inductive Logic Programming",
Software and Systems Modeling, vol. 8, no. 3, pp. 347-364, 2009.
"Parallelization of Graph Transformation Based on Incremental Pattern Matching",
Electronic Communications of the EASST, Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques, vol. 18, 2009.
Abstract
