Author of the publication

Detecting problematic message sequences and frequencies in distributed systems.

, , and . OOPSLA, page 915-926. ACM, (2012)

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

Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact., , and . Empirical Software Engineering, 10 (4): 405-435 (2005)Empirically driven SE research: state of the art and required maturity., and . ICSE, page 32. ACM, (2006)Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths., , and . RV, volume 7186 of Lecture Notes in Computer Science, page 381-395. Springer, (2011)Detecting problematic message sequences and frequencies in distributed systems., , and . OOPSLA, page 915-926. ACM, (2012)Freyja: A Full Multirotor System for Agile & Precise Outdoor Flights., , and . ICRA, page 217-223. IEEE, (2021)A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors., , , and . ICRA, page 901-908. IEEE, (2023)Model-Agnostic and Efficient Exploration of Numerical State Space of Real-World TCP Congestion Control Implementations., , , and . NSDI, page 719-734. USENIX Association, (2019)PHYSFRAME: type checking physical frames of reference for robotic systems., , , , and . ESEC/SIGSOFT FSE, page 45-56. ACM, (2021)Toward semantic search via SMT solver., and . SIGSOFT FSE, page 25. ACM, (2012)Controlling factors in evaluating path-sensitive error detection techniques., , and . SIGSOFT FSE, page 92-104. ACM, (2006)