Xenofon Koutsoukos

TL;DR: RoboScape is a collaborative, networked robotics environment that makes key ideas in computer science accessible to groups of learners in informal learning spaces and K-12 classrooms that is built on top of NetsBlox, an open-source, networking, visual programming environment based on Snap! that is specifically designed to introduce students to distributed computation and computer networking.

TL;DR: A stochastic hybrid system (SHS) framework for modelling biochemical systems and a probabilistic verification method for computing the probability of sugar cataract formation for different chemical concentrations using safety and reachability analysis methods for SHSs is presented.

TL;DR: In this article, the authors provide a method which characterizes the coverage of an ad hoc sensor network by defining a sensing field over the space within which the physical phenomenon of interest occurs.

TL;DR: An integrated toolchain is introduced that supports the architectural modeling of CPS with LECs, but also has extensive support for the engineering and integration of L ECs, including support for training data collection, L EC training, LEC evaluation and verification, and system software deployment.

TL;DR: This paper presents a service-oriented programming model for sensor networks which permits discovery and access of Web services and provides dynamic discovery, composition, and binding of services based on an efficient localized constraint satisfaction algorithm that can be used for developing ambient-aware applications that adapt to changes in the environment.