Frédéric Peschanski

According to our database, Frédéric Peschanski authored at least 39 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Counting Linear Extensions of Modular Partial Orders.

Matthieu Dien, Frédéric Peschanski

Proceedings of the 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2023

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

A Combinatorial Study of Async/Await Processes.

Matthieu Dien, Antoine Genitrini, Frédéric Peschanski

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory.

Clément Bertrand, Hanna Klaudel, Frédéric Peschanski

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

2021

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

2020

Statistical Analysis of Non-deterministic Fork-Join Processes.

Antoine Genitrini, Martin Pépin, Frédéric Peschanski

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

2019

A Mechanized Theory of Program Refinement.

Boubacar Demba Sall, Frédéric Peschanski, Emmanuel Chailloux

Proceedings of the Formal Methods and Software Engineering, 2019

The Combinatorics of Barrier Synchronization.

Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

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

Pattern Matching in Link Streams: A Token-Based Approach.

Clément Bertrand, Hanna Klaudel, Matthieu Latapy, Frédéric Peschanski

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

A Lisp Way to Type Theory and Formal Proofs.

Frédéric Peschanski

Proceedings of the 10th European Lisp Symposium (ELS 2017), 2017

Entropic Uniform Sampling of Linear Extensions in Series-Parallel Posets.

Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski

Proceedings of the Computer Science - Theory and Applications, 2017

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

Proceedings of the Fourteenth Workshop on Analytic Algorithmics and Combinatorics, 2017

2016

A Quantitative Study of Pure Parallel Processes.

Olivier Bodini, Antoine Genitrini, Frédéric Peschanski

Electron. J. Comb., 2016

2015

Associativity for Binary Parallel Processes: A Quantitative Study.

Olivier Bodini, Antoine Genitrini, Frédéric Peschanski, Nicolas Rolin

Proceedings of the Algorithms and Discrete Applied Mathematics, 2015

2014

The Omniscient Garbage Collector: A Resource Analysis Framework.

Aurelien Deharbe, Frédéric Peschanski

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

A Petri Net Interpretation of Open Reconfigurable Systems.

Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers

Fundam. Informaticae, 2013

The Combinatorics of Non-determinism.

Olivier Bodini, Antoine Genitrini, Frédéric Peschanski

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2011

Parallel computing with the Pi-calculus.

Frédéric Peschanski

Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, 2011

2010

A Decidable Characterization of a Graphical Pi-calculus with Iterators

Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers

Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010

2009

A Denotational Study of Mobility.

Joël-Alexis Bialkiewicz, Frédéric Peschanski

Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

Modelling and Verifying Mobile Systems Using pi-Graphs.

Frédéric Peschanski, Joël-Alexis Bialkiewicz

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

2008

A Lightweight Container Architecture for Runtime Verification.

Hakim Belhaouari, Frédéric Peschanski

Proceedings of the Runtime Verification, 8th International Workshop, 2008

A Constraint Logic Programming Approach to Automated Testing.

Hakim Belhaouari, Frédéric Peschanski

Proceedings of the Logic Programming, 24th International Conference, 2008

Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach.

Hakim Belhaouari, Frédéric Peschanski

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

2007

Coordinating mobile agents in interaction spaces.

Frédéric Peschanski, Alexis Darrasse, Nataliya Guts, Jérémy Bobbio

Sci. Comput. Program., 2007

An Experience in Using Components for a Modular Construction of Agents for Agent-based Simulations.

Jean-Pierre Briot, Thomas Meurisse, Frédéric Peschanski

Proceedings of the 21st Brazilian Symposium on Software Engineering, 2007

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

Toward Agent-Based Cooperative Resource Management in a Telecommunication Operator Grid Platform.

A. Lenica, Frederic Ogel, Frédéric Peschanski, Jean-Pierre Briot

Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2006), 2006

A stackless runtime environment for a Pi-calculus.

Frédéric Peschanski, Samuel Hym

Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006

Architectural Design of Component-Based Agents: A Behavior-Based Approach.

Jean-Pierre Briot, Thomas Meurisse, Frédéric Peschanski

Proceedings of the Programming Multi-Agent Systems, 4th International Workshop, 2006

2005

Mobile Agents in Interaction Spaces.

Frédéric Peschanski

Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

2004

Adaptations dynamiques et orthogonales de composants logiciels distribués.

Frédéric Peschanski, Jean-Pierre Briot

Tech. Sci. Informatiques, 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

MobileScope: A Programming Language with Objective Mobility.

Takashi Masuyama, Frédéric Peschanski, Yoshihiro Oyama, Akinori Yonezawa

Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004

2003

When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets.

Frédéric Peschanski, David Julien

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Fine-Grained Dynamic Adaptation of Distributed Components.

Frédéric Peschanski, Jean-Pierre Briot, Akinori Yonezawa

Proceedings of the Middleware 2003, 2003

2002

A Versatile Event-Based Communication Model for Generic Distributed Interactions.

Frédéric Peschanski

Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

2000

Architecture réflexive à base de composants pour la construction d'applications concurrentes et réparties.

Frédéric Peschanski

Proceedings of the Actes des journées Langages et Modèles à Objets, 2000