HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Stefano Tonetta

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
Loopfrog — loop summarization for static analysis
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich and Christoph M. Wintersteiger
In:WING 2010. Workshop on Invariant Generation 2010

Keyphrases

loop invariants, loop summarization, Loopfrog, static analysis.

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