Jorge Luis Sacchini

According to our database, Jorge Luis Sacchini authored at least 8 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor.

Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk

Proceedings of the FM 2016: Formal Methods, 2016

2014

Linear Sized Types in the Calculus of Constructions.

Jorge Luis Sacchini

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2013

Towards Meta-Reasoning in the Concurrent Logical Framework CLF.

Iliano Cervesato, Jorge Luis Sacchini

Proceedings of the Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, 2013

Type-Based Productivity of Stream Definitions in the Calculus of Constructions.

Jorge Luis Sacchini

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2010

On Strong Normalization of the Calculus of Constructions with Type-Based Termination.

Benjamin Grégoire, Jorge Luis Sacchini

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2008

A New Elimination Rule for the Calculus of Inductive Constructions.

Bruno Barras, Pierre Corbineau, Benjamin Grégoire, Hugo Herbelin, Jorge Luis Sacchini

Proceedings of the Types for Proofs and Programs, International Conference, 2008

Certified Reasoning in Memory Hierarchies.

Gilles Barthe, César Kunz, Jorge Luis Sacchini

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Combining a Verification Condition Generator for a Bytecode Language with Static Analyses.

Benjamin Grégoire, Jorge Luis Sacchini

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007