Author of the publication

Specification and Verification of a Multi-agent Coordination Protocol with TLA+.

, , and . SBESC, page 207-212. IEEE, (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

A Rate Controller for Long-Lived TCP Flows., , and . IDMS/PROMS, volume 2515 of Lecture Notes in Computer Science, page 154-165. Springer, (2002)Towards a Communication Network Model Generator for Evaluating Smart Grid Applications., , , and . ETFA, page 1-4. IEEE, (2016)Comparison of Tail Drop and Active Queue Management Performance for Bulk-Data and Web-Like Internet Traffic., , , , , and . ISCC, page 122-129. IEEE Computer Society, (2001)AC algorithms in AQUILA QoS IP network., , , , and . European Transactions on Telecommunications, 16 (3): 225-232 (2005)Specification and Verification of a Multi-agent Coordination Protocol with TLA+., , and . SBESC, page 207-212. IEEE, (2018)Policy based QoS Monitoring: Automated Learning Strategies for Policy Enhancement., , , , and . WINSYS, page 291-297. INSTICC Press, (2007)Engineering and validation support framework for power system automation and control applications., , , , , , and . Elektrotech. Informationstechnik, 137 (8): 470-475 (2020)Towards scalable and adaptable security monitoring., , and . IPCCC, page 1-6. IEEE Computer Society, (2017)Improvements in OMNeT++/INET Real-Time Scheduler for Emulation Mode., , , and . CoRR, (2015)Towards automated engineering and validation of cyber-physical energy systems., , , , , , and . Energy Inform., (2019)