Publications
]
"Query-driven soft interconnection of EMF models",
ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems, Innsbruck, Austria, Springer, LNCS 7590, 09/2012.
Abstract
Acceptance rate: 23%
"Query-driven soft traceability links for models",
Software & Systems Modeling, vol. 15, issue 3, pp. 733-756, 2014.
Abstract
"Quick fix generation for DSMLs",
IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2011, Pittsbourgh, PA, USA, IEEE Computer Society, 09/2011.
Abstract
Acceptance rate: 33%
"Reachability Analysis of Petri-nets by FPGA Based Accelerators",
Proc. Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS'98), pp. 307 - 312, 1998.
"Reachability and Timing Analysis in Data Flow Networks: A Case Study",
Proceedings of the 22nd EUROMICRO Conference: IEEE Computer Society Press, pp. 193 - 200, 1996.
"Recursive Graph Pattern Matching: With Magic Sets and Global Search Plans",
Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007), vol. 5088: Springer, 2007.
Abstract
"Replaying Execution Trace Models for Dynamic Modeling Languages",
Periodica Polytechnica-Electrical Engineering, vol. 56, issue 3, pp. 71-82, 2012.
Abstract
"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.
"A Resilient SIL 2 Driver Machine Interface for Train Control Systems",
Proc. 3rd International Conference on Dependability of Computer Systems (DepCoS - RELCOMEX), pp. 365 - 374, 2008.
"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
"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.
"Ritka események",
Intelligens adatelemzés: Typotex Kft., 2014.
"Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework",
Software {&} Systems Modeling, vol. 15, issue 3, no. 3, pp. 609–629, 05/2016.
Abstract
"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.
"Robustness Testing Techniques and Tools",
Resilience Assessment and Evaluation of Computing Systems: Springer Berlin Heidelberg, pp. 323-339, 2012.
"Robustness Testing Techniques For High Availability Middleware Solutions",
Proc. of International Workshop on Engineering of Fault Tolerant Systems (EFTS2006): University of Luxembourg, pp. 55 - 66, 2006.
"Run-time Verification of Statechart Implementations",
Proceedings of the 12th PhD Mini-Symposium of the Department of Measurement and Information Systems: BME, pp. 46 - 47, 2005.
"Runtime verification of statechart implementations",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 3549, pp. 148 - 172, 2005.
Abstract
"Sampling and Parameter Testing in Large IT Infrastructure Graphs",
Proc. of the 18th PhD Mini-Symposium, Budapest, Hungary, pp. 10–14, 2011.
"Sampling the IT infrastructure",
Spring Wind 2011, Piliscsaba, Hungary, 2011.
"Saturation Enhanced with Conditional Locality: Application to Petri Nets",
Application and Theory of Petri Nets and Concurrency - 40th International Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019, Proceedings, pp. 342–361, 06/2019.
"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.
"Saying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case",
TTC 2011: Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Post-Proceedings, vol. 74, Zürich, Switzerland, Open Publishing Association, pp. 302-324, 11/2011.
Abstract
"Scalable Graph Query Evaluation and Benchmarking with Realistic Models",
ACM/IEEE MODELS conference, ACM Student Research Competition (SRC), sponsored by Microsoft Research, 2016.
Won 1st prize at MODELS SRC 2016. A significantly enhanced version of this paper was submitted to the ACM SRC 2017 grand finals with the same title (see my 2017 publication). I recommend reading that paper instead of this one.
"Scalable Graph Query Evaluation and Benchmarking with Realistic Models",
ACM SRC Grand Finals, online competition, ACM, 05/2017.
This is not a separate publication, but is based on the MODELS ACM SRC paper of the same title, which won 1st place in 2016. This is a significantly enhanced version, so I recommend reading this paper instead of its predecessor.
