Luca Cavallaro Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Inah Omoronyia, Luca Cavallaro, Mazeiar Salehie, Liliana Pasquale, Bashar Nuseibeh: Engineering adaptive privacy: on the role of privacy awareness requirements. ICSE 2013: 632-641
2012
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Inah Omoronyia, Liliana Pasquale, Mazeiar Salehie, Luca Cavallaro, Gavin Doherty, Bashar Nuseibeh: Caprice: a tool for engineering adaptive privacy. ASE 2012: 354-357
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Cavallaro, Pete Sawyer, Daniel Sykes, Nelly Bencomo, Valérie Issarny: Satisfying requirements for pervasive service compositions. Models@run.time 2012: 17-22
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Liliana Pasquale, Claudio Menghi, Mazeiar Salehie, Luca Cavallaro, Inah Omoronyia, Bashar Nuseibeh: SecuriTAS: a tool for engineering adaptive security. SIGSOFT FSE 2012: 19
2010
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella: A Tile-Based Approach for Self-Assembling Service Compositions. ICECCS 2010: 43-52
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi: SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. SEFM 2010: 244-254
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi: SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability. CoRR abs/1004.2873 (2010)
2009
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Cavallaro, Mattia Monga: Unweaving the impact of aspect changes in AspectJ. FOAL 2009: 13-18
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Cavallaro, Elisabetta Di Nitto, Matteo Pradella: An Automatic Approach to Enable Replacement of Conversational Services. ICSOC/ServiceWave 2009: 159-174
2007
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Castaldo D'Ursi, Luca Cavallaro, Mattia Monga: On bytecode slicing and aspectJ interferences. FOAL 2007: 35-43

Coauthor Index

1Nelly Bencomo
[c7]
2Marcello M. Bersani
[c4] [i1]
3Antonio Castaldo D'Ursi
[c1]
4Gavin Doherty
[c8]
5Achille Frigeri
[c4] [i1]
6Carlo A. Furia (Carlo Alberto Furia)
[c5]
7Valérie Issarny
[c7]
8Claudio Menghi
[c6]
9Mattia Monga
[c3] [c1]
10Elisabetta Di Nitto
[c5] [c2]
11Bashar Nuseibeh
[c9] [c8] [c6]
12Inah Omoronyia
[c9] [c8] [c6]
13Liliana Pasquale
[c9] [c8] [c6]
14Matteo Pradella
[c5] [c4] [i1] [c2]
15Matteo Rossi
[c4] [i1]
16Mazeiar Salehie
[c9] [c8] [c6]
17Peter Sawyer (Pete Sawyer)
[c7]
18Daniel Sykes
[c7]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 04:27:33 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page