Oleg Sokolsky
Orcid: 0000-0001-5282-0658Affiliations:
- University of Pennsylvania, Philadelphia, PA, USA
According to our database1,
Oleg Sokolsky
authored at least 246 papers
between 1994 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on d-nb.info
On csauthors.net:
Bibliography
2023
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach.
CoRR, 2023
CoRR, 2023
CoRR, 2023
Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation, 2023
iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness.
Proceedings of the Fourteenth International Conference on Mobile Computing and Ubiquitous Network, 2023
Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
Proceedings of the IEEE International Conference on Assured Autonomy, 2023
Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance.
Proceedings of the IEEE International Conference on Assured Autonomy, 2023
Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community.
Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2023
2022
ACM Trans. Comput. Heal., 2022
Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices.
CoRR, 2022
Towards Alternative Techniques for Improving Adversarial Robustness: Analysis of Adversarial Training at a Spectrum of Perturbations.
CoRR, 2022
CoRR, 2022
Global Edge Bandwidth Cost Gradient-based Heuristic for Fast Data Delivery to Connected Vehicles under Vehicle Overlaps.
Proceedings of the 95th IEEE Vehicular Technology Conference, 2022
Proceedings of the IEEE Real-Time Systems Symposium, 2022
Proceedings of the KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14, 2022
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022
T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification.
Proceedings of the Principles of Systems Design, 2022
Proceedings of the American Control Conference, 2022
Proceedings of the 56th Asilomar Conference on Signals, Systems, and Computers, ACSSC 2022, Pacific Grove, CA, USA, October 31, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator.
ACM Trans. Embed. Comput. Syst., 2021
Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017).
Sci. Comput. Program., 2021
Are all outliers alike? On Understanding the Diversity of Outliers for Detecting OODs.
CoRR, 2021
Proceedings of the Winter Simulation Conference, 2021
Proceedings of the 93rd IEEE Vehicular Technology Conference, 2021
Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021
Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021
Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper.
Proceedings of the Formal Methods in Outer Space, 2021
2020
Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020
2019
Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models.
ACM Trans. Cyber Phys. Syst., 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Runtime Verification - 19th International Conference, 2019
Proceedings of the Runtime Verification - 19th International Conference, 2019
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019
Demo: verisig - verifying safety properties of hybrid systems with neural network controllers.
Proceedings of the Workshop on Design Automation for CPS and IoT, 2019
Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019
2018
IEEE Trans. Control. Netw. Syst., 2018
Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018
Proceedings of the 2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation, 2018
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018
2017
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems.
J. Log. Algebraic Methods Program., 2017
Proceedings of the Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Runtime Verification - 17th International Conference, 2017
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017
Proceedings of the 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2017
2016
Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study.
J. Comput. Sci. Eng., 2016
Proceedings of the Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Runtime Verification - 16th International Conference, 2016
Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper).
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
Proceedings of the First IEEE International Conference on Connected Health: Applications, 2016
Proceedings of the 2016 American Control Conference, 2016
2015
Patient Infusion Pattern based Access Control Schemes for Wireless Insulin Pump System.
IEEE Trans. Parallel Distributed Syst., 2015
Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems.
Sci. Comput. Program., 2015
Real Time Syst., 2015
Requirement Engineering for Functional Alarm System for Interoperable Medical Devices.
Proceedings of the Computer Safety, Reliability, and Security, 2015
Proceedings of the Computer Safety, Reliability, and Security, 2015
Proceedings of the Computer Safety, Reliability, and Security, 2015
Proceedings of the Runtime Verification - 6th International Conference, 2015
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
Proceedings of the 2015 International Conference on Healthcare Informatics, 2015
A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps.
Proceedings of the 2015 International Conference on Healthcare Informatics, 2015
Proceedings of the 2015 International Conference on Embedded Software, 2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015
2014
IEEE Trans. Ind. Informatics, 2014
ACM Trans. Embed. Comput. Syst., 2014
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014
From Requirements to Code: Model Based Development of a Medical Cyber Physical System.
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014
Proceedings of the 2014 International Conference on Embedded Software, 2014
Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014
Proceedings of the American Control Conference, 2014
2013
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS.
Proceedings of the Computer Safety, Reliability, and Security, 2013
Proceedings of the Runtime Verification - 4th International Conference, 2013
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013
Proceedings of the Eleventh Annual International Conference on Privacy, Security and Trust, 2013
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013
Towards synthesis of platform-aware attack-resilient control systems: extended abstract.
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013
Proceedings of the Foundations of Health Information Engineering and Systems, 2013
Proceedings of the Foundations of Health Information Engineering and Systems, 2013
Proceedings of the International Conference on Embedded Software, 2013
Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013
Proceedings of the Control of Cyber-Physical Systems, 2013
Proceedings of the International Conference on Compilers, 2013
2012
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling.
Theor. Comput. Sci., 2012
Int. J. Softw. Tools Technol. Transf., 2012
Proc. IEEE, 2012
Security and Interoperable-Medical-Device Systems, Part 2: Failures, Consequences, and Classification.
IEEE Secur. Priv., 2012
Formal Methods Syst. Des., 2012
Dagstuhl Reports, 2012
A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments.
Proceedings of the Computer Safety, Reliability, and Security, 2012
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study.
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012
A model-based I/O interface synthesis framework for the cross-platform software modeling.
Proceedings of the 23rd IEEE International Symposium on Rapid System Prototyping, 2012
Proceedings of the NASA Formal Methods, 2012
The medical device dongle: an open-source standards-based platform for interoperable medical device connectivity.
Proceedings of the ACM International Health Informatics Symposium, 2012
2011
SIGBED Rev., 2011
J. Log. Algebraic Methods Program., 2011
Demo of the medical device dongle: an open-source standards-based platform for interoperable medical device connectivity.
Proceedings of Wireless Health 2011, 2011
Proceedings of the Trust and Trustworthy Computing - 4th International Conference, 2011
Proceedings of the Runtime Verification - Second International Conference, 2011
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011
Proceedings of the 3rd Workshop on Software Engineering in Health Care, 2011
Proceedings of the 11th International Conference on Embedded Software, 2011
Proceedings of the 11th International Conference on Embedded Software, 2011
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011
Proceedings of the 5th International Workshop on Web APIs and Service Mashups, 2011
Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011
Proceedings of the 8th Annual Collaboration, 2011
Proceedings of the 14th International Conference on Compilers, 2011
2010
Demo of the Generic Smart Alarm: a framework for the design, analysis, and implementation of smart alarms and other clinical decision support systems.
Proceedings of Wireless Health 2010, 2010
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the ACM International Health Informatics Symposium, 2010
Prototyping closed loop physiologic control with the medical device coordination framework.
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 2010
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010
Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010
10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.
Proceedings of the Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11., 2010
10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.
Proceedings of the Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11., 2010
Proceedings of the 47th Design Automation Conference, 2010
2009
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009
Proceedings of the Runtime Verification, 9th International Workshop, 2009
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009
Proceedings of the Practical Aspects of Declarative Languages, 2009
Proceedings of the Eight ACM Workshop on Hot Topics in Networks (HotNets-VIII), 2009
Proceedings of the Second European Workshop on System Security, 2009
Proceedings of the Reliable Software Technologies, 2009
2008
Proceedings of the Runtime Verification, 8th International Workshop, 2008
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking.
Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008
2007
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007
IEEE Trans. Computers, 2007
Int. J. Softw. Eng. Knowl. Eng., 2007
Proceedings of the Runtime Verification, 7th International Workshop, 2007
Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007
Proceedings of the Runtime Verification, 02.01. - 06.01.2007, 2007
Proceedings of the Runtime Verification, 02.01. - 06.01.2007, 2007
Proceedings of the Runtime Verification, 02.01. - 06.01.2007, 2007
2006
J. Log. Algebraic Methods Program., 2006
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006
2005
SIGBED Rev., 2005
Proceedings of the Fifth Workshop on Runtime Verification, 2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Proceedings of the Fifth Workshop on Runtime Verification, 2005
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005
Generating Properties for Runtime Monitoring from Software Specification Patterns.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005
Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking.
Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005
RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties.
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005
2004
Formal Methods Syst. Des., 2004
Proceedings of the Fourth Workshop on Runtime Verification, 2004
Proceedings of the 2nd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004
Proceedings of the 3rd Workshop on Network and System Support for Games, 2004
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004
2003
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
Proceedings of the 2003 Conference on Languages, 2003
Proceedings of the 25th International Conference on Software Engineering, 2003
2002
Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP.
Sci. Comput. Program., 2002
Proceedings of the Runtime Verification 2002, 2002
Proceedings of the Runtime Verification 2002, 2002
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002
Proceedings of the High Performance Computing, 2002
2001
Proceedings of the Workshop on Runtime Verification, 2001
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001
A Family of Resource-Bound Real-Time Process Algebras.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001
Proceedings of the Embedded Software, First International Workshop, 2001
Proceedings of the Handbook of Process Algebra, 2001
2000
1999
Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999
Runtime Assurance Based On Formal Specifications.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999
HOLON/CADSE: integrating open software standards and formal methods to generate guideline-based decision support agents.
Proceedings of the AMIA 1999, 1999
1998
Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP.
Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998
Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study.
Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium, 1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998
1997
Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997
1996
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
1995
Proceedings of the Computer Aided Verification, 1995
1994
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994
The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems.
Proceedings of the Specification of Parallel Algorithms, 1994
Proceedings of the Computer Aided Verification, 6th International Conference, 1994