Author of the publication

Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems.

, , , , and . ACM Trans. Embed. Comput. Syst., 16 (4): 106:1-106:24 (2017)

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

The Context of Coordinating Groups in Dynamic Mobile Networks.. COORDINATION, volume 6721 of Lecture Notes in Computer Science, page 49-64. Springer, (2011)Immersive Physiotherapy: Challenges for Smart Living Environments and Inclusive Communities., and . ICOST, volume 8456 of Lecture Notes in Computer Science, page 242-248. Springer, (2014)Opportunistic Crowds: A Place for Device-to-Device Collaboration in Pervasive Crowd Applications.. PerCom Workshops, page 125. IEEE, (2019)Spitty Bifs are Spiffy Bits: Interest-Based Context Dissemination Using Spatiotemporal Bloom Filters., and . MobiQuitous, volume 120 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 164-175. Springer, (2012)Determining Quality- and Energy-Aware Multiple Contexts in Pervasive Computing Environments., , , and . IEEE/ACM Trans. Netw., 24 (5): 3026-3042 (2016)Challenges of satisfying multiple stakeholders: quality of service in the internet of things., , , and . SESENA@ICSE, page 55-60. ACM, (2011)SICC: Source-Initiated Context Construction in Mobile Ad Hoc Networks., , and . IEEE Trans. Mob. Comput., 7 (4): 401-415 (2008)Adaptive Access Control in Coordination-Based Mobile Agent Systems., , and . SELMAS, volume 3390 of Lecture Notes in Computer Science, page 254-271. Springer, (2004)Multi-Modal Data Collection for Measuring Health, Behavior, and Living Environment of Large-Scale Participant Cohorts: Conceptual Framework and Findings from Deployments., , , , , , , , , and 3 other author(s). CoRR, (2020)Scenes: Abstracting interaction in immersive sensor networks., and . Pervasive Mob. Comput., 3 (6): 635-658 (2007)