Search the dblp DataBase
Martin Kardos :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Martin Kardos , Ulrich Nickel ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2003, pp:416- [Conf ] Yuhong Zhao , Martin Kardos , Simon Oberthür , Franz J. Rammig Comprehensive Verification Framework for Dependability of Self-optimizing Systems. [Citation Graph (0, 0)][DBLP ] ATVA, 2005, pp:39-53 [Conf ] Martin Kardos , Franz J. Rammig Model Based Formal Verification of Distributed Production Control Systems. [Citation Graph (0, 0)][DBLP ] SoftSpez Final Report, 2004, pp:451-473 [Conf ] Martin Kardos , Yuhong Zhao Verification Framework for UML-Based Design of Embedded Systems. [Citation Graph (0, 0)][DBLP ] DIPES, 2004, pp:21-30 [Conf ] Holger Giese , Martin Kardos , Ulrich Nickel Towards Design Verification and Validation at Multiple Levels of Abstraction. [Citation Graph (0, 0)][DBLP ] DIPES, 2002, pp:71-80 [Conf ] Yuhong Zhao , Simon Oberthür , Norma Montealegre , Franz J. Rammig , Martin Kardos Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS. [Citation Graph (0, 0)][DBLP ] PPAM, 2005, pp:1034-1041 [Conf ] Y. Zhao , Simon Oberthür , Martin Kardos , Franz-Josef Rammig Model-based Runtime Verification Framework for Self-optimizing Systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:125-145 [Journal ] Martin Kardos An Approach to Model Checking AsmL Specifications. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2005, pp:289-304 [Conf ] Search in 0.003secs, Finished in 0.004secs