Kelly Androutsopoulos

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Kevin Lano

> Home > Persons > Kelly Androutsopoulos

Publications

2011
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AndroutsopoulosBCGHLL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AndroutsopoulosBCGHLL11
Kelly Androutsopoulos, David W. Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li:
Model projection: simplifying models in response to restricting the environment. ICSE 2011: 291-300
2005
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LanoAC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LanoAC05
Kevin Lano, Kelly Androutsopoulos, David Clark:
Refinement Patterns for UML. REFINE 2005: 131-149
2004
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/LanoCA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/LanoCA04
Kevin Lano, David Clark, Kelly Androutsopoulos:
UML to B: Formal Verification of Object-Oriented Models. IFM 2004: 187-206
2003
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/Lobjet/LanoCA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/Lobjet/LanoCA03
Kevin Lano, David Clark, Kelly Androutsopoulos:
RSDS, a Subset of UML with Precise Semantics. Obj. Logiciel Base données Réseaux 9(4): 53-73 (2003)
2002
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/LanoCA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/LanoCA02
Kevin Lano, David Clark, Kelly Androutsopoulos:
From Implicit Specifications to Explicit Designs in Reactive System Development. IFM 2002: 49-68
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/LanoCA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/LanoCA02
Kevin Lano, David Clark, Kelly Androutsopoulos:
Safety and Security Analysis of Object-Oriented Models. SAFECOMP 2002: 82-93
2000
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/LanoAC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LanoAC00
Kevin Lano, Kelly Androutsopoulos, David Clark:
Structuring and Design of Reactive Systems Using RSDS and B. FASE 2000: 97-111
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/LanoCAK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/LanoCAK00
Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan:
Invariant-Based Synthesis of Fault-Tolerant Systems. FTRTFT 2000: 46-57
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/LanoAK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/LanoAK00
Kevin Lano, Kelly Androutsopoulos, Pauline Kan:
Structuring Reactive Systems in B AMN. ICFEM 2000: 25-34
1999
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/LanoA99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/LanoA99
Kevin Lano, Kelly Androutsopoulos:
Reactive System Refinement of Distributed Systems in B. IFM 1999: 415-434

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.