James Weimer - RankMe

109 papers A* 1A 4B 12C 8Misc 1Journal 36Unranked 46

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Evaluating Robustness of Learning-Enabled Medical Cyber-Physical Systems with Naturally Adversarial Datasets. ACM Trans. Cyber Phys. Syst. Sydney Pugh, Ivan Ruchkin, James Weimer, Insup Lee
2025	—	`conf`	Towards a LLM-Based System for Generating and Validating Product Requirements. SIGSOFT FSE Companion Evan Krueger, Taylor J. Carpenter, Kevin Leach, James Weimer
2025	B	`conf`	VIBRANT: Early Prediction of Life-Threatening Uterine Atony Using Maternal Heart Rate. CHASE Kimberly Trout, Stefanie Modri, Amanda Watson, Insup Lee, Harish Sehdev, James Weimer
2024	—	`conf`	Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems. ICCPS Sydney Pugh, Ivan Ruchkin, James Weimer, Insup Lee
2024	—	`conf`	Estimating Data Requirements for Learning-Enabled Systems using Metadata. ICAA Chi Phuong Ngoc Huynh, James Weimer
2024	—	`conf`	Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan. CHI Extended Abstracts Xiayan Ji, Ahhyun Yuh, Viktor Erdélyi, Teruhiro Mizumoto, Hyonyoung Choi, Sean Lee Harrison, Emma Cho, James Weimer, Hajime Nagahara, Teruo Higashino, George Demiris, Oleg Sokolsky, Insup Lee
2024	A*	`conf`	Memory-Consistent Neural Networks for Imitation Learning. ICLR Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee
2024	C	`conf`	Raproto: An Open-Source Platform for Rapid Prototyping with Wearable Devices. BSN Tarek Hamid, Kimberly Helm, Hyonyoung Choi, Jean Park, Claire Kendell, Stephanie Cummings, Steve Messe, Stefanie Modri, Insup Lee, James Weimer, Amanda Watson
2023	A	`conf`	Automatically Predicting Perceived Conversation Quality in a Pediatric Sample Enriched for Autism. INTERSPEECH Yahan Yang, Sunghye Cho, Maxine Covello, Azia Knox, Osbert Bastani, James Weimer, Edgar Dobriban, Robert T. Schultz, Insup Lee, Julia Parish-Morris
2023	J	`jnl`	Curating Naturally Adversarial Datasets for Trustworthy AI in Healthcare. CoRR Sydney Pugh, Ivan Ruchkin, Insup Lee, James Weimer
2023	J	`jnl`	Detection of Adversarial Physical Attacks in Time-Series Image Data. CoRR Ramneet Kaur, Yiannis Kantaros, Wenwen Si, James Weimer, Insup Lee
2023	B	`conf`	Dove: Shoulder-Based Opioid Overdose Detection and Reversal Device. CHASE Anush Niranjan Lingamoorthy, Amanda Watson, Korey Henderson, Ayan Mandal, David Gordon, Xiaonan Ma, James Weimer, Nagarajan Kandasamy, Jacob S. Brenner
2023	—	`conf`	Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. L4DC Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee
2023	—	`conf`	Memory Classifiers for Robust ECG Classification against Physiological Noise. EMBC Kuk Jin Jang, Souradeep Dutta, Jean Park, James Weimer, Insup Lee
2023	J	`jnl`	Memory-Consistent Neural Networks for Imitation Learning. CoRR Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee
2023	B	`conf`	Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community. CHASE Xiayan Ji, Xian Li, Ahhyun Yuh, Amanda Watson, Claire Kendell, James Weimer, Hajime Nagahara, Teruo Higashino, Teruhiro Mizumoto, Viktor Erdélyi, George Demiris, Oleg Sokolsky, Insup Lee
2023	—	`conf`	iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness. ICCPS Xiayan Ji, Ahhyun Yuh, Hyon-Young Choi, Amanda Watson, Claire Kendell, Xian Li, James Weimer, Hajime Nagahara, Teruo Higashino, Teruhiro Mizumoto, Viktor Erdélyi, George Demiris, Oleg Sokolsky, Insup Lee
2023	—	`conf`	iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness. ICMU Xiayan Ji, Ahhyun Yuh, Hyon-Young Choi, Viktor Erdélyi, Teruhiro Mizumoto, Sean Lee Harrison, James Weimer, George Demiris, Takeshi Nakagawa, Takashi Suehiro, Yasuyuki Gondo, Hajime Nagahara, Oleg Sokolsky, Teruo Higashino, Insup Lee
2022	J	`jnl`	A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems. CoRR Kaustubh Sridhar, Radoslav Ivanov, Vuk Lesi, Marcio Juliato, Manoj R. Sastry, Lily L. Yang, James Weimer, Oleg Sokolsky, Insup Lee
2022	B	`conf`	AutoWean: Extubation Failure Risk Estimation for Critically Ill Patients. CHASE Jean Park, Amanda Watson, Xiayan Ji, Kyle C. Quinn, James Weimer, Insup Lee
2022	B	`conf`	DOVE: Noninvasive Shoulder-based Opioid Overdose Detection Device. CHASE Anush Niranjan Lingamoorthy, Amanda Watson, Ethan Donlon, James Weimer, Jacob S. Brenner
2022	J	`jnl`	Evaluating Alarm Classifiers with High-confidence Data Programming. ACM Trans. Comput. Heal. Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer
2022	Misc	`conf`	Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. CoRL Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris
2022	J	`jnl`	Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. CoRR Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris
2022	B	`conf`	GlucoScan: Noninvasive Glucose Monitoring Device. CHASE Claire Kendell, Amanda Watson, Insup Lee, James Weimer
2022	J	`jnl`	Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. CoRR Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee
2022	C	`conf`	Improving Neural Network Robustness via Persistency of Excitation. ACC Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer
2022	J	`jnl`	Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices. CoRR Matthew Chan, Nathaniel Snyder, Marcus Lucas, Luis Garcia, Oleg Sokolsky, James Weimer, Insup Lee, Paulo Tabuada, Saman A. Zonouz, Mani B. Srivastava
2022	J	`jnl`	Lumos: An Open-Source Device for Wearable Spectroscopy Research. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. Amanda Watson, Claire Kendell, Anush Niranjan Lingamoorthy, Insup Lee, James Weimer
2022	—	`conf`	Medical Cyber-Physical Systems: IoMT Applications and Challenges. IEEECONF Amanda Watson, Jean Park, Sydney Pugh, Oleg Sokolsky, James Weimer, Insup Lee
2022	—	`conf`	T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification. Principles of Systems Design Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee
2022	J	`jnl`	Towards Alternative Techniques for Improving Adversarial Robustness: Analysis of Adversarial Training at a Spectrum of Perturbations. CoRR Kaustubh Sridhar, Souradeep Dutta, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
2021	—	`conf`	ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@ADHS Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee
2021	J	`jnl`	CHEF: A Cheap and Fast Pipeline for Iteratively Cleaning Label Uncertainties (Technical Report). CoRR Yinjun Wu, James Weimer, Susan B. Davidson
2021	J	`jnl`	CHEF: A Cheap and Fast Pipeline for Iteratively Cleaning Label Uncertainties. Proc. VLDB Endow. Yinjun Wu, James Weimer, Susan B. Davidson
2021	J	`jnl`	Confidence Calibration with Bounded Error Using Transformations. CoRR Sooyong Jang, Radoslav Ivanov, Insup Lee, James Weimer
2021	B	`conf`	FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data. CHASE Pengyuan Lu, Xian Li, Sooyong Jang, Alexander Lee, Sydney Pugh, Amanda Watson, Ragnhildur I. Bjarnadottir, Robert Lucero, George Demiris, Ani Nenkova, James Weimer, Insup Lee
2021	B	`conf`	High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms. CHASE Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer
2021	—	`ed.`	ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, Nashville, Tennessee, USA, May 19-21, 2021 ICCPS Martina Maggio, James Weimer, Mohammad Al Farque, Meeko Oishi
2021	A	`conf`	Improving Classifier Confidence using Lossy Label-Invariant Transformations. AISTATS Sooyong Jang, Insup Lee, James Weimer
2021	—	`conf`	ModelGuard: Runtime Validation of Lipschitz-continuous Models. ADHS Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer
2021	J	`jnl`	ModelGuard: Runtime Validation of Lipschitz-continuous Models. CoRR Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer
2021	B	`conf`	RT-ACL: Identification of High-Risk Youth Patients and their Most Significant Risk Factors to Reduce Anterior Cruciate Ligament Reinjury Risk. CHASE Amanda Watson, Pengyuan Lu, Elliot Greenberg, J. Todd R. Lawrence, Theodore J. Ganley, Insup Lee, James Weimer
2021	—	`conf`	Real-time detectors for digital and physical adversarial inputs to perception systems. ICCPS Yiannis Kantaros, Taylor J. Carpenter, Kaustubh Sridhar, Yahan Yang, Insup Lee, James Weimer
2021	J	`jnl`	Robust Learning via Persistency of Excitation. CoRR Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer
2021	J	`jnl`	Verifying the Safety of Autonomous Systems with Neural Network Controllers. ACM Trans. Embed. Comput. Syst. Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2021	—	`conf`	Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. CAV (1) Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2021	B	`conf`	VitalCore: Analytics and Support Dashboard for Medical Device Integration. CHASE Hyon-Young Choi, Amanda Lor, Mike Megonegal, Xiayan Ji, Amanda Watson, James Weimer, Insup Lee
2020	J	`jnl`	Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations. IEEE Robotics Autom. Mag. Esen Yel, Taylor J. Carpenter, Carmelo Di Franco, Radoslav Ivanov, Yiannis Kantaros, Insup Lee, James Weimer, Nicola Bezzo
2020	A	`conf`	Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. AISTATS Sangdon Park, Osbert Bastani, James Weimer, Insup Lee
2020	J	`jnl`	Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. CoRR Sangdon Park, Osbert Bastani, James Weimer, Insup Lee
2020	—	`conf`	Case study: verifying the safety of an autonomous racing car with a neural network controller. HSCC Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2020	J	`jnl`	Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, Insup Lee
2020	J	`jnl`	Improving Classifier Confidence using Lossy Label-Invariant Transformations. CoRR Sooyong Jang, Insup Lee, James Weimer
2020	C	`conf`	REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. MEMOCODE Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
2020	J	`jnl`	Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap. CoRR Somali Chaterji, Parinaz Naghizadeh, Muhammad Ashraful Alam, Saurabh Bagchi, Mung Chiang, David Corman, Brian J. Henz, Suman Jana, Na Li, Shaoshuai Mou, Meeko Oishi, Chunyi Peng, Tiark Rompf, Ashutosh Sabharwal, Shreyas Sundaram, James Weimer, Jennifer Weller
2020	J	`jnl`	VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems. CoRR Yiannis Kantaros, Taylor J. Carpenter, Sangdon Park, Radoslav Ivanov, Sooyong Jang, Insup Lee, James Weimer
2019	J	`jnl`	Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller. CoRR Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2019	J	`jnl`	Continuous Estimation Using Context-Dependent Discrete Measurements. IEEE Trans. Autom. Control. Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George J. Pappas, Insup Lee
2019	—	`conf`	Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. DESTION@CPSIoTWeek Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee
2019	C	`conf`	Detecting security leaks in hybrid systems with information flow analysis. MEMOCODE Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
2019	J	`jnl`	Intelligent and Dynamic Ransomware Spread Detection and Mitigation in Integrated Clinical Environments. Sensors Lorenzo Fernández Maimó, Alberto Huertas Celdrán, Ángel Luis Perales Gómez, Félix J. García Clemente, James Weimer, Insup Lee
2019	J	`jnl`	REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. CoRR Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
2019	J	`jnl`	RePulmo: a remote pulmonary monitoring system. SIGBED Rev. Hung Nguyen, Radoslav Ivanov, Sara B. DeMauro, James Weimer
2019	—	`conf`	Robustness evaluation of computer-aided clinical trials for medical devices. ICCPS Kuk Jin Jang, Yash Vardhan Pant, Bo Zhang, James Weimer, Rahul Mangharam
2019	—	`conf`	Verisig: verifying safety properties of hybrid systems with neural network controllers. HSCC Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2018	—	`conf`	Computer Aided Clinical Trials for Implantaule Cardiac Devices. EMBC Kuk Jin Jang, James Weimer, Houssam Abbas, Zhihao Jiang, Jackson Liang, Sanjay Dixit, Rahul Mangharam
2018	—	`conf`	Context-aware detection in medical cyber-physical systems. ICCPS Radoslav Ivanov, James Weimer, Insup Lee
2018	—	`conf`	Cyber-physical system checkpointing and recovery. ICCPS Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, Insup Lee
2018	C	`conf`	ICE++: Improving Security, QoS, and High Availability of Medical Cyber-Physical Systems through Mobile Edge Computing. HealthCom Alberto Huertas Celdrán, Félix J. García Clemente, James Weimer, Insup Lee
2018	—	`conf`	LogSafe: Secure and Scalable Data Logger for IoT Devices. IoTDI Hung Nguyen, Radoslav Ivanov, Linh T. X. Phan, Oleg Sokolsky, James Weimer, Insup Lee
2018	C	`conf`	OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things. ISORC Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, Insup Lee
2018	—	`conf`	Parameter Invariant Monitoring for Signal Temporal Logic. HSCC Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
2018	J	`jnl`	Parameter-Invariant Monitor Design for Cyber-Physical Systems. Proc. IEEE James Weimer, Radoslav Ivanov, Sanjian Chen, Alexander Roederer, Oleg Sokolsky, Insup Lee
2018	J	`jnl`	Self-Driving Vehicle Verification Towards a Benchmark. CoRR Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
2018	—	`conf`	Towards Context-Aware Cyber-Physical Systems. MT@CPSWeek Radoslav Ivanov, James Weimer, Insup Lee
2018	J	`jnl`	Verisig: verifying safety properties of hybrid systems with neural network controllers. CoRR Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2017	J	`jnl`	Resilient Linear Classification: An Approach to Deal with Attacks on Training Data. CoRR Sangdon Park, James Weimer, Insup Lee
2017	—	`conf`	Resilient linear classification: an approach to deal with attacks on training data. ICCPS Sangdon Park, James Weimer, Insup Lee
2017	J	`jnl`	Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. ACM Trans. Cyber Phys. Syst. Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Sang Hyuk Son, Insup Lee
2016	C	`conf`	A stochastic approach for attack resilient UAV motion planning. ACC Nicola Bezzo, James Weimer, Yanwei Du, Oleg Sokolsky, Sang Hyuk Son, Insup Lee
2016	—	`conf`	Adaptive Transient Fault Model for Sensor Attack Detection. CPSNA Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee
2016	B	`conf`	Cloud-Based Secure Logger for Medical Devices. CHASE Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen, Linh T. X. Phan, Oleg Sokolsky, Jesse Walker, James Weimer, William Hanson III, Insup Lee
2016	J	`jnl`	Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study. J. Comput. Sci. Eng. Sanjian Chen, Oleg Sokolsky, James Weimer, Insup Lee
2016	—	`conf`	Estimation of Blood Oxygen Content Using Context-Aware Filtering. ICCPS Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan F. Simpao, Mohamed A. Rehman, George J. Pappas, Insup Lee
2016	J	`jnl`	Prediction of Critical Pulmonary Shunts in Infants. IEEE Trans. Control. Syst. Technol. Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee
2016	B	`conf`	Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models. RTCSA Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee
2015	—	`conf`	An Intraoperative Glucose Control Benchmark for Formal Verification. ADHS Sanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, Insup Lee
2015	—	`conf`	Early detection of critical pulmonary shunts in infants. ICCPS Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee
2015	J	`jnl`	Parameter-Invariant Design of Medical Alarms. IEEE Des. Test James Weimer, Radoslav Ivanov, Alexander Roederer, Sanjian Chen, Insup Lee
2015	—	`conf`	Robust Medical Monitor Design. ICHI James Weimer, Oleg Sokolsky, Insup Lee
2015	—	`conf`	Robust monitoring of hypovolemia in intensive care patients using photoplethysmogram signals. EMBC Alexander Roederer, James Weimer, Joseph DiMartino, Jacob Gutsche, Insup Lee
2015	—	`conf`	Sensor attack detection in the presence of transient faults. ICCPS Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Insup Lee
2014	A	`conf`	Attack resilient state estimation for autonomous robotic systems. IROS Nicola Bezzo, James Weimer, Miroslav Pajic, Oleg Sokolsky, George J. Pappas, Insup Lee
2014	C	`conf`	Attack-resilient minimum mean-squared error estimation. ACC James Weimer, Nicola Bezzo, Miroslav Pajic, Oleg Sokolsky, Insup Lee
2014	—	`conf`	Robustness of attack-resilient state estimators. ICCPS Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George J. Pappas
2014	—	`conf`	Towards Assurance Cases for Resilient Control Systems. CPSNA James Weimer, Oleg Sokolsky, Nicola Bezzo, Insup Lee
2013	—	`conf`	Distributed model-invariant detection of unknown inputs in networked systems. HiCoNS James Weimer, Damiano Varagnolo, Karl Henrik Johansson
2013	—	`conf`	Parameter-Invariant Actuator Fault Diagnostics in Cyber-Physical Systems with Application to Building Automation. CPSW@CISS James Weimer, José Araujo, Mani Amoozadeh, Seyed Alireza Ahmadi, Henrik Sandberg, Karl Henrik Johansson
2013	—	`conf`	Parameter-invariant detection of unknown inputs in networked systems. CDC James Weimer, Damiano Varagnolo, Milos S. Stankovic, Karl Henrik Johansson
2013	—	`conf`	Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. CPSW@CISS James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, Insup Lee
2013	—	`conf`	Synthesis of platform-aware attack-resilient vehicular systems. ICCPS Miroslav Pajic, Nathan Michael, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas, Paulo Tabuada, Insup Lee
2013	—	`conf`	Towards synthesis of platform-aware attack-resilient control systems: extended abstract. HiCoNS Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee
2012	—	`conf`	A Virtual Laboratory for Micro-Grid information and communication infrastructures. ISGT Europe James Weimer, Yuzhe Xu, Carlo Fischione, Karl Henrik Johansson, Per Ljungberg, Craig Donovan, Ariane Sutor, Lennart E. Fahlén
2012	—	`conf`	Active actuator fault detection and diagnostics in HVAC systems. BuildSys@SenSys James Weimer, Seyed Alireza Ahmadi, José Araujo, Francesca Madia Mele, Dario Papale, Iman Shames, Henrik Sandberg, Karl Henrik Johansson
2012	—	`conf`	Distributed Event-Triggered Estimation in Networked Systems. ADHS James Weimer, José Araújo, Karl Henrik Johansson
2012	—	`conf`	Distributed detection and isolation of topology attacks in power networks. HiCoNS James Weimer, Soummya Kar, Karl Henrik Johansson
2011	—	`conf`	Periodic constraint-based control using dynamic wireless sensor scheduling. CDC/ECC James Weimer, José Araujo, Aitor Hernandez, Karl Henrik Johansson
2011	—	`conf`	Scheduling smart home appliances using mixed integer linear programming. CDC/ECC Kin Cheong Sou, James Weimer, Henrik Sandberg, Karl Henrik Johansson