Publications

  1. Robin Steel; Alexander Hoffmann; Marc Niezette; Cimatti Alessandro; Roveri Marco; Konstantinos Kapellos; Alessandro Donati; Nicola Policella, Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Concluding the adventure, 13th International Conference on Space Operations 2014, 2014, DOI: 10.2514/6.2014-1838
  2. Bozzano Marco; Cimatti Alessandro; Katoen J. P.; Katsaros P.; Mokos K.; Nguyen V. Y.; Noll T.; Postma B.; Roveri Marco, Spacecraft Early Design Validation using Formal Methods, in «RELIABILITY ENGINEERING & SYSTEM SAFETY», vol. 132, 2014, pp. 20-35, DOI: 10.1016/j.ress.2014.07.003, ISSN: 0951-8320
  3. Cimatti Alessandro; Griggio Alberto; Mover Sergio; Tonetta Stefano, Verifying LTL Properties of Hybrid Systems with K-Liveness, CAV, 2014, pp. 424-440
  4. Cavada Roberto; Cimatti Alessandro; Dorigatti Michele; Griggio Alberto; Mariotti Alessandro; Micheli Andrea; Mover Sergio; Roveri Marco; Tonetta Stefano, The nuXmv Symbolic Model Checker, CAV, 2014, pp. 334-342
  5. Thomas Arts; Dorigatti Michele; Tonetta Stefano, Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case, Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings, vol. 8666, 2014, pp. 81-92, DOI: 10.1007/978-3-319-10506-2_6
  6. Bozzano Marco; Cimatti Alessandro; Mattarei Cristian; Tonetta Stefano, Formal Safety Assessment via Contract-Based Design., ATVA14, 2014, pp. 81-97, DOI: 10.1007/978-3-319-11936-6_7
  7. Cristoforetti Luca; Ravanelli Mirco; Omologo Maurizio; Sosi Alessandro; Abad A.; Hagmueller M.; Maragos P., The DIRHA simulated corpus, 9th International Conference on Language Resources and Evaluation (LREC 2014), 2014, pp. 2629-2634
  8. Sosi Alessandro; Ravanelli Mirco; Matassoni Marco; Cristoforetti Luca; Omologo Maurizio; Ramella S., Interazione vocale a distanza in ambiente domestico, Aspetti prosodici e testuali del raccontare: dalla letteratura orale al parlato dei media, 2014
  9. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Griggio Alberto, Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions, Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design, 2014, pp. 23-30
  10. Cimatti Alessandro; Hunsberger L.; Micheli Andrea; Roveri Marco, Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014, pp. 2242-2249, AAAI Press
  11. Cimatti Alessandro; Hunsberger L.; Micheli Andrea; Posenato R; Roveri Marco, Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation, Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014, pp. 27-36, DOI: 10.1109/TIME.2014.21, IEEE
  12. Guiotto A.; De Ferluc R.; Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Yushtein Y., FAME Process: A Dedicated Development and V&V Process for FDIR, ESA SP-725, 2014
  13. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; De Ferluc R.; Gario Marco Elio Gustavo; Guiotto A.; Yushtein Y., An Integrated Process for FDIR Design in Aerospace, LNCS 8822, vol. 8822, 2014, pp. 82-95, Springer International Publishing
  14. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; De Ferluc R.; Gario Marco Elio Gustavo; Guiotto A.; Yushtein Y., FAME: A Model-Based Environment for FDIR Design in Aerospace, Proceedings of the International Symposium on Model Based Safety and Assessment, vol. 8822, 2014, pp. 1-2, Springer International Publishing
  15. Laura Baracchi; Cimatti Alessandro; Gerald Garcia; Silvia Mazzini; Stefano Puri; Tonetta Stefano, Requirements Refinement and Component Reuse: The FoReVer Contract-Based Approach, Handbook of Research on Embedded Systems Design, 2014, pp. 209-241, DOI: 10.4018/978-1-4666-6194-3.ch009
  16. Daniel Kroening; Natasha Sharygina; Tonetta Stefano; Aliaksei Tsitovich; Christoph M. Wintersteiger, Loop Summarization using State and Transition Invariants, in «FORMAL METHODS IN SYSTEM DESIGN», vol. 42, n. 3, 2013, pp. 221-261, DOI: 10.1007/s10703-012-0176-y, ISSN: 1572-8102
  17. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, SMT-based scenario verification for hybrid systems, in «FORMAL METHODS IN SYSTEM DESIGN», vol. 42, n. 1, 2013, pp. 46-66, DOI: 10.1007/s10703-012-0158-0, ISSN: 1572-8102
  18. Bozzano Marco; Cimatti Alessandro; Mattarei Cristian, Automated Analysis of Reliability Architectures, 18th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2013, Singapore, July 17-19, 2013, 2013, pp. 198-207, DOI: 10.1109/ICECCS.2013.37, IEEE Computer Society
  19. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Timelines with Temporal Uncertainty, AAAI, 2013, pp. 195-201, David Leake
  20. Brutti Alessio; Cristoforetti Luca; Matassoni Marco; Svaizer Piergiorgio; Omologo Maurizio, Controllare la casa con la voce: il progetto DIRHA, AISV 2013, 2013
  21. 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
  22. 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
  23. 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
  24. 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
  25. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, A Formal Framework for the Specification, Verification and Synthesis of Diagnosers, AAAI Workshops, 2013
  26. 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
  27. Sosi Alessandro; Brugnara Fabio; Cristoforetti Luca; Matassoni Marco; Ravanelli Mirco; Omologo Maurizio, Embedding speech recognition to control lights, INTERSPEECH 2013, 2013
  28. 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
  29. Cimatti Alessandro; Griggio Alberto; Mover Sergio; Tonetta Stefano, Parameter Synthesis with IC3, Formal Methods in Computer-Aided Design, 2013
  30. 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
  31. 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
  32. 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
  33. Bozzano Marco; Villafiorita Monteleone Adolfo, Safety Critical Systems, Encyclopedia of Software Engineering, 2013, CRC Press, Taylor & Francis Group
  34. 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
  35. 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
  36. 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
  37. Leopold Haller; Griggio Alberto; Martin Brain; Daniel Kroening, Deciding Floating-Point Logic with Systematic Abstraction, Proceedings of FMCAD 2012, 2012
  38. 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
  39. 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
  40. Cimatti Alessandro; Narasamdya Iman; Roveri Marco, Verification of Parametric System Designs, 2012
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. Cimatti Alessandro, Application of SMT solvers to hybrid system verification, Formal Methods in Computer-Aided Design, FMCAD 2012, 2012, pp. 4, IEEE
  49. 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
  50. 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

Recent Posts