Run-Time Verification of Behaviour-Aware Mashups in the Internet of ThingsLaura González, Raúl Ruggia, Javier Cubo et al.|Communications in computer and information science|2013Cited by 9
Towards Run-Time Verification of Compositions in the Web of Things using Complex Event ProcessingJavier Cubo, Raúl Ruggia, Laura González et al.|CINECA IRIS Institutial research information system (University of Pisa)|2013Cited by 4
Dynamic Verification of Mashups of Service-Oriented Things through a Mediation PlatformAntonio Brogi, Raúl Ruggia, Ernesto Pimentel et al.|CINECA IRIS Institutial research information system (University of Pisa)|2020Cited by 1