Search the dblp DataBase

Publications of Author

1. Kevin Lano, Kelly Androutsopoulos, David Clark
   Structuring and Design of Reactive Systems Using RSDS and B. [Citation Graph (0, 0)][DBLP]
   FASE, 2000, pp:97-111 [Conf]
   
2. Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan
   Invariant-Based Synthesis of Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 2000, pp:46-57 [Conf]
   
3. Kevin Lano, Kelly Androutsopoulos, Pauline Kan
   Structuring Reactive Systems in B AMN. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2000, pp:25-34 [Conf]
   
4. Kevin Lano, Kelly Androutsopoulos
   Reactive System Refinement of Distributed Systems in B. [Citation Graph (0, 0)][DBLP]
   IFM, 1999, pp:415-434 [Conf]
   
5. Kevin Lano, David Clark, Kelly Androutsopoulos
   From Implicit Specifications to Explicit Designs in Reactive System Development. [Citation Graph (0, 0)][DBLP]
   IFM, 2002, pp:49-68 [Conf]
   
6. Kevin Lano, David Clark, Kelly Androutsopoulos
   UML to B: Formal Verification of Object-Oriented Models. [Citation Graph (0, 0)][DBLP]
   IFM, 2004, pp:187-206 [Conf]
   
7. George Spanoudakis, Christos Kloukinas, Kelly Androutsopoulos
   Towards security monitoring patterns. [Citation Graph (0, 0)][DBLP]
   SAC, 2007, pp:1518-1525 [Conf]
   
8. Kevin Lano, David Clark, Kelly Androutsopoulos
   Safety and Security Analysis of Object-Oriented Models. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 2002, pp:82-93 [Conf]
   
9. Kevin Lano, Kelly Androutsopoulos, David Clark
   Refinement Patterns for UML. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:131-149 [Journal]
   
10. 
    Control Dependence for Extended Finite State Machines. [Citation Graph (, )][DBLP]
    
    
11. 
    A theoretical and empirical study of EFSM dependence. [Citation Graph (, )][DBLP]
    
    
12. 
    RSDS, a Subset of UML with Precise Semantics. [Citation Graph (, )][DBLP]