Author of the publication

Context-sensitive analysis of data interference for concurrent programs.

, , , and . PNSE@Petri Nets, volume 3430 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)

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

Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited., , , and . ICSME, page 73-83. IEEE, (2023)Field-Sensitive Program Slicing., , , and . SEFM, volume 13550 of Lecture Notes in Computer Science, page 74-90. Springer, (2022)Analysis of Discrimination Techniques for Low-Cost Narrow-Band Spectrofluorometers., , , and . Sensors, 15 (1): 611-634 (2015)Program Slicing Techniques with Support for Unconditional Jumps., , and . ICFEM, volume 13478 of Lecture Notes in Computer Science, page 123-139. Springer, (2022)The expression dependence graph., , and . J. Log. Algebraic Methods Program., (2025)A model based hybrid numerical control algorithm for the continuous drying of a thick web in an infrared dryer., , and . ICINCO, page 324-327. INSTICC Press, (2005)Building distributed embedded systems with RTLinux-GPL., and . ETFA (1), page 161-168. IEEE, (2003)Erlang Code Evolution Control., , , and . LOPSTR, volume 10855 of Lecture Notes in Computer Science, page 128-144. Springer, (2017)Thermal Prediction for Immersion Cooling Data Centers Based on Recurrent Neural Networks., , , and . IDEAL (1), volume 11314 of Lecture Notes in Computer Science, page 491-498. Springer, (2018)A Program Slicer for Java (Tool Paper)., , and . SEFM, volume 13550 of Lecture Notes in Computer Science, page 146-151. Springer, (2022)