Alessandro Cimatti
Orcid: 0000-0002-1315-6990Affiliations:
- Fondazione Bruno Kessler, Trento, Italy
According to our database1,
Alessandro Cimatti
authored at least 266 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture.
IEEE Robotics Autom. Mag., March, 2024
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking.
CoRR, 2024
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
2023
Log. Methods Comput. Sci., 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the iFM 2023 - 18th International Conference, 2023
Proceedings of the 7th International Conference on System Reliability and Safety, 2023
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023
Proceedings of the 38th Italian Conference on Computational Logic, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
Proceedings of the AIxIA 2023 - Advances in Artificial Intelligence, 2023
2022
Semi-ProtoPNet Deep Neural Network for the Classification of Defective Power Grid Distribution Structures.
Sensors, 2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), 2022
Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022
Proceedings of the 5th IEEE International Conference on Industrial Cyber-Physical Systems, 2022
Proceedings of the Foundations of Software Science and Computation Structures, 2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
Proceedings of the Automated Technology for Verification and Analysis, 2022
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test.
Proceedings of the Automated Technology for Verification and Analysis, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
ACM Trans. Intell. Syst. Technol., 2021
Formal Aspects Comput., 2021
Proceedings of the Proceedings 12th International Symposium on Games, 2021
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans.
Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021
Proceedings of the Runtime Verification - 21st International Conference, 2021
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021
Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021
Proceedings of the 32nd International Conference on Concurrency Theory, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning.
Proceedings of the Automated Deduction - CADE 28, 2021
Proceedings of the Automated Technology for Verification and Analysis, 2021
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2021
2020
SMT-based satisfiability of first-order LTL with event freezing functions and metric operators.
Inf. Comput., 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Formal Aspects Comput., 2019
Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans.
CoRR, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization.
Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2019
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2019
Proceedings of the Runtime Verification - 19th International Conference, 2019
Proceedings of the Runtime Verification - 19th International Conference, 2019
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions.
ACM Trans. Comput. Log., 2018
Formal Methods Syst. Des., 2018
Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions.
Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018
Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides.
Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2018
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018
Proceedings of the Formal Methods - 22nd International Symposium, 2018
2017
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017
Proceedings of the Automated Deduction - CADE 26, 2017
Proceedings of the ARCADE 2017, 2017
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Formal Methods Syst. Des., 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016
SC<sup>2</sup>: Satisfiability Checking Meets Symbolic Computation - (Project Paper).
Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the FM 2016: Formal Methods, 2016
Proceedings of the FM 2016: Formal Methods, 2016
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Sci. Comput. Program., 2015
Sci. Comput. Program., 2015
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic.
Log. Methods Comput. Sci., 2015
Constraints An Int. J., 2015
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty.
Artif. Intell., 2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015
Proceedings of the Computer Safety, Reliability, and Security, 2015
Proceedings of the Formal Methods in Computer-Aided Design, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
Proceedings of the Automated Technology for Verification and Analysis, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Reliab. Eng. Syst. Saf., 2014
Formal Methods Syst. Des., 2014
Dagstuhl Reports, 2014
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
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014
Proceedings of the Formal Methods in Computer-Aided Design, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
Proceedings of the Automated Technology for Verification and Analysis, 2014
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
2013
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013
Proceedings of the Hardware and Software: Verification and Testing, 2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
Proceedings of the International Conference on Embedded Software, 2013
Proceedings of the Automated Technology for Verification and Analysis, 2013
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
Proceedings of the Late-Breaking Developments in the Field of Artificial Intelligence, 2013
2012
ACM Trans. Softw. Eng. Methodol., 2012
Log. Methods Comput. Sci., 2012
Proceedings of the Formal Methods in Computer-Aided Design, 2012
Proceedings of the Formal Methods in Computer-Aided Design, 2012
Proceedings of the Formal Methods in Computer-Aided Design, 2012
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012
Proceedings of the Principles and Practice of Constraint Programming, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
2011
Softw. Syst. Model., 2011
J. Artif. Intell. Res., 2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Comput. J., 2011
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of the Model Checking Software, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011
Proving and explaining the unfeasibility of message sequence charts for hybrid systems.
Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
ACM Trans. Comput. Log., 2010
Proceedings of the Implementation and Application of Automata, 2010
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
Proceedings of the Formal Techniques for Distributed Systems, 2010
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis.
Ann. Math. Artif. Intell., 2009
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems.
Proceedings of the Computer Safety, 2009
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009
Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009
Proceedings of the ASE 2009, 2009
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008
Proceedings of the Formal Methods for Industrial Critical Systems, 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories.
Proceedings of the Theory and Applications of Satisfiability Testing, 2007
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
Proceedings of the Automated Technology for Verification and Analysis, 2007
Proceedings of the Automated Technology for Verification and Analysis, 2007
2006
Proceedings of the Implementation and Application of Automata, 2006
Proceedings of the Formal Methods for Hardware Verification, 2006
Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in <i>SMT</i>(<i>EUF</i> È<i>T</i>).
Proceedings of the Logic for Programming, 2006
Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006
Stong Cyclic Planning Under Partial Observability.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
Proceedings of the 43rd Design Automation Conference, 2006
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006
2005
J. Autom. Reason., 2005
Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2005
Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2005
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
Proceedings of the 2nd International Workshop on Bounded Model Checking, 2004
Artif. Intell., 2004
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004
Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
2003
Artif. Intell., 2003
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
Proceedings of the IJCAI-03, 2003
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003
2002
Proceedings of the Verification, 2002
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions.
Proceedings of the Automated Deduction, 2002
Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements.
Proceedings of the Artificial Intelligence, 2002
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002
2001
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
2000
Verification of a safety-critical railway interlocking system with real-time constraints.
Sci. Comput. Program., 2000
Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000
1999
Proceedings of the First International Workshop on Symbolic Model Checking, 1999
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999
Proceedings of the Computer Safety, 1999
Proceedings of the FM'99 - Formal Methods, 1999
Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999
Proceedings of the 36th Conference on Design Automation, 1999
Proceedings of the Computer Aided Verification, 11th International Conference, 1999
1998
Formal Aspects Comput., 1998
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System.
Proceedings of the Computer Safety, 1998
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.
Proceedings of the Computer Safety, 1998
Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, 1998
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998
1997
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
1996
IEEE Trans. Syst. Man Cybern. Part B, 1996
Int. J. Intell. Syst., 1996
Proceedings of the Practical Reasoning, 1996
Proceedings of the Intelligent Agents III, 1996
1995
Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance.
Proceedings of the First International Conference on Multiagent Systems, 1995
1994
Appl. Artif. Intell., 1994
Proceedings of the Logic Programming Synthesis and Transformation, 1994
Proceedings of the Intelligent Agents, 1994
1993
Proceedings of the Advances in Artificial Intelligence, 1993
1992
Beyond the Single Planning Paradigm: Introspective Planning.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992