APR - Veröffentlichungen in Papierform

Forschungsgruppen zur Zeit :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Ehemalige Forschungsgruppen :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Ehemalige Themen :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

Publikationen APR	2014	2015	2016	2017	2018	2019	Total
Bücher	0	0	0	0	0	0	0
Bucheditionen	0	0	1	0	0	0	1
Artikel in wissenschaftlichen Zeitschriften	3	11	9	5	3	3	34
Buchkapitel	1	0	0	0	0	0	1
Veröffentlichungen in Papierform	11	12	12	12	12	12	71
Habilitationen	0	0	0	1	0	0	1
Doktorarbeiten	1	0	1	1	2	7	12

LIP6

N. Basset, J. Mairesse, M. Soria : “Uniform sampling for networks of automata”, CONCUR 2017 28^th International Conference on Concurrency Theory, Berlin, Germany [Basset 2017]
O. Bodini, M. Dien, A. Genitrini, F. Peschanski : “Entropic Uniform Sampling of Linear Extensions in Series-Parallel Posets”, Computer Science Symposium in Russia, Kazan, Russia [Bodini 2017b]
O. Bodini, M. Dien, A. Genitrini, F. Peschanski : “The Ordered and Colored Products in Analytic Combinatorics: Application to the Quantitative Study of Synchronizations in Concurrent Processes”, 14^th Workshop on Analytic Algorithmics and Combinatorics (ANALCO17), Barcelone, Spain, pp. 16-30 [Bodini 2017c]
V. Botbol, E. Chailloux, T. Le Gall : “Static Analysis of Communicating Processes Using Symbolic Transducers”, International Conference on Verification, Model Checking, and Abstract Interpretation - VMCAI 2017, vol. 10145, Lecture Notes in Computer Science, Paris, France, (Springer International Publishing) [Botbol 2017]
M. Bourgoin, E. Chailloux, A. doumoulakis : “Profiling High Level Heterogeneous Programs”, Tenth International Workshop on Programmability and Architectures for Heterogeneous Multicores (MULTIPROG 2017), Stockholm, Sweden [Bourgoin 2017]
D. Kästner, A. Miné, A. SCHMIDT, H. Hille, L. Mauborgne, S. Wilhelm, X. Rival, J. Feret, P. Cousot, Ch. Ferdinand : “Finding All Potential Run-Time Errors and Data Races in Automotive Software”, WCX™ 2017 - SAE World Congress Experience, Detroit , USA, pp. 1-9, (SAE International) [Kästner 2017]
R. Monat, A. Miné : “Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions”, Verification, Model Checking, and Abstract Interpretation (VMCAI) 2017, vol. 10145, Lecture Notes in Computer Science, Paris, France, pp. 386-404, (Springer) [Monat 2017]
A. Ouadjaout, A. Miné : “Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains”, 24^th International Symposium on Static Analysis (SAS 2017), vol. 10422, Lecture Notes in Computer Science, New York, NY, USA, pp. 277-298, (Springer) [Ouadjaout 2017]
F. Peschanski : “A Lisp Way to Type Theory and Formal Proofs”, 10^th European Lisp Symposium (ELS 2017), Bruxelles, Belgium, (ACM) [Peschanski 2017]
B. Sall, F. Peschanski, E. Chailloux : “Analyse de Bytecode par Raffinement”, Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2017), Montpellier, France [Sall 2017]
S. Varoumas, B. Vaugon, E. Chailloux : “OCaLustre : une extension synchrone d'Ocaml pour la programmation de microcontrôleurs”, JFLA 2017 - Vingt-huitièmes Journées Francophones des Langages Applicatifs, Gourette, France [Varoumas 2017]
Gh. Ziat, M. Pelleau, Ch. Truchet, A. Miné : “Améliorer la propagation : l'Importance d'être Inconsistant”, Treizièmes journées Francophones de Programmation par Contraintes, Montreuil sur Mer, France [Ziat 2017]