Author of the publication

Automated competitive analysis of real-time scheduling with graph games.

, , , and . Real Time Syst., 54 (1): 166-207 (2018)

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

Fast, Sound and Effectively Complete Dynamic Race Detection.. CoRR, (2019)How Hard Is Weak-Memory Testing?, , , and . Proc. ACM Program. Lang., 8 (POPL): 1978-2009 (January 2024)Value-centric dynamic partial order reduction., , and . Proc. ACM Program. Lang., 3 (OOPSLA): 124:1-124:29 (2019)Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth., , , , and . CoRR, (2020)Passively mobile communicating machines that use restricted space., , , , and . Theor. Comput. Sci., 412 (46): 6469-6483 (2011)Social Balance on Networks: Local Minima and Best Edge Dynamics., , , , and . CoRR, (2022)The Time Scale of Evolutionary Innovation., , , and . PLoS Comput. Biol., (2014)Passively mobile communicating logarithmic space machines, , , , and . (2010)Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (11): 3981-3992 (2020)Maximizing the Probability of Fixation in the Positional Voter Model., , and . AAAI, page 12269-12277. AAAI Press, (2023)