Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- F. Blanqui, Th. Hardin, P. Weis : “On the implementation of construction functions for non-free concrete data types”, 16th European Symposium on Programming - ESOP'07, vol. 4421, Lecture Notes in Computer Science, Braga, Portugal, pp. 95-109, (Springer) [Blanqui 2007]
- R. Bonichon, D. Delahaye, D. Doligez : “Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs”, LPAR 2007 - 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, vol. 4790, Lecture Notes in Computer Science, Yerevan, Armenia, pp. 151-165, (Springer) [Bonichon 2007]
- É. Jaeger, C. Dubois : “Why Would You Trust B?”, Logic for Programming, Artificial Intelligence, and Reasoning, vol. 4790/2007, Lecture Notes in Computer Science, Yerevan, Armenia, pp. 288-302, (Springer Berlin / Heidelberg) [Jaeger 2007]
- M. Jaume, Ch. Morisset : “Contrôler le contrôle d'accès : Approches formelles”, Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07),, Namur, Belgium, pp. 227-244 [Jaume 2007]
- A. Santana De Oliveira, Ch. Morisset : “Automated Detection of Information Leakage in Access Control”, Second International Workshop on Security and Rewriting Techniques - SecReT 2007, Paris, France [Santana De Oliveira 2007]