|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
|
|
Results
Found 31 publication records. Showing 31 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Anna Philippou, Insup Lee, Oleg Sokolsky |
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Kouzapas, Anna Philippou |
A Process Calculus for Dynamic Networks. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi |
A Process Algebraic Framework for Modeling Resource Demand and Supply. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chryssis Georgiou, Theophanis Pavlides, Anna Philippou |
Selfish Routing in the Presence of Network Uncertainty. |
Parallel Processing Letters |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kowalewski, Anna Philippou (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marios Mavronicolas, Vicky Papadopoulou, Anna Philippou, Paul G. Spirakis |
A Network Game with Attackers and a Defender. |
Algorithmica |
2008 |
DBLP DOI BibTeX RDF |
Attacks and defenses, Security, Game theory, Graph theory, Nash equilibria |
| 1 | Marina Gelastou, Chryssis Georgiou, Anna Philippou |
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols. |
NCA |
2008 |
DBLP DOI BibTeX RDF |
Usability, Formal Methods, Applicability, Process Algebra, Distributed Protocols, I/O Automata |
| 1 | Insup Lee, Anna Philippou, Oleg Sokolsky |
Resources in process algebra. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Insup Lee, Anna Philippou, Oleg Sokolsky |
A Family of Resource-Bound Real-Time Process Algebras. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marios Mavronicolas, Vicky G. Papadopoulou, Giuseppe Persiano, Anna Philippou, Paul G. Spirakis |
The Price of Defense and Fractional Matchings. |
ICDCN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina Gelastou, Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis |
The Power of the Defender. |
ICDCS Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chryssis Georgiou, Theophanis Pavlides, Anna Philippou |
Network uncertainty in selfish routing. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marios Mavronicolas, Loizos Michael, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis |
The Price of Defense. |
MFCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, George Michael |
Verification Techniques for Distributed Algorithms. |
OPODIS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis |
A Graph-Theoretic Network Security Game. |
WINE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis |
Network Game with Attacker and Protector Entities. |
ISAAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß (eds.) |
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings |
ISoLA (Preliminary proceedings) |
2004 |
DBLP BibTeX RDF |
|
| 1 | Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou |
Modeling and Analysis of Power-Aware Systems. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Insup Lee, Anna Philippou, Oleg Sokolsky |
A General Resource Framework for Real-Time Systems. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka |
Hiding resources that can fail: An axiomatic perspective. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, David Walker |
A Process-Calculus Analysis of Concurrent Operations on B-Trees. |
J. Comput. Syst. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky |
A Family of Resource-Bound Real-Time Process Algebras. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Anna Philippou, Insup Lee, Oleg Sokolsky |
Weak Bisimulation for Probabilistic Systems. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, David Walker |
On Transformations of Concurrent-Object Programs. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky |
Praobabilistic Resource Failure in Real-Time Process Algebra. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky |
Symbolic Schedulability Analysis of Real-Time Systems. (PDF / PS) |
IEEE Real-Time Systems Symposium |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, David Walker |
A Rigorous Analysis of Concurrent Operations on B-Trees. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, David Walker |
On Confluence in the pi-Calculus. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, David Walker |
On Transformations of Concurrent Object Programs. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, David Walker |
Social Confluence in Client-Server Systems. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, David Walker |
On Sharing and Determinacy in Concurrent Systems. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #31 of 31 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")