Search the dblp DataBase

Publications of Author

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