Rosario Pugliese

According to our database1, Rosario Pugliese authored at least 105 papers between 1995 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies.
IEEE Trans. Software Eng., 2019

Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services.
CoRR, 2019

Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies.
Proceedings of the Coordination Models and Languages, 2019

Automata-Based Behavioural Contracts with Action Correlation.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018
A Formal Approach to the Engineering of Domain-Specific Distributed Systems.
Proceedings of the Coordination Models and Languages, 2018

2017
Blind-date conversation joining.
Service Oriented Computing and Applications, 2017

2016
Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications.
IEEE Wireless Commun., 2016

Towards Static Analysis of Policy-Based Self-adaptive Computing Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015
The SCEL Language: Design, Implementation, Verification.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

The Autonomic Cloud.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Correctness of Service Components and Service Component Ensembles.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

On Properties of Policy-Based Specifications.
Proceedings of the Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, 2015

Programming Autonomic Systems with Multiple Constraint Stores.
Proceedings of the Software, 2015

2014
A Formal Approach to Autonomic Systems Programming: The SCEL Language.
TAAS, 2014

On Programming and Policing Autonomic Computing Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Self-expression and Dynamic Attribute-Based Ensembles in SCEL.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Programming and Verifying Component Ensembles.
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

2013
Special issue on Automated Specification and Verification of Web Systems.
J. Log. Algebr. Program., 2013

Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -.
Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013

Linguistic Abstractions for Programming and Policing Autonomic Computing Systems.
Proceedings of the 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, 2013

The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing.
Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase.
Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

Formalising Adaptation Patterns for Autonomic Ensembles.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data.
Proceedings of the HEALTHINF 2013, 2013

2012
A logical verification methodology for service-oriented computing.
ACM Trans. Softw. Eng. Methodol., 2012

Using formal methods to develop WS-BPEL applications.
Sci. Comput. Program., 2012

Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios.
J. Medical Systems, 2012

A calculus for orchestration of web services.
J. Applied Logic, 2012

Modeling adaptation with a tuple-based coordination language.
Proceedings of the ACM Symposium on Applied Computing, 2012

Towards model-driven development of access control policies for web applications.
Proceedings of the Model-Driven Security Workshop, 2012

Towards a Formal Verification Methodology for Collective Robotic Systems.
Proceedings of the Formal Methods and Software Engineering, 2012

Formalisation and Implementation of the XACML Access Control Mechanism.
Proceedings of the Engineering Secure Software and Systems - 4th International Symposium, 2012

2011
An accessible verification environment for UML models of services.
J. Symb. Comput., 2011

A WSDL-based type system for asynchronous WS-BPEL processes.
Formal Methods in System Design, 2011

A Language-Based Approach to Autonomic Computing.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience.
Proceedings of the e-Infrastructure and e-Services for Developing Countries, 2011

The Sensoria Approach Applied to the Finance Case Study.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Core Calculi for Service-Oriented Computing.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
From Flow Logic to static type systems for coordination languages.
Sci. Comput. Program., 2010

A criterion for separating process calculi
Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010

A tool for rapid development of WS-BPEL applications.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009
Dynamic management of capabilities in a network aware coordination language.
J. Log. Algebr. Program., 2009

A Symbolic Semantics for a Calculus for Service-Oriented Computing.
Electr. Notes Theor. Comput. Sci., 2009

From Architectural to Behavioural Specification of Services.
Electr. Notes Theor. Comput. Sci., 2009

Specification and Analysis of SOC Systems Using COWS: A Finance Case Study.
Electr. Notes Theor. Comput. Sci., 2009

On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals.
Proceedings of the Information Systems Security, 5th International Conference, 2009

On Observing Dynamic Prioritised Actions in SOC.
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

2008
Service Discovery and Negotiation With COWS.
Electr. Notes Theor. Comput. Sci., 2008

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
Proceedings of the Leveraging Applications of Formal Methods, 2008

A Model Checking Approach for Verifying COWS Specifications.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

A Formal Account of WS-BPEL.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Specifying and Analysing SOC Applications with COWS.
Proceedings of the Concurrency, 2008

2007
Global computing in a dynamic network of tuple spaces.
Sci. Comput. Program., 2007

Basic observables for a calculus for global computing.
Inf. Comput., 2007

C-clock-WS: A Timed Service-Oriented Calculus.
Proceedings of the Theoretical Aspects of Computing, 2007

Regulating Data Exchange in Service Oriented Applications.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

A Calculus for Orchestration of Web Services.
Proceedings of the Programming Languages and Systems, 2007

2006
Confining data and processes in global computing applications.
Sci. Comput. Program., 2006

Assessing CS1 java skills: a three-year experience.
Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2006

A WSDL-Based Type System for WS-BPEL.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2005
Pattern Matching over a Dynamic Network of Tuple Spaces.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

A Process Calculus for QoS-Aware Applications.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

A Mobility Calculus with Local and Dependent Types.
Proceedings of the Processes, 2005

2004
MetaKlaim: a type safe multi-stage language for global computing.
Mathematical Structures in Computer Science, 2004

On the Expressive Power of Klaim-based Calculi.
Proceedings of the 11th International Workshop on Expressiveness in Concurrency, 2004

Controlling data movement in global computing applications.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Dynamic and Local Typing for Mobile Ambients.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003
Enforcing Security Policies via Types.
Proceedings of the Security in Pervasive Computing, 2003

Resource Access and Mobility Control with Dynamic Privileges Acquisition.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

The Klaim Project: Theory and Practice.
Proceedings of the Global Computing. Programming Environments, 2003

A Formal Basis for Reasoning on Programmable QoS.
Proceedings of the Verification: Theory and Practice, 2003

2002
Klava: a Java package for distributed and mobile applications.
Softw., Pract. Exper., 2002

Trace and Testing Equivalence on Asynchronous Processes.
Inf. Comput., 2002

Guardians for Ambient-based Monitoring.
Electr. Notes Theor. Comput. Sci., 2002


An infrastructure language for open nets.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

2001
Divergence in testing and readiness semantics.
Theor. Comput. Sci., 2001

Proof Techniques for Cryptographic Processes.
SIAM J. Comput., 2001

Global Types and Network Services.
Electr. Notes Theor. Comput. Sci., 2001

Higher-Order Types and Meta-Programming for Global Computing.
Electr. Notes Theor. Comput. Sci., 2001

XKlaim and Klava: Programming Mobile Code.
Electr. Notes Theor. Comput. Sci., 2001

Modelling Node Connectivity in Dynamically Evolving Networks.
Electr. Notes Theor. Comput. Sci., 2001

MetaKlaim: Meta-programming for Global Computing.
Proceedings of the Semantics, 2001

2000
Linda-based applicative and imperative process algebras.
Theor. Comput. Sci., 2000

Types for access control.
Theor. Comput. Sci., 2000

Calculi for Network Aware Programming.
Proceedings of the WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2000

Mobile Applications in X-KLAIM.
Proceedings of the WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2000

Structured Nets in KLAIM.
Proceedings of the Applied Computing 2000, 2000

Process Algebraic Analysis of Cryptographic Protocols.
Proceedings of the Formal Techniques for Distributed System Development, 2000

Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

Programming Access Control: The KLAIM Experience.
Proceedings of the CONCUR 2000, 2000

1999
Basic Observables for Processes.
Inf. Comput., 1999

Towards Verified Lazy Implementation of Concurrent Value-Passing Languages.
Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 1999

A Theory of "May" Testing for Asynchronous Languages.
Proceedings of the Foundations of Software Science and Computation Structure, 1999

Types as Specifications of Access Policies.
Proceedings of the Secure Internet Programming, 1999

1998
KLAIM: A Kernel Language for Agents Interaction and Mobility.
IEEE Trans. Software Eng., 1998

Interactive Mobile Agents in X-Klaim.
Proceedings of the 7th Workshop on Enabling Technologies (WETICE '98), 1998

Asynchronous Observations of Processes.
Proceedings of the Foundations of Software Science and Computation Structure, 1998

A Symbolic Model Checker for ACTL.
Proceedings of the Applied Formal Methods, 1998

1997
Locality Based Linda: Programming with Explicit Localities.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Coordinating Mobile Agents via Blackboards and Access Rights.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996
Testing Semantics of Asynchronous Distributed Programs.
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Automatic Verification of a Hydroelectric Power Plant.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

A Process Algebra Based on LINDA.
Proceedings of the Coordination Languages and Models, First International Conference, 1996

1995
An Observational Semantics for Linda.
Proceedings of the International Workshop on Structures in Concurrency Theory, 1995


  Loading...