Home
Experience
Prototypes
Publications
Talks
Awards
Courses
Students
Grants
Service
Contact
CV
Light
Dark
Automatic
UPPAAL
Timed Protocol Analysis of Interconnected Mobile IoT Devices
With the emergence of the Internet of Things (IoT), application developers can rely on a variety of protocols and Application …
Georgios Bouloukakis
,
Nikolaos Georgantas
,
Ajay Kattepur
,
Valerie Issarny
PDF
Cite
Code
Project
DOI
Analysis of Timing Constraints in Heterogeneous Middleware Interactions
With the emergence of Future Internet applications that connect web services, sensor-actuator networks and service feeds, scalability …
Ajay Kattepur
,
Nikolaos Georgantas
,
Georgios Bouloukakis
,
Valerie Issarny
PDF
Cite
Project
Slides
Cite
×