Áron Sisak

  • Citations Per Year
Learn More
It is often considered that a protocol that has been verified for its dependability properties at the protocol level maintains these proven properties over its implementation. Focussing on synchronous protocols, we demonstrate that this assumption can easily be fallacious using the example of an existing formally verified diagnostic protocol as implemented(More)
Ambient intelligent systems continuously gain importance in a variety of application domains. Nowadays one of the most important ambient intelligence domains is assisted living, which involves devices and services supporting elderly people during their everyday life. Typical assisted living applications include health monitoring, remote nursing, and alarm(More)
  • 1