Publications

  1. Cimatti Alessandro; Narasamdya Iman; Roveri Marco, Boosting Lazy Abstraction for SystemC with Partial Order Reduction, Proceedings of 17th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. To appear, 2011
  2. Robin Steel; Alexander Hoffman; Cimatti Alessandro; Roveri Marco; 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. 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
  4. 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, DOI: 10.1007/s10009-010-0168-4, ISSN: 1433-2779
  5. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, Efficient Scenario VeriFIcation for Hybrid Automata, Efficient Scenario VeriFIcation for Hybrid Automata, 2011
  6. Cimatti Alessandro; Griggio Alberto; Micheli Andrea; Iman Narasamdya; Roveri Marco, Kratos - A Software Model Checker for SystemC, 2011
  7. Bozzano Marco; Cimatti Alessandro; Roveri Marco; Tchaltsev Andrei, A Comprehensive Approach to On-Board Autonomy Verification and Validation, 2011, AAAI (Conference on Artificial Intelligence) Press
  8. Campana Daniele; Cimatti Alessandro; Narasamdya Iman; Roveri Marco, An Analytic Evaluation of SystemC Encodings in Promela, 2011
  9. Nesta Francesco; Brutti Alessio; Cristoforetti Luca, Real-time prototype for multiple source tracking through Generalized State Coherence Transform and Particle Filtering, Joint Workshop on Hands-free Speech Communication and Microphone Arrays (HSCMA), 2011, pp. 161-162, DOI: 10.1109/HSCMA.2011.5942388
  10. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems, FMCAD '11 Proceedings of the International Conference on Formal Methods in Computer-Aided Design, n. 11, 2011, pp. 54-62, IEEE
  11. Bozzano Marco; Cimatti Alessandro; O. Lisagor; Mattarei Cristian; Mover Sergio; Roveri Marco; Tonetta Stefano, Model Checking and Safety Assessment of Altarica models, Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (AVoCS 2011), in «ELECTRONIC COMMUNICATIONS OF THE EASST», vol. 46, 2011, ISSN: 1863-2122, EASST
  12. Cimatti Alessandro; Susi Angelo; Tonetta Stefano; Roveri Marco, Formalizing requirements with object models and temporal constraints, in «SOFTWARE AND SYSTEMS MODELING», vol. 10, n. 2, 2011, pp. 147-160, DOI: 10.1007/s10270-009-0130-7, ISSN: 1619-1366, Springer Berlin / Heidelberg
  13. 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
  14. 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
  15. Bozzano Marco; Villafiorita Monteleone Adolfo, Design and Safety Assessment of Critical Systems, 2010, Auerbach Publications (Taylor & Francis Group)
  16. Anders Franzen; Cimatti Alessandro; Alexander Nadel; Sebastiani Roberto; Jonathan Shalev, Applying SMT in Symbolic Execution of Microcode, Proceedings of 10th Int. Conference on Formal Methods in Computer-Aided Design, 2010, pp. 121-128, ACM Press, IEEE Press
  17. Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Xavier Olive, Formal Verification and Validation of AADL Model, 2010
  18. Oleg Lisagor; Bozzano Marco; Matthias Bretschneider; Tim Kelly, Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results, 2010
  19. Cimatti Alessandro; Griggio Alberto; Sebastiani Roberto, Efficient generation of craig interpolants in satisfiability modulo theories, in «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC», vol. 12, n. 1, article 7, 2010, DOI: 10.1145/1838552.1838559, ISSN: 1529-3785
  20. Cimatti Alessandro, SMT-Based Software Model Checking, SPIN, vol. 6349, 2010, pp. 1-3, DOI: 10.1007/978-3-642-16164-3_1, Springer-Verlag
  21. Roveri Marco; Cimatti Alessandro; Narasamdya Iman; Micheli Andrea; Daniele Campana; Griggio Alberto; Tchaltsev Andrei, KRATOS, 2010
  22. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco; Ralf Wimmer; Cavada Roberto, COMPASS Tool, 2010
  23. Thi Thieu Hoa Le; Luigi Palopoli; Roberto Passerone; Ramadian Yusi; Cimatti Alessandro, Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study, Proceedings of the 15th Int. Conference on Emerging Technologies and Factory Automation, 2010, DOI: 10.1109/ETFA.2010.5641315
  24. 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
  25. 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, vol. 6015, 2010, pp. 99-113, DOI: 10.1007/978-3-642-12002-2, Springer
  26. Cimatti Alessandro; Roveri Marco; Susi Angelo; Tonetta Stefano, Formalization and Validation of Safety-Critical Requirements, Proceedings of the Workshop on Formal Methods for Aerospace, vol. 20, 2010, pp. 68-75, DOI: 10.4204/EPTCS.20.7
  27. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco; Ralf Wimmer, A Model Checker for AADL, Proceedings of 22nd International Conference on Computer Aided Verification, vol. 6174, 2010, pp. 562-565, DOI: 10.1007/978-3-642-14295-6_48, Springer
  28. Roderick Bloem; Cimatti Alessandro; Karin Greimel; Georg Hofferek; Robert Koenighofer; Roveri Marco; Schuppan Viktor; Richard Seeber, RATSY - A new Requirements Analysis Tool with Synthesis, Proceedings of 22nd Int. Conference on Computer Aided Verification, vol. 6174, 2010, pp. 425-429, Springer
  29. 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, DOI: 10.1007/978-3-642-13464-7_13
  30. T. Sowa; F. Arisio; Cristoforetti Luca, DICIT: Evaluation of a Distant-talking Speech Interface for Television, 2010
  31. Brutti Alessio; Cristoforetti Luca; W. Kellermann; L. Marquardt; Omologo Maurizio, WOZ acoustic data collection for interactive TV, in «LANGUAGE RESOURCES AND EVALUATION», vol. 44, n. 3, 2010, pp. 205-219, DOI: 10.1007/s10579-010-9116-x, ISSN: 1574-020X
  32. 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, DOI: 10.1145/1810295.1810312
  33. Bozzano Marco; Cimatti Alessandro; Roveri Marco; 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
  34. Roveri Marco; Cimatti Alessandro; Schuppan Viktor; Tchaltsev Andrei; Cavada Roberto, NuGAT, 2009
  35. Cimatti Alessandro; Griggio Alberto; Sebastiani Roberto, Interpolant Generation for UTVPI, Proceedings of the 22nd Int. Conference on Automated Deduction, vol. 5663, 2009, pp. 167-182, DOI: 10.1007/978-3-642-02959-2_15, Springer Verlag
  36. Cimatti Alessandro; Roveri Marco; Tonetta Stefano, Requirements Validation for Hybrid Systems, Proceedings 21st Int. Conference on Computer Aided Verification, vol. 5643, 2009, pp. 188-203, DOI: 10.1007/978-3-642-02658-4_17, Springer
  37. 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, 2009, pp. 566-573, DOI: 10.1145/1529282.1529404, ACM
  38. Bruttomesso Roberto; Cimatti Alessandro; Anders Franzen; Griggio Alberto; Sebastiani Roberto, Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version, in «ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE», vol. 55, n. 1-2, 2009, pp. 66-99, ISSN: 1012-2443, Springer
  39. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, Codesign of Dependable Systems: A Component-Based Language, 2009
  40. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems, 2009
  41. Tonetta Stefano, Abstract Model Checking without Computing the Abstraction, Proceedings of the 16th Int. Symposium on Formal Methods, 2009, pp. 89-105, DOI: 10.1007/978-3-642-05089-3_7, Springer-Verlag
  42. Cimatti Alessandro; Jori Juhani Dubrovin; Tommi Antero Junttila; Roveri Marco, Structure-Aware Computation of Predicate Abstraction, Proceedings of the Formal Methods in Computer Aided Design, 2009, pp. 9-16
  43. Dirk Beyer; Cimatti Alessandro; Griggio Alberto; Erkan Keremoglu; Sebastiani Roberto, Software Model Checking via Large-Block Encoding, Proceedings of the 9th Conference on Formal Methods in Computer Aided Design, 2009
  44. 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, DOI: 10.1109/ASE.2009.49
  45. 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, 2009, pp. 668-670, DOI: 10.1109/ASE.2009.35, IEEE Computer Society
  46. 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
  47. 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, vol. 5775, 2009, pp. 173-186, Springer
  48. Cimatti Alessandro; Griggio Alberto; Sebastiani Roberto, Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories, 2009
  49. Dirk Beyer; Cimatti Alessandro; Griggio Alberto; Erkan Keremoglu; Sebastiani Roberto, Software Model Checking via Large-Block Encoding, 2009
  50. 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, 2009, pp. 285-286, DOI: 10.1145/1595696.1595744, ACM

Recent Posts