Search by documents

		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-03183858v1 Conference papers Boris Teabe Djomgwe, Peterson Yuhala, Alain Tchana, Fabien Hermenier, Daniel Hagimont et al. (No)Compromis: Paging Virtualization Is Not a Fatality VEE 2021 - 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Apr 2021, Détroit, Michigan / Virtual, United States. pp.1-12
	hal-03183856v1 Conference papers Dinh Ngoc Tu, Boris Teabe Djomgwe, Alain Tchana, Gilles Muller, Daniel Hagimont. Mitigating vulnerability windows with hypervisor transplant European Conference on Computer Systems (EuroSys 2021), Apr 2021, Edinburgh / Virtual, United Kingdom. ⟨10.1145/3447786.3456235⟩
	inria-00089493v1 Conference papers Jean-Paul Bodeveix, M Filali, Julia Lawall, Gilles Muller. Automatic Verification of Bossa Scheduler Properties Automatic Verification of Critical Systems, Sep 2006, Nancy, France. pp.19-34
	hal-00457183v1 Conference papers Jean-Paul Bodeveix, M Filali, Julia Lawall, Gilles Muller. Applying the B formal method to the Bossa domain-specific language The 17th Nordic Workshop on Programming Theory (NWPT'05), 2005, Copenhagen, Denmark, Denmark. pp.35-38
	hal-00457181v1 Conference papers Jean-Paul Bodeveix, M Filali, Julia Lawall, Gilles Muller. Vérification automatique de propriétés d'ordonnanceurs Bossa AFADL'2006, 2006, Paris, France. pp.95-109
	hal-00457182v1 Conference papers Jean-Paul Bodeveix, M Filali, Julia Lawall, Gilles Muller. Formal Methods Meet Domain Specific Languages The 5th International Conference on Integrated Formal Methods, 2005, Eindhoven, The Netherlands, Netherlands. pp.187-206
	hal-02333640v2 Conference papers Bao Bui, Djob Mvondo, Boris Teabe, Kevin Jiokeng, Lavoisier Wapet et al. When eXtended Para-Virtualization (XPV) meets NUMA EUROSYS 2019: 14th European Conference on Computer Systems, Mar 2019, Dresde, Germany. pp.7, ⟨10.1145/3302424.3303960⟩
		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM