Skip to Main content Skip to Navigation

Search by documents

hal-03183858v1  Conference papers
Boris Teabe DjomgwePeterson YuhalaAlain TchanaFabien HermenierDaniel 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 TuBoris Teabe DjomgweAlain TchanaGilles MullerDaniel 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 BodeveixM FilaliJulia LawallGilles 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 BodeveixM FilaliJulia LawallGilles 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-00457182v1  Conference papers
Jean-Paul BodeveixM FilaliJulia LawallGilles 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 BuiDjob MvondoBoris TeabeKevin JiokengLavoisier 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⟩