Autor der Publikation

An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation.

, , und . ISORC, Seite 365-372. IEEE Computer Society, (2007)

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

PLC-Based Safety Critical Software Development for Nuclear Power Plants., , , , und . SAFECOMP, Volume 3219 von Lecture Notes in Computer Science, Seite 155-165. Springer, (2004)Timed High-Level Message Sequence Charts for Real-Time System Design., und . SAM, Volume 4320 von Lecture Notes in Computer Science, Seite 82-98. Springer, (2006)ASA: Agent-based secure ARP cache management., , , und . IET Commun., 6 (7): 685-693 (2012)An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation., , und . ISORC, Seite 365-372. IEEE Computer Society, (2007)Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram., , , und . SAFECOMP, Volume 6351 von Lecture Notes in Computer Science, Seite 223-236. Springer, (2010)Extending the SCR Method for Real-Time Systems., , , und . Real Time Syst., 20 (1): 27-49 (2001)A formal software requirements specification method for digital nuclear plant protection systems., , , , und . J. Syst. Softw., 74 (1): 73-83 (2005)FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs., , , und . SEKE, Seite 48-51. Knowledge Systems Institute Graduate School, (2011)Test cases generation from UML state diagrams., , , und . IEE Proc. Softw., 146 (4): 187-192 (1999)Automatic and lightweight grammar generation for fuzz testing., , und . Comput. Secur., (2013)