default search action
Frédéric Peschanski
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c32]Frédéric Peschanski:
Stateful Functional Modeling with Refinement (a Lean4 Framework). IFM 2024: 109-127 - 2023
- [c31]Matthieu Dien, Frédéric Peschanski:
Counting Linear Extensions of Modular Partial Orders. SYNASC 2023: 60-67 - 2022
- [j9]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: 1-36 (2022) - [c30]Clément Bertrand, Hanna Klaudel, Frédéric Peschanski:
Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory. Petri Nets 2022: 43-63 - [c29]Matthieu Dien, Antoine Genitrini
A Combinatorial Study of Async/Await Processes. ICTAC 2022: 170-187 - 2021
- [j8]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) - 2020
- [c28]Antoine Genitrini
Statistical Analysis of Non-deterministic Fork-Join Processes. ICTAC 2020: 83-102
2010 – 2019
- 2019
- [c27]Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski:
The Combinatorics of Barrier Synchronization. Petri Nets 2019: 386-405 - [c26]Boubacar Demba Sall, Frédéric Peschanski, Emmanuel Chailloux:
A Mechanized Theory of Program Refinement. ICFEM 2019: 305-321 - [i2]Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski:
The Combinatorics of Barrier Synchronization. CoRR abs/1907.04243 (2019) - 2018
- [j7]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): 161-198 (2018) - [c25]Clément Bertrand, Hanna Klaudel, Matthieu Latapy, Frédéric Peschanski:
Pattern Matching in Link Streams: A Token-Based Approach. Petri Nets 2018: 227-247 - 2017
- [c24]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: 16-30 - [c23]Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski:
Entropic Uniform Sampling of Linear Extensions in Series-Parallel Posets. CSR 2017: 71-84 - [c22]Frédéric Peschanski:
A Lisp Way to Type Theory and Formal Proofs. ELS 2017: 20-27 - 2016
- [j6]Olivier Bodini, Antoine Genitrini, Frédéric Peschanski:
A Quantitative Study of Pure Parallel Processes. Electron. J. Comb. 23(1): 1 (2016) - 2015
- [c21]Olivier Bodini, Antoine Genitrini, Frédéric Peschanski, Nicolas Rolin:
Associativity for Binary Parallel Processes: A Quantitative Study. CALDAM 2015: 217-228 - 2014
- [c20]Aurelien Deharbe, Frédéric Peschanski:
The Omniscient Garbage Collector: A Resource Analysis Framework. ACSD 2014: 102-111 - [i1]Olivier Bodini, Antoine Genitrini, Frédéric Peschanski:
A Quantitative Study of Pure Parallel Processes. CoRR abs/1407.1873 (2014) - 2013
- [j5]Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers:
A Petri Net Interpretation of Open Reconfigurable Systems. Fundam. Informaticae 122(1-2): 85-117 (2013) - [c19]Olivier Bodini, Antoine Genitrini, Frédéric Peschanski:
The Combinatorics of Non-determinism. FSTTCS 2013: 425-436 - 2011
- [c18]Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers:
A Petri Net Interpretation of Open Reconfigurable Systems. Petri Nets 2011: 208-227 - [c17]Frédéric Peschanski:
Parallel computing with the Pi-calculus. DAMP 2011: 45-54 - 2010
- [c16]Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers:
A Decidable Characterization of a Graphical Pi-calculus with Iterators. INFINITY 2010: 47-61
2000 – 2009
- 2009
- [c15]Frédéric Peschanski, Joël-Alexis Bialkiewicz:
Modelling and Verifying Mobile Systems Using pi-Graphs. SOFSEM 2009: 437-448 - [c14]Joël-Alexis Bialkiewicz, Frédéric Peschanski:
A Denotational Study of Mobility. CPA 2009: 239-261 - 2008
- [c13]Hakim Belhaouari, Frédéric Peschanski:
Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach. HASE 2008: 219-228 - [c12]Hakim Belhaouari, Frédéric Peschanski:
A Constraint Logic Programming Approach to Automated Testing. ICLP 2008: 754-758 - [c11]Hakim Belhaouari, Frédéric Peschanski:
A Lightweight Container Architecture for Runtime Verification. RV 2008: 173-187 - 2007
- [j4]Frédéric Peschanski, Alexis Darrasse, Nataliya Guts, Jérémy Bobbio:
Coordinating mobile agents in interaction spaces. Sci. Comput. Program. 66(3): 246-265 (2007) - [c10]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: 93-109 - 2006
- [j3]Jean-Pierre Briot
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): 11-41 (2006) - [c9]Jean-Pierre Briot
Architectural Design of Component-Based Agents: A Behavior-Based Approach. PROMAS 2006: 71-90 - [c8]Frédéric Peschanski, Samuel Hym:
A stackless runtime environment for a Pi-calculus. VEE 2006: 57-67 - [c7]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: 214-219 - 2005
- [c6]Frédéric Peschanski:
Mobile Agents in Interaction Spaces. FOCLASA 2005: 63-82 - 2004
- [j2]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): 31-45 (2004) - [j1]Frédéric Peschanski, Jean-Pierre Briot:
Adaptations dynamiques et orthogonales de composants logiciels distribués. Tech. Sci. Informatiques 23(2): 151-174 (2004) - [c5]Takashi Masuyama, Frédéric Peschanski, Yoshihiro Oyama, Akinori Yonezawa:
MobileScope: A Programming Language with Objective Mobility. ICDCS Workshops 2004: 542-547 - 2003
- [c4]Frédéric Peschanski, Jean-Pierre Briot
Fine-Grained Dynamic Adaptation of Distributed Components. Middleware 2003: 123-142 - [c3]Frédéric Peschanski, David Julien:
When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets. ZB 2003: 79-97 - 2002
- [c2]Frédéric Peschanski:
A Versatile Event-Based Communication Model for Generic Distributed Interactions. ICDCS Workshops 2002: 503-510 - 2000
- [c1]Frédéric Peschanski:
Architecture réflexive à base de composants pour la construction d'applications concurrentes et réparties. LMO 2000: 11-26
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-08 01:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: