Search the dblp DataBase

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]