Author of the publication

Model Checking a Self-Adaptive Camera Network with Physical Disturbances.

, , and . ICAC, page 95-104. IEEE, (2019)

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

Camera Networks Dimensioning and Scheduling with Quasi Worst-Case Transmission Time., , , and . ECRTS, volume 106 of LIPIcs, page 17:1-17:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Design and implementation of distributed resource management for time-sensitive applications., , , and . Autom., (2016)Grafcet for intelligent supervisory control applications.. Autom., 30 (10): 1513-1525 (1994)Implementation-Aware Embedded Control Systems., , and . Handbook of Networked and Embedded Control Systems, Birkhäuser, (2005)Preface to special issue on adaptive embedded systems.. Real Time Syst., 49 (3): 337-338 (2013)Rao-Blackwellized Particle Filters With Out-of-Sequence Measurement Processing., , and . IEEE Trans. Signal Process., 62 (24): 6454-6467 (2014)An introduction to control and scheduling co-design., , , and . CDC, page 4865-4870. IEEE, (2000)Storage Allocation for Camera Sensor Networks using Feedback-based Price Discrimination., , and . SENSORNETS, page 34-44. SCITEPRESS, (2022)Storage efficient particle filters with multiple out-of-sequence measurements., , and . FUSION, page 471-478. IEEE, (2012)Modeling of Request Cloning in Cloud Server Systems using Processor Sharing., , , and . ICPE, page 24-35. ACM, (2020)