Frédéric Peschanski
Orcid: 0000-0002-4206-3283
According to our database1,
Frédéric Peschanski
authored at least 38 papers
between 2000 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
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
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
Discret. Math. Theor. Comput. Sci., 2021
2020
Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020
2019
Proceedings of the Formal Methods and Software Engineering, 2019
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019
2018
Sci. Ann. Comput. Sci., 2018
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018
2017
Proceedings of the 10th European Lisp Symposium (ELS 2017), 2017
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
2015
Proceedings of the Algorithms and Discrete Applied Mathematics, 2015
2014
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014
2013
Fundam. Informaticae, 2013
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013
2011
Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, 2011
2010
Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010
2009
Proceedings of the thirty-second Communicating Process Architectures Conference, 2009
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009
2008
Proceedings of the Runtime Verification, 8th International Workshop, 2008
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
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
Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006
Proceedings of the Programming Multi-Agent Systems, 4th International Workshop, 2006
2005
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005
2004
Tech. Sci. Informatiques, 2004
Obj. Logiciel Base données Réseaux, 2004
Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004
2003
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003
Proceedings of the Middleware 2003, 2003
2002
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