Mario Bucev

Source officielle

https://people.epfl.ch/mario.bucev?lang=fr

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

À propos
Confidentialité
Mentions légales

Graph Chatbot

Source officielle

https://people.epfl.ch/mario.bucev?lang=fr

À propos de ce résultat

Unités associées (1)

Publications associées (2)

Veuillez noter qu'il ne s'agit pas d'une liste complète des publications de cette personne. Elle inclut uniquement les travaux sémantiquement pertinents. Pour une liste complète, veuillez consulter Infoscience.

Unités associées (1)

Laboratoire d'analyse et de raisonnement automatisés

EPFL
IC
IINFCOM
LARA

Publications associées (2)

Formula Normalizations in Verification

Viktor Kuncak, Simon Guilloud, Mario Bucev, Dragana Milovancevic

We propose a new approach for normalization and simplification of logical formulas. Our approach is based on algorithms for lattice-like structures. Specifically, we present two efficient algorithms for computing a normal form and deciding the word problem ...

2023

Formally Verified Quite OK Image Format

Viktor Kuncak, Mario Bucev

Lossless compression and decompression functions are ubiquitous operations that have a clear high-level specification and are thus suitable as verification benchmarks. Such functions are also important. On the one hand, they improve the performance of comm ...

TU Wien2022