Publications
2023
- Cheating off your neighbors: Improving activity recognition through corroborationarXiv preprint arXiv:2306.06078 2023
- WarbleSasha: creative goal-oriented reasoning in smart homes with large language modelsarXiv preprint arXiv:2305.09802 2023
- Sensor-Controlled Digital Game for Heart Failure Self-management: Protocol for a Randomized Controlled TrialJMIR research protocols 2023
- OppCLIDML: Incentivized decentralized machine learningarXiv preprint arXiv:2304.05354 2023
- Warble"Get ready for a party": Exploring smarter smart spaces with help from large language modelsarXiv preprint arXiv:2303.14143 2023
- Physical Activity Interventions to Reduce Metabolic Risk Factors to Cognitive HealthKinesiology Review 2023
- Linking Learning Fundamental Reinforcement Learning Concepts with Being Physically ActiveIn Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 2 2023
2022
- WarbleContext-aware privacy-preserving access control for mobile computingPervasive and Mobile Computing 2022
- Integrating Computer Science and Physical Education in Elementary Schools with Data Science Learning Modules Using Wearable MicrocontrollersIn 2022 IEEE 19th International Conference on Mobile Ad Hoc and Smart Systems (MASS) 2022
- Guidelines for Artifacts to Support Industry-Relevant Research on Self-AdaptationACM SIGSOFT Software Engineering Notes 2022
- Computer Science & Physical Activity In Elementary Schools: MoveSmart Initial Efficacy: 2312Medicine & Science in Sports & Exercise 2022
- A Sensor-Controlled Digital Game for Heart Failure Self-Care Based on Behavioral Change FrameworksIn 2022 IEEE 10th International Conference on Serious Games and Applications for Health(SeGAH) 2022
- WarbleCopi: enabling probabilistic conflict prediction in smart space through context-awarenessIn 2022 IEEE/ACM Seventh International Conference on Internet-of-Things Design and Implementation (IoTDI) 2022
- OppCLPrototyping opportunistic learning in resource constrained mobile devicesIn 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) 2022
- OppCLFacilitating Decentralized and Opportunistic Learning in Pervasive ComputingIn 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) 2022
- Cyber-Physical SystemsACM Transactions on 2022
- OppCLSwarm: Playground for Large-scale Decentralized Learning SimulationsIn 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) 2022
- SmartProject moveSMART: When Physical Education Meets Computational Thinking in Elementary Classrooms2022
2021
- GamifyHealth: A Generic Software Framework for Health Behavioral ChangeIn International Conference on Pervasive Computing Technologies for Healthcare 2021
- Feasibility of a sensor-controlled digital game for heart failure self-management: Randomized controlled trialJMIR Serious Games 2021
- SmartDevelopment of a school-based physical activity intervention using an integrated approach: project SMARTFrontiers in Psychology 2021
- OppCLOpportunistic federated learning: An exploration of egocentric collaboration for pervasive computing applicationsIn 2021 IEEE International Conference on Pervasive Computing and Communications (PerCom) 2021
- WarbleArciot: Enabling intuitive device control in the internet of things through augmented realityIn 2021 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) 2021
- SmartProject SMART: A cooperative educational game to increase physical activity in elementary schoolsSmart Health 2021
2020
- Usability testing of a sensor-controlled digital game to engage older adults with heart failure in physical activity and weight monitoringApplied Clinical Informatics 2020
-
- SmartSensor-controlled Digital Game May Improve Weight Monitoring Among Older Adults With Heart FailureCirculation 2020
- A privacy-aware architecture to share device-to-device contextual informationIn 2020 IEEE International Conference on Smart Computing (SMARTCOMP) 2020
2019
- Usability assessment of a sensor-controlled digital game for older adults with heart failureInnovation in Aging 2019
- LAD: Learning Access Control Polices and Detecting Access Anomalies in Smart EnvironmentsIn 2019 IEEE 16th International Conference on Mobile Ad Hoc and Sensor Systems (MASS) 2019
- rIoT: Enabling seamless context-aware automation in the internet of thingsIn 2019 IEEE 16th International Conference on Mobile Ad Hoc and Sensor Systems (MASS) 2019
- Dataset: User side acquisition of People-Centric sensing in the Internet-of-ThingsIn Proceedings of the 2nd Workshop on Data Acquisition To Analysis 2019
- Jive: Spatially-Constrained Encryption Key Sharing Using Visible Light CommunicationIn Proceedings of the 16th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services 2019
- Warble: Programming abstractions for personalizing interactions in the internet of thingsIn 2019 IEEE/ACM 6th International Conference on Mobile Software Engineering and Systems (MOBILESoft) 2019
- Improving Child Health through Technology-Supported Active Transport: A Survey of Parent PerspectivesIn Proceedings of the 13th EAI International Conference on Pervasive Computing Technologies for Healthcare 2019
- Role of digital games in self-management of cardiovascular diseases: A scoping reviewGames for health journal 2019
- Scents: Collaborative sensing in proximity iot networksIn 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) 2019
- Stacon: Self-stabilizing context neighborhood for mobile iot devicesIn 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) 2019
- Reminisce: Transparent and Contextually-Relevant RetrospectionIn 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) 2019
- Pervasive computing middleware: current trends and emerging challengesCCF Transactions on Pervasive Computing and Interaction 2019
2018
- Intelligent Information Sharing Among IoT Devices: Models, Strategies, and LanguageIn 2018 IEEE International Conference on Electro/Information Technology (EIT) May 2018
- WarblePaco: A System-Level Abstraction for On-Loading Contextual Data to Mobile DevicesIEEE Transactions on Mobile Computing May 2018
- BLOC: A Game-Theoretic Approach to Orchestrate CPS against Cyber AttacksIn 2018 IEEE Conference on Communications and Network Security (CNS) May 2018
- Using the Internet of Things to Teach Good Software Engineering Practice to High School StudentsMay 2018
- Omni: An Application Framework for Seamless Device-to-Device Interaction in the WildIn Proceedings of the 19th International Middleware Conference Nov 2018
- PINCH: Self-Organized Context Neighborhoods for Smart EnvironmentsIn 2018 IEEE 12th International Conference on Self-Adaptive and Self-Organizing Systems (SASO) Sep 2018
- Efficient and Scalable Runtime Monitoring for Cyber–Physical SystemIEEE Systems Journal Jun 2018
2017
- Size efficient big data sharing among Internet of Things devicesIn 2017 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) Mar 2017
- BLEnd: practical continuous neighbor discovery for Bluetooth low energyIn Proceedings of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks Apr 2017
- Data-Directed Contextual Relevance in the IoTIn 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) May 2017
- Lasso: A device-to-device group monitoring service for smart citiesIn 2017 International Smart Cities Conference (ISC2) Sep 2017
- Real-Time Simulation Support for Runtime Verification of Cyber-Physical SystemsACM Transactions on Embedded Computing Systems Nov 2017
- Perceptions on the State of the Art in Verification and Validation in Cyber-Physical SystemsIEEE Systems Journal Dec 2017
2016
- Chitchat: Navigating tradeoffs in device-to-device context sharingIn 2016 IEEE International Conference on Pervasive Computing and Communications (PerCom) Mar 2016
- XD (exchange-deliver): #a middleware for developing device-to-device mobile applicationsIn Proceedings of the International Conference on Mobile Software Engineering and Systems May 2016
- SEMComm: Sharing Electronic Medical Records using Device to Device CommunicationIn Proceedings of the Posters and Demos Session of the 17th International Middleware Conference Dec 2016
- From Human Mobility to Data Mobility: Leveraging Spatiotemporal History in Device-to-Device Information DiffusionIn 2016 17th IEEE International Conference on Mobile Data Management (MDM) Jun 2016
- Quality and Context-Aware Smart Health Care: Evaluating the Cost-Quality DynamicsIEEE Systems, Man, and Cybernetics Magazine Apr 2016
- Determining Quality- and Energy-Aware Multiple Contexts in Pervasive Computing EnvironmentsIEEE/ACM Transactions on Networking Oct 2016
- MASON: an open development contextual sensing framework enabling reactive applicationsIn Proceedings of the International Conference on Mobile Software Engineering and Systems May 2016
2015
- The Grapevine Context Processor: Application Support for Efficient Context SharingIn 2015 2nd ACM International Conference on Mobile Software Engineering and Systems May 2015
- Demo abstract MoodChat: Using context-awareness to connect likeminded co-located individualsIn 2015 IEEE International Conference on Pervasive Computing and Communication Workshops (PerCom Workshops) Mar 2015
-
- Demo abstract disseminate: A demonstration of device-to-device media disseminationIn 2015 IEEE International Conference on Pervasive Computing and Communication Workshops (PerCom Workshops) Mar 2015
- Verification and Validation in Cyber Physical Systems: Research Challenges and a Way ForwardIn 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems May 2015
2014
- Efficient Decentralized Context Sharing via Smart AggregationIn 2014 IEEE 11th International Conference on Mobile Ad Hoc and Sensor Systems Oct 2014
- Balance: Budget-driven smart thermostat controlIn 2014 IEEE International Workshop on Intelligent Energy Systems (IWIES) Oct 2014
-
- Gander: Mobile, Pervasive Search of the Here and Now in the Here and NowIEEE Internet of Things Journal Oct 2014
- Software engineering for mobility: reflecting on the past, peering into the futureIn Future of Software Engineering Proceedings May 2014
- Demo: MadApp: Dynamic content support for delay-tolerant web applicationsIn 2014 IEEE International Conference on Pervasive Computing and Communication Workshops (PERCOM WORKSHOPS) Mar 2014
- MadApp: A Middleware for Opportunistic Data in Mobile Web ApplicationsIn 2014 IEEE 15th International Conference on Mobile Data Management Jul 2014
- Trust-Based, Privacy-Preserving Context Aggregation and Sharing in Mobile Ubiquitous ComputingJul 2014
- Physically informed assertions for cyber physical systems development and debuggingIn 2014 IEEE International Conference on Pervasive Computing and Communication Workshops (PERCOM WORKSHOPS) Mar 2014
- BraceForce: a middleware to enable sensing integration in mobile applications for novice programmersIn Proceedings of the 1st International Conference on Mobile Software Engineering and Systems - MOBILESoft 2014 Mar 2014
- WiP abstract: BraceForce: Software engineering support for sensing in CPS applicationsIn 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) Apr 2014
2013
- Spitty Bifs are Spiffy Bits: Interest-Based Context Dissemination Using Spatiotemporal Bloom FiltersApr 2013
2012
- On coordination in practical multi-robot patrolIn 2012 IEEE International Conference on Robotics and Automation May 2012
- Evasion planning for autonomous vehicles at intersectionsIn 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems Oct 2012
- BRACE: An assertion framework for debugging cyber-physical systemsIn 2012 34th International Conference on Software Engineering (ICSE) Jun 2012
- A Platform for Evaluating Autonomous Intersection Management PoliciesIn 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems Apr 2012
- Grapevine: Efficient situational awareness in pervasive computing environmentsIn 2012 IEEE International Conference on Pervasive Computing and Communications Workshops Mar 2012
- Engaging the Masses in Pervasive Computing: A Missed Opportunity?IEEE Internet Computing Sep 2012
- Rethinking Context for Pervasive Computing: Adaptive Shared PerspectivesIn 2012 12th International Symposium on Pervasive Systems, Algorithms and Networks Dec 2012
- Mobilizing search of the here and nowIn 2012 IEEE International Conference on Pervasive Computing and Communications Workshops Mar 2012
-
- myGander: A mobile interface and distributed search engine for pervasive computingIn 2012 IEEE International Conference on Pervasive Computing and Communications Workshops Mar 2012
- A spatiotemporal model for ephemeral data in pervasive computing networksIn 2012 IEEE International Conference on Pervasive Computing and Communications Workshops Mar 2012
- Using snapshot query fidelity to adapt continuous query executionPervasive and Mobile Computing Jun 2012
- Experiences using a miniature vehicular network testbedIn Proceedings of the ninth ACM international workshop on Vehicular inter-networking, systems, and applications - VANET ’12 Jun 2012
- MADServer: a server architecture for mobile advanced deliveryIn Proceedings of the seventh ACM international workshop on Challenged networks - CHANTS ’12 Jun 2012
- Resource-Optimized Quality-Assured Ambiguous Context Mediation Framework in Pervasive EnvironmentsIEEE Transactions on Mobile Computing Feb 2012
2011
-
- Fidelity-based continuous query introspection and adaptationIn 2011 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops) Mar 2011
- Comparative evaluation of Received Signal-Strength Index (RSSI) based indoor localization techniques for construction jobsitesAdvanced Engineering Informatics Apr 2011
-
- Experiments on the spatial distribution of network code diversity in segmented DTNsIn Proceedings of the 6th ACM workshop on Challenged networks - CHANTS ’11 Apr 2011
- Resolving and Mediating Ambiguous Contexts in Pervasive EnvironmentsIn Smart Healthcare Applications and Services: Developments and Practices Apr 2011
2010
- Modeling Delivery Delay for Flooding in Mobile Ad Hoc NetworksIn 2010 IEEE International Conference on Communications May 2010
- Semantic self-assessment of query results in dynamic environmentsACM Transactions on Software Engineering and Methodology Apr 2010
- Blurring snapshots: Temporal inference of missing and uncertain dataIn 2010 IEEE International Conference on Pervasive Computing and Communications (PerCom) Mar 2010
- Usability of Semantic Web for Enhancing Digital Living ExperienceIn 2010 7th IEEE Consumer Communications and Networking Conference Jan 2010
- Supporting multi-fidelity-aware concurrent applications in dynamic sensor networksIn 2010 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops) Mar 2010
- The case for end-user programming of ubiquitous computing environmentsIn Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER ’10 Mar 2010
2009
- Towards adaptive resource-driven routingIn 2009 IEEE International Conference on Pervasive Computing and Communications Mar 2009
- Opening pervasive computing to the masses using the SEAP middlewareIn 2009 IEEE International Conference on Pervasive Computing and Communications Mar 2009
- A framework for evaluating DTN mobility modelsIn Proceedings of the Second International ICST Conference on Simulation Tools and Techniques Mar 2009
-
-
-
- An interrelational grouping abstraction for heterogeneous sensorsACM Transactions on Sensor Networks May 2009
- Resolving and mediating ambiguous contexts for pervasive care environmentsIn Proceedings of the 6th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services May 2009
2008
- Enabling Deliberate Design for Energy Management in Pervasive SystemsIn 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom) Mar 2008
- ROCC: A Communication Overlay Abstraction for Wireless UsersIn 2008 The 28th International Conference on Distributed Computing Systems Workshops Jun 2008
- So many sensors, so little dataIn Proceedings of the 1st international workshop on Software architectures and mobility - SAM ’08 Jun 2008
- SICC: Source-Initiated Context Construction in Mobile Ad Hoc NetworksIEEE Transactions on Mobile Computing Apr 2008
- Composable context-aware architectural connectorsIn Proceedings of the 1st international workshop on Software architectures and mobility - SAM ’08 Apr 2008
- Expressive Analytical Model for Routing Protocols in Mobile Ad Hoc NetworksIn 2008 IEEE International Conference on Communications Apr 2008
- A demonstration of pervasive device integration with SEAP-based middlewareIn Proceedings of the ACM/IFIP/USENIX international middleware conference companion on Middleware ’08 Companion - Companion ’08 Apr 2008
-
2007
- SASSI: the sliverware architecture for sensor system integrationIn Proceedings of the 5th international conference on Embedded networked sensor systems - SenSys ’07 Apr 2007
- Wrong PDFA Local Data Abstraction and Communication Paradigm for Pervasive ComputingIn Fifth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom’07) Apr 2007
- Scenes: Abstracting interaction in immersive sensor networksPervasive and Mobile Computing Dec 2007
- An Architecture for Local Decision Support in Ad Hoc Sensor NetworksIn Computing in Civil Engineering (2007) Jul 2007
- Automatic consistency assessment for query results in dynamic environmentsIn Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE ’07 Jul 2007
-
- Query Domains: Grouping Heterogeneous Sensors Based on ProximityIn 2007 IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems Oct 2007
-
- Resource discovery with evolving tuplesIn International workshop on Engineering of software services for pervasive environments in conjunction with the 6th ESEC/FSE joint meeting - ESSPE ’07 May 2007
2006
- Dynamic Decision Support in Direct-Access Sensor Networks; A DemonstrationIn 2006 IEEE International Conference on Mobile Ad Hoc and Sensor Sysetems Oct 2006
-
- EgoSpaces: facilitating rapid development of context-aware mobile applicationsIEEE Transactions on Software Engineering May 2006
-
-
- Cross-Layer Discovery and Routing in Reconfigurable Wireless NetworksIn 2006 IEEE International Conference on Mobile Ad Hoc and Sensor Sysetems Oct 2006
- Virtual Sensors: Abstracting Data from Physical SensorsIn 2006 International Symposium on a World of Wireless, Mobile and Multimedia Networks(WoWMoM’06) Oct 2006
- A secure modular mobile agent systemIn Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems - SELMAS ’06 Oct 2006
2005
2004
- Context-sensitive access control for open mobile agent systemsIn “Third International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS’04)” W16L Workshop - 26th International Conference on Software Engineering Oct 2004
- Reasoning About Context-Awareness in the Presence of MobilityElectronic Notes in Theoretical Computer Science Jul 2004
-
- Context-sensitive data structures supporting software development in ad hoc mobile settingsIn “Third International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS’04)” W16L Workshop - 26th International Conference on Software Engineering Jul 2004
- Relying on safe distance to achieve strong partitionable group membership in ad hoc networksIEEE Transactions on Mobile Computing Apr 2004
-
2003
- A Declarative Approach to Agent-Centered Context-Aware Computing in Ad Hoc Wireless EnvironmentsApr 2003
- Coordination middleware supporting rapid deployment of ad hoc mobile systemsIn 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings. Apr 2003
2002
- Formal specification and design of mobile systemsIn Proceedings 16th International Parallel and Distributed Processing Symposium Apr 2002