1. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Xavier, Olive,
    Symbolic Synthesis of Observability Requirements for Diagnosability,
    Proceedings of 11th Symposium on Advanced Space Technologies in Robotics and Automation,
    2011
  2. Robin Steel; Alexander Hoffman; Alessandro Cimatti; Marco Roveri; Konstantinos Kapellos; Alessandro Donati; Nicola Policella,
    Innovative Rover Operations Concepts–Autonomous Planning: Keeping a dog on the lead,
    International Workshop on Planning and Scheduling for Space, IWPSS 2011,
    2011
  3. Sebastiani, Roberto; Tonetta, Stefano; Moshe, Vardi,
    Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking,
    in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER»,
    vol. 13,
    n. 4,
    2011
    , pp. 319-
    335
  4. Griggio, Alberto; Thi Thieu Hoa, Le; Sebastiani, Roberto,
    Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic,
    Proceedings 17th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems,
    vol. To appear,
    2011
  5. Griggio, Alberto; Quoc Sang, Phan; Roberto, Sebastiani; Silvia, Tomasi,
    Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT,
    Proceedings of Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011,
    Springer,
    vol. 6989,
    2011
  6. Griggio, Alberto,
    Effective word-level interpolation for software verification,
    Proceedings of International Conference on Formal Methods in Computer-Aided Design, FMCAD '11,
    FMCAD Inc.,
    2011
  7. Nesta, Francesco; Svaizer, Piergiorgio; Omologo, Maurizio,
    Convolutive BSS of short mixtures by ICA recursively regularized across frequencies,
    in «IEEE TRANSACTIONS ON AUDIO, SPEECH, AND LANGUAGE PROCESSING»,
    vol. 19,
    2011
    , pp. 624-
    639
  8. Svaizer, Piergiorgio; Brutti, Alessio; Omologo, Maurizio,
    Use of reflected wavefronts for acoustic source localization with a line array,
    Proceedings of HSCMA 2011,
    2011
  9. Brutti, Alessio; Omologo, Maurizio; Svaizer, Piergiorgio,
    Inference of acoustic source directivity using environment awareness,
    Proceedings of EUSIPCO 2011,
    2011
    , pp. 151-
    155
  10. P., Annibale; F., Antonacci; P., Bestagini; Brutti, Alessio; A., Canclini; Cristoforetti, Luca; E. A. P., Habets; J., Filos; W., Kellermann; K., Kowalczyk; A., Lombard; E., Mabande; D., Markovic; P. A., Naylor; Omologo, Maurizio; R., Rabenstein; A., Sarti; Svaizer, Piergiorgio; M. R. P., Thomas,
    The SCENIC Project: Space-Time Audio Processing for Environment-Aware Acoustic Sensing and Rendering,
    Proceedings of the 131st Convention of the Audio Engineering Society (AES),
    2011
  11. Annibale, P.; Antonacci, F.; Bestagini, P.; Brutti, Alessio; Canclini, A.; Cristoforetti, Luca; Habets, E.; Kellermann, W.; Kowalczyk, K.; Lombard, A.; Mabande, E.; Markovic, D.; Naylor, P.; Omologo, Maurizio; Rabenstein, R.; Sarti, A.; Svaizer, Piergiorgio; Thomas, M.,
    The SCENIC Project: Environment-aware Sound Sensing and Rendering,
    Proceedings of the 2nd European Future Technologies Conference and Exhibition 2011 (FET 11),
    2011
  12. Rosella Gennari; Anna Roubickova; Marco Roveri,
    A Critical Overview and Open Questions for Temporal Planning with Uncertainty,
    vol. To appear,
    2011
  13. Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Kalyanasundaram, Krishnamani; Roveri, Marco,
    Tighter Integration of BDD and SMT for Predicate Abstraction,
    Proceedings of the Design, Automation & Test in Europe,
    2010
    , pp. 1707-
    1712
  14. Cimatti, Alessandro; Anders, Franzén; Griggio, Alberto; Sebastiani, Roberto; Cristian, Stenico,
    Satisfiability Modulo the Theory of Costs: Foundations and Applications,
    Proceedings of 16th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems,
    Springer,
    vol. 6015,
    2010
    , pp. 99-
    113
  15. Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta,
    Formalization and Validation of Safety-Critical Requirements,
    Proceedings of the Workshop on Formal Methods for Aerospace,
    vol. 20,
    2010
    , pp. 68-
    75
  16. Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri; Ralf Wimmer,
    A Model Checker for AADL,
    Proceedings of 22nd International Conference on Computer Aided Verification,
    Springer,
    vol. 6174,
    2010
    , pp. 562-
    565
  17. Roderick Bloem; Alessandro Cimatti; Karin Greimel; Georg Hofferek; Robert Koenighofer; Marco Roveri; Viktor Schuppan; Richard Seeber,
    RATSY – A new Requirements Analysis Tool with Synthesis,
    Proceedings of 22nd Int. Conference on Computer Aided Verification,
    Springer,
    vol. 6174,
    2010
    , pp. 425-
    429
  18. Lei, Bu; Cimatti, Alessandro; Xuandong, Li; Mover, Sergio; Tonetta, Stefano,
    Model Checking of Hybrid Systems using Shallow Synchronization,
    Proceedings of 30th IFIP Int. Conference on FORmal TEchniques for Networked and Distributed Systems, part of DisCoTec'10,
    vol. 6117,
    2010
    , pp. 155-
    169
  19. Angelo, Chiappini; Cimatti, Alessandro; Macchi, Luca; Oscar, Rebollo; Roveri, Marco; Susi, Angelo; Tonetta, Stefano; Berardino, Vittorini,
    Formalization and validation of a subset of the European Train Control System,
    Proceedings of 32nd Int. Conference on Software Engineering,
    vol. 2,
    2010
    , pp. 109-
    118
  20. Cimatti, Alessandro; Micheli, Andrea; Narasamdya, Iman; Roveri, Marco,
    Verifying SystemC: a Software Model Checking Approach,
    Proceedings of the 10th Int. Conference on Formal Methods in Computer-Aided Design,
    2010
    , pp. 51-
    60