Claudia Vannucchi

  • Citations Per Year
Learn More
In this paper we show how state-of-the art SMT-based techniques for software verification can be employed in the verification of event–condition–action rules in intelligent environments. Moreover, we exploit the specific features of intelligent environments to optimise the verification process. We compare our approach with previous work in a detailed(More)
Wireless sensor and actuator networks (WSANs) refer to a group of sensors and actuators linked by wireless medium to perform distributed sensing and acting tasks. Being reactive systems, quite often WSANs are programmed by Event-Condition-Action (ECA) rule-based languages. Because of potential interactions among the rules themselves and theirsurprising(More)
  • 1