Samuel Hym

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 5

Top Venues

Sci. Comput. Program.

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

CoRR

CAV (2)

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg, Emmanuel Baccelli
End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers. CAV (2) (2022)
Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym
Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
Hugo Férée, Samuel Hym, Micaela Mayero, Jean-Yves Moyen, David Nowak
Formal proof of polynomial-time complexity with quasi-interpretations. CPP (2018)
Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym
Formal proof of dynamic memory isolation based on MMU. Sci. Comput. Program. 162 (2018)
Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym
Formal Proof of Dynamic Memory Isolation Based on MMU. TASE (2016)
Slawek Staworko, Iovka Boneva, José Emilio Labra Gayo, Samuel Hym, Eric G. Prud'hommeaux, Harold R. Solbrig
Complexity and Expressiveness of ShEx for RDF. ICDT (2015)
José Emilio Labra Gayo, Eric Prud'hommeaux, Iovka Boneva, Slawek Staworko, Harold R. Solbrig, Samuel Hym
Towards an RDF Validation Language Based on Regular Expression Derivatives. EDBT/ICDT Workshops (2015)
Iovka Boneva, José Emilio Labra Gayo, Samuel Hym, Eric G. Prud'hommeaux, Harold R. Solbrig, Slawek Staworko
Validating RDF with Shape Expressions. CoRR (2014)
Víctor A. Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine
Summary-based inference of quantitative bounds of live heap objects. Sci. Comput. Program. 92 (2014)
Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl
On-Device Control Flow Verification for Java Programs. ESSoS (2011)
Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl
Verifiable Control Flow Policies for Java Bytecode. Formal Aspects in Security and Trust (2011)
Samuel Hym
Mobility control via passports. Inf. Comput. 207 (2) (2009)
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous
Encapsulation and Dynamic Modularity in the Pi-Calculus CoRR (2009)
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous
Encapsulation and Dynamic Modularity in the pi-calculus. Electron. Notes Theor. Comput. Sci. 241 (2009)
Samuel Hym
Mobility Control Via Passports. CONCUR (2007)
Samuel Hym, Matthew Hennessy
Adding recursion to Dpi. Theor. Comput. Sci. 373 (3) (2007)
Samuel Hym, Matthew Hennessy
Adding Recursion to Dpi: (Extended Abstract). Electron. Notes Theor. Comput. Sci. 156 (1) (2006)
Frédéric Peschanski, Samuel Hym
A stackless runtime environment for a Pi-calculus. VEE (2006)

Samuel Hym.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Samuel Hym