Basile Pesin - RankMe

13 papers B 1Journal 6Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Formally Verified Hardening of C Programs against Hardware Fault Injection. CPP Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet
2025	—	`conf`	Reactive Semantics for User Interface Description Languages. ICE Basile Pesin, Célia Picard, Cyril Allignol
2023	J	`jnl`	Programming microcontrollers through high-level abstractions: The OMicroB project. J. Comput. Lang. Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux
2023	J	`jnl`	Verified Compilation of Synchronous Dataflow with State Machines. ACM Trans. Embed. Comput. Syst. Timothy Bourke, Basile Pesin, Marc Pouzet
2023	—	`—`	Verified Compilation of a Synchronous Dataflow Language with State Machines. (Compilation vérifiée d'un langage synchrone à flots de données avec machines à états). Basile Pesin
2021	J	`jnl`	Making Tezos smart contracts more reliable with Coq. CoRR Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson
2021	J	`jnl`	Verified Lustre Normalization with Node Subsampling. ACM Trans. Embed. Comput. Syst. Timothy Bourke, Paul Jeanmaire, Basile Pesin, Marc Pouzet
2020	—	`conf`	Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain. Financial Cryptography Workshops Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Julien Tesson
2020	J	`jnl`	Albert, an intermediate smart-contract language for the Tezos blockchain. CoRR Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Julien Tesson
2020	—	`conf`	Making Tezos Smart Contracts More Reliable with Coq. ISoLA (3) Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson
2020	—	`conf`	Programming microcontrollers through high-level abstractions. VMIL@SPLASH Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux
2019	—	`conf`	Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts. FM Workshops (1) Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson
2019	J	`jnl`	Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts. CoRR Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson