The SCEAS System
Navigation Menu

Search the dblp DataBase


John S. Fitzgerald: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. John S. Fitzgerald
    Two Industrial Trials of Formal Specification. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:1-8 [Conf]
  2. T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen
    Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:214-227 [Conf]
  3. John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen
    Formal and Informal Specifications of a Secure System Component: first results in a comparative study. [Citation Graph (0, 0)][DBLP]
    FME, 1994, pp:35-44 [Conf]
  4. John S. Fitzgerald, Cliff B. Jones
    Modularizing the Formal Description of a Database System. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1990, pp:189-210 [Conf]
  5. Tom Anderson, Rogério de Lemos, John S. Fitzgerald, Amer Saeed
    On Foraml Support for Industrial-Scale Requirements Analysis. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1992, pp:426-451 [Conf]
  6. Giovanna Di Marzo Serugendo, John Fitzgerald, Alexander Romanovsky, Nicolas Guelfi
    A metadata-based architectural model for dynamically resilient systems. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:566-572 [Conf]
  7. John S. Fitzgerald, R. Moore
    Experiences in Developing a Proof Theory for VDM Specifications. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:101-117 [Conf]
  8. John S. Fitzgerald
    Formality in specification and modeling: developments in software engineering practice. [Citation Graph (0, 0)][DBLP]
    Advances in Computers, 1999, v:49, n:, pp:69-95 [Journal]
  9. John S. Fitzgerald
    Formal Methods Europe Update. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:1, pp:2-3 [Journal]
  10. Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes
    Applying Formal Specification in Industry. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1996, v:13, n:3, pp:48-56 [Journal]
  11. John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli
    The industrialization of formal methods. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:301-302 [Journal]
  12. John S. Fitzgerald, Peter Gorm Larsen
    Balancing Insight and Effort: The Industrial Uptake of Formal Methods. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:237-254 [Conf]
  13. Jeremy W. Bryans, John S. Fitzgerald
    Formal Engineering of XACML Access Control Policies in VDM++. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2007, pp:37-56 [Conf]

  14. Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. [Citation Graph (, )][DBLP]

  15. Industrial Practice in Formal Methods: A Review. [Citation Graph (, )][DBLP]

  16. Validation Support for Distributed Real-Time Embedded Systems in VDM++. [Citation Graph (, )][DBLP]

  17. Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. [Citation Graph (, )][DBLP]

  18. Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. [Citation Graph (, )][DBLP]

  19. Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract). [Citation Graph (, )][DBLP]

  20. MetaSelf: an architecture and a development method for dependable self-* systems. [Citation Graph (, )][DBLP]

  21. Common Representation of Information Flows for Dynamic Coalitions [Citation Graph (, )][DBLP]

  22. Proceedings Second Workshop on Formal Aspects of Virtual Organisations [Citation Graph (, )][DBLP]

  23. Formal methods: Practice and experience. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002