Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Sokolsky, Oleg - Department of Computer and Information Science, University of Pennsylvania
Symbolic Schedulability Analysis of Real-time Systems Hee-Hwan Kwak, Insup Lee, and Anna Philippou
Probabilistic Resource Failure in Real-Time Process Algebra?
Speci cation and Analysis of Real-Time Systems with PARAGON Oleg Sokolsky, Insup Lee
A Graphical Property Specification Language \Lambda Insup Lee Oleg Sokolsky
Local Model Checking for RealTime Systems (Extended Abstract) ?
Incremental Model Checking in the Modal MuCalculus ?
Verification of the Redundancy Management System for Space Launch Vehicle A Case Study
Weak Bisimulation for Probabilistic Systems ? Anna Philippou1
Specifying Failures and Recoveries in PACSR Anna Philippou1, Oleg Sokolsky2, Insup Lee1,
PARAGON: A Paradigm for the Speci cation, Veri cation and Testing of
Compositional Re nement for Hierarchical Hybrid Rajeev Alur1
