Publications

  1. Griggio Alberto; Thi Thieu Hoa Le; Roberto Sebastiani, Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic, in «LOGICAL METHODS IN COMPUTER SCIENCE», vol. 8, n. 3, 2012, DOI: 10.2168/LMCS-8(3:3)2012, ISSN: 1860-5974
  2. Cimatti Alessandro; Narasamdya Iman; Roveri Marco, Software Model Checking with Explicit Scheduler and Symbolic Threads, in «LOGICAL METHODS IN COMPUTER SCIENCE», vol. 8, n. 2, 2012, pp. 1-42, DOI: 10.2168/LMCS-8(2:18)2012, ISSN: 1860-5974
  3. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving Temporal Problems using SMT: Weak Controllability, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012, AAAI Press
  4. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving Temporal Problems using SMT: Strong Controllability, Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming, 2012
  5. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, SMT-Based Verification of Hybrid Systems, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada, vol. 26, n. 1, 2012, pp. 2100-2105, DOI: 10.1609/aaai.v26i1.8442
  6. Cimatti Alessandro; Tonetta Stefano, A Property-Based Proof System for Contract-Based Design, Proceedings of 38th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2012, Cesme, Izmir, Turkey, September 5-8, 2012, 2012, DOI: 10.1109/SEAA.2012.68
  7. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, Quantifier-free encoding of hybrid systems with non-linear dynamics, Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012), 2012
  8. Elena Alaña; Héctor Naranjo; Yuri Yushtein; Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Régis de Ferluc; Gérard Garcia, Automated generation of FDIR for the compass integrated toolset (AUTOGEF), 2012
  9. Cimatti Alessandro; Sebastiani Roberto, Theory and Applications of Satisfiability Testing – SAT 2012, in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», vol. 7317, 2012, DOI: 10.1007/978-3-642-31612-8, Springer
  10. Cimatti Alessandro, Application of SMT solvers to hybrid system verification, Formal Methods in Computer-Aided Design, FMCAD 2012, 2012, pp. 4, IEEE
  11. Cimatti Alessandro; Roveri Marco; Susi Angelo; Tonetta Stefano, Validation of Requirements for Hybrid Systems: a Formal Approach, in «ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY», vol. 21, n. 4, 2012, pp. 22:1-22:34, DOI: 10.1145/2377656.2377659, ISSN: 1049-331X
  12. Robin Steel; Alexander Hoffman; Mark Niézette; Cimatti Alessandro; Roveri Marco; Konstantinos Kapellos; Alessandro Donati; Nicola Policella, Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Supporting Rover Operations Planning on Ground, SpaceOps 2012 Conference, 2012, DOI: 10.2514/6.2012-1294460
  13. 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
  14. 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
  15. 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.
  16. Cavada Roberto; Cimatti Alessandro; Micheli Andrea; Roveri Marco; Susi Angelo; Tonetta Stefano, OthelloPlay: a plug-in based tool for requirement formalization and validation, Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011, pp. 59-59
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, Efficient Scenario VeriFIcation for Hybrid Automata, Efficient Scenario VeriFIcation for Hybrid Automata, 2011
  28. Cimatti Alessandro; Griggio Alberto; Micheli Andrea; Iman Narasamdya; Roveri Marco, Kratos - A Software Model Checker for SystemC, 2011
  29. 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
  30. Campana Daniele; Cimatti Alessandro; Narasamdya Iman; Roveri Marco, An Analytic Evaluation of SystemC Encodings in Promela, 2011
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. Bozzano Marco; Villafiorita Monteleone Adolfo, Design and Safety Assessment of Critical Systems, 2010, Auerbach Publications (Taylor & Francis Group)
  38. 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
  39. Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Xavier Olive, Formal Verification and Validation of AADL Model, 2010
  40. Oleg Lisagor; Bozzano Marco; Matthias Bretschneider; Tim Kelly, Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results, 2010
  41. 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
  42. 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
  43. Roveri Marco; Cimatti Alessandro; Narasamdya Iman; Micheli Andrea; Daniele Campana; Griggio Alberto; Tchaltsev Andrei, KRATOS, 2010
  44. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco; Ralf Wimmer; Cavada Roberto, COMPASS Tool, 2010
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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

Recent Posts