A Formal Account of WS-BPEL

A Formal Approach to Autonomic Systems Programming

article published in 2014

A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase

A Model Checking Approach for Verifying COWS Specifications

article

A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies

scientific article published on 24 October 2017

A Symbolic Model Checker for ACTL

A Symbolic Semantics for a Calculus for Service-Oriented Computing

A WSDL-Based Type System for WS-BPEL

A WSDL-based type system for asynchronous WS-BPEL processes

A calculus for orchestration of web services

A logical verification methodology for service-oriented computing

article

A process algebra based on Linda

scholarly article by Rocco Nicola & Rosario Pugliese published 1996 in Lecture Notes in Computer Science

A standard-driven communication protocol for disconnected clinics in rural areas

article

A tool for rapid development of WS-BPEL applications

article

An accessible verification environment for UML models of services

Assessing CS1 java skills

scientific article published on 26 June 2006

Basic Observables for Processes

Basic observables for a calculus for global computing

Confining data and processes in global computing applications

Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications

Core Calculi for Service-Oriented Computing

Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation

Divergence in testing and readiness semantics

article published in 2001

Dynamic management of capabilities in a network aware coordination language

Formalisation and Implementation of the XACML Access Control Mechanism

Formalising Adaptation Patterns for Autonomic Ensembles

From Architectural to Behavioural Specification of Services

article by Laura Bocchi et al published October 2009 in Electronic Notes in Theoretical Computer Science

From Flow Logic to Static Type Systems for Coordination Languages

From Flow Logic to static type systems for coordination languages

Global Types and Network Services

article published in 2001

Global computing in a dynamic network of tuple spaces

Guardians for Ambient-Based Monitoring

Higher-Order Types and Meta-Programming for Global Computing

Interactive mobile agents in X-KLAIM

KLAIM: a kernel language for agents interaction and mobility

article

Klava: a Java package for distributed and mobile applications

Linguistic Abstractions for Programming and Policing Autonomic Computing Systems

MetaKlaim: a type safe multi-stage language for global computing

Modeling adaptation with a tuple-based coordination language

article published in 2012

Modelling Node Connectivity in Dynamically Evolving Networks

On Observing Dynamic Prioritised Actions in SOC

On Properties of Policy-Based Specifications ⬇️

On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals

article

On the Expressive Power of Klaim-based Calculi

On the expressive power of KLAIM-based calculi

Programming and Verifying Component Ensembles

Proof Techniques for Cryptographic Processes

Security analysis of standards-driven communication protocols for healthcare scenarios

scientific article published on 24 March 2012

Service Discovery and Negotiation With COWS

article published in 2008

Special issue on Automated Specification and Verification of Web Systems

Specification and Analysis of SOC Systems Using COWS: A Finance Case Study

Specifying and Analysing SOC Applications with COWS

Structured nets in KLAIM

Testing semantics of asynchronous distributed programs

The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing

scholarly article published September 2013

The Sensoria Approach Applied to the Finance Case Study

Towards Static Analysis of Policy-Based Self-adaptive Computing Systems

Towards Verified Lazy Implementation of Concurrent Value-Passing Languages (Abstract)

Towards a Formal Verification Methodology for Collective Robotic Systems

Towards model-driven development of access control policies for web applications

article

Trace and Testing Equivalence on Asynchronous Processes

Using formal methods to develop WS-BPEL applications

Writing Robotics Applications with X-Klaim

scientific article published in 2020

X-Klaim and Klava

e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience

article