Publications


130 documents

Journal articles30 documents

  • Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban. Monotonicity and the Precision of Program Analysis. Proceedings of the ACM on Programming Languages, 2024, 8 (POPL), pp.1629-1662. ⟨10.1145/3632897⟩. ⟨hal-04423578⟩
  • Wonyeol Lee, Xavier Rival, Hongseok Yang. Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference. Proceedings of the ACM on Programming Languages, 2023, 7, pp.335 - 366. ⟨10.1145/3571205⟩. ⟨hal-03936759⟩
  • Louis Penet de Monterno, Bernadette Charron-Bost, Stephan Merz. Synchronization modulo P in dynamic networks. Theoretical Computer Science, 2023, 942, pp.200-212. ⟨10.1016/J.TCS.2022.11.033⟩. ⟨hal-04289753⟩
  • William Waites, Matteo Cavaliere, Vincent Danos, Ruchira Datta, Rosalind M. Eggo, et al.. Compositional modelling of immune response and virus transmission dynamics. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2022, 380 (2233), ⟨10.1098/rsta.2021.0307⟩. ⟨hal-03423441⟩
  • Bernadette Charron-Bost. Geometric bounds for convergence rates of averaging algorithms. Information and Computation, 2022, 285, pp.104909. ⟨10.1016/j.ic.2022.104909⟩. ⟨hal-03717768⟩
  • Hugo Illous, Matthieu Lemerre, Xavier Rival. A relational shape abstract domain. Formal Methods in System Design, 2021, ⟨10.1007/s10703-021-00366-4⟩. ⟨hal-03538097v2⟩
  • Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang. Perfectly Parallel Fairness Certification of Neural Networks. Proceedings of the ACM on Programming Languages, 2020, 4 (OOPSLA), pp.1-30. ⟨10.1145/3428253⟩. ⟨hal-03091870⟩
  • Francesca Angileri, Sébastien Legare, Antonella Marino Gammazza, Everly Conway de Macario, Alberto Jl Macario, et al.. Molecular mimicry may explain multi-organ damage in COVID-19. Autoimmunity Reviews, 2020, 19 (8), ⟨10.1016/j.autrev.2020.102591⟩. ⟨hal-03089171⟩
  • Nicolas Behr, Vincent Danos, Ilias Garnier. Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems. Logical Methods in Computer Science, 2020, ⟨10.23638/LMCS-16(3:3)2020⟩. ⟨hal-03096175⟩
  • Brian Coyle, Daniel Mills, Vincent Danos, Elham Kashefi. The Born supremacy: quantum advantage and training of an Ising Born machine. npj Quantum Information, 2020, 6 (1), pp.60. ⟨10.1038/s41534-020-00288-9⟩. ⟨hal-03096252⟩
  • Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang. Towards Verified Stochastic Variational Inference for Probabilistic Programs. Proceedings of the ACM on Programming Languages, In press, 16, ⟨10.1145/3371084⟩. ⟨hal-02399922⟩
  • Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival. Shape Analysis. Foundations and Trends in Programming Languages, 2020, 6 (1–2), pp.1-158. ⟨10.1561/2500000037⟩. ⟨hal-03081617⟩
  • Yoonseok Ko, Xavier Rival, Sukyoung Ryu. Weakly Sensitive Analysis for JavaScript Object-Manipulating Programs. Software: Practice and Experience, 2019, ⟨10.1002/spe⟩. ⟨hal-02399944⟩
  • Fredrik Dahlqvist, Alexandra Silva, Vincent Danos, Ilias Garnier. Borel Kernels and their Approximation, Categorically. Electronic Notes in Theoretical Computer Science, 2018, 341, pp.91-119. ⟨10.1016/j.entcs.2018.11.006⟩. ⟨hal-01976416⟩
  • Philipp Thomas, Guillaume Terradot, Vincent Danos, Andrea y Weisse. Sources, propagation and consequences of stochasticity in cellular growth. Nature Communications, 2018, 9 (1), ⟨10.1038/s41467-018-06912-9⟩. ⟨hal-01976406⟩
  • William Waites, Göksel Misirli, Matteo Cavaliere, Vincent Danos, Anil Wipat. A Genetic Circuit Compiler: Generating Combinatorial Genetic Circuits with Web Semantics and Inference. ACS Synthetic Biology, 2018, 7 (12), pp.2812-2823. ⟨10.1021/acssynbio.8b00201⟩. ⟨hal-01985802⟩
  • Jiangchao Liu, Liqian Chen, Xavier Rival. Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018, 37 (11), pp.2311-2322. ⟨hal-01963049⟩
  • Se-Won Kim, Xavier Rival, Sukyoung Ryu. A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework. ACM Transactions on Programming Languages and Systems (TOPLAS), 2018, 40 (3), pp.1-44. ⟨10.1145/3230624⟩. ⟨hal-01963069⟩
  • Jérôme Feret, Kim Quyên Lý. Local Traces: An Over-Approximation of the Behavior of the Proteins in Rule-Based Models. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2018, 15 (4), pp.1124-1137. ⟨10.1109/TCBB.2018.2812195⟩. ⟨hal-01967635⟩
  • Pierre Boutillier, Mutaamba Maasha, Xing Li, Héctor F Medina-Abarca, Jean Krivine, et al.. The Kappa platform for rule-based modeling. Bioinformatics, 2018, Bioinformatics, 34 (13), pp.i583-i592. ⟨10.1093/bioinformatics/bty272⟩. ⟨hal-01962663⟩
  • Guillaume Terradot, Andreea Beica, Andrea y Weisse, Vincent Danos. Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage. Electronic Notes in Theoretical Computer Science, 2018, 335, pp.91-112. ⟨10.1016/j.entcs.2018.03.010⟩. ⟨hal-01976385⟩
  • William Waites, Matteo Cavaliere, Elise Cachat, Vincent Danos, Jamie A Davies. An Information-Theoretic Measure for Patterning in Epithelial Tissues. IEEE Access, 2018, 6, pp.40302-40312. ⟨10.1109/access.2018.2853624⟩. ⟨hal-01976389⟩
  • Matthias Sachs, Benedict Leimkuhler, Vincent Danos. Langevin Dynamics with Variable Coefficients and Nonconservative Forces: From Stationary States to Numerical Methods. Entropy, 2017, 19 (12), pp.647. ⟨10.3390/e19120647⟩. ⟨hal-01976381⟩
  • Jiangchao Liu, Xavier Rival. An array content static analysis based on non-contiguous partitions. Computer Languages, Systems and Structures, 2017, 47 (1), pp.104-129. ⟨10.1016/j.cl.2016.01.005⟩. ⟨hal-01399837⟩
  • Fredrik Dahlqvist, Vincent Danos, Ilias Garnier. Giry and the Machine. Electronic Notes in Theoretical Computer Science, 2016, 325, pp.85-110. ⟨10.1016/j.entcs.2016.09.033⟩. ⟨hal-01976386⟩
  • Wassim Abou-Jaoudé, Denis Thieffry, Jérôme Feret. Formal Derivation of Qualitative Dynamical Models from Biochemical Networks. BioSystems, 2016, pp.100. ⟨10.1016/j.biosystems.2016.09.001⟩. ⟨hal-01379733⟩
  • Abdelraouf Ouadjaout, Antoine Miné, Noureddine Lasla, Nadjib Badache. Static analysis by abstract interpretation of functional properties of device drivers in TinyOS. Journal of Systems and Software, 2016, 120, pp.114--132. ⟨10.1016/j.jss.2016.07.030⟩. ⟨hal-01350646⟩
  • Vincent Danos, Ilias Garnier. Dirichlet is Natural. Electronic Notes in Theoretical Computer Science, 2015, 319, pp.137-164. ⟨10.1016/j.entcs.2015.12.010⟩. ⟨hal-01976380⟩
  • Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki. Rigid Geometric Constraints for Kappa Models. Electronic Notes in Theoretical Computer Science, 2015, 313, pp.23-46. ⟨10.1016/j.entcs.2015.04.017⟩. ⟨hal-01976400⟩
  • Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, et al.. Static Analysis and Verification of Aerospace Software by Abstract Interpretation. Foundations and Trends in Programming Languages, 2015, 2 (2-3), pp.171-291. ⟨10.1561/2500000002⟩. ⟨hal-01312241⟩

Conference papers53 documents

  • Filip Drobnjaković, Pavle Subotic, Caterina Urban. An Abstract Interpretation-Based Data Leakage Static Analysis. 18th International Symposium on Theoretical Aspects of Software Engineering, Jul 2024, Guiyang, China. ⟨hal-04556578⟩
  • Denis Mazzucato, Marco Campion, Caterina Urban. Quantitative Input Usage Static Analysis. NASA Formal Methods 2024, Jun 2024, Moffett Field (CA), United States. ⟨hal-04339001v3⟩
  • Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M Pawan Kumar, Robert Stanforth, et al.. Expressive Losses for Verified Robustness via Convex Combinations. ICLR 2024 - International Conference on Learning Representations, May 2024, Vienna, Austria. ⟨hal-04511820⟩
  • Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, et al.. Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024, Apr 2024, Luxembourg City, Luxembourg. pp.387 - 392, ⟨10.1007/978-3-031-57256-2_26⟩. ⟨hal-04536418⟩
  • Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella. Abstract Interpretation-Based Feature Importance for Support Vector Machines. 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024), Jan 2024, London, United Kingdom. pp.27-49, ⟨10.1007/978-3-031-50524-9_2⟩. ⟨hal-04378817⟩
  • Josselin Giet, Félix Ridoux, Xavier Rival. A Product of Shape and Sequence Abstractions. Static Analysis: 30th International Symposium, SAS 2023, Oct 2023, Cascais, Portugal. ⟨hal-04253341⟩
  • Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi. A Formal Framework to Measure the Incompleteness of Abstract Interpretations. 30th International Static Analysis Symposium (SAS 2023), Oct 2023, Cascais, Portugal. ⟨hal-04249990⟩
  • Jérôme Boillot, Jérôme Feret. Symbolic transformation of expressions in modular arithmetic. Static Analysis: 30th International Symposium, SAS 2023, Oct 2023, Cascais, Portugal. ⟨hal-04187086⟩
  • Bernadette Charron-Bost, Louis Penet de Monterno. Self-Stabilizing Clock Synchronization in Probabilistic Networks. DISC 2023 - 37th International Symposium on Distributed Computing, Oct 2023, L'Aquila, Italie, Italy. pp.12:1--12:18, ⟨10.4230/LIPICS.DISC.2023.12⟩. ⟨hal-04290001⟩
  • Aurélie Kong Win Chang, Jerome Feret, Gregor Gössler. A Semantics of Core Erlang with Handling of Signals. Erlang 2023 - 22nd ACM SIGPLAN International Workshop on Erlang, Sep 2023, Seattle WA, United States. pp.31-38, ⟨10.1145/3609022.3609417⟩. ⟨hal-04222884⟩
  • Shin-Ya Katsumata, Xavier Rival, Jérémy Dubut. A Categorical Framework for Program Semantics and Semantic Abstraction. MFPS 2023 - Mathematical Foundations of Program Semantics, Jun 2023, Bloomington, United States. ⟨hal-04290749⟩
  • Luca Negrini, Guruprerana Shabadi, Caterina Urban. Static Analysis of Data Transformations in Jupyter Notebooks. 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2023), Jun 2023, Orlando FL, United States. pp.8-13, ⟨10.1145/3589250.3596145⟩. ⟨hal-04249950⟩
  • Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata. Verifying Attention Robustness of Deep Neural Networks Against Semantic Perturbations. 15th International Symposium on NASA Formal Methods (NFM 2023), May 2023, Houston (TX), United States. pp.37-61, ⟨10.1007/978-3-031-33170-1_3⟩. ⟨hal-04249934⟩
  • Baptiste Lepers, Josselin Giet, Julia Lawall, Willy Zwaenepoel. OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel. EuroSys 2023 : Eighteenth European Conference on Computer Systems, May 2023, Rome, Italy. pp.33-45, ⟨10.1145/3552326.3567504⟩. ⟨hal-04109096⟩
  • Ignacio Tiraboschi, Tamara Rezk, Xavier Rival. Sound Symbolic Execution via Abstract Interpretation and its Application to Security. VMCAI 2023 - 24th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2023, Boston, MA, United States. pp.267-295, ⟨10.1007/978-3-031-24950-1_13⟩. ⟨hal-03942146⟩
  • Jérôme Feret, Albin Salazar. A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation. VMCAI 2023 - 24th International Conference on Verification, Model Checking and Abstract Interpretation, Jan 2023, Boston, United States. ⟨hal-03886237⟩
  • Bernadette Charron-Bost, Louis Penet de Monterno. Self-Stabilizing Clock Synchronization in Dynamic Networks. OPODIS 2022 - 26th International Conference on Principles of Distributed Systems, Etienne Rivière, Dec 2022, Brussels, Belgium. pp.28:1-28:17, ⟨10.4230/LIPICS.OPODIS.2022.28⟩. ⟨hal-04287797⟩
  • Bernadette Charron-Bost, Patrick Lambein-Monette. Computing Outside the Box: Average Consensus over Dynamic Networks. 1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022, Mar 2022, Roma, Italy. ⟨10.4230/LIPIcs.SAND.2022.10⟩. ⟨hal-03717753⟩
  • Olivier Nicole, Matthieu Lemerre, Xavier Rival. Lightweight Shape Analysis based on Physical Types. VMCAI 2022 - 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2022, Philadelphia, United States. ⟨hal-03538088⟩
  • Louis Penet de Monterno, Bernadette Charron-Bost, Stephan Merz. Synchronization Modulo k in Dynamic Networks. SSS 2021 - International Symposium on Stabilizing, Safety, and Security of Distributed Systems, Nov 2021, Virtual Event, France. pp.425-439, ⟨10.1007/978-3-030-91081-5_28⟩. ⟨hal-03451085⟩
  • Francesco Ranzato, Caterina Urban, Marco Zanella. Fairness-Aware Training of Decision Trees by Abstract Interpretation. CIKM 2021 - 30th ACM International Conference on Information and Knowledge Management, Nov 2021, Queensland / Virtual, Australia. pp.1508-1517, ⟨10.1145/3459637.3482342⟩. ⟨hal-03545701⟩
  • Cezara Dragoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic. Testing consensus implementations using communication closure. SPLASH 2020 : ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Oct 2021, Chiccago / Virtual, United States. ⟨10.1145/3428278⟩. ⟨hal-03134294⟩
  • Denis Mazzucato, Caterina Urban. Reduced Products of Abstract Domains for Fairness Certification of Neural Networks. 28th Static Analysis Symposium (SAS 2021), Oct 2021, Chicago, United States. ⟨hal-03348036⟩
  • Sébastien Légaré, Jean Krivine, Jérôme Feret. Distinguishing Context Dependent Events in Quotients of Causal Stories. JOBIM 2021 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Sophie Schbath; Denis Thieffry, Jul 2021, Virtuel, France. pp.54-61. ⟨hal-03389052⟩
  • Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival. No crash, no exploit: Automated verification of embedded Kernels. RTAAS 2021 - Real-Time and Embedded Technology and Applications Symposium, May 2021, Nashville, United States. ⟨hal-03538067⟩
  • Vincent Danos, Hamza El Khalloufi, Julien Prat. Global Order Routing on Exchange Networks. FC 2021: Financial Cryptography and Data Security. FC 2021 International Workshops, Mar 2021, Virtual Event, France. pp.207-226, ⟨10.1007/978-3-662-63958-0_19⟩. ⟨hal-03455981⟩
  • Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang. On Correctness of Automatic Differentiation for Non-Differentiable Functions. NeurIPS 2020 - 34th Conference on Neural Information Processing Systems, Dec 2020, Vancouver / Virtual, Canada. ⟨hal-03081582⟩
  • Hugo Illous, Matthieu Lemerre, Xavier Rival. Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries. SAS 2020 - 27th Static Analysis Symposium, Nov 2020, Chicago / Virtual, United States. ⟨hal-03081558⟩
  • Cezara Dragoi, Josef Widder, Damien Zufferey. Programming at the edge of synchrony. SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Oct 2020, Chicago / Virtual, United States. ⟨10.1145/3428281⟩. ⟨hal-03134314⟩
  • Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki. Rate Equations for Graphs. CMSB 2020 - 18th International Conference Computational Methods in Systems Biology, Sep 2020, Konstanz / Virtual, Germany. pp.3-26, ⟨10.1007/978-3-030-60327-4_1⟩. ⟨hal-03096240⟩
  • Marc Chevalier, Jérôme Feret. Sharing Ghost Variables in a Collection of Abstract Domains. VMCAI 2020 - 21st International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2020, New Orleans, LA, United States. ⟨hal-02378809⟩
  • Caterina Urban. Static Analysis of Data Science Software. SAS 2019 - 26th Static Analysis Symposium, Oct 2019, Porto, Portugal. pp.17-23, ⟨10.1007/978-3-030-32304-2_2⟩. ⟨hal-02397699⟩
  • Pierre Boutillier, Ioana Cristescu, Jérôme Feret. Counters in Kappa: Semantics, Simulation, and Static Analysis. ESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.176-204, ⟨10.1007/978-3-030-17184-1_7⟩. ⟨hal-02397876⟩
  • Thibault Suzanne, Antoine Miné. Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models. APLAS 2018 - 16th Asian Symposium on Programming Languages and Systems, Dec 2018, Wellington, New Zealand. pp.109-128, ⟨10.1007/978-3-030-02768-1_6⟩. ⟨hal-01953358⟩
  • Pierre Boutillier, Ferdinanda Camporesi, Jean Coquet, Jérôme Feret, Kim Quyên Lý, et al.. KaSa: A Static Analyzer for Kappa. CMSB 2018 - 16th International Conference on Computational Methods in Systems Biology, Sep 2018, Brno, Czech Republic. pp.285-291, ⟨10.1007/978-3-319-99429-1_17⟩. ⟨hal-01888951⟩
  • Andreea Beica, Jérôme Feret, Tatjana Petrov. Tropical Abstraction of Biochemical Reaction Networks with Guarantees. SASB'18 - Static Analysis in Systems Biology, affiliated with Static Analysis Symposium, Aug 2018, Freiburg, Germany. ⟨hal-01962674⟩
  • Pierre Boutillier, Jérôme Feret, Aurélie Faure de Pebeyre. Proving the absence of unbounded polymers in rule-based models. Static Analysis and Systems Biology 2018, Aug 2018, Freiburg im Breisgau, Germany. ⟨hal-01967632⟩
  • Yoonseok Ko, Xavier Rival, Sukyoung Ryu. Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects. APLAS 2017 - 15th Asian Symposium on Programming Languages and Systems, Nov 2017, Suzhou, China. pp.148-168, ⟨10.1007/978-3-319-71237-6_8⟩. ⟨hal-01648680⟩
  • Ferdinanda Camporesi, Jérôme Feret, Kim Quyen Ly. KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models. CMSB 2017 - 15th Conference on Computational Methods in Systems Biology, Heinz Koeppl, Sep 2017, Darmstadt, Germany. pp.291-299, ⟨10.1007/978-3-319-67471-1_18⟩. ⟨hal-01613600⟩
  • Ferdinanda Camporesi, Jérôme Feret. Using alternated sums to express the occurrence number of extended patterns in site-graphs. SASB 2017 - The Eighth International Workshop on Static Analysis for Systems Biology, Aug 2017, New York, United States. pp.18. ⟨hal-01613603⟩
  • Jihyeok Park, Xavier Rival, Sukyoung Ryu. Revisiting Recency Abstraction for JavaScript Towards an Intuitive, Compositional, and Efficient Heap Abstraction. SOAP 2017 - International Workshop on the State Of the Art in Java Program Analysis, Jun 2017, Barcelona, Spain. pp.1-6, ⟨10.1145/3088515.3088516⟩. ⟨hal-01648682⟩
  • Hugo Illous, Matthieu Lemerre, Xavier Rival. A Relational Shape Abstract Domain. NFM 2017 - 9th NASA Formal Methods Symposium, Apr 2017, Moffett Field, United States. pp.212-229, ⟨10.1007/978-3-319-57288-8_15⟩. ⟨hal-01648681⟩
  • Daniel Kästner, Antoine Miné, André Schmidt, Heinz Hille, Laurent Mauborgne, et al.. Finding All Potential Run-Time Errors and Data Races in Automotive Software. WCX™ 2017 - SAE World Congress Experience, Apr 2017, Detroit United States. pp.1-9, ⟨10.4271/2017-01-0054⟩. ⟨hal-01674831⟩
  • Huisong Li, François Bérenger, Bor-Yuh Evan Chang, Xavier Rival. Semantic-Directed Clumping of Disjunctive Abstract States *. POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.32-45, ⟨10.1145/3009837.3009881⟩. ⟨hal-01648679⟩
  • Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier. Pointless learning (long version). Proceedings of FoSSaCS 2017, 2017, Uppsala, Sweden. ⟨hal-01974692⟩
  • Jérôme Feret, Kim Quyen Ly. Local traces: an over-approximation of the behaviour of the proteins in rule-based models. CMSB 2016 - Fourteenth Conference on Computational Method in Systems Biology, Sep 2016, Cambridge, United Kingdom. pp.116-131, ⟨10.1007/978-3-319-45177-0_8⟩. ⟨hal-01379897⟩
  • Guoli Yang, Vincent Danos. Learning in Open Adaptive Networks. 2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Sep 2016, Augsburg, Germany. pp.50-59, ⟨10.1109/saso.2016.11⟩. ⟨hal-01976449⟩
  • Jérôme Feret, Kim Quyen Ly. Reachability analysis via orthogonal sets of patterns. 7th International Workshop on Static Analysis and Systems Biology, (SASB 2016), David Safranek; Guido Sanguinetti, Sep 2016, Edinburgh, United Kingdom. ⟨hal-01379902⟩
  • Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar. Bayesian Inversion by ω-Complete Cone Duality. 27th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Quebec CIty, Canada. 15 p., ⟨10.4230/LIPIcs.CONCUR.2016.1⟩. ⟨hal-01976413⟩
  • Fredrik Dahlqvist, Vincent Danos, Ilias Garnier. Robustly Parameterised Higher-Order Probabilistic Models. 27th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Quebec City, Canada. 15 p., ⟨10.4230/LIPIcs.CONCUR.2016.23⟩. ⟨hal-01976437⟩
  • Antoine Miné, Laurent Mauborgne, Xavier Rival, Jerome Feret, Patrick Cousot, et al.. Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France. ⟨hal-01271552⟩
  • Cezara Drăgoi, Thomas Henzinger, Damien Zufferey. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms. POPL '16 - 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2016, Saint Petersburg, Florida, United States. pp.400-415, ⟨10.1145/2837614.2837650⟩. ⟨hal-01251199⟩
  • Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, Ji Wang. Numerical Static Analysis of Interrupt-Driven Programs via Sequentialization. EMSOFT 2015 - International Conference on Embedded Software, Oct 2015, Amsterdam, Netherlands. pp.55-64, ⟨10.1109/EMSOFT.2015.7318260⟩. ⟨hal-01312248⟩

Poster communications5 documents

  • Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata. Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations. 29th Asia-Pacific Software Engineering Conference (APSEC 2022), Dec 2022, [Virtual], Japan. ⟨hal-03926269⟩
  • Serge Durand, Augustin Lemesle, Zakaria Chihani, Caterina Urban, François Terrier. ReCIPH: Relational Coefficients for Input Partitioning Heuristic. 1st Workshop on Formal Verification of Machine Learning (WFVML 2022), Jul 2022, Baltimore, United States. ⟨hal-03926281⟩
  • Matthieu Bouguéon, Pierre Boutillier, Jerome Feret, Octave Hazard, Nathalie Theret. A Kappa model for hepatic stellate cells activation by TGFB1. CompSysBio 2021 - Advanced Lecture Course on Computational Systems Biology, Nov 2021, Aussois, France. pp.1-1. ⟨hal-03545135⟩
  • Matthieu Bouguéon, Pierre Boutillier, Jerome Feret, Octave Hazard, Nathalie Theret. A Kappa model for hepatic stellate cells activation by TGFB1. CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux / Virtual, France. pp.1-6. ⟨hal-03545256⟩
  • Sébastien Légaré, Jean Krivine, Russ Harmer, Jérôme Feret. Modelling Systems Biology Wide and Deep. CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France. CMSB. ⟨hal-03357485⟩

Proceedings1 document

  • Vincent Danos, Maurice Herlihy, Maria Potop-Butucaru, Julien Prat, Sara Tucci-Piergiovanni. International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019). Leibniz International Proceedings in Informatics , 71, 2020, OpenAccess Series in Informatics (OASIcs), ⟨10.4230/OASIcs.Tokenomics.2019.0⟩. ⟨hal-03096247⟩

Books7 documents

  • Gagandeep Singh, Caterina Urban. Proceedings of the 29th International Symposium (SAS 2022). Springer Nature Switzerland, 13790, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-22308-2⟩. ⟨hal-04249999⟩
  • Lisa Nguyen Quang Do, Caterina Urban. Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2021). ACM, 2021, ⟨10.1145/3460946⟩. ⟨hal-04250067⟩
  • Cédric Lhoussaine, Jérôme Feret (Dir.). Special issue "Formal Method for Biological Systems Modelling". Cedric Lhoussaine; Jérôme Feret. MDPI, 9, 2021, Section Computational Biology, 2079-3197. ⟨hal-03542053⟩
  • Xavier Rival, Kwangkeun Yi. Introduction to Static Analysis. MIT Press, 2020, 9780262043410. ⟨hal-02402597⟩
  • Jérôme Feret, Heinz Koeppl (Dir.). Computational Methods in Systems Biology : 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017, Proceedings. Springer, 10545, pp.332, 2017, Lecture Notes in Bioinformatics, 978-3-319-67470-4. ⟨10.1007/978-3-319-67471-1⟩. ⟨hal-01613596⟩
  • Charles Zhang, Xavier Rival (Dir.). State Of the Art in Program Analysis: International Workshop, (SOAP 2016), SOAP@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016Proceedings of the 5th {ACM} {SIGPLAN} . ACM, 2016, 978-1-4503-4385-5. ⟨10.1145/2931021⟩. ⟨hal-01388271⟩
  • Xavier Rival (Dir.). Static Analysis: 23rd International Symposium, (SAS 2016), Edinburgh, UK, September 8-10, 2016, Proceedings. Springer, LNCS (9837), 2016, 978-3-662-53412-0. ⟨10.1007/978-3-662-53413-7⟩. ⟨hal-01388205⟩

Book sections7 documents

  • Caterina Urban. Static Analysis for Data Scientists. Challenges of Software Verification, 238, Springer Nature Singapore, pp.77-91, 2023, Intelligent Systems Reference Library, ⟨10.1007/978-981-19-9601-6_5⟩. ⟨hal-04249957⟩
  • Jérôme Feret. Analyse statique et réduction de modèles de voies de signalisation intracellulaire. Informatique Mathématique Une photographie en 2023, CNRS, pp.67, 2023. ⟨hal-04144668⟩
  • Matthieu Bouguéon, Pierre Boutillier, Jérôme Feret, Octave Hazard, Nathalie Théret. The rule-based model approach. A Kappa model for hepatic stellate cells activation by TGFB1. Elisabetta De Maria. Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools, Wiley, pp.1-76, 2022, 978-1-119-71653-2. ⟨hal-03388100v2⟩
  • Jérôme Feret. Analyses des motifs accessibles dans les modèles Kappa. Cédric Lhoussaine et Élisabeth Remy. Approches symboliques de la modélisation et de l’analyse des systèmes biologiques, ISTE, 2022, 9781789480290. ⟨hal-03088539⟩
  • Andrea Canidio, Vincent Danos, Stefania Marcassa, Julien Prat. Tokens and ICOs: A Review of the Economic Literature. Antonio Fernández Anta; Chryssis Georgiou; Maurice Herlihy; Maria Potop-Butucaru. Principles of Blockchain Systems, Springer, 2021. ⟨hal-03678409⟩
  • Nathalie Theret, Jérôme Feret, Arran Hodgkinson, Pierre Boutillier, Pierre Vignet, et al.. Integrative models for TGF-$\beta$ signaling and extracellular matrix. Sylvie Ricard-Blum. Extracellular Matrix Omics, 7, Springer, pp.17, 2020, Biology of Extracellular Matrix, 978-3-030-58329-3. ⟨10.1007/978-3-030-58330-9_10⟩. ⟨hal-02458073⟩
  • Andreea Beica, Vincent Danos. Synchronous Balanced Analysis. Proceedings of the International Workshop on Hybrid Systems Biology, pp.85-94, 2016. ⟨hal-01974696⟩

Other publications2 documents

  • Matthieu Bouguéon, Pierre Boutillier, Jerome Feret, Octave Hazard, Nathalie Theret. Modelling hepatic stellate cells activation by TGFB1 using Kappa language. 2021, pp.1-23. ⟨hal-03545569⟩
  • Kim Quyen Ly. Translating BNGL models into Kappa our experience. 2017, pp.4. ⟨hal-01613604⟩

Preprints, Working Papers7 documents

  • Bernadette Charron-Bost, Patrick Lambein-Monette. Know your audience: Communication model and computability in anonymous networks. 2023. ⟨hal-04334359⟩
  • Caterina Urban, Antoine Miné. A Review of Formal Methods applied to Machine Learning. 2021. ⟨hal-03192255⟩
  • William Waites, Matteo Cavaliere, David Manheim, Jasmina Panovska-Griffiths, Vincent Danos. Scaling up epidemiological models with rule-based modelling. 2020. ⟨hal-03096264⟩
  • Vincent Danos, Jean Krivine, Julien Prat. Reversible and Composable Financial Contracts (extended abstract). 2020. ⟨hal-03103298⟩
  • Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang. Perfectly Parallel Fairness Certification of Neural Networks. 2019. ⟨hal-02404036⟩
  • Cezara Dragoi, Josef Widder, Damien Zufferey. Executable Rounds: a Programming Abstraction for Fault-Tolerant Protocols. 2019. ⟨hal-02317446⟩
  • Andrei Damian, Cezara Dragoi, Alexandru Militaru, Josef Widder. Communication-closed asynchronous protocols. 2019. ⟨hal-01991415⟩

Reports7 documents

  • Anne Canteaut, Manuel Serrano, Céline Grandmont, Guillaume Pallez, Vincent Perrier, et al.. Bilan de la mandature 2019-2023 de la Commission d'Évaluation Inria. Inria. 2023. ⟨hal-04193082⟩
  • Frédéric Blanqui, Anne Canteaut, Hidde de Jong, Sébastien Imperiale, Nathalie Mitton, et al.. Recommandations sur les « éditeurs de la zone grise ». Inria. 2023, pp.1-3. ⟨hal-04001505⟩
  • Frédéric Blanqui, Anne Canteaut, Hidde De Jong, Sébastien Imperiale, Nathalie Mitton, et al.. Recommendations on "Grey-Zone Publishers": Recommendations from the Inria Evaluation Committee, translated from https://hal.inria.fr/hal-04001505. Inria. 2023, pp.1-3. ⟨hal-04201298⟩
  • Filip Drobnjaković, Pavle Subotić, Caterina Urban. An Abstract Interpretation-Based Data Leakage Static Analysis. Microsoft Research; Inria Paris; École Normale Supérieure. 2022. ⟨hal-03926245v2⟩
  • Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella. Abstract Interpretation-Based Feature Importance for SVMs. IIIT Kalyani; University of Padova; Inria Paris; École Normale Supérieure. 2022. ⟨hal-03926237⟩
  • Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata. Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations. Fujitsu; Inria Paris; École Normale Supérieure. 2022. ⟨hal-03926254⟩
  • Luce Brotcorne, Anne Canteaut, Aline Carneiro Viana, Céline Grandmont, Benjamin Guedj, et al.. Indicateurs de suivi de l'activité scientifique de l'Inria. [Rapport de recherche] Inria. 2020. ⟨hal-03033764⟩

Theses10 documents

  • Matthieu Bouguéon. Modélisation en langage Kappa de la dynamique des cellules étoilées hépatiques durant le développement et la réversion de la fibrose. Médecine humaine et pathologie. Université de Rennes, 2023. Français. ⟨NNT : 2023URENB073⟩. ⟨tel-04388949v2⟩
  • Albin Salazar. Faithful model reduction of discrete biological systems. Computer Science [cs]. ENS Paris, 2023. English. ⟨NNT : ⟩. ⟨tel-04362103v2⟩
  • Olivier Nicole. Automated verification of systems code using type-based memory abstractions. Data Structures and Algorithms [cs.DS]. Université Paris sciences et lettres, 2022. English. ⟨NNT : 2022UPSLE021⟩. ⟨tel-03962643v2⟩
  • Marc Chevalier. Proving the security of software-intensive embedded systems by abstract interpretation.. Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLE069⟩. ⟨tel-03127921v2⟩
  • Andreea Beica. Abstractions of biochemical reaction networks. Bioinformatics [q-bio.QM]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE071⟩. ⟨tel-03275208v2⟩
  • Hugo Illous. Abstractions relationnelles de la mémoire pour une analyse compositionnelle de structures de données. Langage de programmation [cs.PL]. Université Paris sciences et lettres, 2019. Français. ⟨NNT : 2019PSLEE015⟩. ⟨tel-02399767v2⟩
  • Thibault Suzanne. Vérification par interprétation abstraite en mémoire faiblement cohérente. Cryptographie et sécurité [cs.CR]. Université Paris sciences et lettres, 2019. Français. ⟨NNT : 2019PSLEE013⟩. ⟨tel-02503839⟩
  • Huisong Li. Shape abstractions with support for sharing and disjunctions. Programming Languages [cs.PL]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE060⟩. ⟨tel-01963082v2⟩
  • Jiangchao Liu. Static analysis on numeric and structural properties of array contents. Data Structures and Algorithms [cs.DS]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE046⟩. ⟨tel-01963108v2⟩
  • Ferdinanda Camporesi. Formal and exact reduction for differential models of signalling pathways in rule-based languages. Computation and Language [cs.CL]. Université Paris sciences et lettres, 2017. English. ⟨NNT : 2017PSLEE005⟩. ⟨tel-01557498⟩

HDR thesis1 document

  • Jérôme Feret. Analyse statique et réduction de modèles pour un langage de réécriture de graphes à sites. Informatique [cs]. ENS-PSL, 2023. ⟨tel-04326091⟩

Powered by HAL logo

Comments are closed.