Publication

Alternating Control Flow Reconstruction

Publications associées (30)

An objective skill assessment framework for microsurgical anastomosis based on ALI scores

Aude Billard, Kunpeng Yao, Soheil Gholami, Torstein Ragnar Meling, Anaëlle Olivia Marie Manon

IntroductionThe current assessment and standardization of microsurgical skills are subjective, posing challenges in reliable skill evaluation. We aim to address these limitations by developing a quantitative and objective framework for accurately assessing ...

Springer Wien2024

Unified Harmonic Power-Flow and Stability Analysis of Power Grids with Converter-Interfaced Distributed Energy Resources

Johanna Kristin Maria Becker

Modern power distribution systems are experiencing a large-scale integration of Converter-Interfaced Distributed Energy Resources (CIDERs). Their presence complicates the analysis and mitigation of harmonics, whose creation and propagation may be amplified ...

EPFL2024

Latency Interfaces for Systems Code

Rishabh Ramesh Iyer

This thesis demonstrates that it is feasible for systems code to expose a latency interface that describes its latency and related side effects for all inputs, just like the code's semantic interface describes its functionality and related side effects. S ...

EPFL2023

DatAFLow: Toward a Data-flow-guided Fuzzer

Mathias Josef Payer

This Replicating Computational Report (RCR) describes (a) our datAFLow fuzzer and (b) how to replicate the results in "datAFLow: Toward a Data-Flow-Guided Fuzzer." Our primary artifact is the datAFLow fuzzer. Unlike traditional coverage-guided greybox fuzz ...

2023

Reuse of Load-Bearing Timber Elements - Case Study of a Lookout Tower in Lausanne, Switzerland

Corentin Jean Dominique Fivet, Jonas Warmuth, Edisson Xavier Estrella Arcos, Julius Natterer, Benoît Pascal Kälin

The construction industry is jeopardizing Earth’s environment; current mitigation efforts do not suffice; and additional sustainable strategies are required. One such strategy consists of reusing structural building elements over multiple service lives. In ...

Curran Associates, Inc.2023

A general framework to evaluate different rebalancing operations strategies in one-way car sharing systems

Michel Bierlaire, Nikola Obrenovic, Selin Ataç

Car sharing systems (CSSs) are one of the environmentally beneficial solutions in urban transportation. However, the operators still struggle to make these systems profitable. One of the main contributors in operational cost is rebalancing operations. Ther ...

2022

DatAFLow: Toward a Data-Flow-Guided Fuzzer

Mathias Josef Payer

Coverage-guided greybox fuzzers rely on control-flow coverage feedback to explore a target program and uncover bugs. Compared to control-flow coverage, data-flow coverage offers a more fine-grained approximation of program behavior. Data-flow coverage capt ...

2023

OASIS: Optimisation-based Activity Scheduling with Integrated Simultaneous choice dimensions

Michel Bierlaire, Timothy Michael Hillel, Janody Pougala

Activity-based models offer the potential of a far deeper understanding of daily mobility behaviour than trip-based models. However, activity-based models used both in research and practice have often relied on applying sequential choice models between sub ...

2023

Interpreting Rhythm as Parsing: Syntactic-Processing Operations Predict the Migration of Visual Flashes as Perceived During Listening to Musical Rhythms

Martin Alois Rohrmeier, Steffen Alexander Herff, Gabriele Cecchetti

Music can be interpreted by attributing syntactic relationships to sequential musical events, and, computationally, such musical interpretation represents an analogous combinatorial task to syntactic processing in language. While this perspective has been ...

Wiley2023

Alternating Control Flow Reconstruction

An objective skill assessment framework for microsurgical anastomosis based on ALI scores

Unified Harmonic Power-Flow and Stability Analysis of Power Grids with Converter-Interfaced Distributed Energy Resources

Latency Interfaces for Systems Code

DatAFLow: Toward a Data-flow-guided Fuzzer

Reuse of Load-Bearing Timber Elements - Case Study of a Lookout Tower in Lausanne, Switzerland

A general framework to evaluate different rebalancing operations strategies in one-way car sharing systems

DatAFLow: Toward a Data-Flow-Guided Fuzzer

OASIS: Optimisation-based Activity Scheduling with Integrated Simultaneous choice dimensions

Interpreting Rhythm as Parsing: Syntactic-Processing Operations Predict the Migration of Visual Flashes as Perceived During Listening to Musical Rhythms

Graph Chatbot

An objective skill assessment framework for microsurgical anastomosis based on ALI scores

Unified Harmonic Power-Flow and Stability Analysis of Power Grids with Converter-Interfaced Distributed Energy Resources

Latency Interfaces for Systems Code

DatAFLow: Toward a Data-flow-guided Fuzzer

Reuse of Load-Bearing Timber Elements - Case Study of a Lookout Tower in Lausanne, Switzerland

A general framework to evaluate different rebalancing operations strategies in one-way car sharing systems

DatAFLow: Toward a Data-Flow-Guided Fuzzer

OASIS: Optimisation-based Activity Scheduling with Integrated Simultaneous choice dimensions

Interpreting Rhythm as Parsing: Syntactic-Processing Operations Predict the Migration of Visual Flashes as Perceived During Listening to Musical Rhythms

A modelling framework for modern heritage buildings energy simulation

A modelling framework for modern heritage buildings energy simulation