Frédéric Peschanski

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 16

Top Topics

Pattern Matching

Regular Languages

Quantitative And Qualitative

Top Venues

Publications

Matthieu Dien, Frédéric Peschanski
Counting Linear Extensions of Modular Partial Orders. SYNASC (2023)
Antoine Genitrini, Martin Pépin, Frédéric Peschanski
A quantitative study of fork-join processes with non-deterministic choice: Application to the statistical exploration of the state-space. Theor. Comput. Sci. 912 (2022)
Matthieu Dien, Antoine Genitrini, Frédéric Peschanski
A Combinatorial Study of Async/Await Processes. ICTAC (2022)
Clément Bertrand, Hanna Klaudel, Frédéric Peschanski
Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory. Petri Nets (2022)
Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski
Quantitative and Algorithmic aspects of Barrier Synchronization in Concurrency. Discret. Math. Theor. Comput. Sci. 22 (3) (2021)
Antoine Genitrini, Martin Pépin, Frédéric Peschanski
Statistical Analysis of Non-deterministic Fork-Join Processes. ICTAC (2020)
Boubacar Demba Sall, Frédéric Peschanski, Emmanuel Chailloux
A Mechanized Theory of Program Refinement. ICFEM (2019)
Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski
The Combinatorics of Barrier Synchronization. Petri Nets (2019)
Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski
The Combinatorics of Barrier Synchronization. CoRR (2019)
Clément Bertrand, Frédéric Peschanski, Hanna Klaudel, Matthieu Latapy
Pattern Matching in Link Streams: Timed-Automata with Finite Memory. Sci. Ann. Comput. Sci. 28 (2) (2018)
Clément Bertrand, Hanna Klaudel, Matthieu Latapy, Frédéric Peschanski
Pattern Matching in Link Streams: A Token-Based Approach. Petri Nets (2018)
Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski
The Ordered and Colored Products in Analytic Combinatorics: Application to the Quantitative Study of Synchronizations in Concurrent Processes. ANALCO (2017)
Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski
Entropic Uniform Sampling of Linear Extensions in Series-Parallel Posets. CSR (2017)
Frédéric Peschanski
A Lisp Way to Type Theory and Formal Proofs. ELS (2017)
Olivier Bodini, Antoine Genitrini, Frédéric Peschanski
A Quantitative Study of Pure Parallel Processes. Electron. J. Comb. 23 (1) (2016)
Olivier Bodini, Antoine Genitrini, Frédéric Peschanski, Nicolas Rolin
Associativity for Binary Parallel Processes: A Quantitative Study. CALDAM (2015)
Olivier Bodini, Antoine Genitrini, Frédéric Peschanski
A Quantitative Study of Pure Parallel Processes. CoRR (2014)
Aurelien Deharbe, Frédéric Peschanski
The Omniscient Garbage Collector: A Resource Analysis Framework. ACSD (2014)
Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers
A Petri Net Interpretation of Open Reconfigurable Systems. Fundam. Informaticae 122 (1-2) (2013)
Olivier Bodini, Antoine Genitrini, Frédéric Peschanski
The Combinatorics of Non-determinism. FSTTCS (2013)
Frédéric Peschanski
Parallel computing with the Pi-calculus. DAMP (2011)
Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers
A Petri Net Interpretation of Open Reconfigurable Systems. Petri Nets (2011)
Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers
A Decidable Characterization of a Graphical Pi-calculus with Iterators INFINITY (2010)
Joël-Alexis Bialkiewicz, Frédéric Peschanski
A Denotational Study of Mobility. CPA (2009)
Frédéric Peschanski, Joël-Alexis Bialkiewicz
Modelling and Verifying Mobile Systems Using pi-Graphs. SOFSEM (2009)
Hakim Belhaouari, Frédéric Peschanski
A Lightweight Container Architecture for Runtime Verification. RV (2008)
Hakim Belhaouari, Frédéric Peschanski
Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach. HASE (2008)
Hakim Belhaouari, Frédéric Peschanski
A Constraint Logic Programming Approach to Automated Testing. ICLP (2008)
Jean-Pierre Briot, Thomas Meurisse, Frédéric Peschanski
An Experience in Using Components for a Modular Construction of Agents for Agent-based Simulations. SBES (2007)
Frédéric Peschanski, Alexis Darrasse, Nataliya Guts, Jérémy Bobbio
Coordinating mobile agents in interaction spaces. Sci. Comput. Program. 66 (3) (2007)
Frédéric Peschanski
Mobile Agents in Interaction Spaces. Electron. Notes Theor. Comput. Sci. 154 (1) (2006)
A. Lenica, Frederic Ogel, Frédéric Peschanski, Jean-Pierre Briot
Toward Agent-Based Cooperative Resource Management in a Telecommunication Operator Grid Platform. WETICE (2006)
Jean-Pierre Briot, Thomas Meurisse, Frédéric Peschanski
Architectural Design of Component-Based Agents: A Behavior-Based Approach. PROMAS (2006)
Frédéric Peschanski, Samuel Hym
A stackless runtime environment for a Pi-calculus. VEE (2006)
Jean-Pierre Briot, Thomas Meurisse, Frédéric Peschanski
Une expérience de conception et de composition de comportements d'agents à l'aide de composants. Obj. Logiciel Base données Réseaux 12 (4) (2006)
Frédéric Peschanski, Reynald Affeldt, Jean-Pierre Briot
Les espaces d'interaction Vers une géométrie des systèmes d'agents mobiles. Obj. Logiciel Base données Réseaux 10 (2-3) (2004)
Frédéric Peschanski, Jean-Pierre Briot
Adaptations dynamiques et orthogonales de composants logiciels distribués. Tech. Sci. Informatiques 23 (2) (2004)
Takashi Masuyama, Frédéric Peschanski, Yoshihiro Oyama, Akinori Yonezawa
MobileScope: A Programming Language with Objective Mobility. ICDCS Workshops (2004)
Frédéric Peschanski, David Julien
When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets. ZB (2003)
Frédéric Peschanski, Jean-Pierre Briot, Akinori Yonezawa
Fine-Grained Dynamic Adaptation of Distributed Components. Middleware (2003)
Frédéric Peschanski
A Versatile Event-Based Communication Model for Generic Distributed Interactions. ICDCS Workshops (2002)
Frédéric Peschanski
Architecture réflexive à base de composants pour la construction d'applications concurrentes et réparties. LMO (2000)