|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 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 | 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 | Maurice H. ter Beek, Alessandro Lapadula, Michele Loreti, Claudio Palasciano |
Analysing Robot Movement Using the Sensoria Methods. |
Results of the SENSORIA Project |
2011 |
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 | 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 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
Service Discovery and Negotiation With COWS. |
Electr. Notes Theor. Comput. Sci. |
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 | 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 |
|
| 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 |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")