Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

FSM-based testing from user defined faults adapted to incremental and mutation testing., , , und . Program. Comput. Softw., 38 (4): 201-209 (2012)Equivalence Checking and Intersection of Deterministic Timed Finite State Machines., , , und . CoRR, (2021)Test Translation for Embedded Finite State Machine Components., und . Comput. J., 59 (12): 1805-1816 (2016)Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions., , , und . Comput. J., 58 (11): 2793-2803 (2015)Studying the separability relation between finite state machines., , und . Softw. Test. Verification Reliab., 17 (4): 227-241 (2007)Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets., , , und . Distributed Comput., 16 (1): 21-35 (2003)Virtualizing and Scheduling FPGA Resources in Cloud Computing Datacenters., , , , und . IEEE Access, (2022)On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment., , und . ICTSS, Volume 8763 von Lecture Notes in Computer Science, Seite 198-204. Springer, (2014)FSM Based Interoperability Testing Methods for Multi Stimuli Model., , , und . TestCom, Volume 2978 von Lecture Notes in Computer Science, Seite 60-75. Springer, (2004)FSM Test Translation Through Context., , und . TestCom, Volume 3964 von Lecture Notes in Computer Science, Seite 245-258. Springer, (2006)