Searching for authors named "Anna Philippou" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Formal Modeling and Analysis of Power-Aware Real-Time Systems
- …Formal Modeling and Analysis of Power-Aware Real-Time Systems Insup Lee 1 , Anna Philippou 2…
- Add To MetaCart
-
Symbolic Weak Bisimulation for Value-passing Calculi
- … Lee, Anna Philippou Department of Computer and Information Science University of Pennsylvania…
- Cited by 5 (4 self) – Add To MetaCart
-
Specifying Failures and Recoveries in PACSR
- …Specifying Failures and Recoveries in PACSR Anna Philippou 1 , Oleg Sokolsky 2 , Insup Lee 1…
- Add To MetaCart
-
Specifying Failures and Recoveries in PACSR
- …Specifying Failures and Recoveries in PACSR Anna Philippou 1 , Oleg Sokolsky 2 , Insup Lee 1…
- Add To MetaCart
-
Hiding Resources that Can Fail
- …Hiding Resources that Can Fail Anna Philippou 1 , Oleg Sokolsky 2 , Insup Lee 2 , Rance…
- Add To MetaCart
-
Weak Bisimulation for Probabilistic Systems
- …Weak Bisimulation for Probabilistic Systems ? Anna Philippou 1 , Insup Lee 2 , and Oleg…
- Cited by 26 (1 self) – Add To MetaCart
-
Symbolic Schedulability Analysis of Real-time Systems
- …Symbolic Schedulability Analysis of Real-time Systems Hee-Hwan Kwak, Insup Lee, and Anna…
- Cited by 11 (3 self) – Add To MetaCart
Showing 1 through 7.
