Frédéric Peschanski

Orcid: 0000-0002-4206-3283

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Counting Linear Extensions of Modular Partial Orders.
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.
Theor. Comput. Sci., 2022

A Combinatorial Study of Async/Await Processes.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

2021
Quantitative and Algorithmic aspects of Barrier Synchronization in Concurrency.
Discret. Math. Theor. Comput. Sci., 2021

2020
Statistical Analysis of Non-deterministic Fork-Join Processes.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

2019
A Mechanized Theory of Program Refinement.
Proceedings of the Formal Methods and Software Engineering, 2019

The Combinatorics of Barrier Synchronization.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018
Pattern Matching in Link Streams: Timed-Automata with Finite Memory.
Sci. Ann. Comput. Sci., 2018

Pattern Matching in Link Streams: A Token-Based Approach.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017
A Lisp Way to Type Theory and Formal Proofs.
Proceedings of the 10th European Lisp Symposium (ELS 2017), 2017

Entropic Uniform Sampling of Linear Extensions in Series-Parallel Posets.
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.
Proceedings of the Fourteenth Workshop on Analytic Algorithmics and Combinatorics, 2017

2016
A Quantitative Study of Pure Parallel Processes.
Electron. J. Comb., 2016

2015
Associativity for Binary Parallel Processes: A Quantitative Study.
Proceedings of the Algorithms and Discrete Applied Mathematics, 2015

2014
The Omniscient Garbage Collector: A Resource Analysis Framework.
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013
A Petri Net Interpretation of Open Reconfigurable Systems.
Fundam. Informaticae, 2013

The Combinatorics of Non-determinism.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2011
Parallel computing with the Pi-calculus.
Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, 2011

2010
A Decidable Characterization of a Graphical Pi-calculus with Iterators
Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010

2009
A Denotational Study of Mobility.
Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

Modelling and Verifying Mobile Systems Using pi-Graphs.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

2008
A Lightweight Container Architecture for Runtime Verification.
Proceedings of the Runtime Verification, 8th International Workshop, 2008

A Constraint Logic Programming Approach to Automated Testing.
Proceedings of the Logic Programming, 24th International Conference, 2008

Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

2007
Coordinating mobile agents in interaction spaces.
Sci. Comput. Program., 2007

An Experience in Using Components for a Modular Construction of Agents for Agent-based Simulations.
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.
Obj. Logiciel Base données Réseaux, 2006

Toward Agent-Based Cooperative Resource Management in a Telecommunication Operator Grid Platform.
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.
Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006

Architectural Design of Component-Based Agents: A Behavior-Based Approach.
Proceedings of the Programming Multi-Agent Systems, 4th International Workshop, 2006

2005
Mobile Agents in Interaction Spaces.
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.
Tech. Sci. Informatiques, 2004

Les espaces d'interaction Vers une géométrie des systèmes d'agents mobiles.
Obj. Logiciel Base données Réseaux, 2004

MobileScope: A Programming Language with Objective Mobility.
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.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Fine-Grained Dynamic Adaptation of Distributed Components.
Proceedings of the Middleware 2003, 2003

2002
A Versatile Event-Based Communication Model for Generic Distributed Interactions.
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.
Proceedings of the Actes des journées Langages et Modèles à Objets, 2000


  Loading...