Publications

  1. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro, Automated Synthesis of Timed Failure Propagation Graphs, Proceedings of the 25th International Joint Conference on Artificial Intelligence, IJCAI, 2016, pp. 972-978
  2. Ábrahám Erika; Abbott John; Becker Bernd; Bigatti Anna M.; Brain Martin; Buchberger Bruno; Cimatti Alessandro; Davenport James H.; England Matthew; Fontaine Pascal; Forrest Stephen; Griggio Alberto; Kroening Daniel; Seiler Werner M.; Sturm Thomas, SC^2: Satisfiability Checking Meets Symbolic Computation, Intelligent Computer Mathematics - 9th International Conference, CICM 2016, vol. 9791, 2016, pp. 28-43, DOI: 10.1007/978-3-319-42547-4_3
  3. Jakub Daniel; Cimatti Alessandro; Griggio Alberto; Tonetta Stefano; Mover Sergio, Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations, Computer Aided Verification - 28th International Conference, CAV 2016, vol. 9779, 2016, pp. 271-291, DOI: 10.1007/978-3-319-41528-4_15
  4. Irfan Ahmed; Cimatti Alessandro; Griggio Alberto; Roveri Marco; Sebastiani Roberto, Verilog2SMV: A Tool for Word-level Verification, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2016, 2016, pp. 1156-1159, DOI: 10.3850/9783981537079_0765
  5. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies, Proceedings of the Thirtieth AAAI}Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA, 2016, pp. 3116-3122
  6. Gario Marco Elio Gustavo; Cimatti Alessandro; Mattarei Cristian; Tonetta Stefano; Rozier Kristin Yvonne, Model Checking at Scale: Automated Air Traffic Control Design Space Exploration, Computer Aided Verification - 28th International Conference CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II, vol. 9780, 2016, pp. 3-22, DOI: 10.1007/978-3-319-41540-6_1
  7. Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, A Lazy Approach to Temporal Epistemic Logic Model Checking, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016, pp. 1218-1226, International Foundation for Autonomous Agents and Multiagent Systems
  8. Christophe Limbrée; Quentin Cappart; Charles Pecheur; Tonetta Stefano, Verification of Railway Interlocking - Compositional Approach with OCRA, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,Verification, and Certification - First International Conference,RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings, vol. 9707, 2016, pp. 134-149, DOI: 10.1007/978-3-319-33951-1_10, Springer
  9. Victor Bos; Harold Bruintjes; Tonetta Stefano, Catalogue of System and Software Properties, Computer Safety, Reliability, and Security - 35th International Conference,SAFECOMP 2016, Proceedings, vol. 9922, 2016, pp. 88-101, DOI: 10.1007/978-3-319-45477-1_8, Springer
  10. Cimatti Alessandro; Demasi Ramiro Adrian; Tonetta Stefano, Tightening a Contract Refinement, Software Engineering and Formal Methods - 14th International Conference,SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8,2016, Proceedings, vol. 9763, 2016, pp. 386-402, DOI: 10.1007/978-3-319-41591-8_26, Springer
  11. Cimatti Alessandro; Mover S.; Sessa Mirko, From Electrical Switched Networks to Hybrid Automata, Proceedings of the 21st International Symposium on Formal Methods, FM 2016, vol. 9995, 2016, pp. 164-181, DOI: 10.1007/978-3-319-48989-6_11
  12. Cimatti Alessandro; Griggio Alberto; Mover Sergio; Tonetta Stefano, Infinite-state invariant checking with IC3 and predicate abstraction, in «FORMAL METHODS IN SYSTEM DESIGN», 2016, DOI: 10.1007/s10703-016-0257-4, ISSN: 0925-9856
  13. Cavada Roberto; Cimatti Alessandro; Crema Luigi; Roccabruna Mattia; Tonetta Stefano, Model-Based Design of an Energy-System Embedded Controller Using Taste, Proceedings of FM 2016: Formal Methods 21st International Symposium, vol. 9995, 2016, pp. 741-747, DOI: 10.1007/978-3-319-48989-6_45
  14. Ábrahám E.; Fontaine P.; Forrest S.; Griggio A.; Kroening D.; Seiler W. M.; Sturm T.; Abbott J.; Becker B.; Bigatti A. M.; Brain M.; Buchberger B.; Cimatti A.; Davenport J. H.; England M., Satisfiability checking and symbolic computation, in «ACM COMMUNICATIONS IN COMPUTER ALGEBRA», vol. 50, n. 4, 2016, pp. 145-147, DOI: 10.1145/3055282.3055285, ISSN: 1932-2240
  15. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving strong controllability of temporal problems with uncertainty using SMT, in «CONSTRAINTS», vol. 20, 2015, pp. 7-29, DOI: 10.1007/s10601-014-9167-5, ISSN: 1383-7133
  16. Cimatti Alessandro; Tonetta Stefano, Contracts-refinement proof system for component-based embedded systems, in «SCIENCE OF COMPUTER PROGRAMMING», 2015, DOI: 10.1016/j.scico.2014.06.011, ISSN: 0167-6423
  17. Bozzano Marco; Cimatti Alessandro; Oleg Lisagor; Mattarei Cristian; Mover Sergio; Roveri Marco; Tonetta Stefano, Safety Assessment of AltaRica Models via Symbolic Model Checking, in «SCIENCE OF COMPUTER PROGRAMMING», vol. 98, 2015, pp. 464-483, DOI: 10.1016/j.scico.2014.06.003, ISSN: 0167-6423
  18. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach, Proceedings of the 29th AAAI Conference on Artificial Intelligence, 2015, AAAI Press
  19. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Micheli Andrea, SMT-based Validation of Timed Failure Propagation Graphs, Proceedings of the 29th AAAI Conference on Artificial Intelligence, 2015, AAAI Press
  20. Cimatti Alessandro; Griggio Alberto; Mover Sergio; Tonetta Stefano, HYCOMP - an SMT-based model checker for hybrid systems, Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, vol. 9035, 2015, pp. 52-67, DOI: 10.1007/978-3-662-46681-0_4, Springer
  21. Cimatti Alessandro; Micheli Andrea; Roveri Marco, An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty, in «ARTIFICIAL INTELLIGENCE», vol. 224, 2015, pp. 1-27, DOI: 10.1016/j.artint.2015.03.002, ISSN: 0004-3702
  22. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic, in «LOGICAL METHODS IN COMPUTER SCIENCE», vol. 11, n. 4, 2015, DOI: 10.2168/LMCS-11(4:4)2015, ISSN: 1860-5974
  23. Griggio Alberto; Roveri Marco, Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking, in «IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS», 2015, pp. 1-1, DOI: 10.1109/TCAD.2015.2481869, ISSN: 0278-0070
  24. Ravanelli Mirco; Cristoforetti Luca; Gretter Roberto; Pellin Marco; Sosi Alessandro; Omologo Maurizio, The DIRHA-English corpus and related tasks for distant-speech recognition in domestic environments, Proceedings of 2015 IEEE Workshop on Automatic Speech Recognition and Understanding (ASRU), 2015, pp. 275-282, DOI: 10.1109/ASRU.2015.7404805, IEEE
  25. Cimatti Alessandro; Roveri Marco; Tonetta Stefano, HRELTL: A temporal logic for hybrid systems, in «INFORMATION AND COMPUTATION», vol. 245, 2015, pp. 54-71, DOI: 10.1016/j.ic.2015.06.006, ISSN: 0890-5401
  26. Bozzano Marco; Cimatti Alessandro; Griggio Alberto; Mattarei Cristian, Efficient Anytime Techniques for Model-Based Safety Analysis, Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, vol. 9206, 2015, pp. 603-621, DOI: 10.1007/978-3-319-21690-4_41
  27. Mattarei Cristian; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano; Rozier Kristin Yvonne, Comparing Different Functional Allocations in Automated Air Traffic Control Design, Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2015, 2015, pp. 112-119, IEEE
  28. Bliudze Simon; Cimatti Alessandro; Jaber Mohamad; Mover Sergio; Roveri Marco; Saab Wajeb; Wang Qiang, Formal Verification of Infinite-State BIP Models, Proceedings of ATVA, vol. 9364, 2015, pp. 326-343, DOI: 10.1007/978-3-319-24953-7, Springer
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. Cimatti Alessandro; Griggio Alberto; Mover Sergio; Tonetta Stefano, Verifying LTL Properties of Hybrid Systems with K-Liveness, CAV, 2014, pp. 424-440
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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

Recent Posts