Publications

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

Recent Posts