Travelled to:1 × Finland
1 × France
1 × Korea
1 × Spain
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
Collaborated with:P.G.Larsen G.D.M.Serugendo A.Romanovsky T.M.Brookes C.B.Jones H.D.Macedo J.Bicarregui J.C.P.Woodcock N.Guelfi M.A.Green K.G.Pierce M.Verhoef S.Wolff
Talks about:system (7) formal (4) develop (3) model (3) architectur (2) specif (2) result (2) method (2) inform (2) depend (2)
Person: John S. Fitzgerald
DBLP: Fitzgerald:John_S=
Facilitated 2 volumes:
EdEdContributed to:
2010
201020092008200719961994
1990Wrote 8 papers:
- IFM-2010-FitzgeraldLPVW #collaboration #development #embedded #modelling
- Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems (JSF, PGL, KGP, MV, SW), pp. 12–26.
- SAC-2010-SerugendoFR #architecture #development #named #self
- MetaSelf: an architecture and a development method for dependable self-* systems (GDMS, JSF, AR), pp. 457–461.
- FM-2009-BicarreguiFLW #formal method #industrial #overview #perspective
- Industrial Practice in Formal Methods: A Review (JB, JSF, PGL, JCPW), pp. 810–813.
- FM-2008-MacedoLF #development #distributed #incremental #realtime #using
- Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM (HDM, PGL, JSF), pp. 181–197.
- SAC-2007-SerugendoFRG #architecture
- A metadata-based architectural model for dynamically resilient systems (GDMS, JSF, AR, NG), pp. 566–572.
- FME-1996-BrookesFL #case study #comparative #component #specification
- Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study (TMB, JSF, PGL), pp. 214–227.
- FME-1994-FitzgeraldBGL #case study #comparative #component #specification
- Formal and Informal Specifications of a Secure System Component: first results in a comparative study (JSF, TMB, MAG, PGL), pp. 35–44.
- VDME-1990-FitzgeraldJ #database
- Modularizing the Formal Description of a Database System (JSF, CBJ), pp. 189–210.