 | 2012 |
|---|
| 24 |       | Carlo Bellettini,
Matteo Camilli,
Lorenzo Capra,
Mattia Monga:
State Space Exploration of RT Systems in the Cloud
CoRR abs/1203.6806: (2012) |
| 2011 |
|---|
| 23 | | Carlo Bellettini,
Lorenzo Capra:
Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach.
SYNASC 2011: 110-117 |
| 22 | | Carlo Bellettini,
Lorenzo Capra:
Reachability Analysis of Time Basic Petri Nets: a Time Coverage Approach
CoRR abs/1107.1166: (2011) |
| 2010 |
|---|
| 21 | | Carlo Bellettini,
Gianluca Mazzini:
A Framework for Robust Audio Fingerprinting.
JCM 5(5): 409-424 (2010) |
| 2008 |
|---|
| 20 | | Carlo Bellettini,
Gianluca Mazzini:
Reliable Automatic Recognition for Pitch-Shifted Audio.
ICCCN 2008: 838-843 |
| 19 | | Carlo Bellettini,
Julian L. Rrushi:
A Product Machine Model for Anomaly Detection of Interposition Attacks on Cyber-Physical Systems.
SEC 2008: 285-300 |
| 2007 |
|---|
| 18 | | Ernesto Damiani,
Alberto Colombo,
Fulvio Frati,
Carlo Bellettini:
A Metamodel for Modeling and Measuring Scrum Development Process.
XP 2007: 74-83 |
| 17 | | 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 |
|---|
| 16 | | Carlo Bellettini,
Lorenzo Capra:
Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches.
IPDPS 2005 |
| 15 | | Carlo Bellettini,
Alessandro Marchetto,
Andrea Trentini:
TestUml: user-metrics driven web applications testing.
SAC 2005: 1694-1698 |
| 14 |  | Carlo Bellettini,
Alessandro Marchetto,
Andrea Trentini:
Validation of Reverse Engineered Web Application Models.
WEC (2) 2005: 125-128 |
| 13 | | Carlo Bellettini,
Alessandro Marchetto,
Andrea Trentini:
Multi-Dimensional Concerns Mining for Web Applications via Concept-Analysis.
WEC (2) 2005: 129-132 |
| 12 | | 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 |
|---|
| 11 | | Carlo Bellettini,
Lorenzo Capra:
A Quotient Graph for Asymmetric Distributed Systems.
MASCOTS 2004: 560-568 |
| 10 | | Carlo Bellettini,
Alessandro Marchetto,
Andrea Trentini:
WebUml: reverse engineering of web applications.
SAC 2004: 1662-1669 |
| 2001 |
|---|
| 9 | | Carlo Bellettini,
Ernesto Damiani,
Maria Grazia Fugini:
Software reuse in-the-small: automating group rewarding.
Information & Software Technology 43(11): 651-660 (2001) |
| 2000 |
|---|
| 8 | | Carlo Bellettini,
Ernesto Damiani,
Maria Grazia Fugini:
Querying UML/XML Design Information.
FQAS 2000: 538-549 |
| 1999 |
|---|
| 7 | | Carlo Bellettini,
Ernesto Damiani,
Maria Grazia Fugini:
User Opinions and Rewards in a Reuse-Based Development System.
SSR 1999: 151-158 |
| 6 | | 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) |
| 5 | | 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 |
|---|
| 4 | | Flavio De Paoli,
Francesco Tisato,
Carlo Bellettini:
TDA: A Time Driven Engine for Predictable Execution of Realtime Systems.
ECOOP Workshops 1998: 519-524 |
| 1996 |
|---|
| 3 | | Flavio De Paoli,
Francesco Tisato,
Carlo Bellettini:
HyperReal: A modular control architecture for HRT systems.
Journal of Systems Architecture 42(6-7): 477-487 (1996) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page