Vamos: Middleware for Best-Effort Third-Party Monitoring

Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger. Vamos: Middleware for Best-Effort Third-Party Monitoring. In Leen Lambers, Sebastián Uchitel, editors, Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. Volume 13991 of Lecture Notes in Computer Science, pages 260-281, Springer, 2023. [doi]

Authors

Marek Chalupa

This author has not been identified. Look up 'Marek Chalupa' in Google

Fabian Muehlboeck

This author has not been identified. Look up 'Fabian Muehlboeck' in Google

Stefanie Muroya Lei

This author has not been identified. Look up 'Stefanie Muroya Lei' in Google

Thomas A. Henzinger

This author has not been identified. Look up 'Thomas A. Henzinger' in Google