Francisco Bavera

According to our database, Francisco Bavera authored at least 6 papers between 2004 and 2019.

Collaborative distances:

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

2019

Computational Thinking Skills in Primary Teachers: Evaluation Using Bebras.

Francisco Bavera, Teresa Quintero, Marcela Daniele, Flavia Buffarini

Proceedings of the Computer Science - CACIC 2019, 2019

2018

Justification logic and audited computation.

Francisco Bavera, Eduardo Bonelli

J. Log. Comput., 2018

2016

An user configurable clang static analyzer taint checker.

Marcelo Arroyo, Francisco Chiotta, Francisco Bavera

Proceedings of the 35th International Conference of the Chilean Computer Science Society, 2016

2010

Justification Logic and History Based Computation.

Francisco Bavera, Eduardo Bonelli

Proceedings of the Theoretical Aspects of Computing, 2010

2008

Type-based information flow analysis for bytecode languages with variable object field policies.

Francisco Bavera, Eduardo Bonelli

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2004

A Framework for Execution of Secure Mobile Code based on Static Analysis.

Martín Nordio, Ricardo H. Medel, Francisco Bavera, Jorge Aguirre, Gabriel Baum

Proceedings of the XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 2004