Publication

The S2E Platform: Design, Implementation, and Applications

About
Privacy
Disclaimer

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.

Publications related to The S2E Platform: Design, Implementation, and Applications | EPFL Graph Search

The S2E Platform: Design, Implementation, and Applications

Graph Chatbot

Chat with Graph Search

Virtual reality enabled building-data management through the combination of a fully integrated IFC-BIM model and an IoT-based building management system

NrOS: Effective Replication and Sharing in an Operating System

The COUGHVID crowdsourcing dataset: A corpus for the study of large-scale cough analysis algorithms

Hardware-Software Co-Design of an RPC Processor

Architecture Exploration and Optimization of Heterogeneous Many-Core Compute and Memory Architectures with Architectural Extensions

EaRL: An Open-Source Software for Earthquake Risk, Loss and Lifecycle Assessment

HippoUnit: A software tool for the automated testing and systematic comparison of detailed models of hippocampal neurons based on electrophysiological data

Wannier90 as a community code: new features and applications

USBFuzz: A Framework for Fuzzing USB Drivers by Device Emulation

Chirok: a post-refinement tool to analyse absolute structure