Concept

List of proprietary source-available software

Related publications (7)

Automated Verification of Network Function Binaries

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

USENIX Association2022

Simulation and optimization in transportation: an overview

Michel Bierlaire

During the last two decades, the use of simulation tools in transportation engineering has become inevitable. Many methodologies developed by the research community during the late 90s have made their way to commercial softwares, used daily by practitioner ...

2014

Multivariate statistical analysis as a tool for the segmentation of 3D spectral data

Cécile Hébert, Marco Cantoni, Guillaume Lucas, Pierre Burdet

Acquisition of three-dimensional (3D) spectral data is nowadays common using many different microanalytical techniques. In order to proceed to the 3D reconstruction, data processing is necessary not only to deal with noisy acquisitions but also to segment ...

Pergamon-Elsevier Science Ltd2013

The S2E Platform: Design, Implementation, and Applications

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

This article presents S2E, a platform for analyzing the properties and behavior of software systems, along with its use in developing tools for comprehensive performance profiling, reverse engineering of proprietary software, and automated testing of kerne ...

2012

, ,

This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E's use in developing practical tools for comprehensive performance profiling, reverse engineering of proprietary software, and bug finding ...

2011

Mobile Biometry (MOBIO) Face and Speaker Verification Evaluation

Sébastien Marcel

This paper evaluates the performance of face and speaker verification techniques in the context of a mobile environment. The mobile environment was chosen as it provides a realistic and challenging test-bed for biometric person verification techniques to o ...

Idiap2010

Integral-equation analysis of 3-D metallic objects arranged in 2-D lattices using the Ewald transformation

Juan Ramon Mosig, Ivica Stevanovic, Frédéric Bongard, Pedro Crespo Valero, Katarina Blagovic

We present a space-domain integral-equation method for the analysis of periodic structures formed by three-dimensional metallic objects arranged in a general skewed two-dimensional lattice. The computation of the space-domain Green's function is accelerate ...

2006

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.