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

Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications., , , , and . Embedded Systems Letters, 5 (1): 8-11 (2013)Anytime Contract Search., , and . SGAI Conf., page 139-155. Springer, (2013)Parallel Efficient Sparse Matrix-Matrix Multiplication on Multicore Platforms., , , , , , , , , and . ISC, volume 9137 of Lecture Notes in Computer Science, page 48-57. Springer, (2015)Explicable Robot Planning as Minimizing Distance from Expected Behavior., , , , , and . CoRR, (2016)Robustness Analysis of Embedded Control Systems with Respect to Signal Perturbations: Finding Minimal Counterexamples Using Fault Injection., and . IEEE Trans. Dependable Sec. Comput., 11 (1): 45-58 (2014)Anytime pack search., , and . Natural Computing, 15 (3): 395-414 (2016)Finding Critical Components in Embedded Control Systems Sensitive to Quality-Faults., , , , and . ISED, page 167-171. IEEE, (2012)A Game Theoretic Approach to Strategy Generation for Moving Target Defense in Web Applications., , , , , , and . AAMAS, page 178-186. ACM, (2017)Incremental Beam search., , and . Inf. Process. Lett., 113 (22-24): 888-893 (2013)A Combinatorial Search Perspective on Diverse Solution Generation., and . AAAI, page 776-783. AAAI Press, (2016)