Insup Lee
#110,196
Most Influential Person Now
Researcher
Insup Lee's AcademicInfluence.com Rankings
Insup Leecomputer-science Degrees
Computer Science
#4343
World Rank
#4569
Historical Rank
Machine Learning
#898
World Rank
#910
Historical Rank
Artificial Intelligence
#1113
World Rank
#1132
Historical Rank
Database
#1708
World Rank
#1790
Historical Rank
Download Badge
Computer Science
Insup Lee's Degrees
- PhD Computer Science Stanford University
- Masters Computer Science Stanford University
Similar Degrees You Can Earn
Why Is Insup Lee Influential?
(Suggest an Edit or Addition)According to Wikipedia, Insup Lee is the Cecilia Fitler Moore Professor in the Department of Computer and Information Science at the University of Pennsylvania, United States. He is also the Director and co-founder of the PRECISE Center.
Insup Lee's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Cyber-physical systems: The next computing revolution (2010) (1745)
- Periodic resource model for compositional real-time guarantees (2003) (549)
- Challenges and Research Directions in Medical Cyber–Physical Systems (2012) (342)
- Java-MaC: A Run-Time Assurance Approach for Java Programs (2004) (244)
- Compositional real-time scheduling framework with periodic model (2008) (235)
- Compositional real-time scheduling framework (2004) (234)
- Compositional Analysis Framework Using EDP Resource Models (2007) (232)
- Modular Specification of Hybrid Systems in CHARON (2000) (221)
- Robustness of attack-resilient state estimators (2014) (219)
- A Framework and Architecture for Multi-Robot Coordination (2000) (212)
- Java-MaC: a Run-time Assurance Tool for Java Programs (2001) (209)
- Opportunities and Obligations for Physical Computing Systems (2005) (207)
- Runtime Assurance Based On Formal Specifications (1999) (204)
- Hierarchical modeling and analysis of embedded systems (2003) (188)
- Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors (2008) (188)
- Verisig: verifying safety properties of hybrid systems with neural network controllers (2018) (186)
- A Temporal Logic Based Theory of Test Coverage and Generation (2002) (175)
- High-confidence medical device software and systems (2006) (155)
- Robust Test Generation and Coverage for Hybrid Systems (2007) (150)
- Handbook of Real-Time and Embedded Systems (2007) (150)
- A process algebraic approach to the specification and analysis of resource-bound real-time systems (1994) (149)
- Attack-Resilient State Estimation for Noisy Dynamical Systems (2017) (149)
- Formally specified monitoring of temporal properties (1999) (146)
- Privacy APIs: access control techniques to analyze and verify legal privacy policies (2006) (132)
- Language Constructs for Distributed Real-Time Programming (1985) (128)
- Data flow testing as model checking (2003) (126)
- Weak Bisimulation for Probabilistic Systems (2000) (123)
- Developing next-generation telehealth tools and technologies: patients, systems, and data perspectives. (2010) (123)
- Verisim: Formal analysis of network simulations (2000) (120)
- Hierarchical Hybrid Modeling of Embedded Systems (2001) (119)
- Toward patient safety in closed-loop medical device systems (2010) (118)
- Model-Driven Safety Analysis of Closed-Loop Medical Systems (2014) (118)
- Real-time multi-core virtual machine scheduling in Xen (2014) (106)
- Specification-based testing with linear temporal logic (2004) (103)
- DYMOS: a dynamic modification system (1983) (101)
- Schedulability analysis of AADL models (2006) (96)
- CONCUR '95: Concurrency Theory (1995) (96)
- Compositional Refinement for Hierarchical Hybrid Systems (2001) (96)
- Detecting Wikipedia vandalism via spatio-temporal analysis of revision metadata? (2010) (95)
- Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators (2017) (95)
- The Effects of International Joint Ventures on Shareholder Wealth (1990) (94)
- Rationale and Architecture Principles for Medical Application Platforms (2012) (94)
- Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees (2019) (90)
- Dynamic Trust Management (2009) (87)
- A Process Algebra of Communicating Shared Resources with Dense Time and Priorities (1997) (83)
- Safety-assured development of the GPCA infusion pump software (2011) (81)
- Realizing Compositional Scheduling through Virtualization (2012) (80)
- Monitoring, Checking, and Steering of Real-Time Systems (2002) (79)
- Foundations for the run-time analysis of software systems (2000) (78)
- Sensor attack detection in the presence of transient faults (2015) (76)
- PIPAC: Patient infusion pattern based access control scheme for wireless insulin pump system (2013) (76)
- Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project (2007) (75)
- RT-MaC: runtime monitoring and checking of quantitative and probabilistic properties (2005) (74)
- Quantifying eavesdropping vulnerability in sensor networks (2005) (74)
- Optimal virtual cluster-based multiprocessor scheduling (2009) (74)
- Stock market views of corporate multinationalism: some evidence from announcements of international joint ventures (1993) (73)
- THE IMPACT OF OVERSEAS LISTINGS ON SHAREHOLDER WEALTH: THE CASE OF THE LONDON AND TORONTO STOCK EXCHANGES (1991) (73)
- Simulation-Based Graph Similarity (2006) (70)
- Generating embedded software from hierarchical hybrid models (2003) (70)
- Automatic Test Generation From Statecharts Using Model Checking (2001) (69)
- A Layered Approach to Automating the Verification of Real-Time Systems (1992) (69)
- Special Issue on Cyber-Physical Systems [Scanning the Issue] (2012) (68)
- DAILY RETURN RELATIONSHIPS AMONG ASIAN STOCK MARKETS (1990) (68)
- MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors (2014) (66)
- Fair real-time traffic scheduling over a wireless LAN (2001) (65)
- Injected and Delivered: Fabricating Implicit Control over Actuation Systems by Spoofing Inertial Sensors (2018) (65)
- From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study (2012) (64)
- Attack-resilient state estimation in the presence of noise (2015) (64)
- A Compositional Scheduling Framework for Digital Avionics Systems (2009) (62)
- Plug-and-play for medical devices: experiences from a case study. (2009) (60)
- NONLINEARITIES IN EMERGING FOREIGN CAPITAL MARKETS (1993) (59)
- Communicating shared resources: a model for distributed real-time systems (1989) (58)
- Incremental schedulability analysis of hierarchical real-time components (2006) (58)
- vCAT: Dynamic Cache Management Using CAT Virtualization (2017) (56)
- Assurance Cases in Model-Driven Development of the Pacemaker Software (2010) (56)
- STOCK MARKET SEASONALITY: SOME EVIDENCE FROM THE PACIFIC‐BASIN COUNTRIES (1992) (56)
- An empirical analysis of scheduling techniques for real-time cloud-based data processing (2011) (55)
- Compositional Analysis of Multi-mode Systems (2010) (55)
- Prototyping closed loop physiologic control with the medical device coordination framework (2010) (54)
- Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example (2013) (54)
- Intelligent and Dynamic Ransomware Spread Detection and Mitigation in Integrated Clinical Environments (2019) (54)
- An Evaluation Framework for Reputation Management Systems (2009) (53)
- Cache-aware compositional analysis of real-time multicore virtualization platforms (2013) (53)
- Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems (2016) (53)
- Attack resilient state estimation for autonomous robotic systems (2014) (52)
- A Study on Run Time Assurance for Complex Cyber Physical Systems (2013) (52)
- Model-based testing and monitoring for hybrid embedded systems (2004) (51)
- Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System (2004) (50)
- RTC: Language support for real-time concurrency (1991) (49)
- VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems (1993) (49)
- An efficient state space generation for analysis of real-time systems (1996) (48)
- EPA enforcement, firm response strategies, and stockholder wealth: an empirical examination (1998) (48)
- Analyzing and defending against web-based malware (2013) (48)
- The specification and schedulability analysis of real-time systems using ACSR (1995) (48)
- Security Challenges in Next Generation Cyber Physical Systems (2006) (48)
- RT-Open Stack: CPU Resource Management for Real-Time Cloud Computing (2015) (47)
- Case study: verifying the safety of an autonomous racing car with a neural network controller (2019) (47)
- Wealth effects of food and drug administration (FDA) decisions (1994) (46)
- Online planning for energy-efficient and disturbance-aware UAV operations (2016) (46)
- A trust model for vehicular network-based incident reports (2013) (45)
- Biomedical devices and systems security (2011) (45)
- Patient Infusion Pattern based Access Control Schemes for Wireless Insulin Pump System (2015) (44)
- A Monitoring and Checking Framework for Run-time Correctness Assurance (1998) (44)
- Real-Time MapReduce Scheduling (2010) (44)
- Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination (1999) (43)
- A Safety-Assured Development Approach for Real-Time Software (2010) (43)
- Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC (2002) (43)
- Using chaos measures to examine international capital market integration (1996) (42)
- Post-oxidizing treatments of the compound layer on the AISI 4135 steel produced by plasma nitrocarburizing (2004) (42)
- Towards a data-centric view of cloud security (2010) (41)
- Symbolic schedulability analysis of real-time systems (1998) (41)
- Analysis and Implementation of Global Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation (2016) (41)
- A Safety Case Pattern for Model-Based Development Approach (2012) (41)
- CCSR: A Calculus for Communicating Shared Resources (1990) (41)
- Co-design of control and platform with dropped signals (2013) (40)
- PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction (2019) (40)
- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking (2008) (39)
- Is runtime verification applicable to cheat detection? (2004) (39)
- A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments (2012) (39)
- Abstract slicing: a new approach to program slicing based on abstract interpretation and model checking (2005) (39)
- A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems (1998) (39)
- Solar-Light-Driven Efficient ZnO–Single-Walled Carbon Nanotube Photocatalyst for the Degradation of a Persistent Water Pollutant Organic Dye (2019) (38)
- A Resource-Based Prioritized Bisimulation for Real-Time Systems (1992) (37)
- Continuous Glucose Monitoring for Hypoglycemia Avoidance and Glucose Counterregulation in Long-Standing Type 1 Diabetes (2018) (37)
- Statistical Runtime Checking of Probabilistic Properties (2007) (37)
- Generic Infusion Pump Hazard Analysis and Safety Requirements Version 1.0 (2009) (37)
- ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities (1993) (36)
- Distributed web-based simulation experiments for optimization (2001) (36)
- Introduction to the special section on runtime verification (2012) (36)
- Resources in process algebra (2007) (35)
- Automatic test generation for the analysis of a real-time system: Case study (1997) (35)
- DMaC: Distributed Monitoring and Checking (2009) (34)
- Run-Time Checking of Dynamic Properties (2006) (34)
- CARTS: a tool for compositional analysis of real-time systems (2011) (33)
- Adding Time to Synchronous Process Communications (1987) (33)
- Stacked LSTM based deep recurrent neural network with kalman smoothing for blood glucose prediction (2021) (33)
- Verifying the Safety of Autonomous Systems with Neural Network Controllers (2020) (33)
- Safety-critical medical device development using the UPP2SF model translation tool (2014) (33)
- Enhanced Photocatalytic and Antibacterial Performance of ZnO Nanoparticles Prepared by an Efficient Thermolysis Method (2019) (33)
- Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS (2013) (32)
- Sensor Network Security: More Interesting Than You Think (2006) (32)
- Testing Real-Time Constraints in a Process Algebraic Setting (1995) (32)
- Versa: a Tool for the Speciication and Analysis of Resource-bound Real-time Systems (1995) (32)
- Checking Traces for Regulatory Conformance (2008) (32)
- R-Charon, a Modeling Language for Reconfigurable Hybrid Systems (2006) (32)
- Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation (2020) (31)
- Overhead-aware compositional analysis of real-time systems (2013) (31)
- Compositional Schedulability Analysis of Hierarchical Real-Time Systems (2007) (31)
- Enhanced Visible-Light Photocatalysis of Nanocomposites of Copper Oxide and Single-Walled Carbon Nanotubes for the Degradation of Methylene Blue (2020) (31)
- Cloud-Based Secure Logger for Medical Devices (2016) (30)
- On effective testing of health care simulation software (2011) (30)
- Specification and analysis of real-time systems with PARAGON (1999) (30)
- Assessing the Overall Sufficiency of Safety Arguments (2013) (30)
- Synchronizing an X-ray and Anesthesia Machine Ventilator - A Medical Device Interoperability Case Study (2009) (30)
- Security and Interoperable-Medical-Device Systems, Part 1 (2012) (29)
- The MIDdleware Assurance Substrate: Enabling Strong Real-Time Guarantees in Open Systems with OpenFlow (2014) (29)
- Spam mitigation using spatio-temporal reputations from blacklist history (2010) (29)
- A proof system for communicating shared resources (1990) (28)
- Compositional modeling and refinement for hierarchical hybrid systems (2006) (28)
- MAuth-CAN: Masquerade-Attack-Proof Authentication for In-Vehicle Networks (2020) (28)
- A Verifiable Language for Programming Real-Time Communication Schedules (2007) (28)
- QuanTM: a quantitative trust management system (2009) (28)
- A predictable real-time kernel for distributed multisensor systems (1989) (28)
- A dynamic scheduling approach to designing flexible safety-critical systems (2007) (27)
- Model-Based Testing of GUI-Driven Applications (2009) (27)
- Zero-laxity based real-time multiprocessor scheduling (2011) (27)
- Hardware Acceleration for Conditional State-Based Communication Scheduling on Real-Time Ethernet (2009) (27)
- Timed Atomic Commitment (1991) (26)
- Timed and Resource-Oriented Statecharts for Embedded Software (2010) (25)
- Market segmentation and the valuation of closed-end country funds: An empirical analysis (1996) (25)
- Testing and Monitoring Model-based Generated Program (2003) (25)
- Compositional Feasibility Analysis of Conditional Real-Time Task Models (2008) (25)
- A Semantic Framework for Mode Change Protocols (2011) (25)
- A contextual analysis of Pascal programs (1982) (25)
- Distributed Web-based simulation optimization (2000) (24)
- Distributed simulation of multi-agent hybrid systems (2002) (24)
- A Design Environment for the Rapid Specification and Fabrication of Printable Robots (2014) (24)
- Cyber-Physical System Checkpointing and Recovery (2018) (24)
- Parallel Algorithms for Relational Coarsest Partition Problems (1998) (24)
- Platform-dependent code generation for embedded real-time software (2013) (24)
- Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram (2010) (24)
- A graphical language with formal semantics for the specification and analysis of real-time systems (1995) (23)
- Representation of Confidence in Assurance Cases Using the Beta Distribution (2016) (23)
- A Family of Resource-Bound Real-Time Process Algebras (2001) (23)
- A graphical property specification language (1997) (23)
- Attack-resilient sensor fusion (2014) (23)
- Distributed Spatial Control, Global Monitoring and Steering of Mobile Physical Agents (1999) (23)
- MaC: A Framework for Run-Time Correctness Assurance of Real-Time Systems (1998) (23)
- Process-Algebraic Interpretation of AADL Models (2009) (23)
- Smart alarms: multivariate medical alarm integration for post CABG surgery patients (2012) (22)
- Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems (2009) (22)
- Foreign listings, firm value, and volatility: The case of Japanese firms' listings on the US stock markets (1997) (22)
- Early detection of critical pulmonary shunts in infants (2015) (22)
- Motivating Time as a First Class Entity (1987) (22)
- A protocol for timed atomic commitment (1989) (22)
- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning (2021) (21)
- Information extraction for run-time formal analysis (2001) (21)
- Praobabilistic Resource Failure in Real-Time Process Algebra (1998) (21)
- STiki: an anti-vandalism tool for Wikipedia using spatio-temporal analysis of revision metadata (2010) (21)
- Trust in collaborative web applications (2012) (21)
- The effect of molybdenum on the characteristics of surface layers of low temperature plasma nitrocarburized austenitic stainless steel (2009) (21)
- AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP (2011) (21)
- Carbon-ZnO core-shell nanospheres: Facile fabrication and application in the visible-light photocatalytic decomposition of organic pollutant dyes (2017) (20)
- Distributed spatial control, global monitoring and steering of mobile agents (1999) (20)
- A Theory of Testing for Soft Real-Time Processes (1996) (20)
- The medical device dongle: an open-source standards-based platform for interoperable medical device connectivity (2012) (20)
- Security and Interoperable-Medical-Device Systems, Part 2: Failures, Consequences, and Classification (2012) (20)
- AS-CRED: Reputation and Alert Service for Interdomain Routing (2013) (20)
- VERSA: A Tool for the Speci cation and Analysis of Resource-Bound Real-Time Systems (1995) (20)
- OSHA Sanctions and the Value of the Firm (1989) (19)
- Solid lubrication coating of FeS layer on the surface of SKD 61 steel produced by plasma sulfnitriding (2006) (19)
- Extracting formal specifications from natural language regulatory documents (2006) (19)
- Challenges in the regulatory approval of medical cyber-physical systems (2011) (19)
- PAC Prediction Sets Under Covariate Shift (2021) (19)
- Toward a safe integrated clinical environment: a communication security perspective (2012) (19)
- A Complete Axiomatization of Finite-State ACSR Processes (1997) (19)
- A distributed testbed for active sensory processing (1985) (18)
- Link spamming Wikipedia for profit (2011) (18)
- Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey (2014) (18)
- Resilient multidimensional sensor fusion using measurement history (2014) (18)
- Microstructures and mechanical properties of surface-hardened layer produced on SKD 61 steel by plasma radical nitriding (2007) (18)
- DUAL LISTINGS AND SHAREHOLDERS’WEALTH: EVIDENCE FROM UK AND JAPANESE FIRMS (1992) (18)
- Proving a Network of Real-Time Processes Correct (1985) (18)
- Plasma post-oxidation of nitrocarburized SUM 24L steel (2007) (18)
- Improving schedulability of fixed-priority real-time systems using shapers (2013) (17)
- Video Quality Driven Buffer Sizing via Frame Drops (2011) (17)
- Evaluation of a smart alarm for intensive care using clinical data (2012) (17)
- LogSafe: Secure and Scalable Data Logger for IoT Devices (2018) (17)
- A Programming System for Distributed Real-Time Applications (1984) (17)
- From Requirements to Code: Model Based Development of a Medical Cyber Physical System (2014) (17)
- Modular code generation from hybrid automata based on data dependency (2003) (17)
- Towards a Compositional Multi-modal Framework for Adaptive Cyber-physical Systems (2011) (16)
- Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety (2014) (16)
- Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems (2011) (16)
- Modeling and Analysis of Power-Aware Systems (2003) (16)
- A Synthesis Algorithm for Reconfigurable Interconnection Networks (1988) (16)
- A Causality Analysis Framework for Component-Based Real-Time Systems (2013) (16)
- A Performance Analysis of Times Synchronous Communication Primitives (1990) (15)
- Demo abstract: ROSLab — A modular programming environment for robotic applications (2014) (15)
- Infiltration of alumina sol into SLS processed porous Al2O3-Al4B2O9 ceramic composites (2001) (15)
- Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines (2012) (15)
- Formal modeling and analysis of the AFDX frame management design (2006) (15)
- Sound Code Generation from Communicating Hybrid Models (2004) (15)
- Physiology-Invariant Meal Detection for Type 1 Diabetes. (2016) (15)
- What Wikipedia deletes: characterizing dangerous collaborative content (2011) (15)
- Permission to speak: A logic for access control and conformance (2011) (15)
- Multilingual Vandalism Detection using Language-Independent & Ex Post Facto Evidence - Notebook for PAN at CLEF 2011 (2011) (15)
- Assuring the safety of on-demand medical cyber-physical systems (2013) (15)
- An Intraoperative Glucose Control Benchmark for Formal Verification (2015) (15)
- Network-Code Machine: Programmable Real-Time Communication Schedules (2006) (15)
- Runtime Verification of Traces under Recording Uncertainty (2011) (15)
- Logic-Based Regulatory Conformance Checking (2008) (15)
- A Complete Axiomatization of Real-Time Processes (1988) (15)
- Supporting real-time concurrency (1991) (14)
- Parameter-Invariant Design of Medical Alarms (2015) (14)
- Combination of plasma nitriding and nitrocarburizing treatments of AISI 630 martensitic precipitation hardening stainless steel (2019) (14)
- PAC Confidence Predictions for Deep Neural Network Classifiers (2020) (14)
- Compositional schedulability analysis for cyber-physical systems (2008) (14)
- Model-Based Programming of Modular Robots (2010) (14)
- Autonomous link spam detection in purely collaborative environments (2011) (14)
- A Compositional Framework for Avionics (ARINC-653) Systems (2009) (14)
- MC-ADAPT (2017) (14)
- MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling (2021) (14)
- GSA: a framework for rapid prototyping of smart alarm systems (2010) (14)
- Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification (2004) (13)
- Scalable Verification of Linear Controller Software (2016) (13)
- Modeling distributed autonomous robots using CHARON: formation control case study (2003) (13)
- Behavior of the S-phase of plasma nitrocarburized 316L austenitic stainless steel on changing pulse frequency and discharge voltage at fixed pulse-off time (2016) (13)
- A General Resource Framework for Real-Time Systems (2002) (13)
- Influence of heat treatment upon SLS processed composites fabricated with alumina and monoclinic HBO2 (2002) (13)
- Making DDS really real-time with OpenFlow (2016) (13)
- Improved ultrathin oxynitride formed by thermal nitridation and low pressure chemical vapor deposition process (1992) (13)
- Improving resource utilization for compositional scheduling using DPRM interfaces (2011) (13)
- Densification of porous Al2O3-Al4B2O9 ceramic composites fabricated by SLS process (1999) (13)
- Parameter-Invariant Monitor Design for Cyber–Physical Systems (2018) (12)
- A Modal Specification Approach for On-Demand Medical Systems (2013) (12)
- Securing the drop-box architecture for assisted living (2006) (12)
- iDECODe: In-distribution Equivariance for Conformal Out-of-distribution Detection (2022) (12)
- Human-interpretable diagnostic information for robotic planning systems (2016) (12)
- Testing real-time constraints (1996) (12)
- Runtime Verification for Wireless Sensor Network Applications (2007) (12)
- Strong and Weak Policy Relations (2009) (12)
- Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP (2002) (12)
- An analysis framework for network-code programs (2006) (12)
- The valuation effects of overseas listings: The case of the Tokyo Stock Exchange (1994) (12)
- The implementation of the gaits and body structure for hexapod robot (2001) (12)
- PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling (2012) (12)
- Optimal Control of Software Ensuring Safety and Functionality (2005) (12)
- Robust estimation using context-aware filtering (2015) (12)
- Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults (2017) (12)
- Reducing Pulse Oximetry False Alarms Without Missing Life-Threatening Events. (2018) (11)
- Steering of real-time systems based on monitoring and checking (1999) (11)
- Representing Confidence in Assurance Case Evidence (2014) (11)
- Generating Reliable Code from Hybrid-Systems Models (2010) (11)
- Robust monitoring of hypovolemia in intensive care patients using photoplethysmogram signals (2015) (11)
- Real-Time Traffic Congestion Prediction (2008) (11)
- Self-Driving Vehicle Verification Towards a Benchmark (2018) (11)
- Limitations of Threshold-Based Brain Oxygen Monitoring for Seizure Detection (2011) (11)
- Code generation from hybrid systems models for distributed embedded systems (2005) (11)
- Automatic verification of linear controller software (2015) (11)
- Context-Aware Detection in Medical Cyber-Physical Systems (2018) (11)
- Embedded system design framework for minimizing code size and guaranteeing real-time requirements (2002) (10)
- A design framework for real-time embedded systems with code size and energy constraints (2008) (10)
- Adaptive Transient Fault Model for Sensor Attack Detection (2016) (10)
- An Attack-Resilient CPS Architecture for Hierarchical Control: A Case Study on Train Control Systems (2018) (10)
- Plasma Post Oxidation of Plasma Nitrocarburized SKD 61 Steel (2009) (10)
- Timix: a distributed real-time kernel for multi-sensor robots (1988) (10)
- ICE++: Improving Security, QoS, and High Availability of Medical Cyber-Physical Systems through Mobile Edge Computing (2018) (10)
- Measuring False-Positive by Automated Real-Time Correlated Hacking Behavior Analysis (2001) (10)
- On the feasibility of dynamic rescheduling on the Intel Distributed Computing Platform (2010) (10)
- Partitioning of Massive/Real-Time Programs for Parallel Processing (1986) (10)
- Improving Neural Network Robustness via Persistency of Excitation (2021) (10)
- Communicating Shared Resources: A Paradigm for Integrating Real-Time Specification and Implementation (1991) (10)
- Shareholder wealth effects of interstate banking: The case of Delaware's Financial Center Development Act (1987) (10)
- Protecting interoperable clinical environment with authentication (2017) (10)
- Specification and Analysis of Resource-Bound Real-Time Systems (1991) (10)
- Are all outliers alike? On Understanding the Diversity of Outliers for Detecting OODs (2021) (10)
- Composition Techniques for Tree Communication Schedules (2007) (10)
- Process algebraic modelling and analysis of power-aware real-time systems (2002) (10)
- Improving Patient Safety with X-Ray and Anesthesia Machine Ventilator Synchronization: A Medical Device Interoperability Case Study (2009) (10)
- Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study (2016) (10)
- Timed Acceptances: A Model of Time Dependent Processes (1988) (10)
- Verified ROS-Based Deployment of Platform-Independent Control Systems (2015) (10)
- A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal (2014) (10)
- A layered approach for testing timing in the model-based implementation (2014) (9)
- A comparison of compositional schedulability analysis techniques for hierarchical real-time systems (2013) (9)
- Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control (2013) (9)
- The Soundness and Completeness of ACSR (Algebra of Communicating Shared Resources) (1993) (9)
- Mitigating Spam Using Spatio-Temporal Reputation (2010) (9)
- Multi-Mode Virtualization for Soft Real-Time Systems (2018) (9)
- Effect of the amount of CH4 gas on the characteristics of surface layers of low temperature plasma nitrided martensitic precipitation-hardening stainless steel (2016) (9)
- OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things (2018) (9)
- Explaining Premiums And Discounts On Closed-End Equality Country Funds (1996) (9)
- Joint Rate Control and Demand Balancing for Electric Vehicle Charging (2018) (9)
- Platform-specific timing verification framework in model-based implementation (2015) (9)
- Abnormal returns in post-FIRREA acquisitions of failed thrifts (1994) (9)
- Rapid Co-Design of Electro-Mechanical Specifications for Robotic Systems (2015) (9)
- Symbolic Weak Bisimulation for Value-passing Calculi (1998) (9)
- High-Level Model Extraction via Symbolic Execution (2012) (9)
- Reputation-based networked control with data-corrupting channels (2011) (9)
- Contract-based blame assignment by trace analysis (2013) (9)
- Prediction of Critical Pulmonary Shunts in Infants (2016) (8)
- CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities (1992) (8)
- Valuation Effects of New Securities Issuance by Bank Holding Companies: New Evidence (1991) (8)
- Multiprocessor real-time scheduling considering concurrency and urgency (2010) (8)
- Privacy apis: formal models for analyzing legal privacy requirements (2008) (8)
- Timing analysis of superscalar processor programs using ACSR (1994) (8)
- Enhanced Split TCP with End-to-End Protocol Semantics over Wireless Networks (2017) (8)
- A Compositional Framework for Real-Time Embedded Systems (2005) (8)
- Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges (2018) (8)
- Quantitative schedulability analysis of continuous probability tasks in a hierarchical context (2015) (8)
- Parameter Invariant Monitoring for Signal Temporal Logic (2018) (8)
- Automatic Verification of Finite Precision Implementations of Linear Controllers (2017) (8)
- Bounding Preemptions under EDF and RM Schedulers Technical Report : MS-CIS-06-07 (8)
- Checking Correctness At Runtime using Real-Time Java (2005) (7)
- Towards Assurance for Plug & Play Medical Systems (2015) (7)
- Property-Coverage Testing (2003) (7)
- Interface Algebra for Analysis of Hierarchical Real-Time Systems (2008) (7)
- A Real-Time Kernel for Distributed Multi-Robot Systems (1988) (7)
- CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems (2022) (7)
- MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling (2018) (7)
- Improving the Safety of Patient-Controlled Analgesia Infusions with Safety Interlocks and Closed-Loop Control (2007) (7)
- A Hybrid Approach to Causality Analysis (2015) (7)
- Paragon: a Paradigm for the Speciication, Veriication and Testing of Real-time Systems (1997) (7)
- Detecting OODs as datapoints with High Uncertainty (2021) (7)
- Conditional models for compositional design of real-time embedded systems (2008) (7)
- Use Case Demonstration: X-Ray/Ventilator (2007) (7)
- VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems (2020) (7)
- Synthesizing Minimum Total Expansion Topologies for Reconfigurable Interconnection Networks (1989) (7)
- Optimizing the resource requirements of hierarchical scheduling systems (2016) (7)
- Towards synthesis of platform-aware attack-resilient control systems: extended abstract (2013) (7)
- XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems (1996) (7)
- Effect of processing temperatures on characteristics of surface layers of low temperature plasma nitrocarburized AISI 204Cu austenitic stainless steel (2012) (7)
- A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps (2015) (7)
- Transmission delay performance in telemedicine: A case study (2017) (7)
- Spatio-temporal analysis of Wikipedia metadata and the STiki anti-vandalism tool (2010) (7)
- Verisig (2019) (7)
- Verification of the redundancy management system for space launch vehicle: a case study (1998) (7)
- Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (2010) (7)
- Hierarchical Nanocauliflower Chemical Assembly Composed of Copper Oxide and Single-Walled Carbon Nanotubes for Enhanced Photocatalytic Dye Degradation (2021) (7)
- Coherent CuO-ZnO nanobullets maneuvered for photocatalytic hydrogen generation and degradation of a persistent water pollutant under visible-light illumination (2021) (7)
- AS-CRED: Reputation Service for Trustworthy Inter-Domain Routing (2010) (6)
- Confidence Composition for Monitors of Verification Assumptions (2021) (6)
- Towards Secure Cloud Data Management (2010) (6)
- Deadlock prevention in the RTC programming system for distributed real-time applications (1993) (6)
- GCSR: A Graphical Language with Algebraic Semantics for the Specific ation of Real-Time Systems (1995) (6)
- Robust Learning via Persistency of Excitation (2021) (6)
- Modeling Opportunities in mHealth Cyber-Physical Systems (2017) (6)
- Formation of chemical heterojunctions between ZnO nanoparticles and single-walled carbon nanotubes for synergistic enhancement of photocatalytic activity (2021) (6)
- Implementing A Real-time Process Algebra In HOL (1991) (6)
- Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations (2020) (6)
- Distributed aspects of the artificial pancreas (2013) (6)
- Class-Weighted Evaluation Metrics for Imbalanced Data Classification (2020) (6)
- Unit & dynamic typing in hybrid systems modeling with CHARON (2006) (6)
- Simulation Relations, Interface Complexity, and Resource Optimality for Real-Time Hierachical Systems (2009) (6)
- The formal treatment of priorities in real-time computation (1989) (6)
- Schedulability and safety analysis in the graphical communicating shared resources (1996) (6)
- Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper) (2016) (6)
- Distributed-code generation from hybrid systems models for time-delayed multirate systems (2005) (6)
- Reverse Software Engineering (1988) (6)
- Raproto: an open source platform for rapid prototyping of wearable medical devices (2021) (6)
- Distributed Spatial Control and Global Monitoring of Mobile Agents (1999) (6)
- Poster Abstract: Encrypted Malware Traffic Detection Using Incremental Learning (2020) (6)
- Towards Assurance Cases for Resilient Control Systems (2014) (6)
- TrustForge: Flexible access control for collaborative crowd-sourced environment (2013) (6)
- Selective Laser Sintering of Alumina-Zinc Borosilicate Glass Composites using Monoclinic HB02 as a Binder (1995) (6)
- Estimation of Blood Oxygen Content Using Context-Aware Filtering (2016) (6)
- Resilient Linear Classification: An Approach to Deal with Attacks on Training Data (2017) (6)
- A Hybrid Approach to Formal Verification Applied to an ATM Switching System (1996) (6)
- Visible-light-active novel α-Fe2O3/Ta3N5 photocatalyst designed by band-edge tuning and interfacial charge transfer for effective treatment of hazardous pollutants (2021) (6)
- Characterizing Glycemic Control and Sleep in Adults with Long-Standing Type 1 Diabetes and Hypoglycemia Unawareness Initiating Hybrid Closed Loop Insulin Delivery (2021) (6)
- Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems (2018) (6)
- Real-time detectors for digital and physical adversarial inputs to perception systems (2020) (5)
- Requirement Engineering for Functional Alarm System for Interoperable Medical Devices (2015) (5)
- Generating Sound and Resource-Aware Code from Hybrid Systems Models (2006) (5)
- Development of plasma nitrocarburizing and post-oxidation technology for the replacement of Cr6+ plating for application to vehicle engine shafts (2008) (5)
- Research challenges in embedded and hybrid systems (2004) (5)
- Resource Scopes: Toward Language Support for Compositional Determinism (2009) (5)
- Platform-Specific Code Generation from Platform-Independent Timed Models (2015) (5)
- Formal verification, testing and checking of real-time systems (1996) (5)
- A stochastic approach for attack resilient UAV motion planning (2016) (5)
- Improving Classifier Confidence using Lossy Label-Invariant Transformations (2020) (5)
- Formal synthesis of application and platform behaviors of embedded software systems (2015) (5)
- Towards Context-Aware Cyber-Physical Systems (2018) (5)
- Towards the effective temporal association mining of spam blacklists (2011) (5)
- Robust and sustainable schedulability analysis of embedded software (2008) (5)
- Synthesis and Mapping Algorithms for a Reconfigurable Optical Interconnection Network (1986) (5)
- A State Minimization Algorithm for Communicating State Machines With Arbitrary Data Space (1993) (5)
- Continuous Estimation Using Context-Dependent Discrete Measurements (2019) (5)
- The algebra of communicating shared resources and its toolkit (1995) (5)
- Architecture-Centric Software Development for Cyber-Physical Systems (2014) (5)
- Evaluation and Enhancement of an Intraoperative Insulin Infusion Protocol via In-Silico Simulation (2013) (5)
- A Design Approach for Real-Time Embedded Systems with Energy and Code Size Constraints (2004) (5)
- Design and Implementation of Attack-Resilient Cyber-Physical Systems (2016) (5)
- Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator (2021) (5)
- Data Freshness Over-Engineering: Formulation and Results (2018) (5)
- Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement (2018) (5)
- A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems (2017) (5)
- RK : A Real-Time Kernel for a Distributed System With Predictable Response (1988) (4)
- Plasma post oxidation of nitrocarburized AISI 4140 steel (2006) (4)
- Phase Segregation in the Mixed Alkyl Thiol Self-assembled Monolayers on a Gold Surface at a High Incubation Temperature in a Sealed Container (2015) (4)
- Direct observation of the conformational transitions of single pyridine molecules on a Ag(110) surface induced by long-range repulsive intermolecular interactions. (2017) (4)
- Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors (2020) (4)
- Run-time Monitoring and Steering based on Formal Specifications (2000) (4)
- Advanced Split-TCP with End-to-End Protocol Semantics over Wireless Networks (2016) (4)
- Flexible Monitor Deployment for Runtime Verification of Large Scale Software (2018) (4)
- The integrated specification and analysis of functional, temporal, and resource requirements (1997) (4)
- Web-based simulation experiments (1998) (4)
- Towards Non-Invasive Monitoring of Hypovolemia in Intensive Care Patients (2015) (4)
- Formal Modeling and Analysis of Power-Aware Real-Time Systems (2002) (4)
- Fatigue behavior of plasma radical nitrided SCM435 steel in super-long life regime (2011) (4)
- Clinician-in-the-Loop Annotation of ICU Bedside Alarm Data (2016) (4)
- Effect of amino, hydroxyl, and carboxyl terminal groups of alkyl chains of self‐assembled monolayers on the adsorption pattern of gold nanoparticles (2019) (4)
- A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation (1994) (4)
- Deadlock prevention in concurrent real-time systems (1993) (4)
- Interpretable Detection of Distribution Shifts in Learning Enabled Cyber-Physical Systems (2022) (4)
- AS-TRUST: A Trust Characterization Scheme for Autonomous Systems in BGP (2010) (4)
- Challenges and opportunities in deeply embedded systems security (2008) (4)
- The turn-of-the-year effects in Asian stock markets (1991) (4)
- Plasma Nitrocarburizing Techiques with Quenching and Tempering for Manufacture of Vehicle Parts (2015) (4)
- Automatic Speciication-based Testing of Real-time Properties (1997) (4)
- Advances in hierarchical real-time systems: incrementality, optimality, and multiprocessor clustering (2008) (4)
- State Consistencies for Cyber-Physical System Recovery (2019) (4)
- UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture (2010) (3)
- Open Wikis and the protection of institutional welfare (2012) (3)
- PAC Prediction Sets for Meta-Learning (2022) (3)
- Hierarchical multi-formalism proofs of cyber-physical systems (2015) (3)
- Demo of the medical device dongle: an open-source standards-based platform for interoperable medical device connectivity (2011) (3)
- Resilient Adaptive Control with Application to Vehicle Cruise Control (2013) (3)
- Detecting security leaks in hybrid systems with information flow analysis (2019) (3)
- ToMaTo: a trustworthy code mashup development tool (2011) (3)
- Computing Logical Form on Regulatory Texts (2011) (3)
- Graphical communicating shared resources: a language for the specification, refinement and analysis of real-time systems (1996) (3)
- Influence of processing parameters on the characteristics of surface layers of low temperature plasma nitrocarburized AISI 630 martensitic stainless steel (2017) (3)
- Formal specification and analysis of DMI-an X-25 based protocol (1988) (3)
- Comparative Analysis of Hill Climbing Mapping Algorithms (1988) (3)
- UniQGAN: Unified Generative Adversarial Networks for Augmented Modulation Classification (2022) (3)
- Attack-resilient minimum mean-squared error estimation (2014) (3)
- Trapfetch: A breakpoint-based prefetcher for both launch and run-time (2017) (3)
- Clinical decision support for integrated cyber-physical systems: a mixed methods approach (2012) (3)
- High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms (2021) (3)
- Process algebraic approach to the parametric analysis of real-time scheduling problems (2000) (3)
- Towards content-driven reputation for collaborative code repositories (2012) (3)
- Effects of electron beam irradiation on PZT/PLZT thin film capacitors (1994) (3)
- Language constructs for timed atomic commitment (1989) (3)
- Demo of the Generic Smart Alarm: a framework for the design, analysis, and implementation of smart alarms and other clinical decision support systems (2010) (3)
- Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis (2021) (3)
- Hiding resources that can fail: An axiomatic perspective (2001) (3)
- Towards PAC Multi-Object Detection and Tracking (2022) (3)
- An Efficient Generation of the Timed Reachability Graph for the Analysis of Real-Time Systems (1994) (3)
- In situ preparation of graphene-ZnO composites for enhanced graphite exfoliation and graphene-nylon-6 composite films (2017) (3)
- Extensible Energy Planning Framework for Preemptive Tasks (2017) (3)
- Invited talk: Challenges in Medical Cyber-Physical Systems (2012) (3)
- Language Constructs for Distributed Real-Time Consistency (1989) (3)
- Platform-Based Automotive Safety Features (2016) (3)
- Stock Market Reactions to SFAS No. 96: Evidence from Early Bank Adopters (1993) (3)
- A Default Temporal Logic for Regulatory Conformance Checking (2008) (3)
- A Process Algebraic Framework for Modeling Resource Demand and Supply (2010) (3)
- Automation of analysis and simulation for understanding of large real-time Ada software (1995) (2)
- Monitoring and checking of real-time and probabilistic properties (2007) (2)
- Role of Electronic Structures and Dispersion Interactions in Adsorption Selectivity of Pyrimidine Molecules with a Si(5 5 12) Surface (2019) (2)
- Application of Python to AIMS Data to Analyze Intraoperative Hypotension through Pediatric Blood Pressure Curves (2014) (2)
- Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP (1998) (2)
- Hardware acceleration for verifiable, adaptive real-time communication (2008) (2)
- Protocols for Timed Synchronous Process Communications (1986) (2)
- Testing-based analysis of real-time system models (1996) (2)
- Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper (2021) (2)
- Semantics of High-Level Event Definition (2007) (2)
- KRS-DGIST: a resilient CPS testbed for radio-based train control: WiP abstract (2018) (2)
- Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks (2015) (2)
- State-based scheduling with tree schedules: analysis and evaluation (2012) (2)
- Fast Parallel Deterministic and Randomized Algorithms for Model Checking (1993) (2)
- Proceedings of the First international conference on Runtime verification (2010) (2)
- LCV: A Verification Tool for Linear Controller Software (2019) (2)
- PAC-Wrap: Semi-Supervised PAC Anomaly Detection (2022) (2)
- Regulatory conformance checking: logic and logical form (2010) (2)
- The Design Of An Optical Network And Its Utilization (1986) (2)
- The Influence of Treatment Condition During Low Temperature Plasma Carburizing of AISI304L Stainless Steel (2011) (2)
- RT-ACL: Identification of High-Risk Youth Patients and their Most Significant Risk Factors to Reduce Anterior Cruciate Ligament Reinjury Risk (2021) (2)
- Analytical Design of Evolutionary Control Flow Components (1997) (2)
- A Markovian Approach for Attack Resilient Control of Mobile Robotic Systems (2015) (2)
- Evaluating Alarm Classifiers with High-confidence Data Programming (2022) (2)
- Java-MaC: A Run-Time Assurance Approach fo rJ av aP rograms ∗ (2004) (2)
- Wandering Data: A Scalable, Durable System for Effective Visualization of Patient Health Data (2014) (2)
- Overhead-Aware Deployment of Runtime Monitors (2019) (2)
- Towards Alternative Techniques for Improving Adversarial Robustness: Analysis of Adversarial Training at a Spectrum of Perturbations (2022) (2)
- Thermal and Structural Analyses of Semi-metallic Gasket Joined with Graphite Seal for Ship Engine Piping Flange (2017) (2)
- Pinholes on thermally grown oxide under polysilicon layer after plasma etching (1999) (2)
- Selective Laser Sintering of Alumina-Boron Oxide Composites (1994) (2)
- A Modal Specification Theory for Timing Variability (2013) (2)
- Effects of Processing Temperatures on the Characteristics of the Surface Hardened Layer Produced on Duplex Stainless Steel by Low Temperature Plasma Nitrocarburizing (2013) (2)
- An Eecient Generation of the Timed Reachability Graph for the Analysis of Real-time Systems (1994) (2)
- A Graphical Language for Specifying and Analyzing Real-Time Systems (1998) (2)
- Robust Localization Using Context-Aware Filtering (2015) (2)
- Generalized I/O with Timing Constraints (1987) (2)
- Cache-aware interfaces for compositional real-time systems: invited paper (2016) (2)
- Monitoring Assumptions in Assume-Guarantee Contracts (2016) (2)
- Optimization of Processing parameters on Low Temperature Plasma Nitriding of AISI 420 Martensitic Stainless Steel (2019) (2)
- Proceedings of the 6th International Conference on Concurrency Theory (1995) (2)
- Demo abstract: Synthesis of platform-aware attack-resilient vehicular systems (2013) (2)
- Alumina-composites made by reactive infiltration of molten aluminum alloy into fibrous insulation board (1999) (2)
- Spamming for Science: Active Measurement in Web 2.0 Abuse Research (2012) (2)
- Modeling buffers with data refresh semantics in automotive architectures (2010) (2)
- Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis (2008) (2)
- Real-Time Multi-Core Virtual Machine Scheduling (2013) (2)
- A Reliable, Safe, and Secure Run-Time Platform for Cyber Physical Systems (2013) (2)
- Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks (2020) (2)
- Scalable Verific ation of Linear Controller Soft ware (2016) (2)
- VitalCore: Analytics and Support Dashboard for Medical Device Integration (2021) (2)
- Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems (2018) (2)
- Compositional Real-Time Schedulability Analysis (2007) (2)
- A Compositional Framework for Real-Time Guarantees (2004) (2)
- Robust Medical Monitor Design (2015) (2)
- Integrated environments (1983) (2)
- Very High Cycle Fatigue Behavior of Plasma Nitrided 316 Stainless Steel (2013) (2)
- Effect of CH4 Content on the Characteristics of Surface Layers of Low Temperature Plasma Nitrided 2205 Duplex Stainless Steel (2016) (2)
- ModelGuard: Runtime Validation of Lipschitz-continuous Models (2021) (2)
- Sound Code Generation From Hybrid System Models: Some Theoretical Results (2005) (2)
- Towards compositional mixed-criticality real-time scheduling in open systems: invited paper (2016) (2)
- Confidence Calibration with Bounded Error Using Transformations (2021) (2)
- A Retrospective Look at the Monitoring and Checking (MaC) Framework (2019) (2)
- Medical Cyber–Physical Systems: The Early Years (2015) (2)
- A State Minimization Technique for Timed Automata (1996) (1)
- Security in Sensor Networks for Medical Systems Torso Architecture (2005) (1)
- A Graphical Property Speci cation Language (1997) (1)
- Towards formalization of wireless vehicular networking (2020) (1)
- Memory Classifiers: Two-stage Classification for Robustness in Machine Learning (2022) (1)
- CCSR: a calculus for communicating shared (1990) (1)
- Dual Periodic Resource Model (2011) (1)
- Demo abstract: Platform dependent code generation of real-time embedded software (2013) (1)
- Functional Alarms for Systems of Interoperable Medical Devices (2014) (1)
- Maintaining Consistency Over A Network in Real-Time Applications (1989) (1)
- A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems (2022) (1)
- Retrospective exploration of safety properties in real-time concurrent systems (1997) (1)
- A model-based I/O interface synthesis framework for the cross-platform software modeling (2012) (1)
- Guest Editorial Special Issue on RRCPS: Reliable and Resilient Cyber-Physical Systems (2019) (1)
- MS-CIS-91-35 GRASP LAB 260 (1992) (1)
- Proceedings : Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 12-14 May 2004, Vienna, Austria (2004) (1)
- HMM-based characterization of channel behavior for networked control systems (2012) (1)
- Effects of Gas Composition on the Characteristics of Surface Layers Produced on AISI316L Stainless Steel during Low Temperature Plasma Nitriding after Low Temperature Plasma Carburizing (2009) (1)
- Imprecise Bayesian Neural Networks (2023) (1)
- Fast parallel algorithms for model checking using BDDs (1993) (1)
- AutoWean: Extubation Failure Risk Estimation for Critically Ill Patients (2022) (1)
- A Two-Arm Exploratory System for Identifying Moving and Removable Parts (1989) (1)
- Sequential Covariate Shift Detection Using Classifier Two-Sample Tests (2022) (1)
- Verified Generation of Glue Code for ROS-based Control Systems ∗ (2014) (1)
- Design of Interoperability-Coupled Safe Infusion Therapy in a Telemetry Setting (2009) (1)
- Embedded software : third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings (2003) (1)
- Schedulability Analysis of Hierarchical Real-Time Systems (2007) (1)
- Introduction and Overview (2007) (1)
- E-PODS: A Fast Heuristic for Data/Service Delivery in Vehicular Edge Computing (2021) (1)
- AutoV: An Automotive Testbed for Real-Time Virtualization (2017) (1)
- Frictional behaviour of Oxide Films Produced on S45C Steel by Plasma Nitrocarburizing and Post Plasma Oxidation Treatment (2006) (1)
- Generating composite behavior of embedded software components based on UML behavioral model and process algebra (2011) (1)
- Process algebraic approach to the parametric analysis of object scheduling in real-time systems (1999) (1)
- The Influence of Heat Treatment Temperature on Microstructure and Corrosion Behavior of SDSS Tube (2015) (1)
- Model Checking of Real-Time Properties of Resource-Bound Process Algebra (2009) (1)
- Automated insulin delivery for hypoglycemia avoidance and glucose counterregulation in long-standing type 1 diabetes with hypoglycemia unawareness. (2023) (1)
- Specifying Failures and Recoveries in PACSR (2007) (1)
- Device Time, Data Logging, and Virtual Medical Devices (2012) (1)
- Data Generation With Prospect: A Probability Specification Tool (2021) (1)
- WiP Abstract: KRS-DGIST: A Resilient CPS Testbed for Radio-Based Train Control (2018) (1)
- Medical Cyber-Physical Systems: Challenges and Future Directions (2020) (1)
- Cost-Based Dynamic Job Rescheduling: A Case Study of the Intel Distributed Computing Platform (2010) (1)
- Attack-Resilient Sensor Fusion for CPS (2017) (1)
- REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency (2019) (1)
- Testing the Electronic Throttle Control (2002) (1)
- Fundamental R&D Issues in Real-Time Distributed Computing (2000) (1)
- Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information (2022) (1)
- Supporting Model-Based Validation at Run-Time (1)
- Proving Properties of Real-Time Distributed Systems: A Comparison of Three Approaches (1992) (1)
- Analysis and Implementation of GlEnergy Saving for Mixed-Criticalityobal Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation. (2016) (0)
- Lumos (2022) (0)
- Distributed Real-Time Systems An Introduction to the Minitrack (1996) (0)
- Communicating Shared Resources: A Model for Distributed Real-Tim Systems (MS-CIS-89-26) (1989) (0)
- QuanTM Architecture for Web Services (2010) (0)
- 1-1-2002 Testing the Electronic Throttle Control (2014) (0)
- Towards Virtualization-Agnostic Latency for Time-Sensitive Applications (2021) (0)
- Take Me Home: Reversing Distribution Shifts using Reinforcement Learning (2023) (0)
- Hierarchical Scheduling (2022) (0)
- 0585 Use of a Hybrid Closed Loop Insulin Delivery System Improves Sleep and Glycemic Control in Adults with Long-Standing Type 1 Diabetes and Hypoglycemia Unawareness (2022) (0)
- Fair Real-Time Scheduling over a Wireless LAN (2005) (0)
- Modeling Reliable Distributed Real-Time Programs (1988) (0)
- A Performance Analysis of Timed Synchronous Comunicat ion Primitives (2015) (0)
- ScholarlyCommons Model-Based Programming of Modular Robots Model-Based Programming of Modular Robots (2021) (0)
- GlucoScan: Noninvasive Glucose Monitoring Device (2022) (0)
- Robust Concept Learning and Lifelong Adaptation Against Adversarial Attacks (2020) (0)
- Incorporating Interoperability Functionality for Increasing Patient Safety with PCA-Included Multiple Infusion Therapy (2009) (0)
- Departmental Papers ( CIS ) Department of Computer & Information Science March 2006 Simulation-Based Graph Similarity (2015) (0)
- Partial Computation in Real-Time Database Systems: A Research Plan (1988) (0)
- 1-1-2010 Towards Secure Cloud Data Management (2014) (0)
- Dynamic Trust Management (DTM) (2009) (0)
- The influence of fuel surface roughness on ignition inthe mining industry – an exploratory analysis (2020) (0)
- Modeling the Simplex Architecture using Charon (2007) (0)
- 162-OR: Effect of Automated Insulin Delivery on Glucose Counterregulation in Long-Standing Type 1 Diabetes (2022) (0)
- Runtime Verification of Traces Under Recording Uncertainty Runtime Verification of Traces Under Recording Uncertainty (2021) (0)
- Effects of Pre-Aging Treatment on the Corrosion Resistance of Low Temperature Plasma Nitrocarburized AISI 630 Martensitic Precipitation Hardening Stainless Steel (2020) (0)
- Departmental Papers ( CIS ) Department of Computer & Information Science January 1991 RTC : Language Support for Real-Time Concurrency (2016) (0)
- Permission to Speak: A Novel Formal Foundation for Access Control (2009) (0)
- 8-1-2011 Biomedical Devices and Systems Security (2011) (0)
- Using Semantic Information for Defining and Detecting OOD Inputs (2023) (0)
- WiP Abstract : Noise Adaptive System using Abstract and Probabilistic Model (2016) (0)
- Automatic Test Generation from Statecharts Using Model (2001) (0)
- MOTIVATING TIME AS A FIRST CLASS ENTITY lnsup (2014) (0)
- The Effects of Processing Parameters on Surface Hardening Layer Characteristics of Low Temperature Plasma Nitriding of 316L Austenitic Stainless Steel (2019) (0)
- Message from General Co-chairs and Program Chair (2012) (0)
- Paragon Toolset a Tutorial (2007) (0)
- PacJam (2022) (0)
- Formally Integrating Real-Time Specification: A Research Proposal (1988) (0)
- Towards Assurance Cases for Resilient Control Systems (Invited Paper) (2014) (0)
- Day of the Week Effects in Common Stock Returns: The Case of the Asian Stock Markets (1988) (0)
- Vehicle Trust Management forConnected Vehicles (2016) (0)
- IEEE ISORC 2019 Keynote: “The Internet of Medical Things: Personalizing Medicine in an Impersonal World” (2019) (0)
- FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data (2021) (0)
- RT-OpenStack: a Real-Time Cloud Management System (2014) (0)
- DYMOS: A dynamic modification system (1983) (0)
- Effect of Alloying Element on the High Temperature Tensile Property of Ferritic Stainless Steel for Automotive Exhaust System (2010) (0)
- Incremental Anomaly Detection with Guarantee in the Internet of Medical Things (2023) (0)
- The Characteristics of the Oxide Layer Produced on the Plasma Nitrocarburized Compound Layer of SCM435 Steel by Plasma Oxidation (2004) (0)
- Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks (2022) (0)
- Privacy in the Autonomous World of Cyber-Physical Systems (2014) (0)
- The Influence of Pulse Frequency and Duty Factor on Surface Characteristics during Low Temperature Plasma Nitrocarburizing Treatment of Duplex Stainless Steel (2014) (0)
- Guaranteed Conformance of Neurosymbolic Models to Natural Constraints (2022) (0)
- THE EFFECTS OF PROCESSING PARAMETERS ON THE CHARACTERISTICS OF LOW TEMPERATURE PLASMA CARBURIZED LAYER PRODUCED ON THE DUPLEX STAINLESS STEEL (2013) (0)
- Two Weak Links in the Formal Methods (2007) (0)
- Compositional analysis of real-time embedded systems (2011) (0)
- The Application of Plasma Nitrocarburizing and Plasma Post Oxidation Technology to the Automobile Engine Parts Shafts (2006) (0)
- Conservative Safety Monitors of Stochastic Dynamical Systems (2023) (0)
- Loss-sensitive decision rules for intrusion detection and response (2004) (0)
- The Effect of Processing Parameters in Electropolishing of 316L Stainless Steel (2013) (0)
- Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates (2022) (0)
- Exploring the twin peaks using probabilistic verification techniques (2014) (0)
- The Effects of Gas Compositions During Post Nitriding on the AISI 316L Stainless Steel after Plasma Carburizing (2015) (0)
- Towards Scenario-Based Design and Verification of Resilient Cyber-Physical Systems Extended Abstract (2018) (0)
- Process Algebraic Modeling and Analysis of Power-Aware Real-Time Systems (2014) (0)
- Influence of Treatment Temperature on Surface Characteristics during Low Temperature Plasma Carburizing and DLC duplex treatment of AISI316L Stainless Steel (2011) (0)
- Detecting Interoperability Failures in Interoperable Medical Device Systems (2017) (0)
- Dependable Software Engineering. Theories, Tools, and Applications (2018) (0)
- Global Edge Bandwidth Cost Gradient-based Heuristic for Fast Data Delivery to Connected Vehicles under Vehicle Overlaps (2022) (0)
- Incorporation of Interoperability in a Robot-Assisted Orthopedic Surgery System (2009) (0)
- Timing Analysis of Superscalar Processor Programs Using (1994) (0)
- CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, proceedings (1995) (0)
- Preliminary Version Run-Time Checking of Dynamic Properties 1 (2015) (0)
- Synthesis of Topologies with Minimum Total Expansion (1987) (0)
- Automatic Verific ation of Linear Controller Soft ware (2015) (0)
- Demo (2019) (0)
- Surface hardening and enhancement of Corrosion Resistance of AISI 310S Austenitic Stainless Steel by Low Temperature Plasma Nitrocarburizing treatment (2012) (0)
- Contents, Vol. 23, 1989 (1989) (0)
- Effect of plasma nitrocarburizing on fatigue strength of SCM435 steel (2007) (0)
- Introduction to the Special Issue on Internet-of-Medical-Things (2022) (0)
- 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, Beijing, China, April 16-19, 2012 (2012) (0)
- Demo: verisig - verifying safety properties of hybrid systems with neural network controllers (2018) (0)
- Conformal Prediction Regions for Time Series using Linear Complementarity Programming (2023) (0)
- Effects of Ar gas composition on the characteristics of surface layers produced on AISI 316L stainless steel during low temperature plasma nitriding after low temperature plasma carburizing (2009) (0)
- Graphical Communicating Shared Resources : a Language for Specifying and Analyzing Real-Time Systems (1997) (0)
- T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification (2022) (0)
- Duplex Surface Treatments of Plasma Nitrocarburizing and Plasma Oxidation of SKD 11 Steel (2007) (0)
- Lumos: An Open-Source Device for Wearable Spectroscopy Research (2022) (0)
- Communicating Shared Resources : A Paradigm For Integrating Real-Time Specificat ion And Implement at ion MS-CIS-91-31 GRASP LAB 259 (2014) (0)
- Detection of Adversarial Physical Attacks in Time-Series Image Data (2023) (0)
- Raproto (0)
- Editorial: Special issue on real-time wireless sensor networks (2007) (0)
- Generating Reliable Code from Hybrid-Systems Models Generating Reliable Code from Hybrid-Systems Models (2021) (0)
- Improvement of the Surface Properties of Low Temperature Plasma Nitrocarburized Martensitic Precipitation-Hardening Stainless Steel by Aging Treatment (2018) (0)
- Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning (2023) (0)
- OpportunitiesObligations for Physical Computing (2005) (0)
- Overview of an Integrated Toolset Under Development for the CSR Paradigm (1993) (0)
- 1-1-2011 Dual Periodic Resource Model (2016) (0)
- Reverse Soft ware Engineering (1988) (0)
- Operational Semantics for Visual Simulation inPARAGONHanêne (1997) (0)
- Extracting Formal Models from Informal Requirements and Using Them for Validation (2009) (0)
- April 2008 Interface Algebra for Analysis of Hierarchical Real-Time Systems (2015) (0)
- Inaugural Issue Editorial (2020) (0)
- Assessing the Overall Sufficiency of Safety Arguments Assessing the Overall Sufficiency of Safety Arguments (2021) (0)
- Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models (2016) (0)
- UniQGAN: Towards Improved Modulation Classification with Adversarial Robustness Using Scalable Generator Design (2023) (0)
- 311 Effect of Radical Nitriding Condition On Super-long Life Fatigue Strength of SCM435 Steel (2007) (0)
- Hiding Resources that Can Fail (2001) (0)
- Abstracts of Papers Presented at the 36th ORCA Congress (1989) (0)
- Hardware Acceleration for Programmable Real-Time Ethernet (2009) (0)
- Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models (2019) (0)
- Vehicle trust management for connected vehicles : final research report. (2016) (0)
- The Effects of Processing Temperature and Time on the Surface Properties of Plasma Radical Nitrided SCM 440 Steel (2007) (0)
- In and Out-of-Domain Text Adversarial Robustness via Label Smoothing (2022) (0)
- Foundational and Systems Support for Quantitative Trust Management (QTM) (2009) (0)
- Effect of Gas Content and Treatment Temperature on the Characteristic of Surface Layers of Low Temperature Plasma Nitrided 316L Austenitic Stainless Steel (2018) (0)
- ILP-based Schedule Synthesis of Time-Sensitive Networking (2021) (0)
- Medical Cyber-Physical Systems: IoMT Applications and Challenges (2022) (0)
- Advanced Tool Integration for Embedded System Assurances (2006) (0)
- Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices (2022) (0)
- Introduction (2017) (0)
- Causal Repair of Learning-enabled Cyber-physical Systems (2023) (0)
- LANGUAGE CONSTRUCTS FOR DISTRIBUTED REAL-TIME PROGRAMMING lnsup (2014) (0)
- Monitoring Time Intervals (2017) (0)
- A Framework for Embedded Real-Time System Design (2000) (0)
- 1998 MaC : A Framework for Run-Time Correctness Assurance of Real-Time Systems (2016) (0)
- 9-1-2010 Generating Reliable Code from Hybrid-Systems Models (2015) (0)
- An analysis of the merger premium in pure stock exchange mergers : theory and empirical evidence (1985) (0)
- Characterizing Non-Zenoness on Real-Time Processes (2002) (0)
- Timing refinement in real-time systems (1993) (0)
- Departmental (CIS) Data Flow Testing as Model Checking (2007) (0)
- A Process Algebra and Tools for the Speci cation and Analysis of Resource-Bound Real-Time System (1997) (0)
- Temporal Control in Real-Time Systems (2007) (0)
- Introduction to the Special Issue (2006) (0)
- Departmental Papers ( CIS ) Department of Computer & Information Science January 2007 Resources in process algebra (2015) (0)
- Selective Laser Sintering of Alumina-Zinc Borosilicate Glass Composites using Monoclinic HBO2 as a Binder (2008) (0)
- ScholarlyCommons ScholarlyCommons DMaC: Distributed Monitoring and Checking DMaC: Distributed Monitoring and Checking (2021) (0)
- A PROG RAMMING SYSTEM FOR DISTRIBUTED REAL-TIME APPLICATIONS (2015) (0)
- Call for papers (2016) (0)
- Runtime Verification of Parametric Properties Using SMEDL (2019) (0)
This paper list is powered by the following services:
Other Resources About Insup Lee
What Schools Are Affiliated With Insup Lee?
Insup Lee is affiliated with the following schools:
