1![Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1 Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1](https://www.pdfsearch.io/img/f7ae923ee352f7ed8b6a0ced04a7f550.jpg) | Add to Reading ListSource URL: mebsout.github.ioLanguage: English - Date: 2017-07-21 11:03:15
|
---|
2![THE HOWE-MOORE PROPERTY FOR REAL AND p-ADIC GROUPS RAF CLUCKERS, YVES CORNULIER, NICOLAS LOUVET, ROMAIN TESSERA, AND ALAIN VALETTE Abstract. We consider in this paper a relative version of the Howe-Moore THE HOWE-MOORE PROPERTY FOR REAL AND p-ADIC GROUPS RAF CLUCKERS, YVES CORNULIER, NICOLAS LOUVET, ROMAIN TESSERA, AND ALAIN VALETTE Abstract. We consider in this paper a relative version of the Howe-Moore](https://www.pdfsearch.io/img/acac44c89089d962281ca63a3c1933a9.jpg) | Add to Reading ListSource URL: www.normalesup.orgLanguage: English - Date: 2010-03-26 13:13:11
|
---|
3![Isometric group actions on Hilbert spaces: structure of orbits Yves de Cornulier, Romain Tessera, Alain Valette November 8, 2005 Abstract Our main result is that a finitely generated nilpotent group has no isometric acti Isometric group actions on Hilbert spaces: structure of orbits Yves de Cornulier, Romain Tessera, Alain Valette November 8, 2005 Abstract Our main result is that a finitely generated nilpotent group has no isometric acti](https://www.pdfsearch.io/img/2509ef8566aff027035f5574edb00000.jpg) | Add to Reading ListSource URL: www.normalesup.orgLanguage: English - Date: 2005-12-11 05:25:15
|
---|
4![Isometric group actions on Banach spaces and representations vanishing at infinity Yves de Cornulier, Romain Tessera, Alain Valette November 28, 2006 Abstract Our main result is that the simple Lie group G = Sp(n, 1) act Isometric group actions on Banach spaces and representations vanishing at infinity Yves de Cornulier, Romain Tessera, Alain Valette November 28, 2006 Abstract Our main result is that the simple Lie group G = Sp(n, 1) act](https://www.pdfsearch.io/img/9a1d5494a47f392930b7fcc3d88b9490.jpg) | Add to Reading ListSource URL: www.normalesup.orgLanguage: English - Date: 2006-11-27 19:35:09
|
---|
5![Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse](https://www.pdfsearch.io/img/f3e3d8c8ace4b28bcc6512a1934c1546.jpg) | Add to Reading ListSource URL: cubicle.lri.frLanguage: French - Date: 2014-11-05 08:01:04
|
---|
6![Proof Certificates for SMT-based Model Checkers for Infinite-state Systems Alain Mebsout Cesare Tinelli Proof Certificates for SMT-based Model Checkers for Infinite-state Systems Alain Mebsout Cesare Tinelli](https://www.pdfsearch.io/img/be298306d1e26588542eaadfe9cdd79e.jpg) | Add to Reading ListSource URL: mebsout.github.ioLanguage: English - Date: 2017-07-21 11:03:15
|
---|
7![SMTCoq: A plug-in for integrating SMT solvers into Coq? Burak Ekici1 , Alain Mebsout1 , Cesare Tinelli1 , Chantal Keller2 , Guy Katz3 , Andrew Reynolds1 , and Clark Barrett3 t SMTCoq: A plug-in for integrating SMT solvers into Coq? Burak Ekici1 , Alain Mebsout1 , Cesare Tinelli1 , Chantal Keller2 , Guy Katz3 , Andrew Reynolds1 , and Clark Barrett3 t](https://www.pdfsearch.io/img/f6993a6322370d9491c043b46277e9f9.jpg) | Add to Reading ListSource URL: mebsout.github.ioLanguage: English - Date: 2017-07-21 11:03:15
|
---|
8![A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo Sylvain Conchon∗ Mohamed Iguernelala∗,∗∗ Alain Mebsout∗ ∗ LRI, Universit´ A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo Sylvain Conchon∗ Mohamed Iguernelala∗,∗∗ Alain Mebsout∗ ∗ LRI, Universit´](https://www.pdfsearch.io/img/b2e3dd8c1fd0a1a186ca210890770bbf.jpg) | Add to Reading ListSource URL: mebsout.github.ioLanguage: English - Date: 2017-07-21 11:03:15
|
---|
9![V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay](https://www.pdfsearch.io/img/07cf020a6b093fe23b5006a27a157231.jpg) | Add to Reading ListSource URL: mebsout.github.ioLanguage: French - Date: 2017-07-21 11:03:15
|
---|
10![Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse](https://www.pdfsearch.io/img/ab6ef6de87ae0432d6717680066fab94.jpg) | Add to Reading ListSource URL: mebsout.github.ioLanguage: French - Date: 2017-07-21 11:03:15
|
---|