Author of the publication

Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software.

, , , and . RTSS, page 53-62. IEEE Computer Society, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

NoSE: Efficient Maintenance and Initialization of Wireless Sensor Networks., , , , and . SECON, page 1-9. IEEE, (2009)868 MHz: A noiseless environment, but no free lunch for protocol design., , and . INSS, page 1-8. IEEE, (2012)Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems., , and . FORMATS, volume 6919 of Lecture Notes in Computer Science, page 193-208. Springer, (2011)On the potential of software rejuvenation for long-running sensor network deployments., , and . SESENA@ICSE, page 44-48. ACM, (2010)Think globally, act locally: on the reshaping of information landscapes., , , , and . IPSN, page 265-276. ACM, (2013)Increasing the reliability of wireless sensor networks with a distributed testing framework., , , and . EmNets, page 93-97. ACM, (2007)Investigating Coverage and Connectivity Trade-offs in Wireless Sensor Networks: The Benefits of MOEAs., , , and . MCDM, volume 634 of Lecture notes in economics and mathematical systems, page 211-221. Springer, (2008)On mining sensor network software repositories., , and . SESENA@ICSE, page 25-30. ACM, (2011)Rupeas: Ruby powered event analysis DSL., , and . INSS, page 245-248. IEEE, (2010)Fairness for All, Rate Allocation for Mobile Wireless Networks., , , and . MASS, page 154-162. IEEE Computer Society, (2013)