Alberto Griggio
Orcid: 0000-0002-3311-0893Affiliations:
- Fondazione Bruno Kessler, Trento, Italy
According to our database1,
Alberto Griggio
authored at least 99 papers
between 2006 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on es.fbk.eu
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator.
Sci. Comput. Program., 2025
2024
Artifact for CAV'24 paper "Avoiding the Shoals - A New Approach to Liveness Checking".
Dataset, April, 2024
Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".
Dataset, January, 2024
Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".
Dataset, January, 2024
ACM Trans. Comput. Log., 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
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems.
Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report.
Proceedings of the Formal Methods for Industrial Critical Systems, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024
2023
Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".
Dataset, October, 2023
Supplementary Material for TACAS Submission "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".
Dataset, October, 2023
Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".
Dataset, October, 2023
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems.
Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2022
Log. Methods Comput. Sci., 2022
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072).
Dagstuhl Reports, 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 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 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
2021
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 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
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
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
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
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
2018
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions.
ACM Trans. Comput. Log., 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
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018
2017
Formal Methods Syst. Des., 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
Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), 2017
Proceedings of the Automated Deduction - CADE 26, 2017
Proceedings of the ARCADE 2017, 2017
2016
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016
Formal Methods Syst. Des., 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
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 Aided Verification - 27th International Conference, 2015
2014
Formal Methods Syst. Des., 2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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
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 Static Analysis - 20th International Symposium, 2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
2012
J. Satisf. Boolean Model. Comput., 2012
Proceedings of the Formal Methods in Computer-Aided Design, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2012
Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012
2011
J. Artif. Intell. Res., 2011
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011
Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
ACM Trans. Comput. Log., 2010
Log. Methods Comput. Sci., 2010
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
2009
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis.
Ann. Math. Artif. Intell., 2009
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
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
A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
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