|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
| 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 | 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 | 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 | 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 | Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi |
TAPAs: A Tool for the Analysis of Process Algebras. |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
behavioural equivalences, concurrency, process algebras, modal logics, bisimulation, property verification |
| 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 | 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 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
A WSDL-Based Type System for WS-BPEL. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")