Frédéric Peschanski

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