1. M. Ducassé, editor. Journal of Automated Software Engineering 9(1), special issue on automated debugging, janvier 2002. Kluwer. [bibtex-entry]

1. M. Ducassé. An extendable trace analyser to support automated debugging. PhD thesis, University of Rennes I, France, June 1992. Note: European Doctorate. [Abstract] [bibtex-entry]

1. Sébastien Ferré, Mehdi Kaytoue, Marianne Huchard, Sergei O. Kuznetsov, and Amedeo Napoli. A guided tour of artificial intelligence research, volume II, chapter Formal Concept Analysis: from knowledge discovery to knowledge processing (Chapter 13), pages 411-445. Springer, 2020. [WWW] Keyword(s): formal concept analysis, relational concept analysis, Graph-FCA. [Abstract] [bibtex-entry]



2. Benjamin Sigonneau and Olivier Ridoux. Indexation multiple et automatisée de composants logiciels. Technique et Science Informatiques, 2006. Note: À paraître. [PDF] [Abstract] [Annotation] [bibtex-entry]



3. M. Ducassé. Abstract views of Prolog executions with Opium. In P. Brna, B. du Boulay, and H. Pain, editors, Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study, Cognitive Science and Technology. Ablex, 1999. [WWW] Keyword(s): Software engineering, Programming environment, Automated debugging, Trace abstraction mechanisms, Debugging language, Program behavior understanding, Prolog Debugging tool. [Abstract] [bibtex-entry]



4. M. Ducassé. Opium: An extendable trace analyser for Prolog. The Journal of Logic programming, 1999. Note: Special issue on Synthesis, Transformation and Analysis of Logic Programs, A. Bossi and Y. Deville (eds), Also Rapport de recherche INRIA RR-3257 and Publication Interne IRISA PI-1127. [WWW] Keyword(s): Software Engineering, Automated Debugging, Trace Query Language, Program Execution Analysis, Abstract Views of Program Executions, Prolog. [Abstract] [bibtex-entry]



5. D. Le Métayer, V.-A. Nicolas, and O. Ridoux. Programs, Properties, and Data: Exploring the Software Development Trilogy. IEEE Software, 15(6):75-81, November/December 1998. [WWW] Keyword(s): Software engineering, testing, verification, program analysis, program learning. [Abstract] [bibtex-entry]

1. Aurélien Lamercerie. Formal analysis of natural language requirements for the design of cyber-physical systems. In Conférence TALN, 2018. [WWW] [PDF] Keyword(s): Grammatical Formalism, Semantic Representation, Categorial Grammar, Require-ments Engineering, Cyber-physical System, Modal Specification. [Abstract] [bibtex-entry]



2. Guillaume Aucher, Annie Foret, JeanBaptiste Lenhof, Olivier Ridoux, Francois Schwarzentruber, and al.. Principles for a judgement editor based on Multi-BDDs. In MIning and REasoning with Legal texts at ICAIL, London, 2017. [WWW] [Abstract] [bibtex-entry]



3. Peggy Cellier, Mireille Ducassé, Sébastien Ferré, and Olivier Ridoux. Multiple Fault Localization with Data Mining. In Int. Conf. on Software Engineering & Knowledge Engineering, pages 238-243, 2011. Knowledge Systems Institute Graduate School. Keyword(s): data mining, software engineering, debugging, association rules, formal concept analysis. [Abstract] [bibtex-entry]



4. Peggy Cellier, Sébastien Ferré, Mireille Ducassé, and Thierry Charnois. Partial orders and logical concept analysis to explore patterns extracted by data mining. In Int. Conf. on Conceptual Structures for Discovering Knowledge, pages 77-90, 2011. Springer. Keyword(s): data mining, partial order, selection of patterns, logical concept analysis, formal concept analysis. [Abstract] [bibtex-entry]



5. Denis Béchet and Annie Foret. (PPQ) : a pregroup parser using majority composition. In Proc. Parsing with Categorial Grammars, ESSLLI workshop, in Bordeaux, France, 2009. [PDF] Keyword(s): parser, pregroups, Lambek categorial grammars, parsing software, XML data. [Abstract] [bibtex-entry]



6. Peggy Cellier, Mireille Ducassé, Sébastien Ferré, and Olivier Ridoux. DeLLIS: A Data Mining Process for Fault Localization. In Int. Conf. Software Engineering (SEKE), pages 432-437, 2009. Knowledge Systems Institute Graduate School. Keyword(s): data mining, fault localization, software. [bibtex-entry]



7. Sébastien Ferré. Efficient Browsing and Update of Complex Data Based on the Decomposition of Contexts. In S. Rudolph, F. Dau, and S. O. Kuznetsov, editors, Int. Conf. Conceptual Structures, LNCS 5662, pages 159-172, 2009. Springer. Keyword(s): software component, logical concept analysis, browsing, update. [Abstract] [bibtex-entry]



8. Peggy Cellier, Mireille Ducassé, Sébastien Ferré, and Olivier Ridoux. Formal Concept analysis enhances Fault Localization in Software. In R. Medina and S. Obiedkov, editors, Int. Conf. Formal Concept Analysis, LNAI 4933, pages 273-288, 2008. Springer. [PDF] Keyword(s): fault localization, formal concept analysis. [Abstract] [bibtex-entry]



9. Benjamin Sigonneau and Olivier Ridoux. Software Engineering Applications of Logic File System -- Application to Automated Multi-Criteria Indexation of Software Components. In ICSE Work. Mining Software Repositories, 2006. [bibtex-entry]



10. T. Denmat, M. Ducassé, and O. Ridoux. Data mining and cross-checking of execution traces. A re-interpretation of Jones, Harrold and Stasko test information visualization. In T. Ellman and A. Zisman, editors, Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, November 2005. ACM Press. Note: See RR-5661 for a long version of this article. Keyword(s): Software Engineering, Debugging, Artificial Intelligence, Learning, Knowledge acquisition. [Abstract] [bibtex-entry]



11. T. Denmat, A. Gotlieb, and Mireille Ducassé. Proving or Disproving Likely Invariants with Constraint Reasoning. In A. Serebrenik, editor, Proceedings of the 15th Workshop on Logic-based Method for Programming Environments, Sitges, SPAIN, October 2005. Note: Satelite event of International Conference on Logic Programming (ICLP'2005). Published in Computer Research Repository cs.SE/0508108. [WWW] Keyword(s): Software Engineering, Testing and Debugging, Program verification, Constraint and logic languages. [Abstract] [bibtex-entry]



12. L. Langevine and M. Ducassé. A Tracer Driver for Hybrid Execution Analyses. In Proceedings of the 6th Automated Debugging Symposium, September 2005. ACM Press. Note: See RR-5611 for a longer version of this article. [WWW] Keyword(s): Software Engineering, Debugging, Monitors, Tracing, Programming Environments. [Abstract] [bibtex-entry]



13. L. Langevine and M. Ducassé. A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs. In A. Serebrenik, editor, Proceedings of the 15th Workshop on Logic-based Method for Programming Environments, Sitges, SPAIN, October 2005. Note: Satelite event of International Conference on Logic Programming (ICLP'2005). Published in Computer Research Repository cs.SE/0508105. [WWW] Keyword(s): Software Engineering, Debugging, Monitors, Tracing, Programming Environments. [Abstract] [bibtex-entry]



14. M. Ducassé. Coca: An automated Debugger for C. In Proceedings of the 21st International Conference on Software Engineering, pages 504-513, May 1999. ACM Press. [WWW] Keyword(s): Software engineering, Programming environment, Automated debugging, Trace query mechanism, Debugging language, Program behavior understanding, C Debugging tool.. [Abstract] [Annotation] [bibtex-entry]



15. D. Le Métayer, V.-A. Nicolas, and O. Ridoux. Verification by testing for recursive program schemes. In LOPSTR'99 (International Workshop on Logic Program Synthesis and Transformation), 1999. Springer-Verlag, LNCS. [WWW] Keyword(s): Software engineering, program verification, white-box testing, automated test data generation, program analysis, program schemes. [Abstract] [bibtex-entry]

1. Guillaume Aucher, Anthony Baire, Jean Berbinau, Annie Foret, Jean-Baptiste Lenhof, Marie-Laure Morin, Olivier Ridoux, and François Schwarzentruber. Principles for a Judgement Editor Based on BDD. Research Report, Université de Rennes 1, France, November 2018. Note: Report of a collaborative project between the Cour de cassation, the University of Rennes 1, the ENS Rennes, the INRIA and the University of Torino, from 2013 to 2015.[WWW] [PDF] Keyword(s): BDD, software assistant, Law, artificial intelligence. [bibtex-entry]



2. Sébastien Ferré and Olivier Ridoux. Logic Functors : a Framework for Developing Embeddable Customized Logics. Technical report RR-4457, Inria, Institut National de Recherche en Informatique et en Automatique, May 2002. [WWW] Keyword(s): applied logic, software component. [Abstract] [bibtex-entry]



3. M. Ducassé. Coca: A Debugger for C Based on Fine Grained Control Flow and Data Events. Technical report IRISA PI 1202 or INRIA RR-3489, INRIA, septembre 1998. [WWW] Keyword(s): Software engineering, Programming environment, Automated debugging, Trace query mechanism, Debugging language, Program behavior understanding, C Debugging tool. [Abstract] [bibtex-entry]

1. Sébastien Ferré and Alice Hermann. Sewelis: Exploring and Editing an RDF Base in an Expressive and Interactive Way. Note: Demo accepted at the Int. Semantic Web Conf. (ISWC), 2011. Keyword(s): demo. [Abstract] [bibtex-entry]

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html