Details
Title
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
Affiliated authors
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
Institute
IINFCOM
Faculty
IC
Note
Members of LARA-unit
Linked resource
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
See complete list of publications (248)
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
See complete list of publications (248)
Record appears in
Authorities > Lab