Architecture réflexive à base de composants pour la construction d'applications concurrentes et réparties. - Frédéric Peschanski (LMO, 2000)

A Versatile Event-Based Communication Model for Generic Distributed Interactions. - Frédéric Peschanski (ICDCS Workshops, 2002)

Fine-Grained Dynamic Adaptation of Distributed Components. - Frédéric Peschanski; Jean-Pierre Briot; Akinori Yonezawa (Middleware, 2003)

When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets. - Frédéric Peschanski; David Julien 002 (ZB, 2003)

MobileScope: A Programming Language with Objective Mobility. - Takashi Masuyama; Frédéric Peschanski; Yoshihiro Oyama; Akinori Yonezawa (ICDCS Workshops, 2004)

Les espaces d'interaction Vers une géométrie des systèmes d'agents mobiles. - Frédéric Peschanski; Reynald Affeldt; Jean-Pierre Briot (Obj. Logiciel Base données Réseaux, 2004)

Adaptations dynamiques et orthogonales de composants logiciels distribués. - Frédéric Peschanski; Jean-Pierre Briot (Tech. Sci. Informatiques, 2004)

Mobile Agents in Interaction Spaces. - Frédéric Peschanski (FOCLASA, 2005)

Architectural Design of Component-Based Agents: A Behavior-Based Approach. - Jean-Pierre Briot; Thomas Meurisse; Frédéric Peschanski (PROMAS, 2006)

A stackless runtime environment for a Pi-calculus. - Frédéric Peschanski; Samuel Hym (VEE, 2006)

Toward Agent-Based Cooperative Resource Management in a Telecommunication Operator Grid Platform. - A. Lenica; Frederic Ogel; Frédéric Peschanski; Jean-Pierre Briot (WETICE, 2006)

Une expérience de conception et de composition de comportements d'agents à l'aide de composants. - Jean-Pierre Briot; Thomas Meurisse; Frédéric Peschanski (Obj. Logiciel Base données Réseaux, 2006)

An Experience in Using Components for a Modular Construction of Agents for Agent-based Simulations. - Jean-Pierre Briot; Thomas Meurisse; Frédéric Peschanski (SBES, 2007)

Coordinating mobile agents in interaction spaces. - Frédéric Peschanski; Alexis Darrasse; Nataliya Guts; Jérémy Bobbio (Sci. Comput. Program., 2007)

Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach. - Hakim Belhaouari; Frédéric Peschanski (HASE, 2008)

A Constraint Logic Programming Approach to Automated Testing. - Hakim Belhaouari; Frédéric Peschanski (ICLP, 2008)

A Lightweight Container Architecture for Runtime Verification. - Hakim Belhaouari; Frédéric Peschanski (RV, 2008)

Modelling and Verifying Mobile Systems Using pi-Graphs. - Frédéric Peschanski; Joël-Alexis Bialkiewicz (SOFSEM, 2009)

A Denotational Study of Mobility. - Joël-Alexis Bialkiewicz; Frédéric Peschanski (CPA, 2009)

A Decidable Characterization of a Graphical Pi-calculus with Iterators - Frédéric Peschanski; Hanna Klaudel; Raymond Devillers (INFINITY, 2010)

Parallel computing with the Pi-calculus. - Frédéric Peschanski (DAMP, 2011)

The Combinatorics of Non-determinism. - Olivier Bodini; Antoine Genitrini; Frédéric Peschanski (FSTTCS, 2013)

A Petri Net Interpretation of Open Reconfigurable Systems. - Frédéric Peschanski; Hanna Klaudel; Raymond Devillers (Fundam. Informaticae, 2013)

The Omniscient Garbage Collector: A Resource Analysis Framework. - Aurelien Deharbe; Frédéric Peschanski (ACSD, 2014)

Associativity for Binary Parallel Processes: A Quantitative Study. - Olivier Bodini; Antoine Genitrini; Frédéric Peschanski; Nicolas Rolin (CALDAM, 2015)

A Quantitative Study of Pure Parallel Processes. - Olivier Bodini; Antoine Genitrini; Frédéric Peschanski (Electron. J. Comb., 2016)

The Ordered and Colored Products in Analytic Combinatorics: Application to the Quantitative Study of Synchronizations in Concurrent Processes. - Olivier Bodini; Matthieu Dien; Antoine Genitrini; Frédéric Peschanski (ANALCO, 2017)

Entropic Uniform Sampling of Linear Extensions in Series-Parallel Posets. - Olivier Bodini; Matthieu Dien; Antoine Genitrini; Frédéric Peschanski (CSR, 2017)

A Lisp Way to Type Theory and Formal Proofs. - Frédéric Peschanski (ELS, 2017)

Pattern Matching in Link Streams: A Token-Based Approach. - Clément Bertrand; Hanna Klaudel; Matthieu Latapy; Frédéric Peschanski (Petri Nets, 2018)

Pattern Matching in Link Streams: Timed-Automata with Finite Memory. - Clément Bertrand; Frédéric Peschanski; Hanna Klaudel; Matthieu Latapy (Sci. Ann. Comput. Sci., 2018)

The Combinatorics of Barrier Synchronization. - Olivier Bodini; Matthieu Dien; Antoine Genitrini; Frédéric Peschanski (Petri Nets, 2019)

A Mechanized Theory of Program Refinement. - Boubacar Demba Sall; Frédéric Peschanski; Emmanuel Chailloux (ICFEM, 2019)

Statistical Analysis of Non-deterministic Fork-Join Processes. - Antoine Genitrini; Martin Pépin; Frédéric Peschanski (ICTAC, 2020)

Quantitative and Algorithmic aspects of Barrier Synchronization in Concurrency. - Olivier Bodini; Matthieu Dien; Antoine Genitrini; Frédéric Peschanski (Discret. Math. Theor. Comput. Sci., 2021)

Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory. - Clément Bertrand; Hanna Klaudel; Frédéric Peschanski (Petri Nets, 2022)

A Combinatorial Study of Async/Await Processes. - Matthieu Dien; Antoine Genitrini; Frédéric Peschanski (ICTAC, 2022)

A quantitative study of fork-join processes with non-deterministic choice: Application to the statistical exploration of the state-space. - Antoine Genitrini; Martin Pépin; Frédéric Peschanski (Theor. Comput. Sci., 2022)

Counting Linear Extensions of Modular Partial Orders. - Matthieu Dien; Frédéric Peschanski (SYNASC, 2023)

Stateful Functional Modeling with Refinement (a Lean4 Framework). - Frédéric Peschanski (IFM, 2024)