Publications

  1. Bozzano Marco; Cimatti Alessandro; Fernandes Pires Anthony; Jones D.; Kimberly G.; Petri T.; Robinson R.; Tonetta Stefano, Formal Design and Safety Analysis of AIR6110 Wheel Brake System, Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, vol. 9206, 2015, pp. 518-535, DOI: 10.1007/978-3-319-21690-4_36
  2. Arts Thomas; Tonetta Stefano, Safely Using the AUTOSAR End-to-End Protection Library, Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings, vol. 9337, 2015, pp. 74-89, DOI: 10.1007/978-3-319-24255-2_7
  3. Cimatti Alessandro; Delong Rance; Marcantonio Davide; Tonetta Stefano, Combining MILS with Contract-Based Design for Safety and Security Requirements, Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings, vol. 9338, 2015, pp. 264-276, DOI: 10.1007/978-3-319-24249-1_23
  4. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic, TACAS 2014, LNCS 8413,, vol. 8413, 2014, pp. 326-340, Springer-Verlag
  5. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, Quantifier-free encoding of invariants for hybrid systems, in «FORMAL METHODS IN SYSTEM DESIGN», vol. 45, n. 2, 2014, pp. 165-188, DOI: 10.1007/s10703-013-0202-8, ISSN: 0925-9856
  6. Cimatti Alessandro; Griggio Alberto; Mover Sergio; Tonetta Stefano, IC3 Modulo Theories via Implicit Predicate Abstraction, TACAS, vol. 8413, 2014, pp. 46-61, DOI: 10.1007/978-3-642-54862-8_4, Springer
  7. 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
  8. 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
  9. Cimatti Alessandro; Griggio Alberto; Mover Sergio; Tonetta Stefano, Verifying LTL Properties of Hybrid Systems with K-Liveness, CAV, 2014, pp. 424-440
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. Cimatti Alessandro; Narasamdya Iman; Roveri Marco, Software Model Checking SystemC, in «IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS», vol. 32, 2013, pp. 774-787, DOI: 10.1109/TCAD.2012.2232351, ISSN: 0278-0070
  26. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Timelines with Temporal Uncertainty, AAAI, 2013, pp. 195-201, David Leake
  27. Brutti Alessio; Cristoforetti Luca; Matassoni Marco; Svaizer Piergiorgio; Omologo Maurizio, Controllare la casa con la voce: il progetto DIRHA, AISV 2013, 2013
  28. 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
  29. 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
  30. 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
  31. 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
  32. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, A Formal Framework for the Specification, Verification and Synthesis of Diagnosers, AAAI Workshops, 2013
  33. 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
  34. Sosi Alessandro; Brugnara Fabio; Cristoforetti Luca; Matassoni Marco; Ravanelli Mirco; Omologo Maurizio, Embedding speech recognition to control lights, INTERSPEECH 2013, 2013
  35. 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
  36. Cimatti Alessandro; Griggio Alberto; Mover Sergio; Tonetta Stefano, Parameter Synthesis with IC3, Formal Methods in Computer-Aided Design, 2013
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. Bozzano Marco; Villafiorita Monteleone Adolfo, Safety Critical Systems, Encyclopedia of Software Engineering, 2013, CRC Press, Taylor & Francis Group
  43. 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
  44. 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
  45. 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
  46. 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
  47. Leopold Haller; Griggio Alberto; Martin Brain; Daniel Kroening, Deciding Floating-Point Logic with Systematic Abstraction, Proceedings of FMCAD 2012, 2012
  48. 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
  49. 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
  50. Cimatti Alessandro; Narasamdya Iman; Roveri Marco, Verification of Parametric System Designs, 2012

Recent Posts