Publications
]
"Formal Verification of Function Block Diagram based Specifications for the I&C",
System Software in NPPsIAEA Technical Meeting on "Common Cause Failures in Digital Instrumentation and Control Systems of Nuclear Power Plants", Bethesda, 2007.
Abstract
Art. No.: 27L3: citeulike-article-id:3911635KW: formal verification
On CD
"Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications",
Formal Methods for Industrial Critical Systems: Springer Verlag, pp. 199 - 214, 2009.
"Backward error recovery in the APEmille parallel computer",
Proc. of the 3rd European Dependable Computing Conf., Prague, Czech Republic, Lecture Notes in Computer Science. Springer Berlin, 1999.
"Probabilistic System-Level Fault Diagnostic Algorithms for Multiprocessors",
Parallel Computing, vol. 22, pp. 1807 - 1821, 1997.
Abstract
UT: A1997WM04500008L3: citeulike-article-id:3911659KW: system-level diagnosis
ISSN 0167-8191
Special issue: distributed and parallel systems: environments and tools
Formal Modelling and Verification of Specifications for the I&C System Software in NPPs,
, 2006.
Art. No.: 11On CD
"Modeling and Parameter Estimation of the Primary Circuit of Paks",
NPPIAEA Regional Workshop on "Modernization Projects of NPP Instrumentation and Control Systems Related to Power Uprates and Licence Renewals Project (RER/4/027)", Bécs, 2008.
Abstract
Art. No.: 29On CD
"Integrált irányítási alkalmazások járműrendszerekben.",
Jövő Járműve - Járműipari Innováció, issue 1-2, pp. 28 - 31, 2007.
Incremental graph pattern matching and applications,
: Budapest University of Technology and Economics, May, 2008.
"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.
"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%
"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.
"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%
"Ú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%
"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.
"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
"Parallelization of Incremental Pattern Matching in Graph Transformation",
Proceedings of the 16th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 10–11, 2009.
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
"Controllable and decomposable multidirectional synchronizations",
Software and Systems Modeling, 04/2021.
"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.
"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%
"Change-driven model transformations. Change (in) the rule to rule the change.",
Software and Systems Modeling, vol. 11, issue 3: Springer Berlin / Heidelberg, pp. 431-461, 2012.
"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
"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.
