Martin Kardos

11 papers B 1Misc 1Unranked 9

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