Savas Parastatidis
31 published titles
A grid application framework based on web services specifications and practices
(Contributor)
1 edition
- University of Newcastle Upon Tyne, Computing Science
- 2004
- Details
Grid computing using web services
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2005
- Details
Guaranteeing the soundness of rely/guarantee rules
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2006
- Details
Determining the specification of a control system : an illustrative example
(Contributor)
1 edition
- University of Newcastle upon Tyne
- 2006
- Details
Detecting architectural mismatches between web services
(Contributor)
1 edition
- University of Newcastle upon Tyne
- 2007
- Details
Deriving specifications for systems that are connected to the physical world
(Contributor)
1 edition
- University of Newcastle upon Tyne
- 2007
- Details
Guided formal development : patterns for modelling and refinement
(Contributor)
1 edition
- Univ. of Newcastle upon Tyne, Computing Science
- 2008
- Details
Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems : a technical diary
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2008
- Details
Concurrent management of composite services according to response time SLAs
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2008
- Details
The threat of uncertainty in service-oriented architecture
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2008
- Details
Structured occurrence nets : a formalism for aiding system failure prevention and analysis techniques
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2008
- Details
On modelling and analysis of dynamic reconfiguration of dependable real-time systems
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2010
- Details
Semantic models for a logic of partial functions
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2010
- Details
An algorithm for direct construction of complete merged processes
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2010
- Details
Are formal methods ready for agility? : a reality check
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2010
- Details
Colour, usability and security : a case study
(Contributor)
1 edition
- Computer Science, Newcastle University
- 2010
- Details
A collaborative ontology development tool for information security managers
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2010
- Details
Dependability metadata acquisition and assessment : a state of the art survey
(Contributor)
1 edition
- University of Newcastle upon Tyne
- 2010
- Details
e-Science central : cloud-based e-science and its application to chemical property modelling
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2010
- Details
Incremental workflow improvement through analysis of its data provenance
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2011
- Details
SHAPE your CLASS : improving the lecture experience
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2011
- Details
Patterns of representing FMEA in formal specification of control systems
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2011
- Details
A formal approach to collaborative modelling and co-simulation for embedded systems
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2011
- Details
Dependable workflow reconfiguration in WS-BPEL
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2011
- Details
Scalable and responsive event processing in the cloud
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2011
- Details
Regions of petri nets with a/sync connections
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2011
- Details
Rigorous development of dependable systems using fault tolerance views
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2011
- Details
Cloud computing for chemical activity prediction
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2011
- Details
Design, modelling and analysis of a workflow reconfiguration
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2011
- Details
Distributed event processing for activity recognition
(Contributor)
1 edition
Driving privacy controls with social context
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2012
- Details