HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Alberto Griggio

Publications
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta and Enea Zaffanella
In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
SC-square: when Satisfiability Checking and Symbolic Computation join forces
Erika Abraham, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening and Werner M. Seiler
In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
The 2012 SMT Competition
David Cok, Alberto Griggio, Roberto Bruttomesso and Morgan Deters
In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories

Keyphrases

automated reasoning, computer algebra, satisfiability checking, satisfiability module theories, SMT, SMT-COMP, SMT Competition, SMT-evaluation, SMT solver, symbolic computation.

Copyright © 2012-2025 easychair.org. All rights reserved.