Publications
Filters: First Letter Of Last Name is K [Clear All Filters]
"On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development",
European Conference on Modelling Foundations and Applications, Marburg, Germany, Springer, 07/2017.
"On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf",
1st Workshop on Open Source Software for Model Driven Engineering, Valencia, 2014.
"Object Oriented Notation for Modelling Quantitative Aspects",
Workshop Proceedings of the International Conference on Architecture of Computing Systems (ARCS 2002), Berlin, VDE Verlag GmbH, pp. 91 - 100, 2002.
"Non-Functional Properties in the Model-Driven Development of Service-Oriented Systems",
Software and Systems Modeling, 2010.
Abstract
Appeared online
"Movie Database Case: An EMF-IncQuery Solution",
7th Transformation Tool Contest, York, United Kingdom, 2014.
Abstract
"Modeling and Verification of Reliable Messaging by Graph Transformation Systems",
Electr. Notes Theor. Comput. Sci., vol. 175, no. 4, pp. 37-50, 2007.
Abstract
"Model-based Control of IT Infrastructures",
10th International Carpathian Control Conference, pp. 211 -214, 05/2010.
"Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services",
Architecting Dependable Systems V, Berlin ; Heidelberg, Springer-Verlag, pp. 150 - 174, 2008.
"Model Checking as a Service: Towards Pragmatic Hidden Formal Methods",
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2020.
"Making Legacy Services Highly-Available with OpenAIS: An Experience Report",
Third International Service Availability Symposium (ISAS 2006), vol. 4328, Helsinki, Finland, Springer, pp. 206–216, 2006.
Abstract
"LSQB: A Large-Scale Subgraph Query Benchmark",
GRADES-NDA at SIGMOD: ACM, 2021.
"LAGraph: Linear Algebra, Network Analysis Libraries, and the Study of Graph Algorithms",
GrAPL (Workshop on Graphs, Architectures, Programming, and Learning) at IPDPS (International Parallel and Distributed Processing Symposium: IEEE, 2021.
"K-induction based verification of real-time safety critical systems.",
Conference on Dependability and Complex Systems DepCoS-RELCOMEX, Brunów, Poland, Springer International Publishing, 2013.
"Introducing Dynamism to SA Forum Cluster",
Dependable Network Computing and Mobile Systems, Naples, Italy, 10/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.
"Industrial applications of the PetriDotNet modelling and analysis tool",
Science of Computer Programming, vol. 157, pp. 17-40, 2018.
Abstract
"Incremental pattern matching in the VIATRA model transformation system",
Proc. Graph and Model Transformations (GRAMOT 2008): ACM, 2008.
Abstract
"Incremental Graph Pattern Matching: Data Structures and Initial Experiments",
Graph and Model Transformation (GraMoT 2006), vol. 4: EASST, 2006.
Abstract
"Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery",
Modelling Foundations and Applications, vol. 6698: Springer Berlin / Heidelberg, pp. 389-390, 2011.
Abstract
10.1007/978-3-642-21470-7_32
"Graph Transformation with Time: Causality and Logical Clocks",
Proc. ICGT 2002: 1st International Conference on Graph Transformation, vol. 2505, Barcelona, Spain, Springer-Verlag, pp. 120–134, October 7–12, 2002.
Abstract
"Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools",
AGTIVE - Applications of Graph Transformation, Kassel, Germany, Springer, 10/2007.
"The Future is Big Graphs! A Community View on Graph Processing Systems",
Communications of the ACM, 2021.
To be published in CACM
"A Formal Semantics of UML Statecharts by Model Transition Systems",
Proc. ICGT 2002: 1st International Conference on Graph Transformation, vol. 2505, Barcelona, Spain, Springer-Verlag, pp. 378–392, October 7–12, 2002.
Abstract
"Formal Modeling of BPEL Workflows Including Fault and Compensation Handling",
EFTS '07: Proceedings of the 2007 workshop on Engineering fault tolerant systems, New York, NY, USA, ACM, pp. 1, 2007.
Abstract
"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.