Filters: First Letter Of Last Name is I [Clear All Filters]
"Design and Evaluation of a Safe Driver Machine Interface", INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 5, issue 2, pp. 153 - 166, 2009.
"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.
"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///.
"Modeling and Analysis of Architectural Styles", Proc ESEC 2003: 9th European Software Engineering Conference, Helsinki, Finland, ACM Press, pp. 68–77, September, 2003.
Acceptance rate: 20%
"Ontology driven design of EMF metamodels and well-formedness constraints", Proceedings of the 12th Workshop on OCL and Textual Modelling, New York, NY, USA, ACM, pp. 37–42, 2012.
"Ontology-based assessment of software models and development processes for safety-critical systems", Monographs of System Dependability Vol. 2, Wroclaw, pp. 1 - 12, 2010.
"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.
"A software integration approach for designing and assessing dependable embedded systems", Journal of Systems and Software, vol. 83, no. 10, pp. 1780-1800, 2010.
"Superscalable modeling systems", Proceedings of the 20th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2013.
"Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking", Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Entreprises (MITIP 2012), Budapest, Hungary, Hungarian Academy of Sciences, Computer and Automation Research Institute (MTA SZTAKI), 10/2012.