| 1999 |
|---|
| 13 | | S. J. Goldsack,
Kevin Lano:
Models Involving Multiple Instances of a Component.
LMO 1999: 245-260 |
| 1997 |
|---|
| 12 | | S. J. Goldsack,
Kevin Lano,
Eugène Dürr:
Specification and Refinement of Continuous Real-Time Systems.
ARTS 1997: 310-324 |
| 11 | EE | Kevin Lano,
S. J. Goldsack:
Formalizing Real-Time System Design.
ECOOP Workshops 1997: 436-445 |
| 10 | | Jan van Katwijk,
Eugène Dürr,
S. J. Goldsack:
Hybrid Object-Oriented Real-Time Software Development with VDM++.
ICFEM 1997: 17- |
| 9 | | Kevin Lano,
S. J. Goldsack,
Juan Bicarregui,
Stuart Kent:
Integrating VDM++ and Real-Time System Design.
ZUM 1997: 188-219 |
| 1996 |
|---|
| 8 | | S. J. Goldsack,
Kevin Lano,
Eugène Dürr:
Annealing and Data Decomposition in VDM++.
SIGPLAN Notices 31(4): 32-38 (1996) |
| 1995 |
|---|
| 7 | EE | Kevin Lano,
S. J. Goldsack:
Discrete event process controller synthesis using VDM/sup ++/.
ICECCS 1995: 129-136 |
| 1994 |
|---|
| 6 | | Eugène Dürr,
S. J. Goldsack:
Rigorous Development of Concurrent O-O Systems.
TOOLS (13) 1994: 515 |
| 5 | | Kevin Lano,
S. J. Goldsack:
Refinement, Subtyping and Subclassing in VDM++.
Theory and Formal Methods 1994: 341-363 |
| 4 | EE | A. B. Gargaro,
S. J. Goldsack,
A. A. Holzbacher-Valero,
Richard A. Volz,
R. Waldrop,
Andy J. Wellings:
Supporting distribution and dynamic reconfiguration in AdaPT.
Distributed Systems Engineering 1(3): 145-161 (1994) |
| 3 | EE | Richard A. Volz,
Ron Theriault,
R. Waldrop,
S. J. Goldsack,
A. A. Holzbacher-Valero:
Distributed and parallel Ada and the Ada 9X recommendations.
Distributed Systems Engineering 1(4): 224-241 (1994) |
| 1992 |
|---|
| 2 | EE | S. J. Goldsack,
A. A. Holzbacher-Valero,
Richard A. Volz,
R. Waldrop:
AdaPT and Ada 9X.
TRI-Ada 1992: 493-503 |
| 1988 |
|---|
| 1 | | S. J. Goldsack:
Specification of an Operating System Kernel FOREST and VDM compared.
VDM Europe 1988: 88-100 |
