• Article  

      Modeling and analysis of power-aware systems 

      Sokolsky, O.; Philippou, Anna; Lee, I.; Christou, Kyriakos (2003)
      The paper describes a formal approach for designing and reasoning about power-constrained, timed systems. The framework is based on process algebra, a formalism that has been developed to describe and analyze communicating ...
    • Conference Object  

      On the application of formal methods for specifying and verifying distributed protocols 

      Gelastou, Marina; Georgiou, Chryssis; Philippou, Anna (2008)
      In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the two experiences we evaluate the approaches and ...