Verification of Component-based Systems via Predicate Abstraction and Simultaneous Set Reduction
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.
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 ...
Writing correct software is hard, yet in systems that have a high failure cost or are not easily upgraded like blockchains, bugs and security problems cannot be tolerated. Therefore, these systems are perfect use cases for formal verification, the task of ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
Maxwell's equations govern light propagation and its interaction with matter. Therefore, the solution of Maxwell's equations using computational electromagnetic simulations plays a critical role in understanding light-matter interaction and designing optic ...
