Publikációk
"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.
"Új formalizmus eseményvezérelt gráftranszformációhoz",
XV. Fiatal Műszakiak Tudományos Ülésszaka: Erdélyi Múzeum-Egyesület, 2010.
"Integrating Efficient Model Queries in State-of-the-art EMF Tools",
TOOLS Europe 2012, Prague, Springer, 05/2012.
Abstract
Acceptance rate: 31%
"BPMN to BPEL case study solution in VIATRA2",
5th International Workshop on Graph-Based Tools, , Zürich, Switzerland, Springer, 07/2009.
"SeCMER: A Tool to Gain Control of Security Requirements Evolution",
Towards a Service-Based Internet, vol. 6994: Springer Berlin / Heidelberg, pp. 321-322, 2011.
Abstract
10.1007/978-3-642-24755-2_35
"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%
"Optimal Period Length for the CGS Sensor Network Scheduling Algorithm",
International conference on Networking and Services: IEEE Computer Society, pp. 192-199, 2010.
"Controllable and decomposable multidirectional synchronizations",
Software and Systems Modeling, 04/2021.
"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
Incremental Model Queries in Model-Driven Design,
, vol. PhD, Budapest, Budapest University of Technology and Economics, 10/2013.
"A Tool for Managing Evolving Security Requirements",
IS Olympics: Information Systems in a Diverse World, vol. 107: Springer Berlin Heidelberg, pp. 110-125, 2012.
Abstract
10.1007/978-3-642-29749-6_8
Incremental graph pattern matching and applications,
: Budapest University of Technology and Economics, May, 2008.
"Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling",
2nd International Workshop on Collaborative Modelling in MDE, Austin, Texas, USA, 09/2017.
"Temporal analysis of data flow control systems",
AUTOMATICA, vol. 34, issue 2, pp. 169 - 182, 1998.
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.
"Automated Dependability Analysis of UML Designs",
Proc. 2nd IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC'99), pp. 139 - 144, 1999.
"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.
"Automatic Dependability Analysis for Supporting Design Decisions in UML",
Proc. Fourth IEEE International Symposium on High-Assurance Systems Engineering (HASE'99), Washington, pp. 64 - 71, 1999.
"Composable Framework Support for Software-FMEA through Model Execution",
Certifications of Critical Systems – The CECRIS Experience, Delft, Netherlands, River Publishers, pp. 183–200, 2017.
"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
"Local search-based pattern matching features in EMF-IncQuery",
8th International Conference on Graph Transformation, L'Aquila, Italy, Springer, 07/2015.
Abstract
Tool demonstration paper
"Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems",
International Journal on Software Tools for Technology Transfer, 09/2019.
Abstract
"Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems",
Fundamental Approaches to Software Engineering, Cham, Springer International Publishing, pp. 111–128, 2018.
Abstract
"Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems",
21st International Conference on Fundamental Approaches to Software Engineering (FASE), Thessaloniki, Greece, 2018.