Adding Recursion to Dpi: (Extended Abstract). - Samuel Hym; Matthew Hennessy (SOS@ICALP, 2005)

A stackless runtime environment for a Pi-calculus. - Frédéric Peschanski; Samuel Hym (VEE, 2006)

Typage et contrôle de la mobilité. (Typing and control of mobility). - Samuel Hym (2006)

Adding recursion to Dpi. - Samuel Hym; Matthew Hennessy (Theor. Comput. Sci., 2007)

Encapsulation and Dynamic Modularity in the pi-calculus. - Daniel Hirschkoff; Aurélien Pardon; Tom Hirschowitz; Samuel Hym; Damien Pous (PLACES@DisCoTec, 2008)

Mobility control via passports. - Samuel Hym (Inf. Comput., 2009)

On-Device Control Flow Verification for Java Programs. - Arnaud Fontaine; Samuel Hym; Isabelle Simplot-Ryl (ESSoS, 2011)

Verifiable Control Flow Policies for Java Bytecode. - Arnaud Fontaine; Samuel Hym; Isabelle Simplot-Ryl (Formal Aspects in Security and Trust, 2011)

Validating RDF with Shape Expressions. - Iovka Boneva; José Emilio Labra Gayo; Samuel Hym; Eric G. Prud'hommeaux; Harold R. Solbrig; Slawek Staworko (CoRR, 2014)

Summary-based inference of quantitative bounds of live heap objects. - Víctor A. Braberman; Diego Garbervetsky; Samuel Hym; Sergio Yovine (Sci. Comput. Program., 2014)

Towards an RDF Validation Language Based on Regular Expression Derivatives. - José Emilio Labra Gayo; Eric Prud'hommeaux; Iovka Boneva; Slawek Staworko; Harold R. Solbrig; Samuel Hym (EDBT/ICDT Workshops, 2015)

Complexity and Expressiveness of ShEx for RDF. - Slawek Staworko; Iovka Boneva; José Emilio Labra Gayo; Samuel Hym; Eric G. Prud'hommeaux; Harold R. Solbrig (ICDT, 2015)

Formal proof of polynomial-time complexity with quasi-interpretations. - Hugo Férée; Samuel Hym; Micaela Mayero; Jean-Yves Moyen; David Nowak (CPP, 2018)

Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base. - Narjes Jomaa; Paolo Torrini; David Nowak; Gilles Grimaud; Samuel Hym (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018)

Formal proof of dynamic memory isolation based on MMU. - Narjes Jomaa; David Nowak; Gilles Grimaud; Samuel Hym (Sci. Comput. Program., 2018)

End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers. - Shenghao Yuan; Frédéric Besson; Jean-Pierre Talpin; Samuel Hym; Koen Zandberg; Emmanuel Baccelli (CAV (2), 2022)

Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM. - Nikolaus Huber; Naomi Spargo; Nicolas Osborne; Samuel Hym; Jan Midtgaard (TACAS (3), 2025)