In: Romanovsky, A. Industrial Deployment of System Engineering Methods. Berlin: Springer, , pp. Interface Specification for System-of-Systems Architectures. Are Formal Methods Ready for Agility?
A Reality Check. In: Workshop on Dependable Systems of Systems. Collaborative modelling and co-simulation in the development of dependable embedded systems.
Software Engineering Notes , 35 1 , Formal Methods: Practice and Experience. ACM Computing Surveys , 41 4 , International Journal of Software and Informatics , 3 2 , Fitzgerald J, Larsen PG. Formal Aspects of Computing , 21 3 , Proceedings of Formal Aspects of Virtual Organisations Bryans J, Fitzgerald J, ed.
Eindhoven, The Netherlands. Australia: Open Publishing Association, Bhattacharyya A, Fitzgerald JS. Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary. Bryans J, Fitzgerald J. The connection between two ways of reasoning about partial functions. Information Processing Letters , , Istanbul, Turkey. Berlin: Springer-Verlag, Bryans J, Fitzgerald JS. Fitzgerald JS.
Logics of Specification Languages. Dimensions of Dynamic Coalitions. Perspectives on Formal Methods in the Last 25 years. The industrialization of formal methods. Fitzgerald J. Dependability-explicit computing: Applications in e-science and virtual organisations. FM Formal Methods. Berlin; New York: Springer-Verlag, Validated Designs for Object-oriented Systems. Dependability-explicit Computing in Service-oriented Architectures. Formal methods Europe update.
Formal Aspects of Computing , 16 1 , London: National Air Traffic Services, Advances in Computers , 49 , A tracking system. In: Bicarregui, J. C, ed. London: Springer-Verlag, , pp. Proof in the analysis of a model of a tracking system. Berlin; New York: Springer Verlag, , pp. Mukherjee P, Fitzgerald JS. The Ammunition Control System.
In: Bicarregui, JC, ed. Proof in the Analysis of a Model of a Tracking System. Applying formal specification in industry. Journal of Network and Computer Applications 34 4 , pp. Scientific workflow interoperability framework. Workflows and e-Science: An overview of workflow system features and capabilities. Future Generation Computer Systems 25 5 , pp. A scalable super-peer approach for public scientific computation. Future Generation Computer Systems 25 3 , pp.
Web enabling desktop workflow applications.
Multiobjective Level-Wise Scientific Workflow Optimization in IaaS Public Cloud Environment
WS-RF workflow in Triana. EDGeS: a bridge between desktop grids and service grids. P2P techniques for data distribution in desktop grid computing platforms. Making Grids Work. New York: Springer pp. Costa, F. Peer-to-peer techniques for data distribution in desktop grid computing platforms. Distributing workflows over a ubiquitous P2P network. Scientific Programming 15 4 , pp.
Riposan, A. Alchemist multimodal workflows for diabetic retinopathy research, disease prevention and investigational drug discovery. Studies in Health Technology and Informatics Vol.
- Call for Papers!
- Workflow Patterns | Impact - Citations to the Workflow Patterns Website.
- ENASE - CallForPapers?
- Staff Profile - Centre for Software Reliability - Newcastle University.
Amsterdam: IOS Press pp. Pasquale, C. A super-peer model for multiple job submission on a grid. Lecture Notes in Computer Science , pp.
- Dungeons & Dragons: Forgotten Realms Classics Vol. 3!
- How I was grafted in: Your personal journal recording your Christian legacy... Past, Present and Future.
- Anytime, Anywhere: Volume I?
- Below are some of the projects I have been involved in over the past decade or so..
- Making your GOALS First Class: Five principals you need to know to succeed at your Goals.
Cache for workflows. Service-oriented middleware for hybrid environments. Alchemist: user driven searching in ubiquitous networks. Triana generations. Concurrency and Computation: Practice and Experience 18 10 , pp. Workflow-driven portals for the integration of legacy applications. Patriciu, V. MGFM - mobile grid for fleet management. Taylor, I. Visual Grid Workflow in Triana. Journal of Grid Computing 3 , pp. Journal of Grid Computing 4 4 , pp.
Harrison, A. Mobile peer-to-grid architecture for paramedical emergency operations.
Tools for Program Development and Analysis in Computational Science
Studies in Health Technology and Informatics , pp. Integrating Cactus Simulations within Triana Workflows. Distributed computing with Triana on the Grid.
Concurrency and computation: practice and experience 17 9 , pp. Dynamic web service deployment using WSPeer. Triana applications within grid computing and peer to peer environments. Journal of grid computing 1 2 , pp. Supporting peerpeer interactions in the consumer grid. Grid Enabling Applications Using Triana. Articles Simpkin, C. Knight, L.