Publications

  1. N. Sharygina; Tonetta Stefano; A. Tsitovich, An abstraction refinement approach combining precise and approximated techniques, in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER», vol. 14, n. 1, 2012, DOI: 10.1007/s10009-011-0185-y, ISSN: 1433-2779
  2. 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, vol. 6989, 2011, DOI: 10.1007/978-3-642-24364-6_12, Springer
  3. Griggio Alberto, Effective word-level interpolation for software verification, Proceedings of International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, 2011, FMCAD Inc.
  4. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction, Proceedings of 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, DOI: 10.1109/SEAA.2011.49
  5. 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
  6. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, Safety, Dependability and Performance Analysis of Extended AADL Models, in «COMPUTER JOURNAL», vol. 54, n. 5, 2011, pp. 754-775, DOI: 10.1093/comjnl/bxq024, ISSN: 1460-2067
  7. Cimatti Alessandro; Mover Sergio; Roveri Marco; Tonetta Stefano, From Sequential Extended Regular Expressions to NFA with Symbolic Labels, Proceedings of 15th Int. Conference on Implementation and Application of Automata, vol. 6482, 2011, pp. 87-94, DOI: 10.1007/978-3-642-18098-9
  8. Cimatti Alessandro; Griggio Alberto; Sebastiani Roberto, Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories, in «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH», vol. 40, 2011, pp. 701-728, ISSN: 1076-9757
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, Efficient Scenario VeriFIcation for Hybrid Automata, Efficient Scenario VeriFIcation for Hybrid Automata, 2011
  15. Cimatti Alessandro; Griggio Alberto; Micheli Andrea; Iman Narasamdya; Roveri Marco, Kratos - A Software Model Checker for SystemC, 2011
  16. 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
  17. Campana Daniele; Cimatti Alessandro; Narasamdya Iman; Roveri Marco, An Analytic Evaluation of SystemC Encodings in Promela, 2011
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. Bozzano Marco; Villafiorita Monteleone Adolfo, Design and Safety Assessment of Critical Systems, 2010, Auerbach Publications (Taylor & Francis Group)
  24. 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
  25. Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Xavier Olive, Formal Verification and Validation of AADL Model, 2010
  26. Oleg Lisagor; Bozzano Marco; Matthias Bretschneider; Tim Kelly, Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results, 2010
  27. 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
  28. 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
  29. Roveri Marco; Cimatti Alessandro; Narasamdya Iman; Micheli Andrea; Daniele Campana; Griggio Alberto; Tchaltsev Andrei, KRATOS, 2010
  30. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco; Ralf Wimmer; Cavada Roberto, COMPASS Tool, 2010
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. T. Sowa; F. Arisio; Cristoforetti Luca, DICIT: Evaluation of a Distant-talking Speech Interface for Television, 2010
  39. 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
  40. 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
  41. 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
  42. Roveri Marco; Cimatti Alessandro; Schuppan Viktor; Tchaltsev Andrei; Cavada Roberto, NuGAT, 2009
  43. 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
  44. 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
  45. 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
  46. 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
  47. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, Codesign of Dependable Systems: A Component-Based Language, 2009
  48. 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
  49. 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
  50. 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

Recent Posts