Publications
Filters: First Letter Of Last Name is B [Clear All Filters]
"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 over models@run.time for runtime monitoring of cyber-physical systems",
International Journal on Software Tools for Technology Transfer, 09/2019.
Abstract
"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 for Runtime Monitoring of Cyber-Physical Systems",
21st International Conference on Fundamental Approaches to Software Engineering (FASE), Thessaloniki, Greece, 2018.
"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
"Composable Framework Support for Software-FMEA through Model Execution",
Certifications of Critical Systems – The CECRIS Experience, Delft, Netherlands, River Publishers, pp. 183–200, 2017.
"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.
"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.
"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
"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.
"Temporal analysis of data flow control systems",
AUTOMATICA, vol. 34, issue 2, pp. 169 - 182, 1998.
Abstract
"A Graph Query Language for EMF models",
Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, vol. 6707: Springer, pp. 167-182, 2011.
Abstract
Acceptance rate: 27%
"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%
"A Tool for Managing Evolving Security Requirements",
CAiSE'11 Forum at the 23rd International Conference on Advanced Information Systems Engineering, vol. 734, London, UK, CEUR-WS, pp. 49-56, 06/2011.
Abstract
urn:nbn:de:0074-734-7
"A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation",
Proc. 4th International Conference on Graph Transformations, ICGT 2008, vol. 5214: Springer, pp. 396-410, 2008.
Abstract
Acceptance rate: ~40%
"Query-based Access Control for Secure Collaborative Modeling using Bidirectional Transformations",
ACM/IEEE 19th Int. Conf. on Model Driven Engineering Languages and Systems, Saint-Malo, France, 2016.
Acceptance rate: 23.7%. Received ACM Distinguished Paper Award.
"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.
"Incremental pattern matching for the efficient computation of transitive closure",
Sixth International Conference on Graph Transformation, vol. 7562/2012, Bremen, Germany , Springer, pp. 386-400, 09/2012.
"Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing",
Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing: Springer, 2010.
"Integrating Efficient Model Queries in State-of-the-art EMF Tools",
TOOLS Europe 2012, Prague, Springer, 05/2012.
Abstract
Acceptance rate: 31%
Incremental Model Queries in Model-Driven Design,
, vol. PhD, Budapest, Budapest University of Technology and Economics, 10/2013.
"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%
"Implementing Efficient Model Validation in EMF Tools: Tool Demonstration",
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, IEEE Computer Society, 11/2011.
Abstract
"Graph Triggers and Incrementally Evaluated Queries over EMF Models",
Proceedings of the 18th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 38-41, 02/2011.