Notice détaillée
Titre
LARA
Formal Name (French)
Laboratoire d'analyse et de raisonnement automatisés
Formal Name (English)
Laboratory for Automated Reasoning and Analysis
Lab Manager
Kuncak, Viktor
Group ID
U11739
Auteurs affilié
Antognini, Marco
Baranov, Eduard
Bernet, Quentin
Blanc, Régis William
Bucev, Mario
Buchard, Sylvie
Cekic, Mario
Chassot, Samuel
Cornilleau, Pierre-Emmanuel Gilles Marie Ghislain
Darulova, Eva
Edelmann, Romain
Gambhir, Sankalp
Guilloud, Simon
Gvero, Tihomir
Hamza, Jad
Hojjat, Hossein
Kandhadai Madhavan, Ravichandhran
Kneuss, Etienne
Kostic, Dejan
Koukoutos, Manos
Kuncak, Viktor
Kuraj, Ivan
Losa, Giuliano
Mavridou, Anastasia
Mayer, Mikaël
Milovancevic, Dragana
Pavlogiannis, Andreas
Piskac, Ruzica
Poiroux, Auguste Alain Lucien
Raghothaman, Mukund
Raya, Rodrigo
Reynolds, Andrew Joseph
Roman, Flaviu
Ruetschi, Romain
Salvi, Fabien
Schmid, Georg Stefan
Spielmann, Andrej
Stulova, Nataliia
Suter, Philippe Paul Henri
Voirol, Nicolas
Wang, Qiang
Baranov, Eduard
Bernet, Quentin
Blanc, Régis William
Bucev, Mario
Buchard, Sylvie
Cekic, Mario
Chassot, Samuel
Cornilleau, Pierre-Emmanuel Gilles Marie Ghislain
Darulova, Eva
Edelmann, Romain
Gambhir, Sankalp
Guilloud, Simon
Gvero, Tihomir
Hamza, Jad
Hojjat, Hossein
Kandhadai Madhavan, Ravichandhran
Kneuss, Etienne
Kostic, Dejan
Koukoutos, Manos
Kuncak, Viktor
Kuraj, Ivan
Losa, Giuliano
Mavridou, Anastasia
Mayer, Mikaël
Milovancevic, Dragana
Pavlogiannis, Andreas
Piskac, Ruzica
Poiroux, Auguste Alain Lucien
Raghothaman, Mukund
Raya, Rodrigo
Reynolds, Andrew Joseph
Roman, Flaviu
Ruetschi, Romain
Salvi, Fabien
Schmid, Georg Stefan
Spielmann, Andrej
Stulova, Nataliia
Suter, Philippe Paul Henri
Voirol, Nicolas
Wang, Qiang
Institut
IINFCOM
Faculté
IC
Note
Members of LARA-unit
Lien extérieur
http://lara.epfl.ch/
Publications
Building a Calculus of Data Structures
Collections, Cardinalities, and Relations
Combining Theories with Shared Set Operations
Comfusy: A Tool for Complete Functional Synthesis
Exploiting Errors for Efficiency: A Survey from Circuits to Applications
LISA – A Modern Proof System
MUNCH - Automated Reasoner for Sets and Multisets
On Satisfiability Modulo Computable Functions
Ordered Sets in the Calculus of Data Structures
Static Analysis for the PHP Language
Voir toutes les publications (250)
Collections, Cardinalities, and Relations
Combining Theories with Shared Set Operations
Comfusy: A Tool for Complete Functional Synthesis
Exploiting Errors for Efficiency: A Survey from Circuits to Applications
LISA – A Modern Proof System
MUNCH - Automated Reasoner for Sets and Multisets
On Satisfiability Modulo Computable Functions
Ordered Sets in the Calculus of Data Structures
Static Analysis for the PHP Language
Voir toutes les publications (250)
Le document apparaît dans
Authorities > Lab