default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJames Weimer
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c68]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:
Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan. CHI Extended Abstracts 2024: 518:1-518:9- [c67]Sydney Pugh, Ivan Ruchkin, James Weimer, Insup Lee:
Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems. ICCPS 2024: 212-223 - [c66]Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee:
Memory-Consistent Neural Networks for Imitation Learning. ICLR 2024 - 2023
- [c65]Anush Niranjan Lingamoorthy, Amanda Watson, Korey Henderson, Ayan Mandal, David Gordon, Xiaonan Ma, James Weimer, Nagarajan Kandasamy, Jacob S. Brenner:
Dove: Shoulder-Based Opioid Overdose Detection and Reversal Device. CHASE 2023: 56-67 - [c64]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:
Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community. CHASE 2023: 148-152 - [c63]Kuk Jin Jang, Souradeep Dutta, Jean Park, James Weimer, Insup Lee:
Memory Classifiers for Robust ECG Classification against Physiological Noise. EMBC 2023: 1-5 - [c62]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:
iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness. ICCPS 2023: 272-273 - [c61]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:
iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness. ICMU 2023: 1-6 - [c60]Yahan Yang, Sunghye Cho, Maxine Covello, Azia Knox, Osbert Bastani, James Weimer, Edgar Dobriban, Robert T. Schultz, Insup Lee, Julia Parish-Morris:
Automatically Predicting Perceived Conversation Quality in a Pediatric Sample Enriched for Autism. INTERSPEECH 2023: 4603-4607 - [c59]Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee:
Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. L4DC 2023: 76-89 - [i21]Ramneet Kaur, Yiannis Kantaros, Wenwen Si, James Weimer, Insup Lee:
Detection of Adversarial Physical Attacks in Time-Series Image Data. CoRR abs/2304.13919 (2023) - [i20]Sydney Pugh, Ivan Ruchkin, Insup Lee, James Weimer:
Curating Naturally Adversarial Datasets for Trustworthy AI in Healthcare. CoRR abs/2309.00543 (2023) - [i19]Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee:
Memory-Consistent Neural Networks for Imitation Learning. CoRR abs/2310.06171 (2023) - 2022
- [j14]Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer:
Evaluating Alarm Classifiers with High-confidence Data Programming. ACM Trans. Comput. Heal. 3(4): 43:1-43:24 (2022) - [j13]Amanda Watson, Claire Kendell, Anush Niranjan Lingamoorthy, Insup Lee, James Weimer:
Lumos: An Open-Source Device for Wearable Spectroscopy Research. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 6(4): 187:1-187:24 (2022) - [c58]Amanda Watson, Jean Park, Sydney Pugh, Oleg Sokolsky, James Weimer, Insup Lee:
Medical Cyber-Physical Systems: IoMT Applications and Challenges. IEEECONF 2022: 998-1004 - [c57]Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer:
Improving Neural Network Robustness via Persistency of Excitation. ACC 2022: 1521-1526 - [c56]Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee:
T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification. Principles of Systems Design 2022: 585-603 - [c55]Jean Park, Amanda Watson, Xiayan Ji, Kyle C. Quinn, James Weimer, Insup Lee:
AutoWean: Extubation Failure Risk Estimation for Critically Ill Patients. CHASE 2022: 99-110 - [c54]Claire Kendell, Amanda Watson, Insup Lee, James Weimer:
GlucoScan: Noninvasive Glucose Monitoring Device. CHASE 2022: 158-159 - [c53]Anush Niranjan Lingamoorthy, Amanda Watson, Ethan Donlon, James Weimer, Jacob S. Brenner:
DOVE: Noninvasive Shoulder-based Opioid Overdose Detection Device. CHASE 2022: 182-183 - [c52]Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris:
Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. CoRL 2022: 1499-1509 - [i18]Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris:
Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. CoRR abs/2202.12967 (2022) - [i17]Kaustubh Sridhar, Radoslav Ivanov, Vuk Lesi, Marcio Juliato, Manoj R. Sastry, Lily L. Yang, James Weimer, Oleg Sokolsky, Insup Lee:
A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems. CoRR abs/2205.08650 (2022) - [i16]Kaustubh Sridhar, Souradeep Dutta, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee:
Towards Alternative Techniques for Improving Adversarial Robustness: Analysis of Adversarial Training at a Spectrum of Perturbations. CoRR abs/2206.06496 (2022) - [i15]Matthew Chan, Nathaniel Snyder, Marcus Lucas, Luis Garcia, Oleg Sokolsky, James Weimer, Insup Lee, Paulo Tabuada, Saman A. Zonouz, Mani B. Srivastava:
Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices. CoRR abs/2210.07531 (2022) - [i14]Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee:
Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. CoRR abs/2212.01346 (2022) - 2021
- [j12]Yinjun Wu, James Weimer, Susan B. Davidson:
CHEF: A Cheap and Fast Pipeline for Iteratively Cleaning Label Uncertainties. Proc. VLDB Endow. 14(11): 2410-2418 (2021) - [j11]Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Verifying the Safety of Autonomous Systems with Neural Network Controllers. ACM Trans. Embed. Comput. Syst. 20(1): 7:1-7:26 (2021) - [c51]Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer:
ModelGuard: Runtime Validation of Lipschitz-continuous Models. ADHS 2021: 37-42 - [c50]Sooyong Jang, Insup Lee, James Weimer:
Improving Classifier Confidence using Lossy Label-Invariant Transformations. AISTATS 2021: 4051-4059 - [c49]Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee:
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@ADHS 2021: 90-119 - [c48]Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. CAV (1) 2021: 249-262 - [c47]Amanda Watson, Pengyuan Lu, Elliot Greenberg, J. Todd R. Lawrence, Theodore J. Ganley, Insup Lee, James Weimer:
RT-ACL: Identification of High-Risk Youth Patients and their Most Significant Risk Factors to Reduce Anterior Cruciate Ligament Reinjury Risk. CHASE 2021: 35-45 - [c46]Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer:
High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms. CHASE 2021: 70-81 - [c45]Hyon-Young Choi, Amanda Lor, Mike Megonegal, Xiayan Ji, Amanda Watson, James Weimer, Insup Lee:
VitalCore: Analytics and Support Dashboard for Medical Device Integration. CHASE 2021: 82-86 - [c44]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:
FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data. CHASE 2021: 130-131 - [c43]Yiannis Kantaros, Taylor J. Carpenter, Kaustubh Sridhar, Yahan Yang, Insup Lee, James Weimer:
Real-time detectors for digital and physical adversarial inputs to perception systems. ICCPS 2021: 67-76 - [e1]Martina Maggio, James Weimer, Mohammad Al Farque, Meeko Oishi:
ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, Nashville, Tennessee, USA, May 19-21, 2021. ACM 2021, ISBN 978-1-4503-8353-0 [contents] - [i13]Sooyong Jang, Radoslav Ivanov, Insup Lee, James Weimer:
Confidence Calibration with Bounded Error Using Transformations. CoRR abs/2102.12680 (2021) - [i12]Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer:
ModelGuard: Runtime Validation of Lipschitz-continuous Models. CoRR abs/2104.15006 (2021) - [i11]Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer:
Robust Learning via Persistency of Excitation. CoRR abs/2106.02078 (2021) - [i10]Yinjun Wu, James Weimer, Susan B. Davidson:
CHEF: A Cheap and Fast Pipeline for Iteratively Cleaning Label Uncertainties (Technical Report). CoRR abs/2107.08588 (2021) - 2020
- [j10]Esen Yel, Taylor J. Carpenter, Carmelo Di Franco, Radoslav Ivanov, Yiannis Kantaros, Insup Lee, James Weimer, Nicola Bezzo:
Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations. IEEE Robotics Autom. Mag. 27(2): 102-116 (2020) - [j9]Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, Insup Lee:
Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3288-3299 (2020) - [c42]Sangdon Park, Osbert Bastani, James Weimer, Insup Lee:
Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. AISTATS 2020: 3219-3229 - [c41]Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Case study: verifying the safety of an autonomous racing car with a neural network controller. HSCC 2020: 28:1-28:7 - [c40]Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur:
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. MEMOCODE 2020: 1-12 - [i9]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:
Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap. CoRR abs/2001.00090 (2020) - [i8]Yiannis Kantaros, Taylor J. Carpenter, Sangdon Park, Radoslav Ivanov, Sooyong Jang, Insup Lee, James Weimer:
VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems. CoRR abs/2002.09792 (2020) - [i7]Sangdon Park, Osbert Bastani, James Weimer, Insup Lee:
Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. CoRR abs/2003.00343 (2020) - [i6]Sooyong Jang, Insup Lee, James Weimer:
Improving Classifier Confidence using Lossy Label-Invariant Transformations. CoRR abs/2011.04182 (2020)
2010 – 2019
- 2019
- [j8]Lorenzo Fernández Maimó, Alberto Huertas Celdrán, Ángel Luis Perales Gómez, Félix J. García Clemente, James Weimer, Insup Lee:
Intelligent and Dynamic Ransomware Spread Detection and Mitigation in Integrated Clinical Environments. Sensors 19(5): 1114 (2019) - [j7]Hung Nguyen, Radoslav Ivanov, Sara B. DeMauro, James Weimer:
RePulmo: a remote pulmonary monitoring system. SIGBED Rev. 16(2): 46-50 (2019) - [j6]Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George J. Pappas, Insup Lee:
Continuous Estimation Using Context-Dependent Discrete Measurements. IEEE Trans. Autom. Control. 64(1): 235-250 (2019) - [c39]Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee:
Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. DESTION@CPSIoTWeek 2019: 62-63 - [c38]Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Verisig: verifying safety properties of hybrid systems with neural network controllers. HSCC 2019: 169-178 - [c37]Kuk Jin Jang, Yash Vardhan Pant, Bo Zhang, James Weimer, Rahul Mangharam:
Robustness evaluation of computer-aided clinical trials for medical devices. ICCPS 2019: 163-173 - [c36]Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur:
Detecting security leaks in hybrid systems with information flow analysis. MEMOCODE 2019: 14:1-14:11 - [i5]Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur:
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. CoRR abs/1902.04064 (2019) - [i4]Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller. CoRR abs/1910.11309 (2019) - 2018
- [j5]James Weimer, Radoslav Ivanov, Sanjian Chen, Alexander Roederer, Oleg Sokolsky, Insup Lee:
Parameter-Invariant Monitor Design for Cyber-Physical Systems. Proc. IEEE 106(1): 71-92 (2018) - [c35]Radoslav Ivanov, James Weimer, Insup Lee:
Towards Context-Aware Cyber-Physical Systems. MT@CPSWeek 2018: 10-11 - [c34]Kuk Jin Jang, James Weimer, Houssam Abbas, Zhihao Jiang, Jackson Liang, Sanjay Dixit, Rahul Mangharam:
Computer Aided Clinical Trials for Implantaule Cardiac Devices. EMBC 2018: 1-4 - [c33]Alberto Huertas Celdrán, Félix J. García Clemente, James Weimer, Insup Lee:
ICE++: Improving Security, QoS, and High Availability of Medical Cyber-Physical Systems through Mobile Edge Computing. HealthCom 2018: 1-8 - [c32]Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee:
Parameter Invariant Monitoring for Signal Temporal Logic. HSCC 2018: 187-196 - [c31]Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, Insup Lee:
Cyber-physical system checkpointing and recovery. ICCPS 2018: 22-31 - [c30]Radoslav Ivanov, James Weimer, Insup Lee:
Context-aware detection in medical cyber-physical systems. ICCPS 2018: 232-241 - [c29]Hung Nguyen, Radoslav Ivanov, Linh T. X. Phan, Oleg Sokolsky, James Weimer, Insup Lee:
LogSafe: Secure and Scalable Data Logger for IoT Devices. IoTDI 2018: 141-152 - [c28]Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, Insup Lee:
OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things. ISORC 2018: 103-106 - [i3]Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee:
Self-Driving Vehicle Verification Towards a Benchmark. CoRR abs/1806.08810 (2018) - [i2]Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Verisig: verifying safety properties of hybrid systems with neural network controllers. CoRR abs/1811.01828 (2018) - 2017
- [j4]Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Sang Hyuk Son, Insup Lee:
Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. ACM Trans. Cyber Phys. Syst. 1(3): 15:1-15:23 (2017) - [c27]Sangdon Park, James Weimer, Insup Lee:
Resilient linear classification: an approach to deal with attacks on training data. ICCPS 2017: 155-164 - [i1]Sangdon Park, James Weimer, Insup Lee:
Resilient Linear Classification: An Approach to Deal with Attacks on Training Data. CoRR abs/1708.03366 (2017) - 2016
- [j3]Sanjian Chen, Oleg Sokolsky, James Weimer, Insup Lee:
Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study. J. Comput. Sci. Eng. 10(3) (2016) - [j2]Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee:
Prediction of Critical Pulmonary Shunts in Infants. IEEE Trans. Control. Syst. Technol. 24(6): 1936-1952 (2016) - [c26]Nicola Bezzo, James Weimer, Yanwei Du, Oleg Sokolsky, Sang Hyuk Son, Insup Lee:
A stochastic approach for attack resilient UAV motion planning. ACC 2016: 1366-1372 - [c25]Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen, Linh T. X. Phan, Oleg Sokolsky, Jesse Walker, James Weimer, William Hanson III, Insup Lee:
Cloud-Based Secure Logger for Medical Devices. CHASE 2016: 89-94 - [c24]Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee:
Adaptive Transient Fault Model for Sensor Attack Detection. CPSNA 2016: 59-65 - [c23]Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan F. Simpao, Mohamed A. Rehman, George J. Pappas, Insup Lee:
Estimation of Blood Oxygen Content Using Context-Aware Filtering. ICCPS 2016: 28:1-28:10 - [c22]Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee:
Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models. RTCSA 2016: 102 - 2015
- [j1]James Weimer, Radoslav Ivanov, Alexander Roederer, Sanjian Chen, Insup Lee:
Parameter-Invariant Design of Medical Alarms. IEEE Des. Test 32(5): 9-16 (2015) - [c21]Sanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, Insup Lee:
An Intraoperative Glucose Control Benchmark for Formal Verification. ADHS 2015: 211-217 - [c20]Alexander Roederer, James Weimer, Joseph DiMartino, Jacob Gutsche, Insup Lee:
Robust monitoring of hypovolemia in intensive care patients using photoplethysmogram signals. EMBC 2015: 1504-1507 - [c19]Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Insup Lee:
Sensor attack detection in the presence of transient faults. ICCPS 2015: 1-10 - [c18]Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee:
Early detection of critical pulmonary shunts in infants. ICCPS 2015: 110-119 - [c17]James Weimer, Oleg Sokolsky, Insup Lee:
Robust Medical Monitor Design. ICHI 2015: 445 - 2014
- [c16]James Weimer, Nicola Bezzo, Miroslav Pajic, Oleg Sokolsky, Insup Lee:
Attack-resilient minimum mean-squared error estimation. ACC 2014: 1114-1119 - [c15]James Weimer, Oleg Sokolsky, Nicola Bezzo, Insup Lee:
Towards Assurance Cases for Resilient Control Systems. CPSNA 2014: 1-6 - [c14]Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George J. Pappas:
Robustness of attack-resilient state estimators. ICCPS 2014: 163-174 - [c13]Nicola Bezzo, James Weimer, Miroslav Pajic, Oleg Sokolsky, George J. Pappas, Insup Lee:
Attack resilient state estimation for autonomous robotic systems. IROS 2014: 3692-3698 - 2013
- [c12]James Weimer, Damiano Varagnolo, Milos S. Stankovic, Karl Henrik Johansson:
Parameter-invariant detection of unknown inputs in networked systems. CDC 2013: 4379-4384 - [c11]James Weimer, José Araujo, Mani Amoozadeh, Seyed Alireza Ahmadi, Henrik Sandberg, Karl Henrik Johansson:
Parameter-Invariant Actuator Fault Diagnostics in Cyber-Physical Systems with Application to Building Automation. CPSW@CISS 2013: 179-196 - [c10]James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, Insup Lee:
Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. CPSW@CISS 2013: 197-216 - [c9]Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee:
Towards synthesis of platform-aware attack-resilient control systems: extended abstract. HiCoNS 2013: 75-76 - [c8]James Weimer, Damiano Varagnolo, Karl Henrik Johansson:
Distributed model-invariant detection of unknown inputs in networked systems. HiCoNS 2013: 127-134 - [c7]Miroslav Pajic, Nathan Michael, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas, Paulo Tabuada, Insup Lee:
Synthesis of platform-aware attack-resilient vehicular systems. ICCPS 2013: 251 - 2012
- [c6]James Weimer, José Araújo, Karl Henrik Johansson:
Distributed Event-Triggered Estimation in Networked Systems. ADHS 2012: 178-185 - [c5]James Weimer, Soummya Kar, Karl Henrik Johansson:
Distributed detection and isolation of topology attacks in power networks. HiCoNS 2012: 65-72 - [c4]James Weimer, Yuzhe Xu, Carlo Fischione, Karl Henrik Johansson, Per Ljungberg, Craig Donovan, Ariane Sutor, Lennart E. Fahlén:
A Virtual Laboratory for Micro-Grid information and communication infrastructures. ISGT Europe 2012: 1-6 - [c3]James Weimer, Seyed Alireza Ahmadi, José Araujo, Francesca Madia Mele, Dario Papale, Iman Shames, Henrik Sandberg, Karl Henrik Johansson:
Active actuator fault detection and diagnostics in HVAC systems. BuildSys@SenSys 2012: 107-114 - 2011
- [c2]James Weimer, José Araujo, Aitor Hernandez, Karl Henrik Johansson:
Periodic constraint-based control using dynamic wireless sensor scheduling. CDC/ECC 2011: 4789-4796 - [c1]Kin Cheong Sou, James Weimer, Henrik Sandberg, Karl Henrik Johansson:
Scheduling smart home appliances using mixed integer linear programming. CDC/ECC 2011: 5144-5149
Coauthor Index
[c68] [c67] [c66] [c64] [c63] [c62] [c61] [c60] [c59] [i21] [i20] [i19] [j14] [j13] [c58] [c57] [c56] [c55] [c54] [c52] [i18] [i17] [i16] [i15] [i14] [j11] [c51] [c50] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [i13] [i12] [i11] [j10] [j9] [c42] [c41] [c40] [i8] [i7] [i6] [j8] [j6] [c39] [c38] [c36] [i5] [i4] [j5] [c35] [c33] [c32] [c31] [c30] [c29] [c28] [i3] [i2] [j4] [c27] [i1] [j3] [j2] [c26] [c25] [c24] [c23] [c22] [j1] [c21] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [c10] [c9] [c7]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-21 20:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
