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

Using Controller-Synthesis Techniques to Build Property-Enforcing Layers., , , and . ESOP, volume 2618 of Lecture Notes in Computer Science, page 174-188. Springer, (2003)Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics., , , , and . PODC, page 227-229. ACM, (2020)On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics., , , , and . PODC, page 21-31. ACM, (2021)Scheduler Modeling Based on the Controller Synthesis Paradigm., , and . Real Time Syst., 23 (1-2): 55-84 (2002)Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework., , and . Sci. Comput. Program., 63 (3): 297-320 (2006)Self-stabilizing Synchronous Unison in Directed Networks., , , and . ICDCN, page 115-124. ACM, (2023)Election in unidirectional rings with homonyms., , , , and . J. Parallel Distributed Comput., (2020)A Methodology for the Construction of Scheduled Systems., , and . FTRTFT, volume 1926 of Lecture Notes in Computer Science, page 106-120. Springer, (2000)Certification of an Exact Worst-Case Self-Stabilization Time., , and . ICDCN, page 46-55. ACM, (2021)Self-stabilizing Systems in Spite of High Dynamics., , , , and . ICDCN, page 156-165. ACM, (2021)