Detecting Abnormalities in IoT Program Executions through Control-Flow-Based Features: Poster Abstract.
Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, 2017
Secure data types: a simple abstraction for confidentiality-preserving data analytics.
Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017
STYX: Stream Processing with Trustworthy Cloud-based Execution.
Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016
Debugging the Internet of Things: The Case of Wireless Sensor Networks.
IEEE Softw., 2015
Software-only system-level record and replay in wireless sensor networks.
Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015
TARDIS: software-only system-level record and replay in wireless sensor networks.
Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015
Diagnostic tracing for wireless sensor networks.
ACM Trans. Sens. Networks, 2013
Lightweight message tracing for debugging wireless sensor networks.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013
Prius: generic hybrid trace compression for wireless sensor networks.
Proceedings of the 10th ACM Conference on Embedded Network Sensor Systems, 2012
Demo abstract: Diagnostic tracing of wireless sensor networks with TinyTracer.
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011
Efficient diagnostic tracing for wireless sensor networks.
Proceedings of the 8th International Conference on Embedded Networked Sensor Systems, 2010
Lightweight tracing for wireless sensor networks debugging.
Proceedings of the Fourth International Workshop on Middleware for Sensor Networks, 2009
SeNDORComm: An Energy-Efficient Priority-Driven Communication Layer for Reliable Wireless Sensor Networks.
Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), 2008
Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking.
ACM Trans. Auton. Adapt. Syst., 2007
MIMO detection employing Markov Chain Monte Carlo
CoRR, 2007
Improving Dependability Using Shared Supplementary Memory and Opportunistic Micro Rejuvenation in Multi-tasking Embedded Systems.
Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007