Franck Pommereau
Orcid: 0000-0002-9959-3699
According to our database1,
Franck Pommereau
authored at least 51 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
1
1
1
1
1
1
1
2
1
1
1
1
1
3
3
2
1
2
1
1
1
1
3
3
2
2
3
1
1
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 19th Conference on Computer Science and Intelligence Systems, 2024
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2024
A Multivalued, Spatialized, and Timed Modelling Language for Social-Ecological Systems.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024
2022
Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022
Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022
2021
Ecol. Informatics, 2021
2020
Understanding Ecosystem Complexity via Application of a Process-Based State Space rather than a Potential Surface.
Complex., 2020
2019
Proceedings of the Biomedical Engineering Systems and Technologies, 2019
Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), 2019
2018
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018
2017
Trans. Petri Nets Other Model. Concurr., 2017
Scalable Fine-Grained Metric-Based Remeshing Algorithm for Manycore/NUMA Architectures.
Proceedings of the Euro-Par 2017: Parallel Processing - 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28, 2017
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017
2016
Proceedings of the Modeling in Systems Biology, The Petri Net Approach, 2016
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016
2015
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015
2014
J. Supercomput., 2014
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014
2013
Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013
2012
Theor. Comput. Sci., 2012
Formal modelling and analysis of behaviour grading within a peer-to-peer storage system.
Proceedings of the 2012 Spring Simulation Multiconference, 2012
Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols.
Proceedings of the 20th Euromicro International Conference on Parallel, 2012
Proceedings of the 11th International Symposium on Parallel and Distributed Computing, 2012
2011
Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011
Proceedings of the 2011 International Conference on High Performance Computing & Simulation, 2011
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011
2010
Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections
Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010
Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems, 2010
2009
Proceedings of the Joint Proceedings of the 8th, 2009
Proceedings of the 24th International Symposium on Computer and Information Sciences, 2009
Algebras of coloured Petri nets and their applications to modelling and verification.
, 2009
2008
Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008
Proceedings of the Theoretical Aspects of Computing, 2008
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008
2007
Proceedings of the 2007 Summer Computer Simulation Conference, 2007
2005
Scalable Comput. Pract. Exp., 2005
2003
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003
2002
A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems.
Fundam. Informaticae, 2002
Proceedings of the International Workshop on Models for Time-Critical Systems, 2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
2001
Proceedings of the Application and Theory of Petri Nets 2001, 2001
2000
Proceedings of the Integrated Formal Methods, Second International Conference, 2000
1999
Proceedings of the Advances in Computing Science, 1999