Majzik István
"Configurable Numerical Analysis for Stochastic Systems",
Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR): IEEE, 2016.
"Evaluation of Fault Tolerance Mechanisms with Model Checking",
Proceedings of the 23rd PhD Mini-Symposium, Budapest, Hungary, pp. 30–33, 2016.
"Generic Representation of PLC Programming Languages for Formal Verification",
Proceedings of the 23rd PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 6-9, 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.
"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.
"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.
"Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics",
Computer Safety, Reliability, and Security, vol. 8696: Springer International Publishing, pp. 207-218, 2014.
"K-induction based verification of real-time safety critical systems.",
Conference on Dependability and Complex Systems DepCoS-RELCOMEX, Brunów, Poland, Springer International Publishing, 2013.
"Scenario-based Automated Evaluation of Test Traces of Autonomous Systems",
Proceedings of ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems (DECS) at SAFECOMP'13, Toulouse, France, pp. 181-192, 09/2013.
Abstract
Automated Evaluation of the Test Traces of Autonomous Systems,
, Budapest, Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, pp. 25 pages, 01/2013.
"A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems",
Agent and Multi-Agent Systems. Technologies and Applications, vol. 7327: Springer Berlin / Heidelberg, pp. 504-513, 2012.
Abstract
"Robustness Testing Techniques and Tools",
Resilience Assessment and Evaluation of Computing Systems: Springer Berlin Heidelberg, pp. 323-339, 2012.
"Workflow-Driven Tool Integration Using Model Transformation",
Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday: Springer, pp. 224-248, 2010.
"Ontology-based assessment of software models and development processes for safety-critical systems",
Monographs of System Dependability Vol. 2, Wroclaw, pp. 1 - 12, 2010.
"Model-based Integration Framework for Development and Testing Tool-chains",
FORMS/FORMAT 2010, the 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, Springer Verlag, Berlin, pp. 204-212, 03/12/2010.
"Design and Evaluation of a Safe Driver Machine Interface",
INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 5, issue 2, pp. 153 - 166, 2009.
"Supporting design and development of safety critical applications by model based tools",
ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTIENSIS DE ROLANDO EOTVOS NOMINATAE - SECTIO COMPUTATORICA, vol. 30, pp. 61 - 78, 2009.
"A Modell Based Framework for Specifying and Executing Fault Injection Experiments.",
Proc. of the 4th International Conference on Dependability of Computer Systems., Brunów, Poland, pp. 107-114, June, 2009.
"From assessment to standardised benchmarking: Will it happen? What could we do about it?",
Proc. 39th IEEE/IFIP Symposium on Dependable Systems and Networks (DSN 2009), pp. 295 - 296, 2009.
"Model-based Integration, Execution and Certification of Development Tool-chains",
Proceedings of the 2nd ECMDA Workshop on Model-Driven Tool & Process Integration, Enschede, pp. * - 10, 2009.
"Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach",
Proc. 6th Int. Conf. on the Quantitative Evaluation of Systems (QEST 2009), pp. 95 - 96, 2009.
"Integration of OLAP and Data Mining for Analysis of Results from Dependability Evaluation Experiments",
INTERNATIONAL JOURNAL OF KNOWLEDGE MANAGEMENT STUDIES, vol. 2, issue 4, pp. 480 - 498, 2008.
Abstract
"Tool Support for Engineering Certifiable Software",
Electr. Notes Theor. Comput. Sci., vol. 238, no. 4, pp. 79-85, 2008.
Abstract
"Analysis of the Impact of Communication Protocols on Service Quality in ERTMS Automatic Train Control Systems",
Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 225 - 232, 2008.
"Automated Verification of Complex Behavioral Models Using the SAL Model Checker",
Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 35 - 42, 2008.
