|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 10 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kelly Androutsopoulos, David Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li |
Model projection: simplifying models in response to restricting the environment.  |
ICSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li |
An alternative characterization of weak order dependence. |
Inf. Process. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt |
Control Dependence for Extended Finite State Machines. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
reactive systems, slicing, control dependence, extended finite state machines |
| 1 | Kelly Androutsopoulos, Nicolas Gold, Mark Harman, Zheng Li, Laurence Tratt |
A theoretical and empirical study of EFSM dependence. |
ICSM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | George Spanoudakis, Christos Kloukinas, Kelly Androutsopoulos |
Towards security monitoring patterns. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
runtime monitoring, event calculus, security patterns |
| 1 | Kevin Lano, Kelly Androutsopoulos, David Clark |
Refinement Patterns for UML. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, David Clark, Kelly Androutsopoulos |
UML to B: Formal Verification of Object-Oriented Models. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
UML-RSDS, Graphical Specifications, UML, B |
| 1 | Kevin Lano, David Clark, Kelly Androutsopoulos |
RSDS, a Subset of UML with Precise Semantics. |
L'OBJET |
2003 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano, David Clark, Kelly Androutsopoulos |
From Implicit Specifications to Explicit Designs in Reactive System Development. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
B AMN, RSDS, model-checking, UML, Reactive Systems |
| 1 | Kevin Lano, David Clark, Kelly Androutsopoulos |
Safety and Security Analysis of Object-Oriented Models. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Kelly Androutsopoulos, Pauline Kan |
Structuring Reactive Systems in B AMN. (PDF / PS) |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Kelly Androutsopoulos, David Clark |
Structuring and Design of Reactive Systems Using RSDS and B. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan |
Invariant-Based Synthesis of Fault-Tolerant Systems. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Kelly Androutsopoulos |
Reactive System Refinement of Distributed Systems in B. |
IFM |
1999 |
DBLP BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")