default search action
Samuel Hym
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c11]Shenghao Yuan
, Frédéric Besson
End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers. CAV (2) 2022: 293-316
2010 – 2019
- 2018
- [j5]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) - [j4]Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym:
Formal proof of dynamic memory isolation based on MMU. Sci. Comput. Program. 162: 76-92 (2018) - [c10]Hugo Férée
Formal proof of polynomial-time complexity with quasi-interpretations. CPP 2018: 146-157 - 2016
- [c9]Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym:
Formal Proof of Dynamic Memory Isolation Based on MMU. TASE 2016: 73-80 - 2015
- [c8]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: 197-204 - [c7]Slawek Staworko
Complexity and Expressiveness of ShEx for RDF. ICDT 2015: 195-211 - 2014
- [j3]Víctor A. Braberman, Diego Garbervetsky
Summary-based inference of quantitative bounds of live heap objects. Sci. Comput. Program. 92: 56-84 (2014) - [i2]Iovka Boneva, José Emilio Labra Gayo, Samuel Hym, Eric G. Prud'hommeaux, Harold R. Solbrig, Slawek Staworko:
Validating RDF with Shape Expressions. CoRR abs/1404.1270 (2014) - 2011
- [c6]Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl:
On-Device Control Flow Verification for Java Programs. ESSoS 2011: 43-57 - [c5]Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl:
Verifiable Control Flow Policies for Java Bytecode. Formal Aspects in Security and Trust 2011: 115-130
2000 – 2009
- 2009
- [j2]Samuel Hym:
Mobility control via passports. Inf. Comput. 207(2): 171-193 (2009) - [i1]Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous:
Encapsulation and Dynamic Modularity in the Pi-Calculus. CoRR abs/0906.5446 (2009) - 2008
- [c4]Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous
Encapsulation and Dynamic Modularity in the pi-calculus. PLACES@DisCoTec 2008: 85-100 - 2007
- [j1]Samuel Hym, Matthew Hennessy:
Adding recursion to Dpi. Theor. Comput. Sci. 373(3): 182-212 (2007) - [c3]Samuel Hym:
Mobility Control Via Passports. CONCUR 2007: 349-363 - 2006
- [b1]Samuel Hym:
Typage et contrôle de la mobilité. (Typing and control of mobility). Paris Diderot University, France, 2006 - [c2]Frédéric Peschanski, Samuel Hym:
A stackless runtime environment for a Pi-calculus. VEE 2006: 57-67 - 2005
- [c1]Samuel Hym, Matthew Hennessy:
Adding Recursion to Dpi: (Extended Abstract). SOS@ICALP 2005: 115-133
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: