| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
Using formal methods to develop WS-BPEL applications.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosario Pugliese, Francesco Tiezzi |
A calculus for orchestration of web services. |
J. Applied Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi |
Formalisation and Implementation of the XACML Access Control Mechanism. |
ESSoS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Banti, Rosario Pugliese, Francesco Tiezzi |
An accessible verification environment for UML models of services. |
J. Symb. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Kovács, Rosario Pugliese, Francesco Tiezzi (eds.) |
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems |
WWV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
A WSDL-based type system for asynchronous WS-BPEL processes. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Gnesi, Rosario Pugliese, Francesco Tiezzi |
The Sensoria Approach Applied to the Finance Case Study. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro |
Core Calculi for Service-Oriented Computing. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi |
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience. |
AFRICOMM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese |
From Flow Logic to static type systems for coordination languages. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Banti, Rosario Pugliese, Francesco Tiezzi |
A criterion for separating process calculi |
EXPRESS'10 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
A tool for rapid development of WS-BPEL applications. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
web services, service-oriented architectures, compilers |
| 1 | Daniele Gorla, Rosario Pugliese |
Dynamic management of capabilities in a network aware coordination language. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida |
A Symbolic Semantics for a Calculus for Service-Oriented Computing. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
From Architectural to Behavioural Specification of Services. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida |
On Observing Dynamic Prioritised Actions in SOC. |
ICALP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi |
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. |
ICISS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
Service Discovery and Negotiation With COWS. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese |
From Flow Logic to Static Type Systems for Coordination Languages. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
A Formal Account of WS-BPEL. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi |
A Model Checking Approach for Verifying COWS Specifications. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
Specifying and Analysing SOC Applications with COWS. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró |
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
Global computing in a dynamic network of tuple spaces. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
Basic observables for a calculus for global computing. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
Regulating Data Exchange in Service Oriented Applications. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
C-clock-WS: A Timed Service-Oriented Calculus. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
A Calculus for Orchestration of Web Services. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
Confining data and processes in global computing applications. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
On the expressive power of KLAIM-based calculi. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pilu Crescenzi, Michele Loreti, Rosario Pugliese |
Assessing CS1 java skills: a three-year experience. |
ITiCSE |
2006 |
DBLP DOI BibTeX RDF |
programming skill, java, assessment |
| 1 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
A WSDL-Based Type System for WS-BPEL. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
On the Expressive Power of Klaim-based Calculi. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
Pattern Matching over a Dynamic Network of Tuple Spaces. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
Basic Observables for a Calculus for Global Computing. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
Global Computing in a Dynamic Network of Tuple Spaces. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto |
A Process Calculus for QoS-Aware Applications. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese |
A Mobility Calculus with Local and Dependent Types. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese |
MetaKlaim: a type safe multi-stage language for global computing. |
Mathematical Structures in Computer Science |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Gorla, Rosario Pugliese |
Controlling data movement in global computing applications. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese |
Dynamic and Local Typing for Mobile Ambients. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Daniele Gorla, Rosario Pugliese |
Resource Access and Mobility Control with Dynamic Privileges Acquisition. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri |
The Klaim Project: Theory and Practice. |
Global Computing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Gorla, Rosario Pugliese |
Enforcing Security Policies via Types. |
SPC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto |
A Formal Basis for Reasoning on Programmable QoS. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Trace and Testing Equivalence on Asynchronous Processes. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese |
Klava: a Java package for distributed and mobile applications. |
Softw., Pract. Exper. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese |
Guardians for Ambient-based Monitoring. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Michele Loreti, Rosario Pugliese |
An infrastructure language for open nets. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
open nets, mobility, distributed applications, coordination languages |
| 1 | Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki |
AGILE: Software Architecture for Mobility. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Divergence in testing and readiness semantics. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese |
Global Types and Network Services. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese |
Higher-Order Types and Meta-Programming for Global Computing. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Michele Loreti, Rosario Pugliese |
Modelling Node Connectivity in Dynamically Evolving Networks. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese |
XKlaim and Klava: Programming Mobile Code. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Proof Techniques for Cryptographic Processes. |
SIAM J. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese |
MetaKlaim: Meta-programming for Global Computing. |
SAIG |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Betti Venneri |
Types for access control. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Rosario Pugliese |
Linda-based applicative and imperative process algebras. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese |
Programming Access Control: The KLAIM Experience. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Process Algebraic Analysis of Cryptographic Protocols. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Rosario Pugliese, Emilio Tuosto |
Calculi for Network Aware Programming. |
WOA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Lorenzo Bettini, Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese |
Mobile Applications in X-KLAIM. |
WOA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Rocco De Nicola, Rosario Pugliese, Antony I. T. Rowstron |
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Michele Loreti, Rosario Pugliese |
Structured Nets in KLAIM. |
SAC |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Basic Observables for Processes. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Ingólfsdóttir, Rosario Pugliese |
Towards Verified Lazy Implementation of Concurrent Value-Passing Languages. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese |
Types as Specifications of Access Policies. |
Secure Internet Programming |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Proof Techniques for Cryptographic Processes. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
Logical aspects of protocol security, Formal methods, Semantics, Concurrency |
| 1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
A Theory of "May" Testing for Asynchronous Languages. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese |
KLAIM: A Kernel Language for Agents Interaction and Mobility. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
mobile code languages, Programming languages, language design, coordination models, semantics of programming languages |
| 1 | Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian Luigi Ferrari |
Interactive Mobile Agents in X-Klaim. (PDF / PS) |
WETICE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci |
A Symbolic Model Checker for ACTL. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Asynchronous Observations of Processes. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Basic Observables for Processes. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese |
Locality Based Linda: Programming with Explicit Localities. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese |
Coordinating Mobile Agents via Blackboards and Access Rights. |
COORDINATION |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Rosario Pugliese |
A Process Algebra Based on LINDA. |
COORDINATION |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Rosario Pugliese |
Testing Semantics of Asynchronous Distributed Programs. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosario Pugliese, Enrico Tronci |
Automatic Verification of a Hydroelectric Power Plant. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")