Author of the publication

Looper: Lightweight Detection of Infinite Loops at Runtime.

, , , and . ASE, page 161-169. IEEE Computer Society, (2009)

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

Protocols and intentional specifications of multi-party agent conversions for brokerage and auctions., , and . Agents, page 269-276. ACM, (2000)Implementing Agent Management Using Conversation Patterns and Role Theory., and . IEA/AIE, volume 2070 of Lecture Notes in Computer Science, page 676-686. Springer, (2001)IoT-Based Big Data Secure Management in the Fog Over a 6G Wireless Network., , and . IEEE Internet Things J., 8 (7): 5164-5171 (2021)Security, privacy & efficiency of sustainable Cloud Computing for Big Data & IoT., , , and . Sustain. Comput. Informatics Syst., (2018)Policy based agent management using conversation patterns., and . Agents, page 220-221. ACM, (2001)Testing concurrent programs on relaxed memory models., , and . ISSTA, page 122-132. ACM, (2011)On the schedulability of real-time discrete-event systems., , and . EMSOFT, page 12:1-12:15. IEEE, (2013)Secure integration of IoT and Cloud Computing., , , and . Future Gener. Comput. Syst., (2018)Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models., , and . TACAS, volume 6605 of Lecture Notes in Computer Science, page 11-25. Springer, (2011)Schedulability Analysis and Verification of Real-Time Discrete-Event Systems.. University of California, Berkeley, USA, (2013)base-search.net (ftcdlib:qt41z6x848).