Publications

  1. 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
  2. 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
  3. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, Efficient Scenario VeriFIcation for Hybrid Automata, Efficient Scenario VeriFIcation for Hybrid Automata, 2011
  4. Cimatti Alessandro; Griggio Alberto; Micheli Andrea; Iman Narasamdya; Roveri Marco, Kratos - A Software Model Checker for SystemC, 2011
  5. 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
  6. Campana Daniele; Cimatti Alessandro; Narasamdya Iman; Roveri Marco, An Analytic Evaluation of SystemC Encodings in Promela, 2011
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. Bozzano Marco; Villafiorita Monteleone Adolfo, Design and Safety Assessment of Critical Systems, 2010, Auerbach Publications (Taylor & Francis Group)
  14. 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
  15. Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Xavier Olive, Formal Verification and Validation of AADL Model, 2010
  16. Oleg Lisagor; Bozzano Marco; Matthias Bretschneider; Tim Kelly, Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results, 2010
  17. 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
  18. 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
  19. Roveri Marco; Cimatti Alessandro; Narasamdya Iman; Micheli Andrea; Daniele Campana; Griggio Alberto; Tchaltsev Andrei, KRATOS, 2010
  20. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco; Ralf Wimmer; Cavada Roberto, COMPASS Tool, 2010
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. T. Sowa; F. Arisio; Cristoforetti Luca, DICIT: Evaluation of a Distant-talking Speech Interface for Television, 2010
  29. 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
  30. 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
  31. 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
  32. Roveri Marco; Cimatti Alessandro; Schuppan Viktor; Tchaltsev Andrei; Cavada Roberto, NuGAT, 2009
  33. 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
  34. 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
  35. 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
  36. 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
  37. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, Codesign of Dependable Systems: A Component-Based Language, 2009
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. Cimatti Alessandro; Griggio Alberto; Sebastiani Roberto, Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories, 2009
  47. Dirk Beyer; Cimatti Alessandro; Griggio Alberto; Erkan Keremoglu; Sebastiani Roberto, Software Model Checking via Large-Block Encoding, 2009
  48. 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
  49. 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, vol. 507, 2009, pp. 87-91, CEUR-WS.org
  50. Cimatti Alessandro; Bozzano Marco; Adolfo Villafiorita, FSAP, 2008

Recent Posts