Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Catégorie

Software development process

Publications associées (18)

To Infinity, and Beyond (Coverage)

Ahmad Hazimeh

The pursuit of software security and reliability hinges on the identification and elimination of software vulnerabilities, a challenge compounded by the vast and evolving complexity of modern systems. Fuzzing has emerged as an indispensable technique for b ...

EPFL2024

Design ontology for cognitive thread supporting traceability management in model-based systems engineering

Dimitrios Kyritsis, Jinzhi Lu, Yan Yan

Industrial information integration engineering (IIIE) is an interdisciplinary field to facilitate the industrial information integration process. In the age of complex and large-scale systems, model-based systems engineering (MBSE) is widely adopted in ind ...

Elsevier2024

Designing for Intimate Wellbeing: Aidee, a Qualitative Approach To Urine Home Monitoring

Nicolas Henchoz, Delphine Ribes Lemay, Emily Clare Groves, Sebastian Eduardo Baez Lugo, Margherita Motta

Despite the widespread use of self-tracking technologies for promoting personal wellbeing, there is limited research on the monitoring of intimate data, particularly urine. To shed light on the design possibilities within this unexplored domain we designed ...

DRS Digital Library2024

Exact Obstacle Avoidance for Robots in Complex and Dynamic Environments Using Local Modulation

Lukas Huber

Robots outside of the fenced factories have to deal with continuously changing environment, this requires fast and flexible modes of control. Planning methods or complex learning models can find optimal paths in complex surroundings, but they are computati ...

EPFL2024

Community-Aware Group Testing

Christina Fragouli, Suhas Diggavi, Pavlos Nikolopoulos

Group testing is a technique that can reduce the number of tests needed to identify infected members in a population, by pooling together multiple diagnostic samples. Despite the variety and importance of prior results, traditional work on group testing ha ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

ACTOR: Action-Guided Kernel Fuzzing

Mathias Josef Payer

Fuzzing reliably and efficiently finds bugs in software, including operating system kernels. In general, higher code coverage leads to the discovery of more bugs. This is why most existing kernel fuzzers adopt strategies to generate a series of inputs that ...

Usenix Assoc2023

Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts

Shailesh Mishra

The potential of automatic code generation through Model-Driven Engineering (MDE) frameworks has yet to be realized. Beyond their ability to help software professionals write more accurate, reusable code, MDE frameworks could make programming accessible fo ...

Ieee Computer Soc2023

Seismic Testing of Adjacent Interacting Masonry Structures

Katrin Beyer, Igor Tomic

Masonry buildings form building aggregates around the world in historical centers, which developed as the layout of the city or village densified. In these aggregates, adjacent buildings can share structural walls, connected at the interfaces by interlocki ...

2023

Metamodel for Safety Risk Management of Medical Devices Based on ISO 14971

Mihai Adrian Ionescu, David Atienza Alonso, Nathalie Jacquimet

The integration of information technologies into medical systems has led to an increase in digitalization, which results in enormous possibilities, but also challenges in system development. The ever-growing complexity of modern medical devices (MD) requir ...

2023

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

Mathias Josef Payer

Fuzzing has emerged as the most broadly used testing technique to discover bugs. Effective fuzzers rely on coverage to prioritize inputs that exercise new program areas. Edge-based code coverage of the Program Under Test (PUT) is the most commonly used cov ...

ASSOC COMPUTING MACHINERY2023

FISHFUZZ: Catch Deeper Bugs by Throwing Larger Nets

Mathias Josef Payer, Flavio Toffalini, Han Zheng

Fuzzers effectively explore programs to discover bugs. Greybox fuzzers mutate seed inputs and observe their execution. Whenever a seed reaches new behavior (e.g., new code or higher execution frequency), it is stored for further mutation. Greybox fuzzers d ...

Usenix Assoc2023

On the slip burst amplitude cutoff in dislocation-rich microcrystals

Andreas Mortensen, Luciano Borasi

The plastic deformation of small-scale face-centered cubic metals exhibits intermittent slip burst events that appear on stress-strain curves as sudden strain jumps and/or load drops. These events are generally attributed to the avalanche-like cooperative ...

Pergamon-Elsevier Science Ltd2023

One Fuzz Doesn’t Fit All: Optimizing Directed Fuzzing via Target-tailored Program State Restriction

Mathias Josef Payer

Fuzzing is the de-facto default technique to discover software flaws, randomly testing programs to discover crashing test cases. Yet, a particular scenario may only care about specific code regions (for, e.g., bug reproduction, patch or regression testing) ...

ASSOC COMPUTING MACHINERY2022

Influence de la précontrainte sur la résistance au poinçonnement de dalles en béton armé

Thibault Clément

Flat slabs are commonly used in Switzerland but also in north America and in many European countries. Slab bridges are also a typical solution for crossing of motorways for example. In both cases, supporting a slab by columns is justified by the simplicity ...

EPFL2012

Robust, High-Speed Interest Point Matching for Real-Time Applications

Michael Calonder

A typical Computer Vision system needs to process vast amounts of data as captured by one or more cameras, constantly testing the capabilities of today's hardware. Yet such systems face an ever-growing computational load caused by the more and more demandi ...

EPFL2010

Experimental Characterization of Pressure Wave Generation and Propagation in Biological Tissues

Marcel Donnet, Mathieu Benoit, Kossi Agbeviade, Jacques Giovanola

Aim of the study: This work develops a measurement technique for pressure waves in soft tissues. It aims at characterizing, understanding and modeling the generation and propagation of pressure waves in soft tissues, with a view towards medical application ...

Springer, 233 Spring Street, New York, Ny 10013, United States2009

Test results from the full size prototype test of W7-X joint

Pierluigi Bruzzone, Boris Stepanov

2007

Collaborative TeleNeurology for Remote Diagnosis

Jean-Philippe Thiran, Leila Cammoun, Leila Faiza Ben Hamida Cammoun

This paper presents the TENECI (Collaborative tele- neurology) project which allows practitioners to use telecommunication technologies to provide medical information and services for neurological diseases. Specificities of remote neurology are described a ...

2005