Concepedia

Martin Kardos

MK

Statistics

Publications

4

Citations

95

H-Index

4

Active since

2005

Affiliations

University of Žilina(Current)

Martin Kardos is an author at University of Žilina specializing in computer science, computing, and systems modeling.

Publications per year

2005–2012

4

Publications

4

Analytical method of CIM to PIM transformation in Model Driven Architecture (MDA

Martin Kardos, Matilda Drozdová · University of Zagreb University Computing Centre (SRCE) · 2010 · 54 citations · Full text

Computing, Information Systems, Model-based Systems Engineering +16

Model-based Runtime Verification Framework for Self-optimizing Systems

Yakun Zhao, Simon Oberthür, Martin Kardos et al. · Electronic Notes in Theoretical Computer Science · 2006 · 18 citations · Full text

Computing, Computer Engineering, Computer Science +17

An Approach to Model Checking AsmL Specifications.

Martin Kardos · 2005 · 12 citations

Computing, Computer Science, Formal Methods +11

Change of paradigm for development of software support for eLearning

Matilda Drozdová, Michal Mokrys, Martin Kardos et al. · 2012 · 11 citations

Education, Computer Science, Educational Technology +6

1–4 of 4