Baudouin Le Charlier

  • 27 Citations
  • 1 h-Index
1974 …2002
If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 3 Similar Profiles
Audit Mathematics
Software architecture Engineering & Materials Science
Software Architecture Mathematics
Straight Mathematics
Express Mathematics
Query Mathematics
Language Mathematics

Projects 1995 2002

Research Output 1974 1998

  • 27 Citations
  • 1 h-Index
  • 3 Conference contribution
  • 2 Chapter

A Step towards a Methodology for Mercury Program Construction: A declarative Semantics for Mercury

Baldan, D., Le Charlier, B., Leclère, C. & Pollet, I., 1998, LOPSTR'98: Proc. International Workshop on Logic-Based program Synthesis and Transformation. Flener, P. (ed.). Springer Verlag, Vol. 1559. p. 21-40 20 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Unified Relational Framework for Programming Paradigm Combination..

Habra, N. & Le Charlier, B., 1997, Proceedings of the FroCos'96: First International Workshop Frontiers of Combining Systems. Dordrecht, Boston, London: Kluwer Academic Publishers, Vol. 3. p. 357-375 19 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Asax: Software architecture and rule-based language for universal audit trail analysis

Habra, N., Le Charlier, B., Mounji, A. & Mathieu, I., 1 Jan 1992, Computer Security - ESORICS 1992 - 2nd European Symposium on Research in Computer Security, Proceedings. Quisquater, J-J., Eizenberg, G. & Deswarte, Y. (eds.). Springer Verlag, p. 435-450 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 648 LNCS).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Audit
Software architecture
Software Architecture
Straight
Express

Modèles, Langages et Systèmes pour la conception et l'exploitation de bases de données

Le Charlier, B. & Hainaut, J-L., 1978, Actes du congrès AFCET 178. Editions Hommes et Techniques, p. 179-189 11 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

An Extensible Semantic Model of Data Base and its Data Language

Hainaut, J-L. & Le Charlier, B., 1974, Proc. of IFIP Congress 74. North-Holland, p. 1026-1030 5 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Thesis

Analyse de strictness des langages applicatifs par l'interprétation abstraite

Author: Pollet, I., 1997

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

Automated verification of Prolog programs: an implementation

Author: Gobert, F., 2003

Supervisor: Le Charlier, B. (Supervisor) & Leclère, C. (Co-Supervisor)

Student thesis: Master typesMaster in Computer science

Certification de Java Card (L'analyse statique de Java Card)

Author: Jabari, B., 2005

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

Définition d'un sous-ensemble du langage Prolog.: Proposition d'une méthode de démonstration de programmes applicable à ce sous-ensemble

Author: Derroitte, M., 1986

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

Définition et implémentation d'un langage déclaratif pour l'analyse d'audit trails

Author: Gérard, F., 1998

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science