PBCOV: a property-based coverage criterion

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.

The construction industry plays a major role in the high levels of greenhouse gas emissions, resource consumption, and waste generation observed nowadays. Key to the circular economy, structural component reuse arises as a promising solution to divert cons ...

Much attention has been paid to dynamical simulation and quantum machine learning (QML) independently as applications for quantum advantage, while the possibility of using QML to enhance dynamical simulations has not been thoroughly investigated. Here we d ...

In droplet microfluidic devices with suction-based flow control, the microchannel geometry and suction pressure at the outlet govern the dynamic properties of the two phases that influence the droplet generation. Therefore, it is critical to understand the ...

The paper details the process of developing the ITER Plasma Control System (PCS), that is, how to design and deploy it systematically, in the most efficient and effective manner. The integrated nature of the ITER PCS, with its multitude of coupled control ...

Metal Forming is a basic and essential industrial process to provide materials for constructing complex products. To design an efficient metal forming process, the functional requirements and operational performance are two important aspects to be consider ...

Enterprises collect data in large volumes and leverage them to drive numerous concurrent decisions and business processes. Their teams deploy multiple applications that often operate concurrently on the same data and infrastructure but have widely differen ...

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 ...

The aircraft assembly system is highly complex involving different stakeholders from multiple domains. The design of such a system requires comprehensive consideration of various industrial scenarios aiming to optimize key performance indicators. Tradition ...

Low-level light detection with high spatial and timing accuracy is a growing area of interest by virtue of applications such as light detection and ranging (LiDAR), biomedical imaging, time-resolved Raman spectroscopy, and quantum applications. Single-phot ...

The need of full transposition of the current carrying elements (strands) in large cables is frequently retained as top design criterion for conductors operating in pulsed mode. However, when the transposition error, i.e., the inductance difference among t ...

We propose a local, non -intrusive model order reduction technique to accurately approximate the solution of coupled multi -component parametrized systems governed by partial differential equations. Our approach is based on the approximation of the boundar ...

In this paper we will consider distributed Linear-Quadratic Optimal Control Problems dealing with Advection-Diffusion PDEs for high values of the Peclet number. In this situation, computational instabilities occur, both for steady and unsteady cases. A Str ...

Electron-cyclotron waves are a tool commonly used in tokamaks, in particular to drive current. Their ability to drive current in a very localized manner renders them an optimal tool for MHD mode mitigation. However, such applications require high accuracy ...

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 ...

This manuscript offers the perspective of experimentalists on a number of modern data-driven techniques: model predictive control relying on Gaussian processes, adaptive data-driven control based on behavioral theory, and deep reinforcement learning. These ...

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 ...

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 ...

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 ...

This work presents the initial studies on the requirements for the design of 3D coils on EU-DEMO. The use of 3D coils in present machines includes two main purposes: the first one is the Error Field Correction (EFC). The EFC aims at minimizing the intrinsi ...

Alloys composed of several elements in roughly equimolar composition, often referred to as high-entropy alloys, have long been of interest for their thermodynamics and peculiar mechanical properties, and more recently for their potential application in cat ...

PBCOV: a property-based coverage criterion

Chat with Graph Search

RE:SLAB — a load bearing system for open-ended component reuse in building structures

Dynamical simulation via quantum machine learning with provable generalization

Modified capillary number to standardize droplet generation in suction-driven microfluidics

Strategy to systematically design and deploy the ITER plasma control system: A system engineering and model-based design approach

A semantic model-based systems engineering approach for assessing the operational performance of metal forming process

Oligolithic Cross-task Optimizations across Isolated Workloads

To Infinity, and Beyond (Coverage)

An aircraft assembly process formalism and verification method based on semantic modeling and MBSE

Advanced Silicon and SWIR Single-Photon Avalanche Diodes: Design, Simulation, and Characterization

Performance Comparison of Cables With Partial Transposition

Model reduction of coupled systems based on non-intrusive approximations of the boundary response maps

A Streamline Upwind Petrov-Galerkin Reduced Order Method for Advection-Dominated Partial Differential Equations Under Optimal Control

Impact of microwave beam scattering by density fluctuations on the electron-cyclotron power deposition profile in tokamaks

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

Lessons Learned from Data-Driven Building Control Experiments: Contrasting Gaussian Process-based MPC, Bilevel DeePC, and Deep Reinforcement Learning

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

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

Community-Aware Group Testing

Studies on EU-DEMO 3D coils requirements and conceptual design for error field correction and plasma control

Modeling high-entropy transition metal alloys with alchemical compression