Martin Kardos

According to our database, Martin Kardos authored at least 11 papers between 2002 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Transformation in Model Driven Architecture.

Matilda Drozdova, Martin Kardos, Zuzana Kurillova, Boris Bucko

Proceedings of the Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology - ISAT 2015, 2015

2013

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

Proceedings of the AFRICON 2013, Pointe aux Piments, Mauritius, September 9-12, 2013, 2013

2005

Model-based Runtime Verification Framework for Self-optimizing Systems.

Yuhong Zhao, Simon Oberthür, Martin Kardos, Franz-Josef Rammig

Proceedings of the Fifth Workshop on Runtime Verification, 2005

Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS.

Yuhong Zhao, Simon Oberthür, Norma Montealegre, Franz J. Rammig, Martin Kardos

Proceedings of the Parallel Processing and Applied Mathematics, 2005

Functional Verification for UML-Based Model Driven Design of Embedded Systems.

Martin Kardos, Norbert Fristacky

Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005

Comprehensive Verification Framework for Dependability of Self-optimizing Systems.

Yuhong Zhao, Martin Kardos, Simon Oberthür, Franz J. Rammig

Proceedings of the Automated Technology for Verification and Analysis, 2005

An Approach to Model Checking AsmL Specifications.

Martin Kardos

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

Verification Framework for UML-Based Design of Embedded Systems.

Martin Kardos, Yuhong Zhao

Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

Model Based Formal Verification of Distributed Production Control Systems.

Martin Kardos, Franz J. Rammig

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2003

ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction.

Martin Kardos, Ulrich Nickel

Proceedings of the Abstract State Machines, 2003

2002

Towards Design Verification and Validation at Multiple Levels of Abstraction.

Holger Giese, Martin Kardos, Ulrich Nickel

Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17^th World Computer Congress, 2002