| 2025 | HotOS | Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet. | Charly Castes, Franois Costa, Nate Foster, Thomas Bourgeat, Edouard Bugnion |
| 2025 | SOSP | The Design and Implementation of a Virtual Firmware Monitor. | Charly Castes, Franois Costa, Neelu S. Kalani, Timothy Roscoe, Nate Foster, Thomas Bourgeat, Edouard Bugnion |
| 2024 | SOSP | Dirigent: Lightweight Serverless Orchestration. | Lazar Cvetkovic, Franois Costa, Mihajlo Djokic, Michal Friedman, Ana Klimovic |
| 2014 | IECON | Energy recovery power supply for piezoelectric actuator. | Dejan Vasic, Franois Costa |
| 2013 | IECON | Self-powered piezoelectric energy harvester for bicycle. | Dejan Vasic, Yuyin Chen, Franois Costa |
| 2012 | IECON | Comparison of bistable magnetic non-linear piezoelectric energy harvester with traditional linear technique. | Yu-Yin Chen, Dejan Vasic, Yuan-Ping Liu, Franois Costa |
| 2012 | IECON | New Method of EMI analysis in power electronics based on semiconductors transient models: Application to SiC MOSFET/Schottky diode. | Slim Hrigua, Franois Costa, Cyrille Gautier, Bertrand Revol |
| 2012 | IECON | Power improvement of piezoelectric transformer based DC/DC converter. | Yu-Hao Su, Yuan-Ping Liu, Dejan Vasic, Franois Costa, Wen-Jong Wu, Chih-Kung Lee |