Recherche

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 19 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-00924640v1 Communication dans un congrès Sylvain Conchon, Amit Goel, Sava Krstić, Alain Mebsout, Fatiha Zaïdi. Invariants for Finite Instances and Beyond Formal Methods in Computer-Aided Design (FMCAD), Oct 2013, Portland, Oregon, United States. pp.61-68, 2013, <10.1109/FMCAD.2013.6679392>
	hal-00924646v1 Pré-publication, Document de travail Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout. A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo 2013
	inria-00535644v1 Communication dans un congrès Sylvain Conchon, Jean-Christophe Filliâtre, Fabrice Le Fessant, Julien Robert, Guillaume Von Tokarski. Observation temps-réel de programmes Caml Micaela Mayero / Sylvain Conchon. JFLA (Journées Francophones des Langages Impératifs), Jan 2010, Vieux-Port La Ciotat, France. Hermann Informatique, pp.195-216, 2010, Studia Informatica Universalis; Actes des vingt-et-unièmes Journées Francophones des Langages Applicatifs
	inria-00535652v1 Communication dans un congrès Sylvain Conchon, Évelyne Contejean, Mohamed Iguernelala. Ground Associative and Commutative Completion Modulo Shostak Theories LPAR, Oct 2010, Yogyakarta, Indonesia. 2010
	hal-00915931v1 Pré-publication, Document de travail Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich. Adding Decision Procedures to SMT Solvers using Axioms with Triggers 2013
	hal-01088655v1 Communication dans un congrès Sylvain Conchon, Luc Maranget, Alain Mebsout, David Declerck. Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières JFLA, Jan 2014, Fréjus, France. 2014
	hal-00703207v1 Rapport Claire Dross, Sylvain Conchon, Andrei Paskevich. Reasoning with Triggers [Research Report] RR-7986, INRIA. 2012, pp.29
	inria-00202831v1 Communication dans un congrès Sylvain Conchon, Johannes Kanig, Stéphane Lescuyer. SAT-MICRO: petit mais costaud ! JFLA (Journées Francophones des Langages Applicatifs), Jan 2008, Etretat, France. pp.91-106, 2008
	hal-01522770v1 Pré-publication, Document de travail Sylvain Conchon, Mohamed Iguernlala, Kailiang Ji, Guillaume Melquiond, Clément Fumex. A Three-tier Strategy for Reasoning about Floating-Point Numbers in SMT 2017
	hal-01063853v1 Ouvrage (y compris édition critique et traduction) Sylvain Conchon, Jean-Christophe Filliâtre. Apprendre à programmer avec OCaml Eyrolles, pp.429, 2014, Noire, 9782212136784
	hal-00799272v1 Communication dans un congrès Sylvain Conchon, Amit Goel, Sava Krstić, Alain Mebsout, Fatiha Zaïdi. Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems CAV, Jul 2012, Berkeley, California, United States. pp.718-724, 2012
	hal-00687640v2 Communication dans un congrès François Bobot, Sylvain Conchon, Évelyne Contejean, Mohamed Iguernelala, Assia Mahboubi et al. A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic Bernhard Gramlich and Dale Miller and Uli Sattler. 6th International Joint Conference on Automated Reasoning, Jun 2012, Manchester, United Kingdom. Springer, 7364, pp.67-81, 2012, <10.1007/978-3-642-31365-3_8>
	hal-00880268v1 Ouvrage (y compris édition critique et traduction) Judicaël Courant, Marc De Falco, Stéphane Gonnord, Jean-Christophe Filliâtre, Sylvain Conchon et al. Informatique pour tous en classes préparatoires aux grandes écoles : Manuel d'algorithmique et programmation structurée avec Python Eyrolles, pp.408, 2013, 978-2-212-13700-2
	hal-00777663v1 Communication dans un congrès Sylvain Conchon, Évelyne Contejean, Mohamed Iguernelala. Canonized Rewriting and Ground AC Completion Modulo Shostak Theories TACAS - Tools and Algorithms for the Construction and Analysis of Systems, 2011, Saarbrücken, Germany. 2011
	hal-00778832v1 Communication dans un congrès Sylvain Conchon, Alain Mebsout, Fatiha Zaïdi. Vérification de systèmes paramétrés avec Cubicle Damien Pous and Christine Tasson. JFLA - Journées francophones des langages applicatifs - 2013, Feb 2013, Aussois, France. 2013
	hal-01093000v1 Communication dans un congrès Sylvain Conchon, Mohamed Iguernelala. Tuning the Alt-Ergo SMT Solver for B Proof Obligations ABZ, Jun 2014, Toulouse, France. 2014
	hal-00941407v1 Article dans une revue Sylvain Conchon, Jean-Christophe Filliâtre, Fabrice Le Fessant, Julien Robert, Guillaume Von Tokarski. Real-Time Monitoring of Ocaml programs Stud. Inform. Univ., 2011, 9 (1), pp.159-185
	hal-00798082v1 Article dans une revue Sylvain Conchon, Évelyne Contejean, Mohamed Iguernelala. Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (3:16), pp.1-29. <http://www.lmcs-online.org/ojs/viewarticle.php?id=1037&layout=abstract&iid=40>. <10.2168/LMCS-8(3:16)2012>
	hal-01221066v1 Article dans une revue Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich. Adding Decision Procedures to SMT Solvers using Axioms with Triggers Journal of Automated Reasoning, Springer Verlag, 2016, 56 (4), pp.387-457. <10.1007/s10817-015-9352-2>
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 19 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Discipline

Structure

Collection

Langue

Type de dépôt

Année

Contact