Martin Kardos

Publication Activity (10 Years)

Years Active: 2002-2015
Publications (10 Years): 0

Top Topics

Model Driven Architecture

Modeling Language

Graphical Representations

Top Venues

Publications

Matilda Drozdova, Martin Kardos, Zuzana Kurillova, Boris Bucko
Transformation in Model Driven Architecture. ISAT (1) (2015)
Katarína Jelemenská, Martin Hyben, Tomás Janciga, Martin Kardos, Lubomír Maron, Zsolt Süll
Extensible framework for graphical representation of HDL models and Simulation Results. AFRICON (2013)
Yuhong Zhao, Simon Oberthür, Martin Kardos, Franz-Josef Rammig
Model-based Runtime Verification Framework for Self-optimizing Systems. Electron. Notes Theor. Comput. Sci. 144 (4) (2006)
Yuhong Zhao, Martin Kardos, Simon Oberthür, Franz J. Rammig
Comprehensive Verification Framework for Dependability of Self-optimizing Systems. ATVA (2005)
Yuhong Zhao, Simon Oberthür, Norma Montealegre, Franz J. Rammig, Martin Kardos
Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS. PPAM (2005)
Martin Kardos
An Approach to Model Checking AsmL Specifications. Abstract State Machines (2005)
Martin Kardos, Norbert Fristacky
Functional Verification for UML-Based Model Driven Design of Embedded Systems. IESS (2005)
Martin Kardos, Franz J. Rammig
Model Based Formal Verification of Distributed Production Control Systems. SoftSpez Final Report (2004)
Martin Kardos, Yuhong Zhao
Verification Framework for UML-Based Design of Embedded Systems. DIPES (2004)
Martin Kardos, Ulrich Nickel
ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction. Abstract State Machines (2003)
Holger Giese, Martin Kardos, Ulrich Nickel
Towards Design Verification and Validation at Multiple Levels of Abstraction. DIPES (2002)