1. Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani,
    Efficient Interpolant Generation in Satisfiability Modulo Theories,
    Proceedings of the 14th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems,
    Springer-Verlag,
    vol. 4963,
    2008
    , pp. 397-
    412
  2. Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Andrei Tchaltsev,
    Diagnostic Information for Realizability,
    Proceedings of 9th Int. Conference Verification, Model Checking, and Abstract Interpretation,
    Springer,
    vol. 4905,
    2008
    , pp. 52-
    67
  3. Cimatti, Alessandro,
    Beyond Boolean SAT: Satisfiability Modulo Theories,
    Proceedings of the 9th Int. Workshop on Discrete Event Systems,
    IEEE Press,
    2008
    , pp. 68-
    73
  4. Cimatti, Alessandro; Luigi, Palopoli; Ramadian, Yusi,
    Symbolic Computation of Schedulability Regions using parametric timed automata,
    Proceeding of the 29th IEEE Real-Time Systems Symposium,
    IEEE Computer Society,
    2008
    , pp. 80-
    89
  5. Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano,
    Symbolic Compilation of PSL,
    in «IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS»,
    IEEE,
    vol. 27,
    n. 10,
    2008
    , pp. 1737-
    1750
  6. Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta,
    Object Models with Temporal Constraints,
    Proceedings 6th Int. Conference on Software Engineering and Formal Methods,
    2008
    , pp. 249-
    258
  7. Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta,
    From Informal Requirements to Property-Driven Formal Validation,
    Proceedings of 13th Int. Workshop on Formal Methods for Industrial Critical Systems,
    Springer Verlag,
    vol. 5596,
    2008
    , pp. 166-
    181
  8. Marco Bozzano; Alessandro Cimatti; Andrea Guiotto; Andrea Martelli; Marco Roveri; Andrei Tchaltsev; Yuri Yushtein,
    On-Board Autonomy via Symbolic Model Based Reasoning,
    Proceedings of 10th Workshop on Advanced Space Technologies for Robotics and Automation,
    2008
  9. Alessandro Cimatti; Andrea Guiotto; Marco Roveri,
    On Board Model Checking for Space Applications,
    Proceedings of ESA Workshop on Avionics Data, Control and Software Systems,
    2008
    , pp. 10-
    11
  10. Cimatti, Alessandro; Robert B., Jones,
    Formal Methods in Computer-Aided Design, Portland, Oregon, USA, 17-20 November 2008,
    IEEE,
    2008
  11. Cimatti, Alessandro; Bozzano, Marco; Adolfo, Villafiorita,
    FSAP,
    2008
  12. Daniel, Kroening; Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich; Christoph M., Wintersteiger,
    Loop Summarization Using Abstract Transformers,
    Proceedings of the 6th Int. Symposium on Automated Technology for Verification and Analysis,
    Springer-Verlag,
    vol. 5311,
    2008
    , pp. 111-
    125
  13. Brutti, Alessio; Omologo, Maurizio; Svaizer, Piergiorgio,
    Comparison between different sound source localization techniques based on a real data collection,
    Hands-Free Speech Communication and Microphone Arrays 2008,
    2008
  14. Brutti, Alessio; Omologo, Maurizio; Svaizer, Piergiorgio,
    Localization of Multiple Speakers based on a Two Step Acoustic Map Analysis,
    IEEE International Conference on Acoustics, Speech, and Signal Processing,
    IEEE,
    2008
    , pp. 4349-
    4352
  15. Nesta, Francesco; Omologo, Maurizio; Svaizer, Piergiorgio,
    A BSS method for short utterances by a recursive solution to the permutation problem,
    SENSOR ARRAY AND MULTICHANNEL SIGNAL PROCESSING WORKSHOP, SAM 2008 IEEE,
    IEEExplore,
    2008
    , pp. 357-
    360
  16. Francesco Nesta; Maurizio Omologo; Piergiorgio Svaizer,
    A novel robust solution to the permutation problem based on a joint multiple TDOA estimation,
    Proceedings of the 11th International Workshop on Acoustic Echo and Noise Control,
    2008
  17. Nesta, Francesco; Omologo, Maurizio; Svaizer, Piergiorgio,
    Multiple TDOA estimation by using a state coherence transform for solving the permutation problem in frequency-domain BSS,
    Proceedings of the 2008 International Workshop on Machine Learning for Signal Processing (MLSP 2008),
    IEEE Signal Processing Society,
    2008
    , pp. 43-
    48
  18. Nesta, Francesco; Svaizer, Piergiorgio; Omologo, Maurizio,
    Separating short signals in highly reverberant environment by a recursive frequency-domain BSS,
    Proceedings of the Joint Workshop on Hands-free Speech Communication and Microphone Arrays , HSCMA 2008,
    2008
    , pp. 232-
    235
  19. Bozzano, Marco; Cimatti, Alessandro; Francesco, Tapparo,
    Symbolic Fault Tree Analysis for Reactive Systems,
    5th Int. Symposium on Automated Technology for Verification and Analysis,
    Springer-Verlag,
    vol. 4762,
    2007
    , pp. 162-
    176
  20. Zvonimir, Rakamaric; Bruttomesso, Roberto; Alan J., Hu; Cimatti, Alessandro,
    Verifying Heap-Manipulating Programs in an SMT Framework,
    5th Int. Symposium on Automated Technology for Verification and Analysis,
    Springer-Verlag,
    vol. 4762,
    2007
    , pp. 237-
    252