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 constraints on memory management for composite overloaded operations., , and . Sci. Program., 14 (1): 27-40 (2006)Q: A Sound Verification Framework for Statecharts and Their Implementations., , , , , , , and . FTSCS, page 16-26. ACM, (2022)Formal verification and validation of run-to-completion style state charts using Event-B., , , , , and . Innov. Syst. Softw. Eng., 18 (4): 523-541 (2022)On the object-oriented design of reference-counted shadow objects., , and . SE-CSE@ICSE, page 19-27. ACM, (2011)Fault Resilient Domain Decomposition Preconditioner for PDEs., , , , , , , , and . SIAM J. Sci. Comput., (2015)Exploring capabilities within ForTrilinos by solving the 3D Burgers equation., , , and . Sci. Program., 20 (3): 275-292 (2012)Exploring the interplay of resilience and energy consumption for a task-based partial differential equations preconditioner., , , , , , , and . Parallel Comput., (2018)Raising the Bar: Assurance Cases for Scientific Software., , , , and . Comput. Sci. Eng., 23 (1): 47-57 (2021)Performance Scaling Variability and Energy Analysis for a Resilient ULFM-based PDE Solver., , , , , , , , and . ScalA@SC, page 41-48. IEEE Computer Society, (2016)Refinement and Verification of Responsive Control Systems., , , , , and . ABZ, volume 12071 of Lecture Notes in Computer Science, page 272-277. Springer, (2020)