Publications

  1. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Timelines with Temporal Uncertainty, AAAI, 2013, pp. 195-201, David Leake
  2. Brutti Alessio; Cristoforetti Luca; Matassoni Marco; Svaizer Piergiorgio; Omologo Maurizio, Controllare la casa con la voce: il progetto DIRHA, AISV 2013, 2013
  3. Martin Brain; Vijay D’Silva; Leopold Haller; Griggio Alberto; Daniel Kroening, An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation, Lecture Notes in Computer ScienceVerification, Model Checking, and Abstract Interpretation, in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», vol. 7737, 2013, pp. 455-475, DOI: 10.1007/978-3-642-35873-9_27
  4. Cimatti Alessandro; Griggio Alberto; Bastiaan Joost Schaafsma; Roberto Sebastiani, The MathSAT5 SMT Solver, Lecture Notes in Computer ScienceTools and Algorithms for the Construction and Analysis of Systems, in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», vol. 7795, 2013, pp. 93-107, DOI: 10.1007/978-3-642-36742-7_7
  5. Cimatti Alessandro; Griggio Alberto; Bastiaan Joost Schaafsma; Roberto Sebastiani, A Modular Approach to MaxSAT Modulo Theories, Lecture Notes in Computer ScienceTheory and Applications of Satisfiability Testing – SAT 2013, in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», vol. 7962, 2013, pp. 150-165, DOI: 10.1007/978-3-642-39071-5_12
  6. Martin Brain; Vijay D’Silva; Griggio Alberto; Leopold Haller; Daniel Kroening, Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL, Lecture Notes in Computer ScienceStatic Analysis, in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», vol. 7935, 2013, pp. 412-432, DOI: 10.1007/978-3-642-38856-9_22
  7. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, A Formal Framework for the Specification, Verification and Synthesis of Diagnosers, AAAI Workshops, 2013
  8. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, Formal Specification and Synthesis of FDI through an Example, Proceedings of the 24th International Workshop on Principles of Diagnosis, 2013
  9. Sosi Alessandro; Brugnara Fabio; Cristoforetti Luca; Matassoni Marco; Ravanelli Mirco; Omologo Maurizio, Embedding speech recognition to control lights, INTERSPEECH 2013, 2013
  10. Mover Sergio; Cimatti Alessandro; Tiwari A.; Tonetta Stefano, Time-aware Relational Abstractions for Hybrid Systems, Proceedings of the 13th International Conference on Embedded Software, 2013, DOI: 10.1109/EMSOFT.2013.6658592
  11. Cimatti Alessandro; Griggio Alberto; Mover Sergio; Tonetta Stefano, Parameter Synthesis with IC3, Formal Methods in Computer-Aided Design, 2013
  12. Bozzano Marco; Cimatti Alessandro; Mattarei Cristian, Efficient Analysis of Reliability Architectures via Predicate Abstraction, Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, vol. 8244, 2013, pp. 279-294, DOI: 10.1007/978-3-319-03077-7_19, Springer
  13. Cimatti Alessandro; Dorigatti Michele; Tonetta Stefano, OCRA: A tool for checking the refinement of temporal contracts, ASE 2013, in «AUTOMATED SOFTWARE ENGINEERING», 2013, pp. 702-705, ISSN: 0928-8910
  14. Martin Brain; Vijay D’Silva; Griggio Alberto; Leopold Haller; Daniel Kroening, Deciding floating-point logic with abstract conflict driven clause learning, in «FORMAL METHODS IN SYSTEM DESIGN», 2013, DOI: 10.1007/s10703-013-0203-7, ISSN: 0925-9856
  15. R. Banach; Bozzano Marco, The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits, in «FORMAL ASPECTS OF COMPUTING», vol. 25, n. 4, 2013, pp. 573-607, DOI: 10.1007/s00165-011-0202-7, ISSN: 0934-5043
  16. R. Banach; Bozzano Marco, The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits, in «FORMAL ASPECTS OF COMPUTING», vol. 25, n. 4, 2013, pp. 609-657, DOI: 10.1007/s00165-011-0203-6, ISSN: 0934-5043
  17. Bozzano Marco; Villafiorita Monteleone Adolfo, Safety Critical Systems, Encyclopedia of Software Engineering, 2013, CRC Press, Taylor & Francis Group
  18. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; Xavier Olive, Symbolic Synthesis of Observability Requirements for Diagnosability, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012, AAAI Press
  19. Cimatti Alessandro; Griggio Alberto, Software Model Checking via IC3, Proceedings of Computer Aided Verification - 24th International Conference, CAV 2012, vol. 7358, 2012, DOI: 10.1007/978-3-642-31424-7_23, Springer
  20. Cimatti Alessandro; Raffaele Corvino; Armando Lazzaro; Narasamdya Iman; Tiziana Rizzo; Roveri Marco; Angela Sanseviero; Andrei Tchaltsev, Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System, CAV, vol. 7358, 2012, pp. 378-393, Springer
  21. Raian Ali; Griggio Alberto; Anders Franzen; Fabiano Dalpiaz; Paolo Giorgini, Optimizing Monitoring Requirements in Self-adaptive Systems, Proceedings of Enterprise, Business-Process and Information Systems Modeling - 13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium, vol. 113, 2012, DOI: 10.1007/978-3-642-31072-0_25, Springer
  22. Leopold Haller; Griggio Alberto; Martin Brain; Daniel Kroening, Deciding Floating-Point Logic with Systematic Abstraction, Proceedings of FMCAD 2012, 2012
  23. Roberto Bruttomesso; Griggio Alberto, Broadening the Scope of SMT-COMP: the Application Track, Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, vol. 873, 2012
  24. Griggio Alberto, A Practical Approach to Satisability Modulo Linear Integer Arithmetic, in «JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION», vol. 8, 2012, ISSN: 1574-0617
  25. Cimatti Alessandro; Narasamdya Iman; Roveri Marco, Verification of Parametric System Designs, 2012
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. Cimatti Alessandro, Application of SMT solvers to hybrid system verification, Formal Methods in Computer-Aided Design, FMCAD 2012, 2012, pp. 4, IEEE
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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.
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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

Recent Posts