Towards Design Verification and Validation at Multiple Levels of Abstraction. - Holger Giese; Martin Kardos; Ulrich Nickel 002 (DIPES, 2002)

ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction. - Martin Kardos; Ulrich Nickel 002 (Abstract State Machines, 2003)

Model Based Formal Verification of Distributed Production Control Systems. - Martin Kardos; Franz J. Rammig (SoftSpez Final Report, 2004)

Verification Framework for UML-Based Design of Embedded Systems. - Martin Kardos; Yuhong Zhao 001 (DIPES, 2004)

An Approach to Model Checking AsmL Specifications. - Martin Kardos (Abstract State Machines, 2005)

Comprehensive Verification Framework for Dependability of Self-optimizing Systems. - Yuhong Zhao 001; Martin Kardos; Simon Oberthür; Franz J. Rammig (ATVA, 2005)

Functional Verification for UML-Based Model Driven Design of Embedded Systems. - Martin Kardos; Norbert Fristacky (IESS, 2005)

Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS. - Yuhong Zhao 001; Simon Oberthür; Norma Montealegre; Franz J. Rammig; Martin Kardos (PPAM, 2005)

Model-based Runtime Verification Framework for Self-optimizing Systems. - Yuhong Zhao 001; Simon Oberthür; Martin Kardos; Franz-Josef Rammig (RV@CAV, 2005)

Extensible framework for graphical representation of HDL models and Simulation Results. - Katarína Jelemenská; Martin Hyben; Tomás Janciga; Martin Kardos; Lubomír Maron; Zsolt Süll (AFRICON, 2013)

Transformation in Model Driven Architecture. - Matilda Drozdova; Martin Kardos; Zuzana Kurillova; Boris Bucko (ISAT (1), 2015)