| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jeremy Bryans, John S. Fitzgerald (eds.) |
Proceedings Third Workshop on Formal Aspects of Virtual Organisations  |
FAVO  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy W. Bryans, John S. Fitzgerald, Tom McCutcheon |
Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations. |
PRO-VE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gorm Larsen, Nick Battle, Miguel Alexandre Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef |
The overture initiative integrating tools for VDM. |
ACM SIGSOFT Software Engineering Notes |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander Romanovsky |
MetaSelf: an architecture and a development method for dependable self-* systems. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
design-time and run-time adaptation, metadata, policies, self-adaptation, self-organisation, control loop |
| 1 | Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff |
Are Formal Methods Ready for Agility? A Reality Check. |
FM+AM |
2010 |
DBLP BibTeX RDF |
|
| 1 | John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce, Marcel Verhoef, Sune Wolff |
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy W. Bryans, John S. Fitzgerald, Alexander Romanovsky, Andreas Roth |
Patterns for Modelling Time and Consistency in Business Information Systems. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle |
Practice-oriented courses in formal methods using VDM++. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff |
Methods for the Development of Distributed Real-Time Embedded Systems Using VDM. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jeremy Bryans, John S. Fitzgerald (eds.) |
Proceedings Second Workshop on Formal Aspects of Virtual Organisations |
FAVO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Mozolevsky, John S. Fitzgerald |
Common Representation of Information Flows for Dynamic Coalitions |
FAVO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald |
Formal methods: Practice and experience. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
formal methods surveys, verified software initiative, grand challenges, Experimental software engineering, verified software repository |
| 1 | John S. Fitzgerald, Peter Gorm Larsen |
Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.). |
|
2009 |
RDF |
|
| 1 | Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock |
Industrial Practice in Formal Methods: A Review. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Bryans, John S. Fitzgerald, Alexander Romanovsky, Andreas Roth |
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald, Cliff B. Jones |
The connection between two ways of reasoning about partial functions. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald, Peter Gorm Larsen, Shin Sahara |
VDMTools: advances in support for formal modeling in VDM. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
formal methods, validation, tool support, VDM, vienna development method |
| 1 | John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef |
Vienna Development Method. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald, Anne Elisabeth Haxthausen, Hüsnü Yenigün (eds.) |
Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings |
ICTAC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Anirban Bhattacharyya, John S. Fitzgerald |
Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald |
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Bryans, John S. Fitzgerald |
Formal Engineering of XACML Access Control Policies in VDM++. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef |
Validation Support for Distributed Real-Time Embedded Systems in VDM++. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander Romanovsky, Nicolas Guelfi |
A metadata-based architectural model for dynamically resilient systems. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
metadata, dynamic reconfiguration |
| 1 | John S. Fitzgerald, Peter Gorm Larsen |
Balancing Insight and Effort: The Industrial Uptake of Formal Methods. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli |
The industrialization of formal methods. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald, Peter Gorm Larsen |
Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract). |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky |
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald |
Formal Methods Europe Update. |
Formal Asp. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald |
Formality in specification and modeling: developments in software engineering practice. |
Advances in Computers |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald, Cliff B. Jones, Peter Lucas (eds.) |
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings |
FME |
1997 |
DBLP BibTeX RDF |
|
| 1 | Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes |
Applying Formal Specification in Industry. |
IEEE Software |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald |
Two Industrial Trials of Formal Specification. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen |
Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald, R. Moore |
Experiences in Developing a Proof Theory for VDM Specifications. |
Semantics of Specification Languages |
1993 |
DBLP BibTeX RDF |
|
| 1 | Tom Anderson, Rogério de Lemos, John S. Fitzgerald, Amer Saeed |
On Foraml Support for Industrial-Scale Requirements Analysis. |
Hybrid Systems |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald, Cliff B. Jones |
Modularizing the Formal Description of a Database System. |
VDM Europe |
1990 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")