Verification of Component-based Systems via Predicate Abstraction and Simultaneous Set Reduction

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.

A metaprogrammer should be able to reason about the semantics of the generated code. Multi-stage programming introduced an elegant and powerful solution to this problem. It follows a semantically driven approach to code generation, where semantics are full ...

Language has shaped human evolution and led to the desire to endow machines with language abilities. Recent advancements in natural language processing enable us to achieve this breakthrough in human-machine interaction. However, introducing conversational ...

Collaborative learning algorithms, such as distributed SGD (or D-SGD), are prone to faulty machines that may deviate from their prescribed algorithm because of software or hardware bugs, poisoned data or malicious behaviors. While many solutions have been ...

The collective behavior of animals has been traditionally studied through observation, quantitative models of behavior, and devices of low intelligence. Nowadays, the advancements in the field of robotics allow for closed-loop experiments that occur in rea ...

Order, regularities, and patterns are ubiquitous around us. A flock of birds maneuvering in the sky, the self-organization of social insects, a global pandemic or a traffic jam are examples of complex systems where the macroscopic patterns arise from the m ...

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

Spatial understanding and communication are essential skills in human interaction. An adequate understanding of others' spatial perspectives can increase the quality of the interaction, both perceptually and cognitively. In this paper, we take the first st ...

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

The hardware complexity of modern machines makes the design of adequate programming models crucial for jointly ensuring performance, portability, and productivity in high-performance computing (HPC). Sequential task-based programming models paired with adv ...

This dataset includes the parallel application and the main results supporting the research article "Modeling snow saltation: the effect of grain size and interparticle cohesion" published at the Journal of Geophysical Research: Atmospheres.The code is a f ...

Reproducibility of results is essential for a well-designed and conducted experiment. Several reasons may originate failure in reproducing data, such as selective reporting, low statistical power, or poor analysis. In this study, we used PEG6000 samples fr ...

Software network functions (NFs), such as a network address translator, load balancer, or proxy, promise to bring flexibility and rapid innovation to computer networks and to reduce operational costs. However, continuous updates and flexibility typically c ...

Understanding cognitive states of human under different difficulty levels is useful in improving human-human and human-machine interactions. For example, a crucial factor in designing games is maintaining the engagement of players. An ideal scenario would ...

The use of robots in search and rescue is gaining particular interest, but singular skills are required to ensure efficient deployments in real missions. To face this problem, there is a need to develop more intuitive control interfaces. Moreover, to ensur ...

The Paris agreement on climate change called for carbon neutrality as of 2050. The built environment is one of the major contributors to the greenhouse effect, representing 39% of global emissions. As a result, this sector is targeted by green standards an ...

Understanding the interactions between biomedical alloys and body fluids is of importance for the successful and safe performance of implanted devices. Albumin, as the first protein that comes in contact with an implant surface, can determine the biocompat ...

Recent years have seen spectacular developments in the domain of nano-optics. Alongside the well-known techniques of super-resolution microscopy progress in nanofabrication has enabled important improvements in the fields of optical imaging and spectros ...

Improving educational practice through reflection is one important focus of teacher professional development approaches. However, such teacher reflection operates under practical classroom constraints that make it happen infrequently, including the relianc ...

Multiple object tracking is a crucial Computer Vision Task. It aims at locating objects of interest in the image sequences, maintaining their identities, and identifying their trajectories over time. A large portion of current research focuses on tracking ...

Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...

Verification of Component-based Systems via Predicate Abstraction and Simultaneous Set Reduction

Chat with Graph Search

Scalable Metaprogramming in Scala 3

Towards Novel Evaluation Methods for Social Dialog Systems

Robust Collaborative Learning with Linear Gradient Overhead

A biohybrid interaction framework for the integration of robots in animal societies

Human-Robot Swarm Interaction: An Explorative Path to Foster Complex Systems Understanding

Automated Verification of Network Function Binaries

Do Children Adapt Their Perspective to a Robot When They Fail to Complete a Task?

Scaling Language Features for Program Verification

Decentralized in-order execution of a sequential task-based code for shared-memory architectures

Modeling snow saltation: the effect of grain size and interparticle cohesion

Reproducibility warning: The curious case of polyethylene glycol 6000 and spheroid cell culture

Verification of Software Network Functions with No Verification Expertise

Decoding Cognitive States under Varying Difficulty Levels

Wearable and Self-Aware Machine Learning System for Online Cognitive Workload Monitoring and Drone Control

Data-driven method for low-carbon building design at early stages

An Overview of Serum Albumin Interactions with Biomedical Alloys

Physics of optically driven nanojunctions

Reflection for action: designing tools to support teacher reflection on everyday evidence

Training Algorithms for Multiple Object Tracking

Scaling Functional Synthesis and Repair