2008 |
18 | EE | Carlo Bellettini,
Julian L. Rrushi:
A Product Machine Model for Anomaly Detection of Interposition Attacks on Cyber-Physical Systems.
SEC 2008: 285-300 |
2007 |
17 | EE | Ernesto Damiani,
Alberto Colombo,
Fulvio Frati,
Carlo Bellettini:
A Metamodel for Modeling and Measuring Scrum Development Process.
XP 2007: 74-83 |
16 | EE | Carlo Bellettini,
Lorenzo Capra,
Mattia Monga:
Using a Stochastic Well-formed Net model for assessing a decentralized approach to configuration management.
Perform. Eval. 64(3): 229-246 (2007) |
2005 |
15 | EE | Carlo Bellettini,
Lorenzo Capra:
Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches.
IPDPS 2005 |
14 | EE | Carlo Bellettini,
Alessandro Marchetto,
Andrea Trentini:
TestUml: user-metrics driven web applications testing.
SAC 2005: 1694-1698 |
13 | | Carlo Bellettini,
Alessandro Marchetto,
Andrea Trentini:
Validation of Reverse Engineered Web Application Models.
WEC (2) 2005: 125-128 |
12 | | Carlo Bellettini,
Alessandro Marchetto,
Andrea Trentini:
Multi-Dimensional Concerns Mining for Web Applications via Concept-Analysis.
WEC (2) 2005: 129-132 |
11 | EE | Carlo Bellettini,
Lorenzo Capra,
Mattia Monga:
Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets.
Electr. Notes Theor. Comput. Sci. 128(4): 59-77 (2005) |
2004 |
10 | EE | Carlo Bellettini,
Lorenzo Capra:
A Quotient Graph for Asymmetric Distributed Systems.
MASCOTS 2004: 560-568 |
9 | EE | Carlo Bellettini,
Alessandro Marchetto,
Andrea Trentini:
WebUml: reverse engineering of web applications.
SAC 2004: 1662-1669 |
2001 |
8 | | Carlo Bellettini,
Ernesto Damiani,
Maria Grazia Fugini:
Software reuse in-the-small: automating group rewarding.
Information & Software Technology 43(11): 651-660 (2001) |
2000 |
7 | | Carlo Bellettini,
Ernesto Damiani,
Maria Grazia Fugini:
Querying UML/XML Design Information.
FQAS 2000: 538-549 |
1999 |
6 | EE | Carlo Bellettini,
Ernesto Damiani,
Maria Grazia Fugini:
User Opinions and Rewards in a Reuse-Based Development System.
SSR 1999: 151-158 |
5 | EE | Ernesto Damiani,
Maria Grazia Fugini,
Carlo Bellettini:
A Hierarchy-aware Approach to Faceted Classification of Objected-Oriented Components.
ACM Trans. Softw. Eng. Methodol. 8(3): 215-262 (1999) |
4 | EE | Ernesto Damiani,
Maria Grazia Fugini,
Carlo Bellettini:
Corrigenda: a hierarchy-aware approach to faceted classification of object-oriented components.
ACM Trans. Softw. Eng. Methodol. 8(4): 425-472 (1999) |
1998 |
3 | EE | Flavio De Paoli,
Francesco Tisato,
Carlo Bellettini:
TDA: A Time Driven Engine for Predictable Execution of Realtime Systems.
ECOOP Workshops 1998: 519-524 |
1993 |
2 | | Carlo Ghezzi,
Miguel Felder,
Carlo Bellettini:
Real-Time Systems: A Survey of Approaches to Formal Specification and Verification.
ESEC 1993: 11-36 |
1 | | Carlo Bellettini,
Miguel Felder,
Mauro Pezzè:
Merlot: A Tool for Analysis of Real-Time Specifications.
IWSSD 1993: 110-121 |