Publications
Filters: First Letter Of Last Name is N [Clear All Filters]
"Formal verification of function block based specifications of safety-critical software",
Proceedings of the 8th International Conference on The Modern Information Technology in the Innovation Processes of the Industrial Enterprises, Budapest, MTA SZTAKI - Amulett'98, pp. 211 - 218, 2006///.
"Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets",
Reliability Engineering & System Safety, vol. 94, issue 5, pp. 942 - 953, 2009.
UT: 000264542300006
"Formal Verification of Safety Functions by Reinterpretation of Functional Block based Specifications",
13th international workshop on formal methods for industrial critical systems (FMICS), pp. 219 - 234, 2008.
Abstract
"Verification of the PRISE safety procedure by formal methods",
Proceedings of the 8th International PhD Workshop on Systems and Control, pp. 49 - 56, 2007.
On CD
"Class Responsibility Assignment Case: a VIATRA-DSE Solution",
9th Transformation Tool Contest, Vienna, Austria, 2016.
"Effects of Graph Transformation Rules to Design Space Exploration Problems",
Proceedings of the 24th PhD Mini-Symposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 03/2017.
"Simulation-based Safety Assessment of High-level Reliability Models",
4th Workshop on Models for Formal Analysis of Real Systems, 2020.
Abstract