 | 2011 |
|---|
| 8 |       | Alberto Bacchelli,
Anthony Cleve,
Michele Lanza,
Andrea Mocci:
Extracting structured data from natural language documents with island parsing.
ASE 2011: 476-479 |
| 7 | | Luigi Cardamone,
Andrea Mocci,
Carlo Ghezzi:
Dynamic synthesis of program invariants using genetic programming.
IEEE Congress on Evolutionary Computation 2011: 624-631 |
| 6 | | Carlo Ghezzi,
Andrea Mocci,
Mario Sangiorgio:
Runtime Monitoring of Functional Component Changes with Behavior Models.
MoDELS Workshops 2011: 152-166 |
| 2010 |
|---|
| 5 | | Carlo Ghezzi,
Andrea Mocci,
Guido Salvaneschi:
Automatic Cross Validation of Multiple Specifications: A Case Study.
FASE 2010: 233-247 |
| 4 | | Andreas Metzger,
Salima Benbernou,
Manuel Carro,
Maha Driss,
Gabor Kecskemeti,
Raman Kazhamiakin,
Kyriakos Kritikos,
Andrea Mocci,
Elisabetta Di Nitto,
Branimir Wetzstein,
Fabrizio Silvestri:
Analytical Quality Assurance.
S-CUBE Book 2010: 209-270 |
| 2009 |
|---|
| 3 | | Carlo Ghezzi,
Andrea Mocci,
Mattia Monga:
Synthesizing intensional behavior models by graph transformation.
ICSE 2009: 430-440 |
| 2008 |
|---|
| 2 | | Luciano Baresi,
Carlo Ghezzi,
Andrea Mocci,
Mattia Monga:
Using Graph Transformation Systems to Specify and Verify Data Abstractions.
ECEASST 10: (2008) |
| 2007 |
|---|
| 1 | | Carlo Ghezzi,
Andrea Mocci,
Mattia Monga:
Efficient recovery of algebraic specifications for stateful components.
IWPSE 2007: 98-105 |
Data released under the ODC-BY 1.0 license — See also our legal information page