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	2015	2016	2017	2018	2019	2020	Total
Bücher	0	0	0	0	0	0	0
Bucheditionen	0	1	0	0	0	0	1
Artikel in wissenschaftlichen Zeitschriften	11	10	5	5	8	4	43
Buchkapitel	0	0	0	0	0	0	0
Veröffentlichungen in Papierform	13	12	13	14	16	6	74
Habilitationen	0	0	1	0	0	0	1
Doktorarbeiten	0	1	1	2	3	0	7

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, Russian Federation [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”, 2017 Proceedings of the Fourteenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO), 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”, SAE Technical Paper, Detroit, United States, pp. 1-9, (SAE International) [Kästner 2017]
A. Miné : “Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities”, 6^th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2016), vol. 331, Electronic Notes in Theoretical Computer Science, Edimbourg, United Kingdom, pp. 3-39, (Elsevier) [Miné 2017a]
R. Monat, A. Miné : “Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions”, Verification, Model Checking, and Abstract Interpretation, 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”, Static Analysis 24^th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings, vol. 10422, Lecture Notes in Computer Science, New York, NY, United States, 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]