Searching for authors named "Oleg Sokolsky" – sorted by Relevance.
44 documents found, showing 1 through 10.
Next 10 →
-
Efficient Graph-Based Algorithms For Model Checking In The Modal Mu-Calculus
- … Presented by Oleg Sokolsky to the graduate school in partial fulfillment of the requirements for the Degree…
- Cited by 3 (1 self) – Add To MetaCart
-
A Graphical Property Specification Language
- …A Graphical Property Specification Language Insup Lee Oleg Sokolsky Real-Time Systems Group…
- Cited by 3 (1 self) – Add To MetaCart
-
Han^ene Ben-Abdallah
- …Speci cation and Analysis of Real-Time Systems with PARAGON Oleg Sokolsky, Insup Lee Department…
- Add To MetaCart
-
Formal Modeling and Analysis of Power-Aware Real-Time Systems
- … , and Oleg Sokolsky 3 1 University of Pennsylvania, USA. lee@(email omitted); 2 University of Cyprus…
- Add To MetaCart
-
Probabilistic resource failure in real-time process algebra
- … Probabilistic Resource Failure in Real-Time Process Algebra ? Anna Philippou1, Oleg Sokolsky2…
- Cited by 4 (4 self) – Add To MetaCart
-
Compositional Refinement for Hierarchical Hybrid Systems
- … , Insup Lee 1 , and Oleg Sokolsky 1 1 Department of Computer and Information Science, University…
- Cited by 19 (7 self) – Add To MetaCart
-
A Framework for Reasoning about Animation Systems
- …, and Oleg Sokolsky Department of Computer and Information Science University Of Pennsylvania Some…
- Cited by 5 (4 self) – Add To MetaCart
-
I.: R-Charon : a modeling language for reconfigurable hybrid systems
- …R-Charon, a Modeling Language for Reconfigurable Hybrid Systems ⋆ Fabian Kratz 1 , Oleg Sokolsky 2…
- Cited by 2 (0 self) – Add To MetaCart
-
The Politics of Requirements Management
- …, Insik Shin, Insup Lee, Oleg Sokolsky Department of Computer and Information Science University…
- Cited by 1 (1 self) – Add To MetaCart
-
Property-Coverage Testing
- …Property-Coverage Testing Li Tan, Oleg Sokolsky, and Insup Lee Department of Computer…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
