Book sections

2019

auteur
Haniel Barbosa, Andrew Reynolds, Daniel El Ouraoui, Cesare Tinelli, Clark Barrett
titre
Extending SMT Solvers to Higher-Order Logic
article
Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, pp.35-54, 2019, ⟨10.1007/978-3-030-29436-6_3⟩
DOI
DOI : 10.1007/978-3-030-29436-6_3
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02300986/file/conf.pdf BibTex
auteur
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirović, Uwe Waldmann
titre
Superposition with Lambdas
article
Automated Deduction – CADE 27. CADE 2019, pp.55-73, 2019, ⟨10.1007/978-3-030-29436-6_4⟩
DOI
DOI : 10.1007/978-3-030-29436-6_4
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02296038/file/conf.pdf BibTex
auteur
Maria Paola Bonacina, Pascal Fontaine, Christophe Ringeissen, Cesare Tinelli
titre
Theory Combination: Beyond Equality Sharing
article
Carsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Yasmin Turhan; Frank Wolter. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, 11560, Springer, pp.57-89, 2019, Theoretical Computer Science and General Issues, 978-3-030-22101-0
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02194001/file/paper.pdf BibTex
auteur
Stephan Schulz, Simon Cruanes, Petar Vukmirovic
titre
Faster, Higher, Stronger: E 2.3
article
CADE 2019, 11716, pp.495-507, 2019, LNAI, ⟨10.1007/978-3-030-29436-6_29⟩
DOI
DOI : 10.1007/978-3-030-29436-6_29
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02296188/file/sde2_3.pdf BibTex

2018

auteur
Jean-Pierre Jacquot, Atif Mashkoor
titre
The Role of Validation in Refinement-Based Formal Software Development
article
Models: Concept, Theory, Logic, Reasoning, and Semantics, College Publications, 2018, 978-1-84890-276-3
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01788768/file/VF.pdf BibTex

2017

auteur
Simon Cruanes
titre
Superposition with Structural Induction
article
Clare Dixon; Marcelo Finger. Frontiers of Combining Systems, Springer, pp.172-188, 2017, 11th International Symposium on Frontiers of Combining Systems - FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, 978-3-319-66166-7. ⟨10.1007/978-3-319-66167-4_10⟩
DOI
DOI : 10.1007/978-3-319-66167-4_10
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02062459/file/frocos_17_paper.pdf BibTex

2016

auteur
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
titre
Incremental Proof-Based Development for Resilient Distributed Systems
article
Trustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering
Accès au bibtex
BibTex
auteur
Nazim Fatès
titre
Aesthetics and randomness in cellular automata
article
Andrew Adamatzky; Genaro J. Martínez. Designing Beauty: The Art of Cellular Automata, Springer, 2016, Emergence, Complexity and Computation, 978-3-319-27269-6. ⟨10.1007/978-3-319-27270-2_23⟩
DOI
DOI : 10.1007/978-3-319-27270-2_23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01256384/file/hal-FatesArt.pdf BibTex
auteur
Nazim Fatès
titre
Lettres à Turing : contribution de Nazim Fatès (lettre de Socrate à Turing)
article
Lettres à Turing, ed. Thierry Marchaisse, 2016, 978-2-36280-097-9. ⟨http://www.editions-marchaisse.fr⟩
Accès au bibtex
BibTex
auteur
Nicolas Gama, Malika Izabachène, Phong Nguyen, Xiang Xie
titre
Structural Lattice Reduction: Generalized Worst-Case to Average-Case Reductions and Homomorphic Cryptosystems
article
Advances in Cryptology – EUROCRYPT 2016, pp.528-558, 2016
Accès au bibtex
BibTex

2015

auteur
Carlos Areces, Pascal Fontaine, Stephan Merz
titre
Modal Satisfiability via SMT Solving
article
Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, 8950, Springer, pp.30-45, 2015, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-15545-6_5⟩
DOI
DOI : 10.1007/978-3-319-15545-6_5
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01127966/file/main.pdf BibTex
auteur
Fabrice Bouquet, Sébastien Chipeaux, Christophe Lang, Nicolas Marilleau, Jean-Marc Nicod, Patrick Taillandier
titre
Introduction à l'approche agent
article
Simulation spatiale à base d'agents avec NetLogo, partie 1, ISTE, pp.15--36, 2015
Accès au bibtex
BibTex
auteur
Fabrice Bouquet, David Sheeren, Nicolas Becu, Benoit Gaudou, Christophe Lang, Nicolas Marilleau, Claude Monteil
titre
Formalismes de description des modèles agent
article
Simulation spatiale ~A  base d'agents avec NetLogo, partie 1, ISTE, pp.37--72, 2015
Accès au bibtex
BibTex
auteur
Houari Mahfoud, Abdessamad Imine
titre
Efficient Querying of XML Data Through Arbitrary Security Views
article
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII, 9430, pp.75-114, 2015, Lecture Notes in Computer Science, 978-3-662-48566-8. ⟨10.1007/978-3-662-48567-5_3⟩
DOI
DOI : 10.1007/978-3-662-48567-5_3
Accès au bibtex
BibTex
auteur
Christoph Weidenbach
titre
Automated Reasoning Building Blocks
article
Roland Meyer and André Platzer and Heike Wehrheim. Correct System Design – Symposium in Honor of Ernst-Rüdiger Olderog, 9360, Springer, pp.172-188, 2015, ⟨10.1007/978-3-319-23506-6_12⟩
DOI
DOI : 10.1007/978-3-319-23506-6_12
Accès au bibtex
BibTex

2014

auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
titre
Supertagging with Constraints
article
Philippe Blache; Henning Christiansen; Verónica Dahl; Denys Duchier; Jørgen Villadsen. Constraint and Language, Cambridge Scholar Publishing, pp.253-297, 2014
Accès au bibtex
BibTex
auteur
Fabrice Bouquet, Fabien Peureux, Fabrice Ambert
titre
Model-Based Testing for Functional and Security Test Generation
article
Alessandro Aldini; Javier Lopez; Fabio Martinelli. Foundations of Security Analysis and Design VII, 8604, Springer International Publishing, pp.33, 2014, LNCS, 978-3-319-10081-4. ⟨10.1007/978-3-319-10082-1_1⟩
DOI
DOI : 10.1007/978-3-319-10082-1_1
Accès au bibtex
BibTex
auteur
Xavier Leroy, Andrew W. Appel, Sandrine Blazy, Gordon Stewart
titre
The CompCert memory model
article
Appel, Andrew W. Program Logics for Certified Compilers, Cambridge University Press, pp.237-271, 2014, 9781107048010
Accès au bibtex
BibTex
auteur
Jose Antonio Martin, Fabio Martinelli, Ilaria Matteucci, Ernesto Pimentel, Mathieu Turuani
titre
On the Synthesis of Secure Services Composition
article
Maritta Heisel; Wouter Joosen; Javier Lopez; Fabio Martinelli. Engineering Secure Future Internet Services and Systems, LNCS 8431 (8431), Springer, pp.392, 2014, Lecture Notes in Computer Science, 978-3-319-07451-1. ⟨http://dx.doi.org/10.1007/978-3-319-07452-8_6⟩
Accès au bibtex
BibTex
auteur
Didier Rémy, Julien Cretin
titre
From Amber to Coercion Constraints
article
Martin Abadi; Philippa Gardner; Andrew D. Gordon; Radu Mardare. Essays for the Luca Cardelli Fest, Microsoft Research, 2014, TechReport, ⟨http://research.microsoft.com/pubs/226237/Luca-Cardelli-Fest-MSR-TR-2014-104.pdf⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01093216/file/DidierRemyCoercions.pdf BibTex
auteur
Neeraj Kumar Singh, Dominique Méry
titre
Event B (english version)
article
Jean-Louis Boulanger. Formal Methods Applied to Complex Systems, Wiley, 2014, Formal Methods Applied to Complex Systems, 9781119002727. ⟨10.1002/9781119002727.ch10⟩
DOI
DOI : 10.1002/9781119002727.ch10
Accès au bibtex
BibTex

2013

auteur
Nabil Layaïda, Cécile Roisin
titre
Le temps dans les documents -- Langage SMIL
article
Les Techniques de l'Ingénieur. Représentation et traitement des documents numériques, H7228, Les Techniques de l'Ingénieur, 2013, TIB312DUO
Accès au bibtex
BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Event B
article
Jean-Louis Boulanger. Mise en oeuvre de la méthode B, HERMES, 2013, Informatique et Systèmes d'Informations, ISBN : 978-2-7462-3810-7
Accès au bibtex
BibTex

2012

auteur
Didier Fass
titre
Augmented Human Engineering: A Theoretical and Experimental Approach to Human Systems Integration
article
Boris Cogan. Systems Engineering - Practice and Theory, InTech Open Access Publisher, pp.257-276, 2012, Computer and Information Science - "Numerical Analysis and Scientific Computing", 978-953-51-0322-6. ⟨10.5772/2121⟩
DOI
DOI : 10.5772/2121
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00744225/file/InTech-Augmented_human_engineering_a_theoretical_and_experimental_approach_to_human_systems_integration.pdf BibTex
auteur
Didier Fass, Francis Janot
titre
Le corps d'une " prophétesse " ?
article
FLORENCE CALAMENT - RICARDO EICHMANN - CHRISTOPHE VENDRIES. Le luth dans l'Égypte byzantine. La tombe de la " Prophétesse d'Antinoé " au Musée de Grenoble, Verlag Marie Leidorf GmbH * Rahden/Westf., pp.190, 2012, DEUTSCHES ARCHÄOLOGISCHES INSTITUT ORIENT-ABTEILUNG Orient-Archäologie Band 26, ISBN 978-3-86757-656-3
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00744977/file/grenoblefin.pdf BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Medical Protocol Diagnosis Using Formal Methods
article
Liu; Zhiming and Wassyng; Alan. Foundations of Health Informatics Engineering and Systems, 7151, Springer Berlin Heidelberg, pp.1-20, 2012, Lecture Notes in Computer Science, 978-3-642-32354-6. ⟨10.1007/978-3-642-32355-3_1⟩
DOI
DOI : 10.1007/978-3-642-32355-3_1
Accès au bibtex
BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata
article
Liu; Zhiming and Wassyng; Alan. Foundations of Health Informatics Engineering and Systems}, 7151, Springer Berlin Heidelberg, pp.140-159, 2012, Lecture Notes in Computer Science, 978-3-642-32354-6. ⟨10.1007/978-3-642-32355-3_9⟩
DOI
DOI : 10.1007/978-3-642-32355-3_9
Accès au bibtex
BibTex

2011

auteur
Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet
titre
Test Generation using Symbolic Animation of Models
article
Zander, Justyna and Schieferdecker, Ina and Mosterman, Pieter J. Model-Based Testing for Embedded Systems, CRC Press, 2011, Series on Computational Analysis, Synthesis, Design of Dynamic Systems, 978-1-4398184-5-9
Accès au bibtex
BibTex
auteur
Dominique Méry, Didier Fass
titre
Top modèle et Top simulation : la momie de Lunéville Observation, Modélisation, Simulation et Validation
article
Francis JANOT. La Dame d'Antinoé : une "momie" au Château de Lunéville, Presse universitaire de Nancy, pp.132, 2011, Archéologie, Espaces, Patrimoines, 978-2-8143-0088-0
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00744242/file/papier-fassmery.pdf BibTex

2010

auteur
Guillaume Bonfante, Florian Deloup
titre
Complexity invariance of real interpretations
article
Theory and applications of models of computation, Springer, p. 139-150, 2010, Lecture Notes in Computer Science, vol. 6108, ⟨10.1007/978-3-642-13562-0_14⟩
DOI
DOI : 10.1007/978-3-642-13562-0_14
Accès au bibtex
BibTex
auteur
Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, Sophie Tison
titre
Décidabilité et Complexité
article
Pierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00549416/file/Chapitre_DecidabiliteComplexite.pdf BibTex
auteur
Didier Galmiche, Dominique Larchey-Wendling, Joseph Vidal-Rosset
titre
Some Remarks on Relations between Proofs and Games
article
Pierre Edouard Bour, Manuel Rebuschi, Laurent Rollet,. Construction - Festschrift for Gerhard Heinzmann, College Publications, 2010, 978-1-84890-016-5. ⟨http://www.collegepublications.co.uk/tributes/?00014⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00580302/file/galmiche_larchey_vidalrosset.pdf BibTex
auteur
Xavier Leroy
titre
Mechanized semantics
article
J. Esparza and B. Spanfelner and O. Grumberg. Logics and languages for reliability and security, 25, IOS Press, pp.195-224, 2010, NATO Science for Peace and Security Series D: Information and Communication Security, ⟨10.3233/978-1-60750-100-8-195⟩
DOI
DOI : 10.3233/978-1-60750-100-8-195
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00529848/file/notes.pdf BibTex
auteur
Arnaud Spiwack, Thierry Coquand
titre
Constructively Finite?
article
Lambán Pardo, Laureano and Romero Ibáñez, Ana and Rubio García, Julio. Contribuciones científicas en honor de Mirian Andrés Gómez, Universidad de La Rioja, pp.217-230, 2010, 978-84-96487-50-5
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00503917/file/Coquand_Spiwack_-_2010_-_Constructively_Finite.pdf BibTex
auteur
Kyla Zimmermann, Jean Paries, René Amalberti, Daniel Hummerdal H.
titre
Is the aviation industry ready for resilience? Mapping human factors assumptions across the aviation sector
article
Edited by Erik Hollnagel, MINES ParisTech, France, Jean Pariès, Dédale SA, France, David Woods, Ohio State University, USA and John Wreathall, John Wreathall & Co., USA. Resilience engineering in practice: A Guidebook, Ashgate Publishing, pp.257-274, 2010
Accès au bibtex
BibTex

2009

auteur
Charu Arora, Mathieu Turuani
titre
Validating Integrity for the Ephemerizer's Protocol with CL-Atse
article
Véronique Cortier and Claude Kirchner and Mitsuhiro Okada and Hideki Sakurada. Formal to Practical Security : Papers Issued from the 2005-2008 French-Japanese Collaboration, 5458, Springer Berlin Heidelberg, pp.21-32, 2009, Lecture Notes in Computer Science, 978-3-642-02002-5. ⟨10.1007/978-3-642-02002-5_2⟩
DOI
DOI : 10.1007/978-3-642-02002-5_2
Accès au bibtex
BibTex

2008

auteur
Dominique Cansell, Dominique Méry
titre
The Event-B Modelling Method - Concepts and Case Studies
article
Dines Bjoerner and Martin Henson. Logics of Specification Languages, Springer, pp.33-140, 2008, Monographs in Theoretical Computer Science
Accès au bibtex
BibTex
auteur
Claude Kirchner, Florent Kirchner, Helene Kirchner
titre
Strategic Computation and Deduction
article
Christoph Benzmüller and Chad E. Brown and Jörg Siekmann and Richard Statman. Reasoning in Simple Type Theory. Festchrift in Honour of Peter B. Andrews on His 70th Birthday, 17, College Publications, pp.339-364, 2008, Studies in Logic and the Foundations of Mathematics, 978-1-904987-70-3
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00433745/file/strategic-3K.pdf BibTex
auteur
Stephan Merz
titre
The Specification Language TLA+
article
Dines Bjørner and Martin Henson. Logics of specification languages, Springer, pp.401-452, 2008, Monographs in Theoretical Computer Science, 978-3-540-74106-0
Accès au bibtex
BibTex
auteur
Stephan Merz
titre
An introduction to model checking
article
Stephan Merz and Nicolas Navet. Modeling and Verification of Real-Time Systems - Formalisms and Software Tools, ISTE Publishing, pp.81-116, 2008, 9781847040244
Accès au bibtex
BibTex

2007

auteur
Dominique Cansell, Dominique Méry
titre
Designing old and new distributed algorithms by replaying an incremental proof-based development
article
Jean-Raymond Abrial and Uwe Glässer. Festschrift for Egon Börger, Springer-Verlag, 2007, LNCS
Accès au bibtex
BibTex
auteur
Michael Leuschel, Dominique Cansell, Michael Butler
titre
Validating and Animating Higher-Order Recursive Functions in B
article
Jean-Raymond Abrial and Uwe Glässer. Festschrift for Egon Börger, Springer-Verlag, 2007, LNCS
Accès au bibtex
BibTex
auteur
Laurent Vigneron, Najah Chridi
titre
Strategy for Flaws Detection based on a Services-driven Model for Group Protocols
article
Frédéric Benhamou and Narendra Jussien and Barry O\'Sullivan. Future and Trends in Constraint Programming, ISTE, pp.361-370, 2007, 1905209975
Accès au bibtex
BibTex

2006

auteur
Dominique Cansell
titre
B Method
article
Freek Wiedijk. The Seventeen Provers of the World, 3600 (3600), Springer Berlin / Heidelberg, pp.142-150, 2006, LNAI, 978-3-540-30704-4. ⟨10.1007/11542384_18⟩
DOI
DOI : 10.1007/11542384_18
Accès au bibtex
BibTex
auteur
Dominique Cansell, Dominique Méry
titre
Event B
article
Henri Habrias and Marc Frappier. Software Specification Methods, HERMES, 2006, 1-905209-34-7
Accès au bibtex
BibTex
auteur
Véronique Cortier
titre
Sécuriser les réseaux, les protocoles cryptographiques
article
Presses Universitaires de France. Sur les chemins de la découverte, Presses Universitaires de France, 2006
Accès au bibtex
BibTex
auteur
Stephan Merz
titre
Model checking : éléments de base
article
Nicolas Navet. Systèmes Temps Réel - techniques de description et de vérification, Hermes-Science Lavoisier, pp.89-120, 2006, 2-7462-1303-6
Accès au bibtex
BibTex

2004

auteur
Dominique Cansell, Stefan Hallerstede, Ian Oliver
titre
UML-B specification and hardware implementation of a Hamming coder/decoder
article
Jean Mermet. UML-B - Specification for Proven Embedded Systems Design, Kluwer Academic Publishers, 2004
Accès au bibtex
BibTex
auteur
Yann Zimmermann, Stefan Hallerstede, Dominique Cansell
titre
Formal modelling of electronic circuits using event-B, Case Study: SAE J1708 Serial Communication Link
article
Jean Mermet. UML-B - Specification for Proven Embedded Systems Design, Kluwer Academic Publishers, 2004
Accès au bibtex
BibTex

2002

auteur
Jean-Pierre Jacquot
titre
Which use for Java in introductory courses?
article
J. Power and J. Waldron. Recent Advances in Java Technology, Computer Science Press, Trinity College, Dublin, pp.175-181, 2002
Accès au bibtex
BibTex

2000

auteur
Didier Galmiche, Vincent Balat
titre
Labelled Proof Systems for Intuitionistic Provability
article
D. Basin, M. D'Agostino, D.M. Gabbay, S. Matthews, L. Vigano. Labelled Deduction, 17 (17), Kluwer Academic Publishers, 31 p, 2000, Applied Logic Series, 0-7923-6237-3
Accès au bibtex
BibTex
auteur
Maritta Heisel, Jeanine Souquières
titre
A Heuristic Algorithm to Detect Feature Interactions in Requirements
article
Stephen Gilmore, Mark Ryan. Language Constructs for Describing Features : Proceedings of the FIREworks workshop, Springer, pp.143-162, 2000, 978-1852333928
Accès au bibtex
BibTex
auteur
Loutfi Soufi
titre
Languages and Problem Specification
article
Carlos Martin-Vide. Words, Sequences, Languages : Where Computer Science, Biology and Linguistics Meet, Kluwer Publishing House, 8 p, 2000
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107844/file/A00-R-016.pdf BibTex

Directions of work or proceedings

2019

auteur
Pascal Fontaine
titre
Automated Deduction – CADE-27
article
CADE 27 - 27th International Conference on Automated Deduction, Aug 2019, Natal, Brazil. 11716, Springer, 2019, Lecture Notes in Artificial Intelligence, ⟨https://www.mat.ufrn.br/cade-27⟩
Accès au bibtex
BibTex

2018

auteur
El Hassan Abdelwahed, Ladjel Bellatreche, Matteo Golfarelli, Dominique Méry, Carlos Ordonez
titre
Model and Data Engineering
article
MEDI 2018 - International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakech, Morocco. 11163, Springer, 2018, Lecture Notes in Computer Science, 978-3-030-00855-0. ⟨https://doi.org/10.1007/978-3-030-00856-7⟩
Accès au bibtex
BibTex
auteur
El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Méry, Kazumi Nakamatsu, Carlos Ordonez
titre
New Trends in Model and Data Engineering
article
MEDI 2018 - International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. Communications in Computer and Information Science (929), Springer, 2018, 978-3-030-02851-0. ⟨10.1007/978-3-030-02852-7⟩
DOI
DOI : 10.1007/978-3-030-02852-7
Accès au bibtex
BibTex
auteur
Régine Laleau, Dominique Méry, Shin Nakajima, Elena Troubitsyna
titre
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)
article
Electronic Proceedings in Theoretical Computer Science, 271, 2018, ⟨10.4204/EPTCS.271⟩
DOI
DOI : 10.4204/EPTCS.271
Accès au bibtex
https://arxiv.org/pdf/1805.04636 BibTex

2017

auteur
Catherine Dubois, Paolo Masci, Dominique Méry
titre
Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016
article
Nov 2016, Cyprus. Electronic Proceedings in Theoretical Computer Science, 240, 2017, ⟨10.4204/EPTCS.240⟩
DOI
DOI : 10.4204/EPTCS.240
Accès au bibtex
BibTex
auteur
Didier Fass, Franck Gechter
titre
Virtual Environments Integrative Design – From Human-in-the-Loop to Bio-Cyber-Physical Systems
article
France. Springer International Publishing, 2017
Accès au bibtex
BibTex

2016

auteur
Jasmin Christian Blanchette, Stephan Merz
titre
Interactive Theorem Proving
article
Nancy, France. 9807, Springer, 2016, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-43144-4⟩
DOI
DOI : 10.1007/978-3-319-43144-4
Accès au bibtex
BibTex

2015

auteur
Jasmin Christian Blanchette, Nikolai Kosmatov
titre
Tests and Proofs
article
Jasmin Christian Blanchette; Nikolai Kosmatov. Tests and Proofs, Jul 2015, L’Aquila, Italy. 9154, Springer Verlag, 2015, 9783319212142. ⟨10.1007/978-3-319-21215-9⟩
DOI
DOI : 10.1007/978-3-319-21215-9
Accès au bibtex
BibTex
auteur
Frédéric Dadeau, Pascale Le Gall
titre
Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels
article
Dadeau, Frédéric; Le Gall, Pascale. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. pp.88, 2015, ⟨http://events.femto-st.fr/afadl-2015⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01155626/file/afadl2015.pdf BibTex
auteur
Catherine Dubois, Paolo Masci, Dominique Méry
titre
Second International Workshop on Formal Integrated Development Environment
article
Jun 2015, France. EPTCS, 2015, EPTCS ⟨10.4204/EPTCS.187⟩
DOI
DOI : 10.4204/EPTCS.187
Accès au bibtex
BibTex
auteur
Pascal Fontaine, Thomas Sturm, Uwe Waldmann
titre
Foreword to the Special Focus on Constraints and Combinations
article
Dongming Wang. Switzerland. 9 (3), Springer, 2015, Mathematics in Computer Science, ⟨10.1007/s11786-015-0239-8⟩
DOI
DOI : 10.1007/s11786-015-0239-8
Accès au bibtex
BibTex
auteur
Xavier Leroy, Alwen Tiu
titre
CPP '15: Proceedings of the 2015 Conference on Certified Programs and Proofs
article
Conference on Certified Programs and Proofs, Jan 2015, Mumbai, India. ACM, pp.184, 2015, 978-1-4503-3296-5. ⟨http://dl.acm.org/citation.cfm?id=2676724⟩
Accès au bibtex
BibTex

2014

auteur
Martin Abadi, Steve Kremer
titre
Principles of Security and Trust
article
Martín Abadi and Steve Kremer. 3rd International Conference on Principles of Security and Trust (POST'14), France. 8414, Springer, 2014, Lecture Notes in Computer Science, 978-3-642-54791-1. ⟨10.1007/978-3-642-54792-8⟩
DOI
DOI : 10.1007/978-3-642-54792-8
Accès au bibtex
BibTex
auteur
Gabriel Ciobanu, Dominique Méry
titre
Theoretical Aspects of Computing – ICTAC 2014
article
Gabriel Ciobanu; Dominique Méry. Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, Sep 2014, Bucharest, Romania. 8687, Springer, 2014, Lecture Notes in Computer Science, ⟨10.1007%2F978-3-319-10882-7⟩
DOI
DOI : 10.1007%2F978-3-319-10882-7
Accès au bibtex
BibTex
auteur
Stéphane Demri, Deepak Kapur, Christoph Weidenbach
titre
Automated Reasoning – Seventh International Joint Conference (IJCAR 2014)
article
Stéphane Demri; Deepak Kapur; Christoph Weidenbach. 7th International Joint Conference - IJCAR 2014, Jun 2014, Vienna, Austria. 8562, Springer, 2014, LNCS - Lecture Notes in Computer Science, 978-3-319-08586-9. ⟨10.1007/978-3-319-08587-6⟩. ⟨http://link.springer.com/book/10.1007%2F978-3-319-08587-6⟩
DOI
DOI : 10.1007/978-3-319-08587-6
Accès au bibtex
BibTex
auteur
Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry
titre
Proceedings 1st Workshop on Formal Integrated Development Environment
article
Catherine Dubois; Dimitra Giannakopoulou; Dominique Méry. France. 149, EPTCS, pp.105, 2014, Electronic Proceedings in Theoretical Computer Science, ⟨10.4204/EPTCS.149⟩
DOI
DOI : 10.4204/EPTCS.149
Accès au bibtex
BibTex
auteur
Didier Galmiche, Stéphane Graham-Lengrand
titre
Special issue on computational logic in honour of Roy Dyckhoff. Journal of Logic and Computation.
article
United Kingdom. Oxford University Press, 2014, ⟨http://dx.doi.org/10.1093/logcom/exu039⟩
Accès au bibtex
BibTex
auteur
Gerald Lüttgen, Stephan Merz
titre
Science of Computer Programming Special Issue: Automated Verification of Critical Systems
article
Netherlands. 96 (3), Elsevier, 2014, Science of Computer Programming
Accès au bibtex
BibTex
auteur
Stephan Merz, Jun Pang
titre
Formal Methods and Software Engineering – 16th International Conference on Formal Engineering Methods (ICFEM 2014)
article
Stephan Merz; Jun Pang. 16th International Conference on Formal Engineering Methods - ICFEM 2014, Nov 2014, Luxembourg, Luxembourg. 8829, Springer, pp.460, 2014, LNCS - Lecture Notes in Computer Science, 978-3-319-11737-9. ⟨10.1007/978-3-319-11737-9⟩
DOI
DOI : 10.1007/978-3-319-11737-9
Accès au bibtex
BibTex

2013

auteur
Bernadette Charron-Bost, Stephan Merz, Andrey Rybalchenko, Josef Widder
titre
Formal Verification of Distributed Algorithms
article
Bernadette Charron-Bost and Stephan Merz and Andrey Rybalchenko and Josef Widder. 3, Dagstuhl, pp.16, 2013, Dagstuhl Reports, ⟨10.4230/DagRep.3.4.1⟩
DOI
DOI : 10.4230/DagRep.3.4.1
Accès au bibtex
BibTex
auteur
Pascal Fontaine, Christophe Ringeissen, Renate Schmidt
titre
Frontiers of Combining Systems
article
Pascal Fontaine and Christophe Ringeissen and Renate Schmidt. 8152, Springer, pp.359, 2013, Lecture Notes in Artificial Intelligence, 978-3-642-40884-7
Accès au bibtex
BibTex
auteur
Didier Galmiche, Dominique Larchey-Wendling
titre
22nd Int. Conference on Automated Reasoning with Analytic Tableaux and Related Methods
article
Didier Galmiche and Dominique Larchey-Wendling Nancy, France. 2013, Lecture Notes in Artificial Intelligence 8123
Accès au bibtex
BibTex

2012

auteur
Jack Copeland, Didier Galmiche, Dominique Larchey-Wendling, Joseph Vidal-Rosset
titre
Alan Turing
article
Jack Copeland; Didier Galmiche; Dominique Larchey-Wendling; Joseph Vidal-Rosset. France. 2012, 9782841746033 ⟨http://www.cairn.info/revue-philosophia-scientiae-2012-3.htm⟩
Accès au bibtex
BibTex

2011

auteur
Konstantinos Chatzikokolakis, Véronique Cortier
titre
Proceedings of the 8th International Workshop on Security Issues in Concurrency
article
Konstantinos Chatzikokolakis and Véronique Cortier. 51, Electronic Proceedings in Theoretical Computer Science, pp.51, 2011, Electronic Proceedings in Theoretical Computer Science, ⟨10.4204/EPTCS.51⟩
DOI
DOI : 10.4204/EPTCS.51
Accès au bibtex
BibTex

2010

auteur
Claus Brabrand, Pierre-Etienne Moreau
titre
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications - LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS
article
Claus Braband and Pierre-Etienne Moreau. France. ACM, 2010, 978-1-4503-0063-6
Accès au bibtex
BibTex
auteur
Dominique Méry, Stephan Merz
titre
Integrated Formal Methods
article
Dominique Méry and Stephan Merz. 6396, Springer, pp.335, 2010, Lecture Notes in Computer Science, 978-3-642-16264-0. ⟨10.1007/978-3-642-16265-7⟩
DOI
DOI : 10.1007/978-3-642-16265-7
Accès au bibtex
BibTex

2008

auteur
Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow
titre
Journal of Automated Reasoning Special Issue: Formal Modeling and Verification of Critical Systems
article
Tobias Nipkow. 41, Springer, pp.209, 2008, Journal of Automated Reasoning
Accès au bibtex
BibTex
auteur
Sandrine Blazy
titre
Actes de la conférence JFLA2008 (Journées Francophones des Langages Applicatifs)
article
INRIA. INRIA, pp.173, 2008, 2-7261-1295-1
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00202715/file/actes_avec_couverture.pdf BibTex
auteur
Stephan Merz, Nicolas Navet
titre
Modeling and Verification of Real-Time Systems - Formalisms and Software Tools
article
Stephan Merz and Nicolas Navet. ISTE Publishing, pp.400, 2008, 9781847040244
Accès au bibtex
BibTex

2007

auteur
Stephan Merz, Tobias Nipkow
titre
Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006)
article
Michael Mislove. 185, Elsevier, pp.151, 2007, Electronic Notes in Theoretical Computer Science
Accès au bibtex
BibTex
auteur
Jeanine Souquières
titre
Approches formelles pour le développement de logiciels
article
Lavoisier (Hermes), pp.128, 2007
Accès au bibtex
BibTex

2006

auteur
Siva Anantharaman, Gaétan Hains, Michael Rusinowitch, Paul Gastin, John Mullins
titre
Journal of Automata, Languages and Combinatorics, Vol. 11(1)
article
Otto-von-Guericke-Universität, D-39016 Magdeburg, pp.142, 2006
Accès au bibtex
BibTex
auteur
Jacques Julliand, Jeanine Souquières
titre
Approches formelles pour le développement de logiciels
article
Lavoisier (Hermes), pp.142, 2006
Accès au bibtex
BibTex

2005

auteur
Laurent Vigneron
titre
Proceedings of the 19th International Workshop on Unification
article
A05-R-022 (A05-R-022), LORIA, pp.143, 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000409/file/UNIF05.pdf BibTex

2004

auteur
Deepak Kapur, Laurent Vigneron
titre
Special issue on First-Order Theorem Proving of the Journal of Automated Reasoning
article
Deepak Kapur and Laurent Vigneron. 33 / n°3-4, Kluwer, pp.219-383, 2004
Accès au bibtex
BibTex

2003

auteur
Ingo Dahn, Laurent Vigneron
titre
4th International Workshop on First-Order Theorem Proving- FTP'2003
article
1 (1), Elsevier Science Publishers, 2003, Electronic Notes in Theoretical Computer Science
Accès au bibtex
BibTex

2000

auteur
Didier Galmiche, David Pym
titre
Theoretical Computer Science - Special issue on Proof search in Type-theoretic Languages
article
Didier Galmiche David Pym. vol. 232, n° 1-2 (vol. 232, n° 1-2), Elsevier, 333 p, 2000, Theoretical Computer Science
Accès au bibtex
BibTex

1999

auteur
Didier Galmiche, Jean-Paul Bahsoun, José Luiz Fiadeiro
titre
Special Issue on Proof Theory of Concurrent Object-Oriented Programming
article
Cambridge University Press, 1999, Mathematical Structures in Computer Science
Accès au bibtex
BibTex

Books

2019

auteur
Steve Kremer, Ludovic Mé, Didier Rémy, Vincent Roca
titre
Cybersecurity
article
Inria, pp.172, 2019, Inria white book
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01993308/file/Livre%20blanc%20Cybers%C3%A9curit%C3%A9%20Inria.pdf BibTex

2018

auteur
Angela Bonifati, George Fletcher, Hannes Voigt, Nikolay Yakovets
titre
Querying Graphs
article
Morgan & Claypool Publishers, 10 (3), pp.1-184, 2018, Synthesis Lectures on Data Management, ⟨10.2200/S00873ED1V01Y201808DTM051⟩
DOI
DOI : 10.2200/S00873ED1V01Y201808DTM051
Accès au bibtex
BibTex

2015

auteur
Didier Galmiche, David Pym
titre
Special Issue on Logics for Resources, Processes, and Programs of Journal of Logic and Computation
article
Oxford University Press (OUP), 2015
Accès au bibtex
BibTex

2014

auteur
Didier Galmiche, Stéphane Graham-Lengrand
titre
Special Issue on Computational Logic ( in honor to Roy Dyckhoff) of Journal of Logic and Computation
article
Oxford University Press (OUP), 2014
Accès au bibtex
BibTex

2012

auteur
Jack Copeland, Didier Galmiche, Dominique Larchey-Wendling, Joseph Vidal-Rosset
titre
Special issue of Philosophia Scientiae - Alan Turing
article
16 (3), 2012
Accès au bibtex
BibTex
auteur
Dimitra Giannakopoulou, Dominique Méry
titre
FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
article
Dimitra Giannakopoulou and Dominique Méry. Springer, 7436, pp.488, 2012, LNCS - Lecture Notes in Computer Science, 978-3-642-32758-2. ⟨10.1007/978-3-642-32759-9⟩
DOI
DOI : 10.1007/978-3-642-32759-9
Accès au bibtex
BibTex

2011

auteur
Fabrice Bouquet, Bruno Legeard, Natacha Pickaert
titre
Industrialiser le test fonctionnel Pour maîtriser les risques métier et accroître l'efficacité du test
article
DUNOD, pp.304, 2011, 9782100566563
Accès au bibtex
BibTex
auteur
Véronique Cortier, Steve Kremer
titre
Formal Models and Techniques for Analyzing Security Protocols
article
Cortier, Véronique and Kremer, Steve. IOS Press, 5, pp.312, 2011, Cryptology and Information Security Series, 978-1-60750-713-0
Accès au bibtex
BibTex

2010

auteur
Erik Hollnagel, Jean Paries, D. Woods David, John Wreathall
titre
Resilience engineering in practice: A Guidebook
article
Ashgate Publishing, 362 p. - ISBN 978-1-4094-1035-5, 2010, Ashgate Studies in Resilience Engineering
Accès au bibtex
BibTex

2009

auteur
Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada
titre
Formal to practical Security
article
Springer, 5458, pp.200, 2009, Lecture Notes in Computer Science, 978-3-642-02001-8
Accès au bibtex
BibTex
auteur
Bruno Legeard, Fabrice Bouquet, Pickaert Natacha
titre
Industrialiser le test fonctionnel
article
Dunod, pp.266, 2009, Management des systèmes d'information, 978-2100515332
Accès au bibtex
BibTex

2008

auteur
Fred Kröger, Stephan Merz
titre
Temporal Logic and State Systems
article
Springer, pp.436, 2008, Texts in Theoretical Computer Science. An EATCS Series, 978-3-540-67401-6
Accès au bibtex
BibTex

2007

auteur
Michel Goossens, Frank Mittelbach, Sebastian Rahtz, Denis Roegel, Herbert Voss
titre
The LaTeX Graphics Companion, Second Edition - Tools and Techniques for Computer Typesetting
article
Addison-Wesley, pp.976, 2007, ISBN-10: 0321508920 / ISBN-13: 978-0321508928
Accès au bibtex
BibTex

1998

auteur
Didier Galmiche, David Pym
titre
Special Issue of Theoretical Computer Science (TCS) Proof-search in Type-theoretic Languages
article
Elsevier, 350 p, 1998
Accès au bibtex
BibTex