1. Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano,
    Supporting Requirements Validation: The EuRailCheck Tool,
    Proceedings of 24th Int. Conference Automated Software Engineering,
    2009
    , pp. 665-
    667
  2. Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Andrei, Tchaltsev,
    A Comprehensive Approach to On-Board Autonomy Verification and Validation,
    Workshop on Verification and Validation of Planning and Scheduling Systems,
    2009
    , pp. 1-
    10
  3. Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco,
    The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems,
    Proceedings of 28th Int. International Conference on Computer Safety, Reliability and Security,
    Springer,
    vol. 5775,
    2009
    , pp. 173-
    186
  4. Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto,
    Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories,
    2009
  5. Dirk, Beyer; Cimatti, Alessandro; Griggio, Alberto; Erkan, Keremoglu; Sebastiani, Roberto,
    Software Model Checking via Large-Block Encoding,
    2009
  6. Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll,
    Verification and performance evaluation of AADL models,
    Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering,
    ACM,
    2009
    , pp. 285-
    286
  7. Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco,
    Model-Based Codesign of Critical Embedded Systems,
    Proceedings 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems,
    CEUR-WS.org,
    vol. 507,
    2009
    , pp. 87-
    91
  8. Marco Bozzano; Alessandro Cimatti; Marco Roveri; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll,
    Codesign of Dependable Systems: A Component-Based Modeling Language,
    Proceedings of the 7th IEEE/ACM Int. Conference on Formal Methods and Models for Codesign,
    2009
    , pp. 121-
    130
  9. Roveri, Marco; Cimatti, Alessandro; Schuppan, Viktor; Tchaltsev, Andrei; Cavada, Roberto,
    NuGAT,
    2009
  10. Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich,
    The synergy of precise and fast abstractions for program verification,
    Proceedings of the 24th Annual ACM Symposium on Applied Computing,
    ACM,
    2009
    , pp. 566-
    573
  11. Tonetta, Stefano,
    Abstract Model Checking without Computing the Abstraction,
    Proceedings of the 16th Int. Symposium on Formal Methods,
    Springer-Verlag,
    2009
    , pp. 89-
    105
  12. Daniel, Kroening; Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich; Christoph M., Wintersteiger,
    Loopfrog: A Static Analyzer for ANSI-C Programs,
    Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering,
    IEEE Computer Society,
    2009
    , pp. 668-
    670
  13. Brutti, Alessio; Omologo, Maurizio; Svaizer, Piergiorgio,
    A Sequential Monte Carlo Approach for Tracking of Overlapping Acoustic Sources,
    EUSIPCO 2009 17th European Signal Processing Conference,
    European Association for Signal Processing,
    2009
    , pp. 2559-
    2563
  14. Zieger, Christian; Brutti, Alessio; Svaizer, Piergiorgio,
    Acoustic Based Surveillance System For Intrusion Detection,
    IEEE,
    2009
    , pp. 314-
    319
  15. Lutz, Marquardt; Svaizer, Piergiorgio; Edwin, Mabande; Brutti, Alessio; Zieger, Christian; Omologo, Maurizio; Walter, Kellermann,
    A natural acoustic front-end for Interactive TV in the EU-Project DICIT,
    Pacific Rim Conference on Communications, Computers and Signal Processing 2009,
    IEEE,
    2009
    , pp. 894-
    899
  16. Nesta, Francesco; Svaizer, Piergiorgio; Omologo, Maurizio,
    Robust two-channel TDOA estimation for multiple speaker localization by using recursive ICA and a state coherence transform,
    Proceedings of 2009 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2009),
    2009
    , pp. 4597-
    4600
  17. Nesta, Francesco; Svaizer, Piergiorgio; Omologo, Maurizio,
    Cumulative State Coherence Transform for a Robust Two-Channel Multiple Source Localization,
    Lecture Notes In Computer Science; Proceedings of the 8th International Conference on Independent Component Analysis and Signal Separation,
    Springer-Verlag,
    n. Vol. 5441,
    2009
    , pp. 290-
    297
  18. Pistore, Marco; Braghieri, Pietro; Bertoli, Piergiorgio; Antonio, Biscaglia; Marconi, Annapaola; Stefano, Pintarelli; Trainotti, Michele,
    ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain,
    At Your Service: Service-Oriented Computing from an EU Perspective,
    MIT Press,
    2009
    , pp. 183-
    212
  19. Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo,
    Automated Planning,
    Handbook of Knowledge Representation,
    Elsevier,
    2008
    , pp. 841-
    867
  20. Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto,
    The MathSAT 4SMT Solver,
    Proceedings of the 20th Int. Conference on Computer Aided Verification,
    Springer-Verlag,
    vol. 5123,
    2008
    , pp. 299-
    303