Publications
"Qualitative performance control in supervised IT infrastructures",
Dependable Systems and Networks Workshops (DSN-W), 2010 International Conference on, pp. 59 -65, jun., 2010.
"Automated Robustness Test Generation using OCL Constraints",
Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 32-33, February, 2010.
"Fejlesztési folyamatok ontológia alapú ellenőrzése",
XV. Fiatal műszakiak tudományos ülésszaka, Kolozsvár, Erdélyi Múzeum-Egyesület, pp. 1 - 4, 2010.
"Ontology-based assessment of software models and development processes for safety-critical systems",
Monographs of System Dependability Vol. 2, Wroclaw, pp. 1 - 12, 2010.
"Robustness Testing of Standard Specifications-based HA Middleware",
Proceedings of the 2010 International Conferenceon Distributed Computing Systems Workshops: IEEE Computer Society Press, pp. 302 - 306, 2010.
"Incremental Evaluation of Model Queries over EMF Models",
Model Driven Engineering Languages and Systems, 13th International Conference, MODELS'10: Springer, 10/2010.
Acceptance rate: 21%
"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.