Skip to Main content Skip to Navigation

hal-02355602v2  Conference papers
Benedikt BeckerNicolas JeannerodClaude MarchéYann Régis-GianasMihaela Sighireanu et al.  Analysing installation scenarios of Debian packages
TACAS 2020 - 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2020, The conference took place on-line, because it couldn't be held in Dublin, Ireland. pp.235-253, ⟨10.1007/978-3-030-45237-7_14⟩
hal-03094566v1  Conference papers
Georges-Axel JaloyanClaire DrossMaroua MaalejYannick MoyAndrei Paskevich. Verification of Programs with Pointers in SPARK
ICFEM 2020 - Formal Methods and Software Engineering, 2020, The conference took place on-line, because it couldn't be held in Singapore, Singapore. pp.55-72, ⟨10.1007/978-3-030-63406-3_4⟩
hal-02368284v1  Conference papers
Martin ClochardClaude MarchéAndrei Paskevich. Deductive Verification with Ghost Monitors
POPL 2020 - 47th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2020, New Orleans, United States. ⟨10.1145/3371070⟩
hal-02951944v3  Conference papers
Stefan HaarSerge HaddadStefan SchwoonLina Ye. Active Prediction for Discrete Event Systems
FSTTCS 2020 - 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2020, Goa / Virtual, India
hal-03002187v1  Conference papers
Diego DiverioCláudio LourençoClaude Marché. You-Know-Why: an Early-Stage Prototype of a Key Server Developed using Why3
VerifyThis 2020 - Long-term Challenge, Apr 2020, Dublin, Ireland. pp.4--7
hal-02560760v1  Conference papers
Anna GogolouTheophanis TsandilasKarima EchihabiAnastasia BezerianosThemis Palpanas. Data Series Progressive Similarity Search with Probabilistic Quality Guarantees
ACM SIGMOD International Conference on Management of Data, Jun 2020, Portland, United States. pp.1857-1873, ⟨10.1145/3318464.3389751⟩
hal-02566654v2  Conference papers
Guillaume MelquiondRaphaël Rieu-Helft. WhyMP, a Formally Verified Arbitrary-Precision Integer Library
ISSAC 2020 - 45th International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. pp.352-359, ⟨10.1145/3373207.3404029⟩
hal-02696246v1  Conference papers
Jean-Christophe FilliâtreAndrei Paskevich. Abstraction and Genericity in Why3
ISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2020, Rhodes, Greece
hal-02384946v2  Conference papers
Quentin GarcheryChantal KellerClaude MarchéAndrei Paskevich. Des transformations logiques passent leur certicat
JFLA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
hal-02315541v2  Conference papers
Jean-Christophe Filliâtre. Mesurer la hauteur d'un arbre
JLFA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
hal-02946587v2  Poster communications
Lijie YaoAnastasia BezerianosPetra Isenberg. Situated Visualization in Motion
Posters of the IEEE Conference on Visualization, Oct 2020, Salt Lake City, United States. 2020
hal-03103455v1  Conference papers
Kostia ChardonnetAlexis SaurinBenoît Valiron. Toward a Curry-Howard Equivalence for Linear, Reversible Computation
RC 2020 - 12th international conference on Reversible Computation, Jul 2020, Oslo / Virtual, Norway. pp.144-152, ⟨10.1007/978-3-030-52482-1_8⟩
hal-03029735v1  Journal articles
Paola Tubaro. Whose intelligence is artificial intelligence?
Global Dialogue, International Sociological Association, 2020, pp.38-39
hal-03029739v1  Journal articles
Paola Tubaro. Les « petites mains » derrière le mirage de l’automation
La vie de la recherche scientifique, Sncs Fsu, 2020, pp.76-77
hal-02960775v1  Conference papers
Paola TubaroAntonio Casilli. Portraits of micro-workers: The real people behind AI in France
2nd Crowdworking Symposium 2020, Research program “Digital Future”, Universities of Paderborn and Bielefeld, Oct 2020, Paderborn, Germany
hal-03216723v1  Conference papers
David OudartJérôme CantenotFrédéric BoulangerSophie Chabridon. The smart grid simulation framework: model-driven engineering applied to cyber-physical systems
MODELSWARD 2020: 8th international conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.3-25, ⟨10.1007/978-3-030-67445-8_1⟩
hal-02957135v3  Journal articles
Zhengying LiuAdrien PavaoZhen XuSergio EscaleraFabio Ferreira et al.  Winning solutions and post-challenge analyses of the ChaLearn AutoDL challenge 2019
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2021
hal-03219933v1  Conference papers
Thibaut BalabonskiPierre CourtieuRobin PelleLionel RiegSébastien Tixeuil et al.  Comment s'assurer de garder le contact (et nos distances)
ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des, 2021, La Rochelle, France