Andrea Mocci (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Carlo Ghezzi, Andrea Mocci, Mattia Monga: Synthesizing intensional behavior models by graph transformation. ICSE 2009: 430-440

2 Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga: Using Graph Transformation Systems to Specify and Verify Data Abstractions. ECEASST 10: (2008)

1 Carlo Ghezzi, Andrea Mocci, Mattia Monga: Efficient recovery of algebraic specifications for stateful components. IWPSE 2007: 98-105

Selection of 3 from 3 records - Andrea Mocci has 3 coauthors

3		Carlo Ghezzi, Andrea Mocci, Mattia Monga: Synthesizing intensional behavior models by graph transformation. ICSE 2009: 430-440
2		Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga: Using Graph Transformation Systems to Specify and Verify Data Abstractions. ECEASST 10: (2008)
1		Carlo Ghezzi, Andrea Mocci, Mattia Monga: Efficient recovery of algebraic specifications for stateful components. IWPSE 2007: 98-105