You are here

Publications

Primary tabs

  1. Alessandro Cimatti; Fausto Giunchiglia; G. Mongardi; D. Romano; F. Torielli; Paolo Traverso,
    Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System,
    17th International Conference on Computer Safety, Reliability and Security [SAFECOMP ‘98],
    Springer,
    vol.1516,
    , pp. 284-
    295
    , (17th International Conference on Computer Safety, Reliability and Security [SAFECOMP ‘98],
    Heidelberg, Germany,
    1998)
  2. R. Fiutem; G. Antoniol,
    Identifying Design-Code Inconsistencies in Object-Oriented Software: a Case Study,
    Proceedings of International Conference on Software Maintenance [ICSM 98],
    , pp. 94-
    102
  3. G. Caldiera; G. Antoniol; R. Fiutem; C. Lokan,
    Definition and Experimental Evaluation of Function Points for Object-Oriented Systems,
    Proceedings of Fifth International Software Metrics Symposium [METRICS ’98],
    , pp. 167-
    178
  4. G. Antoniol; F. Calzolari; R. Fiutem; Paolo Tonella,
    Living with 4.7 Million Lines of Code,
    Workshop on Empirical Studies of Software Maintenance,
  5. Paolo Tonella; R. Fiutem; G. Antoniol; F. Calzolari,
    Reverse Engineering Information Flows based on Shared Files,
    Proceedings of the 6th Reengineering Forum 'Reenginering for IT and Business Renaissance',
    , pp. 1-
    2
  6. J. F. Girards; R. Koschke; R. Fiutem; G. Antoniol; Paolo Tonella; F. Calzolari,
    Applying File-Based Information Flow and ASE Elicitation to a Legacy System,
    Proceedings of the 6th Reengineering Forum 'Reenginering for IT and Business Renaissance',
  7. Roberto Brunelli; Ornella Mich,
    VIDEO: Video and Image Data Exploration and Organization,
    Workshop on Image and Video Content-based Retrieval,
    no publisher,
    , pp. 119-
    126
    , (Workshop on Image and Video Content-based Retrieval,
    02/1998)
  8. Edmondo Trentin,
    HMMs for Acoustic Modeling: Beyond the Problem of Local Stationarity,
    Atti della Giornata di studio GFS-AIA,
  9. Cesare Furlanello; Stefano Merler; Annamaria Rizzoli; C. Chemini,
    Geographical Information System (GIS) for Landscape Epidemiology,
    Atti del II Convegno nazionale di ecopatologia della fauna selvatica,
  10. Cesare Furlanello; Stefano Merler; C. Chemini; Annamaria Rizzoli,
    An Application of the Bootstrap 632+ Rule to Ecological Data,
    Neural Nets: Proceedings of the 9th Italian Workshop on Neural Nets [WIRN-97],
    , pp. 227-
    232