Jorge Luis Sacchini

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 1

Top Topics

Case Based Planning

Logical Framework

Piecewise Linear

Top Venues

Publications

Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. FM (2016)
Jorge Luis Sacchini
Linear Sized Types in the Calculus of Constructions. FLOPS (2014)
Iliano Cervesato, Jorge Luis Sacchini
Towards Meta-Reasoning in the Concurrent Logical Framework CLF. EXPRESS/SOS (2013)
Jorge Luis Sacchini
Type-Based Productivity of Stream Definitions in the Calculus of Constructions. LICS (2013)
Benjamin Grégoire, Jorge Luis Sacchini
On Strong Normalization of the Calculus of Constructions with Type-Based Termination. LPAR (Yogyakarta) (2010)
Gilles Barthe, César Kunz, Jorge Luis Sacchini
Certified Reasoning in Memory Hierarchies. APLAS (2008)
Bruno Barras, Pierre Corbineau, Benjamin Grégoire, Hugo Herbelin, Jorge Luis Sacchini
A New Elimination Rule for the Calculus of Inductive Constructions. TYPES (2008)
Benjamin Grégoire, Jorge Luis Sacchini
Combining a Verification Condition Generator for a Bytecode Language with Static Analyses. TGC (2007)