Publikációk
"Sharded Joins for Scalable Incremental Graph Queries",
Proceedings of the 23rd PhD Mini-Symposium, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2016.
"Towards the Characterization of Realistic Models: Evaluation of Multidisciplinary Graph Metrics",
ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, MODELS 2016, Saint Malo, France, 2016.
Acceptance rate: 23.7%
"Rete Network Slicing for Model Queries",
Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, vol. 9761, Vienna, Austria, Springer International Publishing, pp. 137–152, 06/2016.
Abstract
"Iterative and incremental model generation by logic solvers",
19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven, The Netherlands, 04/2016.
"A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol",
Software Engineering for Resilient Systems, vol. 9274: Springer International Publishing, pp. 31-45, 09/15, 2015.
"New Search Strategies for the Petri Net CEGAR Approach",
Application and Theory of Petri Nets and Concurrency, vol. 9115: Springer, pp. 309-328, 2015.
Abstract
"Saturation-based Incremental LTL Model Checking with Inductive Proofs",
Tools and Algorithms for the Construction and Analysis of Systems, vol. 9035: Springer, pp. 643-657, 2015.
"Applying Model Checking to Industrial-Sized PLC Programs",
IEEE Transactions on Industrial Informatics, vol. 11, issue 6: IEEE, pp. 1400-1410, 12/2015.
"Performance Comparison of Query-based Techniques for Anti-Pattern Detection",
Information and Software Technology, vol. 65, pp. 147-165, 09/2015.
Abstract
"A model-driven framework for guided design space exploration",
Automated Software Engineering, vol. 22, issue 3, pp. 399-436, 08/2014, 2015.
Abstract
"Formal Validation of Domain-Specific Languages with Derived Features and Well-Formedness Constraints",
International Journal on Software and Systems Modeling, 07/2015.
"EMF-IncQuery: An Integrated Development Environment for Live Model Queries",
Science of Computer Programming, vol. 98, issue 1, 02/2015.
Abstract
"Property-Based Methods for Collaborative Model Development",
3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, Ottawa,Canada, 2015/09.
"A formal specification method for PLC-based applications",
Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems, Melbourne, Australia, JACoW, pp. 907-910, 10/2015.
"PLCverif: A tool to verify PLC programs based on model checking techniques",
Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems, Melbourne, Australia, JACoW, pp. 911-914, 10/2015.
"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
"Viatra 3 : A Reactive Model Transformation Platform",
8th International Conference on Model Transformations, L'Aquila, Italy, Springer, 07/2015.
Abstract
"Data Analysis Based Capacity Planning of VCL Clouds",
3rd International IBM Cloud Academy Conference ICACON 2015, Budapest, 05/2015.
"SEViz: A Tool for Visualizing Symbolic Execution",
IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), Graz, Austria, IEEE, 04/2015.
"Requirements towards a formal specification language for PLCs",
Proceedings of the 22nd PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 18-21, 02/2015.
"Identification of Dependability Models from Large Observation Sets",
23rd Minisymposium of the Department of Measurement and Information Systems, Budapest, IEEE, 01/2015.
"Java Refactoring Case: a VIATRA Solution",
8th Transformation Tool Contest, L'Aquila, Italy, 2015.
"Optimization of Incremental Queries in the Cloud",
CloudMDE, 2015.
"Train Benchmark Case: an EMF-IncQuery Solution",
8th Transformation Tool Contest, L'Aquila, Italy, 2015.
"The TTC 2015 Train Benchmark Case for Incremental Model Validation",
Transformation Tool Contest, 2015.