2008 |
58 | | Kevin Lano,
David Clark:
Semantics and Refinement of Behavior State Machines.
ICEIS (3-1) 2008: 42-49 |
57 | EE | Kevin Lano,
David Clark:
Model Transformation Specification and Verification.
QSIC 2008: 45-54 |
2007 |
56 | EE | Lijun Yu,
Robert B. France,
Indrakshi Ray,
Kevin Lano:
A light-weight static approach to analyzing UML behavioral properties.
ICECCS 2007: 56-63 |
55 | EE | Kevin Lano,
David Clark:
Direct Semantics of Extended State Machines
Journal of Object Technology 6(9): 35-51 (2007) |
2006 |
54 | EE | Kevin Lano,
José Luiz Fiadeiro:
Extending UML with coordination contracts.
Software and System Modeling 5(2): 110-120 (2006) |
2005 |
53 | EE | Kevin Lano,
Kelly Androutsopoulos,
David Clark:
Refinement Patterns for UML.
Electr. Notes Theor. Comput. Sci. 137(2): 131-149 (2005) |
2004 |
52 | | Kevin Lano,
Runa Jesmin:
Generating Accessible and Usable Internet Systems.
ICWI 2004: 75-82 |
51 | EE | Kevin Lano,
David Clark,
Kelly Androutsopoulos:
UML to B: Formal Verification of Object-Oriented Models.
IFM 2004: 187-206 |
2003 |
50 | | Runa Jesmin,
Kevin Lano:
Internet System Design for the Disabled Net.
Software Engineering Research and Practice 2003: 956-962 |
49 | EE | Kevin Lano,
David Clark,
Kelly Androutsopoulos:
RSDS, a Subset of UML with Precise Semantics.
L'OBJET 9(4): 53-73 (2003) |
2002 |
48 | EE | Kevin Lano,
David Clark,
Kelly Androutsopoulos:
From Implicit Specifications to Explicit Designs in Reactive System Development.
IFM 2002: 49-68 |
47 | EE | Kevin Lano,
David Clark,
Kelly Androutsopoulos:
Safety and Security Analysis of Object-Oriented Models.
SAFECOMP 2002: 82-93 |
2001 |
46 | | Kevin Lano:
Book Review: Formal Object-Oriented Specification Using Object-Z, by Roger Duke and Gordon Rose, Macmillan Press.
Softw. Test., Verif. Reliab. 11(1): 55 (2001) |
2000 |
45 | EE | Kevin Lano,
Kelly Androutsopoulos,
David Clark:
Structuring and Design of Reactive Systems Using RSDS and B.
FASE 2000: 97-111 |
44 | EE | Kevin Lano,
David Clark,
Kelly Androutsopoulos,
Pauline Kan:
Invariant-Based Synthesis of Fault-Tolerant Systems.
FTRTFT 2000: 46-57 |
43 | EE | Kevin Lano,
Kelly Androutsopoulos,
Pauline Kan:
Structuring Reactive Systems in B AMN.
ICFEM 2000: 25-34 |
42 | EE | Kevin Lano,
Juan Bicarregui,
Andy Evans:
Structured Axiomatic Semantics for UML Models.
Rigorous Object-Oriented Methods 2000 |
41 | EE | Kevin Lano,
Robert B. France,
Jean-Michel Bruel:
A Semantic Comparison of Fusion and Syntropy.
Comput. J. 43(6): 451-468 (2000) |
1999 |
40 | | Kevin Lano,
Andy Evans:
Rigorous Development in UML.
FASE 1999: 129-144 |
39 | | Kevin Lano,
Kelly Androutsopoulos:
Reactive System Refinement of Distributed Systems in B.
IFM 1999: 415-434 |
38 | | S. J. Goldsack,
Kevin Lano:
Models Involving Multiple Instances of a Component.
LMO 1999: 245-260 |
37 | | Kevin Lano,
N. Malik:
Mapping Procedural Patterns to Object-Oriented Design Patterns.
Autom. Softw. Eng. 6(3): 265-289 (1999) |
1998 |
36 | EE | T. S. E. Maibaum,
Pauline Kan,
Kevin Lano:
Systematising Reactive System Design.
AMAST 1998: 17-22 |
35 | EE | Kevin Lano,
Pauline Kan,
Ana Sánchez:
Linking Hazard Analysis to Formal Specification and Design in B.
SAFECOMP 1998: 60-74 |
34 | | Kevin Lano,
Juan Bicarregui:
Semantics and Transformations for UML Models.
UML 1998: 107-119 |
33 | | Andy Evans,
Robert B. France,
Kevin Lano,
Bernhard Rumpe:
The UML as a Formal Modeling Notation.
UML 1998: 336-348 |
32 | | Kevin Lano,
Pauline Kan,
Ana Sánchez:
Compositional Specification of Controllers for Batch Process Operations.
ZUM 1998: 250-264 |
31 | | Kevin Lano:
Logical Specification of Reactive and Real-Time Systems.
J. Log. Comput. 8(5): 679-711 (1998) |
1997 |
30 | | Kevin Lano,
Ana Sánchez:
Transformational Formal Development of Real-Time Systems.
ARTS 1997: 184-198 |
29 | | S. J. Goldsack,
Kevin Lano,
Eugène Dürr:
Specification and Refinement of Continuous Real-Time Systems.
ARTS 1997: 310-324 |
28 | | Juan Bicarregui,
Kevin Lano,
T. S. E. Maibaum:
Towards a compositional interpretation of object diagrams.
Algorithmic Languages and Calculi 1997: 187-211 |
27 | EE | Juan Bicarregui,
Kevin Lano,
T. S. E. Maibaum:
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation.
ECOOP 1997: 324-343 |
26 | EE | Juan Bicarregui,
Kevin Lano,
T. S. E. Maibaum:
Formalizing Object-Oriented Models in the Object Calculus.
ECOOP Workshops 1997: 155-160 |
25 | EE | Kevin Lano,
S. J. Goldsack:
Formalizing Real-Time System Design.
ECOOP Workshops 1997: 436-445 |
24 | | Kevin Lano,
Ana Sánchez:
Design of Reactive Control Systems for Event-Drivem Operations.
FME 1997: 142-161 |
23 | | Kevin Lano,
Juan Bicarregui,
José Luiz Fiadeiro,
Antónia Lopes:
Specification of Required Non-determinism.
FME 1997: 298-317 |
22 | | N. Malik,
Kevin Lano:
A Formal Approach to Design Patterns in Re-Engineering.
IWFM 1997 |
21 | | Kevin Lano,
S. J. Goldsack,
Juan Bicarregui,
Stuart Kent:
Integrating VDM++ and Real-Time System Design.
ZUM 1997: 188-219 |
20 | | Kevin Lano:
Specifying Reactive Systems in B AMN.
ZUM 1997: 242-274 |
19 | | Juan Bicarregui,
D. L. Clutterbuck,
Gavin R. Finnie,
Howard P. Haughton,
Kevin Lano,
H. Lesan,
D. W. R. M. Marsh,
B. M. Matthews,
Michael R. Moulding,
A. Richard Newton,
Brian Ritchie,
T. G. A. Rushton,
P. N. Scharbach:
Formal methods into practice: case studies in the application of the B method.
IEE Proceedings - Software 144(2): 119-133 (1997) |
1996 |
18 | | S. J. Goldsack,
Kevin Lano,
Eugène Dürr:
Annealing and Data Decomposition in VDM++.
SIGPLAN Notices 31(4): 32-38 (1996) |
17 | | Kevin Lano:
Enhancing Object-Oriented Methods with Formal Notations.
TAPOS 2(4): 247-268 (1996) |
1995 |
16 | | Kevin Lano:
Distributed System Specification in VDM++.
FORTE 1995: 23-38 |
15 | EE | Kevin Lano,
S. J. Goldsack:
Discrete event process controller synthesis using VDM/sup ++/.
ICECCS 1995: 129-136 |
14 | | Kevin Lano:
Reactive System Specification and Refinement.
TAPSOFT 1995: 696-710 |
1994 |
13 | | Kevin Lano,
S. J. Goldsack:
Refinement, Subtyping and Subclassing in VDM++.
Theory and Formal Methods 1994: 341-363 |
12 | | Kevin Lano:
Transformational Program Analysis.
Softw. Test., Verif. Reliab. 4(3): 155-189 (1994) |
1993 |
11 | | Kevin Lano,
Howard P. Haughton:
Integrating Formal and Structured Methods in Reverse Engineering.
WCRE 1993: 17-26 |
10 | | Kevin Lano:
The Intuitionistic Alternative Set Theory.
Ann. Pure Appl. Logic 59(2): 141-156 (1993) |
1992 |
9 | EE | Kevin Lano,
Howard P. Haughton:
Reasoning and Refinement in Object-Oriented Specification Languages.
ECOOP 1992: 78-97 |
8 | | Kevin Lano:
Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications.
LFCS 1992: 258-268 |
7 | | Kevin Lano:
Z++.
Object Orientation in Z 1992: 105-112 |
6 | | Kevin Lano:
Object-Oriented Specification Techniques.
TOOLS (7) 1992: 403 |
5 | | Kevin Lano,
Howard P. Haughton:
Reuse and Adaptation of Z Specifications.
Z User Workshop 1992: 62-90 |
1991 |
4 | | Kevin Lano,
Howard P. Haughton:
An Algebraic Semantics for the Specification Language Z++.
AMAST 1991: 478-493 |
3 | | Kevin Lano:
A Constraint-Based Fuzzy Inference System.
EPIA 1991: 45-59 |
2 | | Kevin Lano:
Intuitionistic Modal Logic and Set Theory.
J. Symb. Log. 56(2): 497-516 (1991) |
1990 |
1 | | Kevin Lano:
Z++, An Object-orientated Extension to Z.
Z User Workshop 1990: 151-172 |