Guillaume Ambal, Sergueï Lenglet, Alan Schmitt. HOπ in Coq. Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-020-09553-0⟩. ⟨hal-02536463v2⟩

Martin Bodin, Philippa Gardner, Thomas Jensen, Alan Schmitt. Skeletal Semantics and their Interpretations. Proceedings of the ACM on Programming Languages, ACM, In press, 44, pp.1-31. ⟨10.1145/3290357⟩. ⟨hal-01881863v3⟩

Pierre Genevès, Nabil Layaïda, Alan Schmitt, Nils Gesbert. Efficiently Deciding µ-calculus with Converse over Finite Trees. ACM Transactions on Computational Logic, Association for Computing Machinery, 2015, 16 (2), pp.41. ⟨10.1145/2724712⟩. ⟨hal-00868722v5⟩

Ivan Lanese, Jorge A Perez, Davide Sangiorgi, Alan Schmitt. On the Expressiveness and Decidability of Higher-Order Process Calculi. Information and Computation, Elsevier, 2011, 209 (2), pp.29. ⟨10.1016/j.ic.2010.10.001⟩. ⟨hal-01112294⟩

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Characterizing contextual equivalence in calculi with passivation. Information and Computation, Elsevier, 2011, 209 (11), pp.1390-1433. ⟨10.1016/j.ic.2011.08.002⟩. ⟨hal-00903877⟩

J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt. Exploiting Schemas in Data Synchronization. Journal of Computer and System Sciences, Elsevier, 2007, 73 (4), pp.669-689. ⟨10.1016/j.jcss.2006.10.024⟩. ⟨inria-00483199⟩

J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt. Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2007, ACM Transactions on Programming Languages and Systems, 29 (3), pp.17. ⟨10.1145/1232420.1232424⟩. ⟨inria-00484971⟩

Guillaume Ambal, Sergueï Lenglet, Alan Schmitt. Certified Abstract Machines for Skeletal Semantics. CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. pp.1-13, ⟨10.1145/3497775.3503676⟩. ⟨hal-03466807⟩

Adam Khayam, Louis Noizet, Alan Schmitt. JSkel: Towards a Formalization of JavaScript's Semantics. JFLA 2021 - Journées Francophones des Langages Applicatifs, Apr 2021, Virtuelles, France. pp.1-22. ⟨hal-03509431⟩

Louis Noizet, Alan Schmitt. Formalisation de Sémantiques Squelettiques. JLFA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. pp.1-14. ⟨hal-02512485⟩

Kévin Le Bon, Alan Schmitt. MLExplain. OCaml 2018, Sep 2018, Saint Louis, United States. pp.1-4. ⟨hal-02056392⟩

Arthur Charguéraud, Alan Schmitt, Thomas Wood. JSExplain: A Double Debugger for JavaScript. The Web Conference 2018, Apr 2018, Lyon, France. pp.1-9, ⟨10.1145/3184558.3185969⟩. ⟨hal-01745792⟩

Sergueï Lenglet, Alan Schmitt. HOπ in Coq. CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.14, ⟨10.1145/3167083⟩. ⟨hal-01614987v3⟩

Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, et al.. Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines. LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005118⟩. ⟨hal-01479035⟩

Gurvan Cabon, Alan Schmitt. Non-Interference through Annotated Multisemantics. 28ièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France. ⟨hal-01503094⟩

Gurvan Cabon, Alan Schmitt. Annotated multisemantics to prove Non-Interference analyses. PLAS 2017 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security, Oct 2017, Dallas, United States. ⟨10.1145/3139337.3139344⟩. ⟨hal-01656404⟩

Martin Bodin, Thomas Jensen, Alan Schmitt. An Abstract Separation Logic for Interlinked Extensible Records. Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France. ⟨hal-01333600⟩

Martín Escarrá, Petar Maksimović, Alan Schmitt. HOCore in Coq. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. ⟨hal-01099130⟩

Sergueï Lenglet, Alan Schmitt. Howe's Method for Contextual Semantics. CONCUR 2015 26th International Conference on Concurrency Theory, Sep 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.212⟩. ⟨hal-01192699⟩

Petar Maksimovic, Alan Schmitt. HOCore in Coq. Interactive Theorem Proving, Aug 2015, Nanjing, China. ⟨10.1007/978-3-319-22102-1_19⟩. ⟨hal-01243017⟩

Martin Bodin, Thomas Jensen, Alan Schmitt. Certified Abstract Interpretation with Pretty-Big-Step Semantics. Certified Programs and Proofs (CPP 2015), Jan 2015, Mumbai, India. ⟨10.1145/2676724.2693174⟩. ⟨hal-01111588⟩

Pierre Genevès, Alan Schmitt. Expressive Logical Combinators for Free. International Joint Conference on Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina. ⟨hal-00868724v4⟩

José Fragoso Santos, Thomas Jensen, Tamara Rezk, Alan Schmitt. Hybrid Typing of Secure Information Flow in a JavaScript-like Language. International Symposium on Trustworthy Global Computing, Aug 2015, Madrid, Spain. ⟨hal-01243029⟩

Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, et al.. A Trusted Mechanised JavaScript Specification. POPL 2014 - 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. ⟨hal-00910135⟩

Martin Bodin, Thomas Jensen, Alan Schmitt. Pretty-big-step-semantics-based Certified Abstract Interpretation. JFLA - 25ème Journées Francophones des Langages Applicatifs - 2014, Jan 2014, Fréjus, France. ⟨hal-00927400⟩

Damien Pous, Alan Schmitt. De la KAM avec un Processus d'Ordre Supérieur. JFLAs 2014, Jan 2014, Fréjus, France. pp.1-12. ⟨hal-00966097v2⟩

Martin Bodin, Alan Schmitt. A Certified JavaScript Interpreter. JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France. ⟨hal-00779459⟩

Ivan Lanese, Michaël Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani. Concurrent Flexible Reversibility. 22nd European Symposium on Programming, ESOP 2013, Mar 2013, Rome, Italy. pp.370-390, ⟨10.1007/978-3-642-37036-6_21⟩. ⟨hal-00811629⟩

Simon Boulier, Alan Schmitt. Formalisation de HOCore en Coq. JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France. ⟨hal-00665945⟩

Everardo Barcenas-Patino, Pierre Genevès, Nabil Layaïda, Alan Schmitt. Query Reasoning on Trees with Types, Interleaving, and Counting. 22nd International Joint Conference on Artificial Intelligence IJCAI'2011, Jul 2011, Barcelone, Spain. ⟨inria-00609556⟩

Ivan Lanese, Jorge A. Peréz, Davide Sangiorgi, Alan Schmitt. On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), Jul 2010, Bordeaux, France. pp.442--453. ⟨inria-00514912⟩

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Normal bisimulations in process calculi with passivation. 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009), Mar 2009, York, United Kingdom. pp.257--271, ⟨10.1007/978-3-642-00596-1_19⟩. ⟨inria-00490810⟩

Michaël Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani. Typing Component-Based Communication Systems. 11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) & 29th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2009, Lisbonne, Portugal. pp.167--181, ⟨10.1007/978-3-642-02138-1_11⟩. ⟨inria-00488856⟩

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Howe's Method for Calculi with Passivation. 20th International Conference on Concurrency Theory (CONCUR 2009), Sep 2009, Bologna, Italy. pp.448--462. ⟨inria-00486800⟩

Michaël Lienhardt, Alan Schmitt, Jean-Bernard Stefani. Typing Communicating Component Assemblages. 7th International Conference on Generative Programming and Component Engineering (GPCE'08), Oct 2008, Nashville, United States. pp.125--136, ⟨10.1145/1449913.1449933⟩. ⟨inria-00492749⟩

Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt. Boomerang: Resourceful Lenses for String Data. ACM SIGPLAN--SIGACT Symposium on Principles of Programming Languages (POPL'08), Jan 2008, San Francisco, California, United States. pp.407--419, ⟨10.1145/1328897.1328487⟩. ⟨inria-00496456⟩

Ivan Lanese, Jorge A. Peréz, Davide Sangiorgi, Alan Schmitt. On the Expressiveness and Decidability of Higher-Order Process Calculi. 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008), Jun 2008, Pittsburgh, Pennsylvania, United States. pp.145--155, ⟨10.1109/LICS.2008.8⟩. ⟨inria-00494584⟩

Pierre Genevès, Nabil Layaïda, Alan Schmitt. XPath Typing Using a Modal Logic with Converse for Finite Trees. Proceedings of the ACM SIGPLAN Workshop on Programming Language Techniques for XML colocated with POPL 2007, 2007, Nice, France. pp.1. ⟨hal-00189131⟩

Michaël Lienhardt, Alan Schmitt, Jean-Bernard Stefani. Oz/K: A Kernel Language for Component-Based Open Programming. 6th International Conference on Generative Programming and Component Engineering (GPCE'07), Oct 2007, Salzburg, Austria. pp.43--52, ⟨10.1145/1289971.1289980⟩. ⟨inria-00498413⟩

Pierre Genevès, Nabil Layaïda, Alan Schmitt. Efficient Static Analysis of XML Paths and Types. Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, San Diego, United States. pp.342--351, ⟨10.1145/1250734.1250773⟩. ⟨hal-00189123⟩

Pierre Genevès, Nabil Layaïda, Alan Schmitt. Efficient Static Analysis of XML Paths and Types. 2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, New York, NY, United States. pp.342--351, ⟨10.1145/1250734.1250773⟩. ⟨inria-00502789⟩

Michael B. Greenwald, Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce, Alan Schmitt. Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data. 20th International Symposium on Distributed Computing (DISC), Sep 2006, Stockholm, Sweden. pp.269--283, ⟨10.1007/11864219_19⟩. ⟨inria-00535653⟩

Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani. Component-Oriented Programming with Sharing: Containment is not Ownership. Generative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. pp.389-404, ⟨10.1007/11561347_26⟩. ⟨hal-00310126⟩

Alan Schmitt. Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des Langages Applicatifs). INRIA. INRIA, pp.174, 2009. ⟨inria-00362717⟩

Louis Noizet, Alan Schmitt. Stating and Handling Semantics with Skel and Necro. [Research Report] RR-9449, Inria Rennes - Bretagne Atlantique. 2022, pp.1-23. ⟨hal-03543701v2⟩

Małgorzata Biernacka, Dariusz Biernacki, Serguei Lenglet, Alan Schmitt. Non-Deterministic Abstract Machines. [Research Report] RR-9475, Inria. 2022, pp.33. ⟨hal-03545768v2⟩

Guillaume Ambal, Alan Schmitt, Sergueï Lenglet. Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step. [Research Report] RR-9363, Inria Rennes - Bretagne Atlantique. 2020. ⟨hal-02946930v2⟩

Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, et al.. Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines. [Research Report] RR-9052, Inria. 2017. ⟨hal-01507625⟩

Sergueï Lenglet, Alan Schmitt. Howe's Method for Contextual Semantics. [Research Report] RR-8750, Inria. 2015, pp.31. ⟨hal-01168865⟩

Pierre Genevès, Nabil Layaïda, Alan Schmitt. Logical Combinators for Rich Type Systems. [Research Report] RR-8010, INRIA. 2012, pp.18. ⟨hal-00714353v2⟩

Everardo Barcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt. On the Count of Trees. [Research Report] RR-7251, INRIA. 2010. ⟨inria-00473160v2⟩

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Normal bisimulations in process calculi with passivation. [Research Report] RR-6664, INRIA. 2008, pp.102. ⟨inria-00330565⟩

Pierre Genevès, Nabil Layaïda, Alan Schmitt. Efficient Static Analysis of XML Paths and Types. [Research Report] RR-6590, INRIA. 2008. ⟨inria-00305302v3⟩

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Howe's Method for Early Bisimilarities. [Research Report] RR-6773, INRIA. 2008, pp.69. ⟨inria-00347137v2⟩

Michaël Lienhardt, Alan Schmitt, Jean-Bernard Stefani. Oz/K: A kernel language for component-based open programming. [Research Report] RR-6202, INRIA. 2007. ⟨inria-00149612v2⟩

Alan Schmitt. Static Analyses for Manipulations of Hierarchically Structured Data. Software Engineering [cs.SE]. Université de Grenoble, 2011. ⟨tel-00637917⟩