Author of the publication

Error-Completion in Interface Theories.

, , , and . SPIN, volume 7976 of Lecture Notes in Computer Science, page 358-375. Springer, (2013)

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

IoT-Based Big Data Secure Management in the Fog Over a 6G Wireless Network., , and . IEEE Internet Things J., 8 (7): 5164-5171 (2021)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)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)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)Secure integration of IoT and Cloud Computing., , , and . Future Gener. Comput. Syst., (2018)On the schedulability of real-time discrete-event systems., , and . EMSOFT, page 12:1-12:15. IEEE, (2013)Schedulability Analysis and Verification of Real-Time Discrete-Event Systems.. University of California, Berkeley, USA, (2013)base-search.net (ftcdlib:qt41z6x848).