Publications by Dr Manuel Mazzara - ePrints

Browsing publications by Dr Manuel Mazzara.

Newcastle Authors	Title	Year
Dr Roman Bauer Professor Marcus Kaiser Dr Manuel Mazzara	The BioDynaMo project: Creating a platform for large-scale reproducible biological simulations	2016
Michele Mazzucco Dr Manuel Mazzara	Dynamic Allocation and Admission Policies for QoS-aware Provisioning Systems	2013
Dr Manuel Mazzara	Implementing Workflow Reconfiguration in WS-BPEL	2013
Dr Manuel Mazzara Dr Anirban Bhattacharyya	Toward Design, Modelling and Analysis of Dynamic Workflow Reconfiguration: A process Algebra Perspective	2012
Dr Manuel Mazzara	Implementing Workflow Reconfiguration in WS-BPEL	2012
Dr Manuel Mazzara Emeritus Professor Cliff Jones Dr Alexei Iliasov	Lessons from DEPLOYment	2012
Dr Manuel Mazzara	Modelling and Analysis of Dynamic Reconguration in BP-calculus	2012
Dr Manuel Mazzara	Modelling and Analysis of Dynamic Reconfiguration in BP-calculus	2012
Dr Manuel Mazzara Luca Biselli	Social networks and collective intelligence: A return to the Agora	2012
Professor Michael Jackson Emeritus Professor Cliff Jones Dr Manuel Mazzara	Towards a Formalism-Based Toolkit for Automotive Applications	2012
Dr Anirban Bhattacharyya Professor John Fitzgerald Dr Manuel Mazzara	A Case Study of Workflow Reconfiguration: Design, Modelling, Analysis and Implementation	2011
Dr Manuel Mazzara	Dependable Workflow Reconfiguration in WS-BPEL	2011
Dr Manuel Mazzara	Dependable Workflow Reconfiguration in WS-BPEL	2011
Dr Manuel Mazzara Dr Anirban Bhattacharyya	Design, Modelling and Analysis of a Workflow Reconfiguration	2011
Dr Manuel Mazzara Dr Anirban Bhattacharyya	Design, Modelling and Analysis of a Workflow Reconfiguration	2011
Michele Mazzucco Dr Manuel Mazzara	Dynamic Allocation and Admission Policies for QoS-aware Provisioning Systems	2011
Dr Manuel Mazzara	Model Checking of BPMN Models for Reconfigurable Workflows	2011
Dr Manuel Mazzara	On Methods for the Formal Specification of Fault Tolerant Systems	2011
Dr Manuel Mazzara	On Methods for the Formal Specification of Fault Tolerant Systems	2011
Dr Manuel Mazzara Luca Biselli	Polidoxa: a Sinergic Approach of a Social Network and a Search Engine to Offer Trustworthy News	2011
Dr Manuel Mazzara	The Polidoxa Shift: a New Approach to Social Networks	2011
Dr Manuel Mazzara Luca Biselli	The Polidoxa Shift: a New Approach to Social Networks	2011
Dr Manuel Mazzara	The Polidoxa Shift: a New Approach to Social Networks	2011
Dr Manuel Mazzara	A Formal semantics for the WS-BPEL recovery framework the π-calculus way	2010
Dr Manuel Mazzara	Design of QoS-aware Provisioning Systems	2010
Dr Manuel Mazzara	First Deploy Technical Workshop, Aix-en-Provence, France, October 21-23, 2009	2010
Dr Manuel Mazzara	Issues about the Adoption of Formal Methods for Dependable Composition of Web Services	2010
Dr Manuel Mazzara Dr Anirban Bhattacharyya	On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems	2010
Dr Manuel Mazzara Dr Anirban Bhattacharyya	On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems	2010
Dr Manuel Mazzara	Proceedings of the First Deploy Technical Workshop	2010
Dr Manuel Mazzara	A Formal Semantics for the WS-BPEL Recovery Framework. The Pi-Calculus Way	2009
Dr Manuel Mazzara	Deriving Specifications of Dependable Systems: toward a method	2009
Dr Manuel Mazzara	Different Perspectives for Reasoning about Problems and Faults	2009
Dr Manuel Mazzara	Editorial: Service oriented architectures and programming	2009
Dr Manuel Mazzara	A pi-calculus based semantics for WS-BPEL	2007
Dr Manuel Mazzara	A Case Study of Web Services Orchestration	2005