Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Execution Ordering in AND/OR Graphs with Failure Probabilities., , and . SOCS, AAAI Press, (2012)Multi-objective Low-Power CDFG Scheduling Using Fine-Grained DVS Architecture in Distributed Framework., , , , and . ISED, page 267-271. IEEE, (2012)Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures., , , and . CoRR, (2014)Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems., , and . FDL, page 36-43. IEEE, (2012)Operator Scheduling Revisited: A Multi-objective Perspective for Fine-Grained DVS Architecture., , , and . ACITY (3), volume 178 of Advances in Intelligent Systems and Computing, page 633-648. Springer, (2012)Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended Abstract., , , and . IJCAI, page 3156-3160. IJCAI/AAAI, (2013)Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications., , , , and . Embedded Systems Letters, 5 (1): 8-11 (2013)Verification by parts: reusing component invariant checking results., , and . IET Computers & Digital Techniques, 6 (1): 19-32 (2012)Formal Guarantees for Localized Bug Fixes., , , , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 32 (8): 1274-1287 (2013)POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads., , , , , , and . J. Low Power Electronics, 8 (3): 293-303 (2012)