Oleg Sokolsky

According to our database1, Oleg Sokolsky authored at least 196 papers between 1994 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
LCV: A Verification Tool for Linear Controller Software.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

2018
Co-Design of Arbitrated Network Control Systems With Overrun Strategies.
IEEE Trans. Control of Network Systems, 2018

Parameter-Invariant Monitor Design for Cyber-Physical Systems.
Proceedings of the IEEE, 2018

Resiliency in Cyber-Physical Systems [Guest Editors' Introduction].
IEEE Computer, 2018

Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

Multi-Mode Virtualization for Soft Real-Time Systems.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

Data Freshness Over-Engineering: Formulation and Results.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

Flexible Monitor Deployment for Runtime Verification of Large Scale Software.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

LogSafe: Secure and Scalable Data Logger for IoT Devices.
Proceedings of the 2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation, 2018

Cyber-physical system checkpointing and recovery.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Parameter Invariant Monitoring for Signal Temporal Logic.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges.
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. Algebr. Meth. Program., 2017

Counterfactual Causality from First Principles?
Proceedings of the Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2017

Automatic Verification of Finite Precision Implementations of Linear Controllers.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Monitoring Time Intervals.
Proceedings of the Runtime Verification - 17th International Conference, 2017

Extensible Energy Planning Framework for Preemptive Tasks.
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017

Transmission delay performance in telemedicine: A case study.
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.
JCSE, 2016

Monitoring Assumptions in Assume-Guarantee Contracts.
Proceedings of the Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, 2016

Scalable Verification of Linear Controller Software.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

SMEDL: Combining Synchronous and Asynchronous Monitoring.
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

Representation of Confidence in Assurance Cases Using the Beta Distribution.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Cloud-Based Secure Logger for Medical Devices.
Proceedings of the First IEEE International Conference on Connected Health: Applications, 2016

A stochastic approach for attack resilient UAV motion planning.
Proceedings of the 2016 American Control Conference, 2016

2015
Patient Infusion Pattern based Access Control Schemes for Wireless Insulin Pump System.
IEEE Trans. Parallel Distrib. Syst., 2015

Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems.
Sci. Comput. Program., 2015

Cache-aware compositional analysis of real-time multicore virtualization platforms.
Real-Time Systems, 2015

Requirement Engineering for Functional Alarm System for Interoperable Medical Devices.
Proceedings of the Computer Safety, Reliability, and Security, 2015

Towards Assurance for Plug & Play Medical Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2015

Representing Confidence in Assurance Case Evidence.
Proceedings of the Computer Safety, Reliability, and Security, 2015

A Hybrid Approach to Causality Analysis.
Proceedings of the Runtime Verification - 6th International Conference, 2015

Platform-Specific Code Generation from Platform-Independent Timed Models.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Verified ROS-Based Deployment of Platform-Independent Control Systems.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Hierarchical multi-formalism proofs of cyber-physical systems.
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Executing Model-Based Tests on Platform-Specific Implementations (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Robust Medical Monitor Design.
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

Automatic verification of linear controller software.
Proceedings of the 2015 International Conference on Embedded Software, 2015

Platform-specific timing verification framework in model-based implementation.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

An Intraoperative Glucose Control Benchmark for Formal Verification.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

RT-Open Stack: CPU Resource Management for Real-Time Cloud Computing.
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014
Model-Driven Safety Analysis of Closed-Loop Medical Systems.
IEEE Trans. Industrial Informatics, 2014

Safety-critical medical device development using the UPP2SF model translation tool.
ACM Trans. Embedded Comput. Syst., 2014

A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal.
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

Attack resilient state estimation for autonomous robotic systems.
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Robustness of attack-resilient state estimators.
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

Functional Alarms for Systems of Interoperable Medical Devices.
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

Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey.
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

Real-time multi-core virtual machine scheduling in Xen.
Proceedings of the 2014 International Conference on Embedded Software, 2014

Towards Assurance Cases for Resilient Control Systems.
Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014

Attack-resilient minimum mean-squared error estimation.
Proceedings of the American Control Conference, 2014

2013
AS-CRED: Reputation and Alert Service for Interdomain Routing.
IEEE Systems Journal, 2013

Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS.
Proceedings of the Computer Safety, Reliability, and Security, 2013

A Causality Analysis Framework for Component-Based Real-Time Systems.
Proceedings of the Runtime Verification - 4th International Conference, 2013

Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms.
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

Overhead-aware compositional analysis of real-time systems.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

TrustForge: Flexible access control for collaborative crowd-sourced environment.
Proceedings of the Eleventh Annual International Conference on Privacy, Security and Trust, 2013

Co-design of control and platform with dropped signals.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Synthesis of platform-aware attack-resilient vehicular systems.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Platform dependent code generation of real-time embedded software.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Contract-based blame assignment by trace analysis.
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

A Modal Specification Approach for On-Demand Medical Systems.
Proceedings of the Foundations of Health Information Engineering and Systems, 2013

Panel Position Statements.
Proceedings of the Foundations of Health Information Engineering and Systems, 2013

Message from the program co-chairs.
Proceedings of the International Conference on Embedded Software, 2013

Assuring the safety of on-demand medical cyber-physical systems.
Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013

Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control.
Proceedings of the Control of Cyber-Physical Systems, 2013

Platform-dependent code generation for embedded real-time software.
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

Introduction to the special section on runtime verification.
STTT, 2012

Challenges and Research Directions in Medical Cyber-Physical Systems.
Proceedings of the IEEE, 2012

Security and Interoperable-Medical-Device Systems, Part 1.
IEEE Security & Privacy, 2012

Security and Interoperable-Medical-Device Systems, Part 2: Failures, Consequences, and Classification.
IEEE Security & Privacy, 2012

Introduction to the special issue on runtime verification.
Formal Methods in System Design, 2012

Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272).
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

Realizing Compositional Scheduling through Virtualization.
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

A Safety Case Pattern for Model-Based Development Approach.
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
CARTS: a tool for compositional analysis of real-time systems.
SIGBED Review, 2011

Improving resource utilization for compositional scheduling using DPRM interfaces.
SIGBED Review, 2011

Permission to speak: A logic for access control and conformance.
J. Log. Algebr. 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

AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP.
Proceedings of the Trust and Trustworthy Computing - 4th International Conference, 2011

Runtime Verification of Traces under Recording Uncertainty.
Proceedings of the Runtime Verification - Second International Conference, 2011

A Semantic Framework for Mode Change Protocols.
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems.
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

On effective testing of health care simulation software.
Proceedings of the 3rd Workshop on Software Engineering in Health Care, 2011

Challenges in the regulatory approval of medical cyber-physical systems.
Proceedings of the 11th International Conference on Embedded Software, 2011

Safety-assured development of the GPCA infusion pump software.
Proceedings of the 11th International Conference on Embedded Software, 2011

Biomedical devices and systems security.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

Medical Cyber-Physical Systems.
Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

Link spamming Wikipedia for profit.
Proceedings of the 8th Annual Collaboration, 2011

Compositional analysis of real-time embedded systems.
Proceedings of the 14th International Conference on Compilers, 2011

2010
Editorial.
J. Log. Comput., 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

A Safety-Assured Development Approach for Real-Time Software.
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

Assurance Cases in Model-Driven Development of the Pacemaker Software.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

GSA: a framework for rapid prototyping of smart alarm systems.
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

Toward patient safety in closed-loop medical device systems.
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

A Process Algebraic Framework for Modeling Resource Demand and Supply.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Compositional Analysis of Multi-mode Systems.
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

Medical cyber physical systems.
Proceedings of the 47th Design Automation Conference, 2010

2009
Dynamic Trust Management.
IEEE Computer, 2009

Model-Based Testing of GUI-Driven Applications.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

DMaC: Distributed Monitoring and Checking.
Proceedings of the Runtime Verification, 9th International Workshop, 2009

A Compositional Scheduling Framework for Digital Avionics Systems.
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

Declarative Network Verification.
Proceedings of the Practical Aspects of Declarative Languages, 2009

Formally Verifiable Networking.
Proceedings of the Eight ACM Workshop on Hot Topics in Networks (HotNets-VIII), 2009

QuanTM: a quantitative trust management system.
Proceedings of the Second European Workshop on System Security, 2009

Process-Algebraic Interpretation of AADL Models.
Proceedings of the Reliable Software Technologies, 2009

2008
Checking Traces for Regulatory Conformance.
Proceedings of the Runtime Verification, 8th International Workshop, 2008

Performance Analysis of AADL Models Using Real-Time Calculus.
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
Process-Algebraic Analysis of Timing and Schedulability Properties.
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

A Verifiable Language for Programming Real-Time Communication Schedules.
IEEE Trans. Computers, 2007

Resources in process algebra.
J. Log. Algebr. Program., 2007

Guest Editors' Foreword.
J. Comput. Syst. Sci., 2007

Generating Properties for Runtime Monitoring from Software Specification Patterns.
International Journal of Software Engineering and Knowledge Engineering, 2007

Statistical Runtime Checking of Probabilistic Properties.
Proceedings of the Runtime Verification, 7th International Workshop, 2007

Logic-Based Regulatory Conformance Checking.
Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

Compositional Schedulability Analysis of Hierarchical Real-Time Systems.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

Runtime Verification for Wireless Sensor Network Applications.
Proceedings of the Runtime Verification, 02.01. - 06.01.2007, 2007

07011 Abstracts Collection -- Runtime Verification.
Proceedings of the Runtime Verification, 02.01. - 06.01.2007, 2007

07011 Executive Summary -- Runtime Verification.
Proceedings of the Runtime Verification, 02.01. - 06.01.2007, 2007

2006
Introduction to special issue.
SIGBED Review, 2006

Compositional modeling and refinement for hierarchical hybrid systems.
J. Log. Algebr. Program., 2006

Run-Time Checking of Dynamic Properties.
Electr. Notes Theor. Comput. Sci., 2006

A Family of Resource-Bound Real-Time Process Algebras.
Electr. Notes Theor. Comput. Sci., 2006

Steering of Discrete Event Systems: Control Theory Approach.
Electr. Notes Theor. Comput. Sci., 2006

Simulation-Based Graph Similarity.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Network-Code Machine: Programmable Real-Time Communication Schedules.
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Schedulability analysis of AADL models.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

R-Charon, a Modeling Language for Reconfigurable Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Incremental schedulability analysis of hierarchical real-time components.
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
Real-time and embedded technology and applications symposium (RTAS '05).
SIGBED Review, 2005

Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification.
Electr. Notes Theor. Comput. Sci., 2005

JavaMaC and Runtime Monitoring for Geoinformatics Grid Services.
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
Research challenges in embedded and hybrid systems.
SIGBED Review, 2004

Java-MaC: A Run-Time Assurance Approach for Java Programs.
Formal Methods in System Design, 2004

Resource Modeling for Embedded Systems Design.
Proceedings of the 2nd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004

Is runtime verification applicable to cheat detection?
Proceedings of the 3rd Workshop on Network and System Support for Games, 2004

Specification-based Testing with Linear Temporal Logic.
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

Model-based Testing and Monitoring for Hybrid Embedded Systems.
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

2003
Hierarchical modeling and analysis of embedded systems.
Proceedings of the IEEE, 2003

Preface.
Electr. Notes Theor. Comput. Sci., 2003

Modeling and Analysis of Power-Aware Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Generating embedded software from hierarchical hybrid models.
Proceedings of the 2003 Conference on Languages, 2003

Data Flow Testing as Model Checking.
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

Monitoring, Checking, and Steering of Real-Time Systems.
Electr. Notes Theor. Comput. Sci., 2002

Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC.
Electr. Notes Theor. Comput. Sci., 2002

A Temporal Logic Based Theory of Test Coverage and Generation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

A General Resource Framework for Real-Time Systems.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks.
Proceedings of the High Performance Computing, 2002

2001
Hiding resources that can fail: An axiomatic perspective.
Inf. Process. Lett., 2001

Java-MaC: a Run-time Assurance Tool for Java Programs.
Electr. Notes Theor. Comput. Sci., 2001

Compositional Refinement for Hierarchical Hybrid Systems.
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

Hierarchical Hybrid Modeling of Embedded Systems.
Proceedings of the Embedded Software, First International Workshop, 2001

Equivalence and Preorder Checking for Finite-State Systems.
Proceedings of the Handbook of Process Algebra, 2001

2000
Verisim: Formal analysis of network simulations.
Proceedings of the International Symposium on Software Testing and Analysis, 2000

Weak Bisimulation for Probabilistic Systems.
Proceedings of the CONCUR 2000, 2000

1999
Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP.
Electr. Notes Theor. Comput. Sci., 1999

Specification and Analysis of Real-Time Systems with PARAGON.
Ann. Software Eng., 1999

Steering of real-time systems based on monitoring and checking.
Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools.
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

Formally specified monitoring of temporal properties.
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
Symbolic Schedulability Analysis of Real-Time Systems.
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

Praobabilistic Resource Failure in Real-Time Process Algebra.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997
Analytical Design of Evolutionary Control Flow Components.
Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

1996
The Concurrency Factory Software Development Environment.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

The Concurrency Factory: A Development Environment for Concurrent Systems.
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
Local Model Checking for Real-Time Systems (Extended Abstract).
Proceedings of the Computer Aided Verification, 1995

1994
On the Parallel Complexity of Model Checking in the Modal Mu-Calculus
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

Incremental Model Checking in the Modal Mu-Calculus.
Proceedings of the Computer Aided Verification, 6th International Conference, 1994


  Loading...