Publications
] Filters: First Letter Of Last Name is B [Clear All Filters]
"Stochastic Graph Transformation with Regions",
Electronic Communications of the EASST, Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques, vol. 29, 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%
"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
"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.
"Optimal Period Length for the CGS Sensor Network Scheduling Algorithm",
International conference on Networking and Services: IEEE Computer Society, pp. 192-199, 2010.
"Új formalizmus eseményvezérelt gráftranszformációhoz",
XV. Fiatal Műszakiak Tudományos Ülésszaka: Erdélyi Múzeum-Egyesület, 2010.
"Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications",
Formal Methods for Industrial Critical Systems: Springer Verlag, pp. 199 - 214, 2009.
"Design and Evaluation of a Safe Driver Machine Interface",
INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 5, issue 2, pp. 153 - 166, 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
"Design and implementation of an improved and reliable pressurizer controller at the Paks NPP",
Fault Detection, Supervision and Safety of Technical Processes: 7th IFAC International Symposium (SAFEPROCESS), Barcelona, IFAC, pp. 1162 - 1167, 2009.
"BPMN to BPEL case study solution in VIATRA2",
5th International Workshop on Graph-Based Tools, , Zürich, Switzerland, Springer, 07/2009.
"Efficient Model Transformations by Combining Pattern Matching Strategies",
Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, vol. 5563: Springer, pp. 20-34, 2009.
Abstract
Acceptance rate: 22%
"Parallelization of Incremental Pattern Matching in Graph Transformation",
Proceedings of the 16th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 10–11, 2009.
"Diagnostics of coordinate components of purposeful arm movements of a human.",
Theory and Methods of Physical Education, issue 44, Ukraine, pp. 8-11, June, 2008.
Ukraine
"Development of safety software for the Paks Nuclear Power Plant",
ERCIM News, issue 75, pp. 53 - 54, 2008.
"Tool Support for Engineering Certifiable Software",
Electr. Notes Theor. Comput. Sci., vol. 238, no. 4, pp. 79-85, 2008.
Abstract
"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.
"Formal Methods in the Evaluation of a Safe Driver Machine Interface",
Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 313 - 320, 2008.
"Formal Verification of Safety Functions by Reinterpretation of Functional Block based Specifications",
13th international workshop on formal methods for industrial critical systems (FMICS), pp. 219 - 234, 2008.
Abstract
"An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications",
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems: ACM, pp. 29 - 38, 2008.
"International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008)",
Proc. of the 38th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008), pp. 542 - 543, 2008.
