Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Franck Pommereau
@article{DBLP:journals/ploscb/ThomasCGP22,
author = {Colin Thomas and
Maximilien Cosme and
C{\'{e}}dric Gaucherel and
Franck Pommereau},
title = {Model-checking ecological state-transition graphs},
journal = {PLoS Comput. Biol.},
volume = {18},
number = {6},
year = {2022},
url = {https://doi.org/10.1371/journal.pcbi.1009657},
doi = {10.1371/JOURNAL.PCBI.1009657},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/ThomasCGP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PommereauTG22a,
author = {Franck Pommereau and
Colin Thomas and
C{\'{e}}dric Gaucherel},
editor = {Michael K{\"{o}}hler{-}Bussmeier and
Daniel Moldt and
Heiko R{\"{o}}lke},
title = {{EDEN} Framework for Interactive Analysis of Ecosystems Models},
booktitle = {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), Bergen, Norway, June 20th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3170},
pages = {119--138},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3170/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/PommereauTG22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PommereauTG22,
author = {Franck Pommereau and
Colin Thomas and
C{\'{e}}dric Gaucherel},
editor = {Luca Bernardinello and
Laure Petrucci},
title = {Petri Nets Semantics of Reaction Rules {(RR)} - {A} Language for Ecosystems
Modelling},
booktitle = {Application and Theory of Petri Nets and Concurrency - 43rd International
Conference, {PETRI} {NETS} 2022, Bergen, Norway, June 19-24, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13288},
pages = {175--194},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06653-5\_10},
doi = {10.1007/978-3-031-06653-5\_10},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/PommereauTG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Aguirre-Samboni22,
author = {Giann Karlo Aguirre{-}Sambon{\'{\i}} and
C{\'{e}}dric Gaucherel and
Stefan Haar and
Franck Pommereau},
editor = {Michael K{\"{o}}hler{-}Bussmeier and
Daniel Moldt and
Heiko R{\"{o}}lke},
title = {Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs},
booktitle = {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), Bergen, Norway, June 20th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3170},
pages = {213--214},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3170/poster2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/Aguirre-Samboni22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ecoi/GaucherelCGNP21,
author = {C{\'{e}}dric Gaucherel and
Camille Carpentier and
Ilse R. Geijzendorffer and
Camille No{\^{u}}s and
Franck Pommereau},
title = {Discrete-event models for conservation assessment of integrated ecosystems},
journal = {Ecol. Informatics},
volume = {61},
pages = {101205},
year = {2021},
url = {https://doi.org/10.1016/j.ecoinf.2020.101205},
doi = {10.1016/J.ECOINF.2020.101205},
timestamp = {Thu, 25 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ecoi/GaucherelCGNP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/complexity/GaucherelPH20,
author = {C{\'{e}}dric Gaucherel and
Franck Pommereau and
Christelle H{\'{e}}ly},
title = {Understanding Ecosystem Complexity via Application of a Process-Based
State Space rather than a Potential Surface},
journal = {Complex.},
volume = {2020},
pages = {7163920:1--7163920:14},
year = {2020},
url = {https://doi.org/10.1155/2020/7163920},
doi = {10.1155/2020/7163920},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/complexity/GaucherelPH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/GiustoGKP19,
author = {Cinzia Di Giusto and
C{\'{e}}dric Gaucherel and
Hanna Klaudel and
Franck Pommereau},
editor = {Elisabetta De Maria and
Ana L. N. Fred and
Hugo Gamboa},
title = {Pattern Matching in Discrete Models for Ecosystem Ecology},
booktitle = {Proceedings of the 12th International Joint Conference on Biomedical
Engineering Systems and Technologies {(BIOSTEC} 2019) - Volume 3:
BIOINFORMATICS, Prague, Czech Republic, February 22-24, 2019},
pages = {101--111},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007485801010111},
doi = {10.5220/0007485801010111},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/biostec/GiustoGKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/GiustoGKP19a,
author = {Cinzia Di Giusto and
C{\'{e}}dric Gaucherel and
Hanna Klaudel and
Franck Pommereau},
editor = {Ana Cec{\'{\i}}lia Roque and
Arkadiusz Tomczyk and
Elisabetta De Maria and
Felix Putze and
Roman Moucek and
Ana L. N. Fred and
Hugo Gamboa},
title = {Analysis of Discrete Models for Ecosystem Ecology},
booktitle = {Biomedical Engineering Systems and Technologies - 12th International
Joint Conference, {BIOSTEC} 2019, Prague, Czech Republic, February
22-24, 2019, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1211},
pages = {242--264},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46970-2\_12},
doi = {10.1007/978-3-030-46970-2\_12},
timestamp = {Sat, 09 Apr 2022 12:35:18 +0200},
biburl = {https://dblp.org/rec/conf/biostec/GiustoGKP19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/LesireP18,
author = {Charles Lesire and
Franck Pommereau},
title = {ASPiC: An Acting System Based on Skill Petri Net Composition},
booktitle = {2018 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2018, Madrid, Spain, October 1-5, 2018},
pages = {6952--6958},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/IROS.2018.8594328},
doi = {10.1109/IROS.2018.8594328},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/LesireP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HoussayePD17,
author = {Jordan de la Houssaye and
Franck Pommereau and
Philippe Deniel},
title = {Formal Modelling and Analysis of Distributed Storage Systems},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {12},
pages = {70--90},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-55862-1\_4},
doi = {10.1007/978-3-662-55862-1\_4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/HoussayePD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PommereauH17,
author = {Franck Pommereau and
Jordan de la Houssaye},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Faster Simulation of (Coloured) Petri Nets Using Parallel Computing},
booktitle = {Application and Theory of Petri Nets and Concurrency - 38th International
Conference, {PETRI} {NETS} 2017, Zaragoza, Spain, June 25-30, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10258},
pages = {37--56},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57861-3\_4},
doi = {10.1007/978-3-319-57861-3\_4},
timestamp = {Wed, 25 Sep 2019 18:08:03 +0200},
biburl = {https://dblp.org/rec/conf/apn/PommereauH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/RakotoariveloLP17,
author = {Hoby Rakotoarivelo and
Franck Ledoux and
Franck Pommereau and
Nicolas Le Goff},
editor = {Francisco F. Rivera and
Tom{\'{a}}s F. Pena and
Jos{\'{e}} Carlos Cabaleiro},
title = {Scalable Fine-Grained Metric-Based Remeshing Algorithm for Manycore/NUMA
Architectures},
booktitle = {Euro-Par 2017: Parallel Processing - 23rd International Conference
on Parallel and Distributed Computing, Santiago de Compostela, Spain,
August 28 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10417},
pages = {594--606},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-64203-1\_43},
doi = {10.1007/978-3-319-64203-1\_43},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/RakotoariveloLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HoussayePD16,
author = {Jordan de la Houssaye and
Franck Pommereau and
Philippe Deniel},
editor = {Lawrence Cabac and
Lars Michael Kristensen and
Heiko R{\"{o}}lke},
title = {Formal Modelling and Analysis of Distributed Storage Systems},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering 2016, including the International Workshop on Biological
Processes {\&} Petri Nets 2016 co-located with the 37th International
Conference on Application and Theory of Petri Nets and Concurrency
Petri Nets 2016 and the 16th International Conference on Application
of Concurrency to System Design {ACSD} 2016, Toru{\'{n}}, Poland,
June 20-21, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1591},
pages = {56--75},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1591/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/HoussayePD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Pommereau16,
author = {Franck Pommereau},
editor = {Fabrice Kordon and
Daniel Moldt},
title = {{ABCD:} {A} User-Friendly Language for Formal Modelling and Analysis},
booktitle = {Application and Theory of Petri Nets and Concurrency - 37th International
Conference, {PETRI} {NETS} 2016, Toru{\'{n}}, Poland, June 19-24,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9698},
pages = {176--195},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39086-4\_12},
doi = {10.1007/978-3-319-39086-4\_12},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Pommereau16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/cb/ChaouiyaKP16,
author = {Claudine Chaouiya and
Hanna Klaudel and
Franck Pommereau},
editor = {Ina Koch and
Wolfgang Reisig and
Falk Schreiber},
title = {A Modular, Qualitative Modeling of Regulatory Networks Using Petri
Nets},
booktitle = {Modeling in Systems Biology, The Petri Net Approach},
series = {Computational Biology},
volume = {16},
pages = {253--279},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-1-84996-474-6\_12},
doi = {10.1007/978-1-84996-474-6\_12},
timestamp = {Mon, 05 Feb 2024 20:35:58 +0100},
biburl = {https://dblp.org/rec/series/cb/ChaouiyaKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Pommereau15,
author = {Franck Pommereau},
editor = {Raymond R. Devillers and
Antti Valmari},
title = {{SNAKES:} {A} Flexible High-Level Petri Nets Library (Tool Paper)},
booktitle = {Application and Theory of Petri Nets and Concurrency - 36th International
Conference, {PETRI} {NETS} 2015, Brussels, Belgium, June 21-26, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9115},
pages = {254--265},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19488-2\_13},
doi = {10.1007/978-3-319-19488-2\_13},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Pommereau15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/GavaPG14,
author = {Fr{\'{e}}d{\'{e}}ric Gava and
Franck Pommereau and
Micha{\"{e}}l Guedj},
title = {A {BSP} algorithm for on-the-fly checking CTL* formulas on security
protocols},
journal = {J. Supercomput.},
volume = {69},
number = {2},
pages = {629--672},
year = {2014},
url = {https://doi.org/10.1007/s11227-014-1099-8},
doi = {10.1007/S11227-014-1099-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tjs/GavaPG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CornecP14,
author = {Yves{-}Stan Le Cornec and
Franck Pommereau},
title = {Modular {\(\mathrm{\mu}\)}-Calculus Model-Checking with Formula-Dependent
Hierarchical Abstractions},
booktitle = {14th International Conference on Application of Concurrency to System
Design, {ACSD} 2014, Tunis La Marsa, Tunisia, June 23-27, 2014},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ACSD.2014.14},
doi = {10.1109/ACSD.2014.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/CornecP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FroncP13,
author = {Lukasz Fronc and
Franck Pommereau},
editor = {Daniel Moldt},
title = {Building Petri Nets Tools around Neco Compiler},
booktitle = {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 - 25,
2013},
series = {{CEUR} Workshop Proceedings},
volume = {989},
pages = {239--245},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-989/paper01.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/FroncP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KordonLBBFHHLLMPPRRTWW13,
author = {Fabrice Kordon and
Alban Linard and
Marco Beccuti and
Didier Buchs and
Lukasz Fronc and
Lom{-}Messan Hillah and
Francis Hulin{-}Hubard and
Fabrice Legond{-}Aubry and
Niels Lohmann and
Alexis Marechal and
Emmanuel Paviot{-}Adet and
Franck Pommereau and
C{\'{e}}sar Rodr{\'{\i}}guez and
Christian Rohr and
Yann Thierry{-}Mieg and
Harro Wimmel and
Karsten Wolf},
title = {Model Checking Contest @ Petri Nets, Report on the 2013 edition},
journal = {CoRR},
volume = {abs/1309.2485},
year = {2013},
url = {http://arxiv.org/abs/1309.2485},
eprinttype = {arXiv},
eprint = {1309.2485},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KordonLBBFHHLLMPPRRTWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GiavittoKP12,
author = {Jean{-}Louis Giavitto and
Hanna Klaudel and
Franck Pommereau},
title = {Integrated regulatory networks (IRNs): Spatially organized biochemical
modules},
journal = {Theor. Comput. Sci.},
volume = {431},
pages = {219--234},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.12.054},
doi = {10.1016/J.TCS.2011.12.054},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GiavittoKP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispdc/GavaGP12,
author = {Fr{\'{e}}d{\'{e}}ric Gava and
Micha{\"{e}}l Guedj and
Franck Pommereau},
editor = {Michael Bader and
Hans{-}Joachim Bungartz and
Dan Grigoras and
Miriam Mehl and
Ralf{-}Peter Mundani and
Rodica Potolea},
title = {A {BSP} Algorithm for On-the-fly Checking {LTL} Formulas on Security
Protocols},
booktitle = {11th International Symposium on Parallel and Distributed Computing,
{ISPDC} 2012, Munich, Germany, June 25-29, 2012},
pages = {11--18},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISPDC.2012.10},
doi = {10.1109/ISPDC.2012.10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispdc/GavaGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcat/GavaGP12,
author = {Fr{\'{e}}d{\'{e}}ric Gava and
Micha{\"{e}}l Guedj and
Franck Pommereau},
editor = {Hong Shen and
Yingpeng Sang and
Yidong Li and
Depei Qian and
Albert Y. Zomaya},
title = {A {BSP} Algorithm for On-the-Fly Checking CTL* Formulas on Security
Protocols},
booktitle = {13th International Conference on Parallel and Distributed Computing,
Applications and Technologies, {PDCAT} 2012, Beijing, China, December
14-16, 2012},
pages = {79--84},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/PDCAT.2012.12},
doi = {10.1109/PDCAT.2012.12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdcat/GavaGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/GavaGP12,
author = {Fr{\'{e}}d{\'{e}}ric Gava and
Micha{\"{e}}l Guedj and
Franck Pommereau},
editor = {Rainer Stotzka and
Michael Schiffers and
Yannis Cotronis},
title = {Performance Evaluations of a {BSP} Algorithm for State Space Construction
of Security Protocols},
booktitle = {Proceedings of the 20th Euromicro International Conference on Parallel,
Distributed and Network-Based Processing, {PDP} 2012, Munich, Germany,
February 15-17, 2012},
pages = {170--174},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/PDP.2012.65},
doi = {10.1109/PDP.2012.65},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdp/GavaGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/ChaouP12,
author = {Samira Chaou and
Franck Pommereau},
editor = {Gabriel A. Wainer and
Pieter J. Mosterman},
title = {Formal modelling and analysis of behaviour grading within a peer-to-peer
storage system},
booktitle = {2012 Spring Simulation Multiconference, SpringSim '12, Orlando, FL,
USA, March 26-29, 2012, Proceedings of the 2012 Symposium on Theory
of Modeling and Simulation - {DEVS} Integrative M{\&}S Symposium},
pages = {21},
publisher = {{SCS/ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2346637},
timestamp = {Sat, 13 Oct 2012 13:15:05 +0200},
biburl = {https://dblp.org/rec/conf/springsim/ChaouP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-2382,
author = {Fabrice Kordon and
Alban Linard and
Didier Buchs and
Maximilien Colange and
Sami Evangelista and
Lukasz Fronc and
Lom{-}Messan Hillah and
Niels Lohmann and
Emmanuel Paviot{-}Adet and
Franck Pommereau and
Christian Rohr and
Yann Thierry{-}Mieg and
Harro Wimmel and
Karsten Wolf},
title = {Raw Report on the Model Checking Contest at Petri Nets 2012},
journal = {CoRR},
volume = {abs/1209.2382},
year = {2012},
url = {http://arxiv.org/abs/1209.2382},
eprinttype = {arXiv},
eprint = {1209.2382},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-2382.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/FroncP11,
author = {Lukasz Fronc and
Franck Pommereau},
editor = {Hongseok Yang},
title = {Towards a Certified Petri Net Model-Checker},
booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
Kenting, Taiwan, December 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7078},
pages = {322--336},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25318-8\_24},
doi = {10.1007/978-3-642-25318-8\_24},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/FroncP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeehpcs/ChaouUP11,
author = {Samira Chaou and
Gil Utard and
Franck Pommereau},
editor = {Waleed W. Smari and
John P. McIntire},
title = {Evaluating a peer-to-peer storage system in presence of malicious
peers},
booktitle = {2011 International Conference on High Performance Computing {\&}
Simulation, {HPCS} 2012, Istanbul, Turkey, July 4-8, 2011},
pages = {419--426},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/HPCSim.2011.5999855},
doi = {10.1109/HPCSIM.2011.5999855},
timestamp = {Tue, 28 Jul 2020 13:09:02 +0200},
biburl = {https://dblp.org/rec/conf/ieeehpcs/ChaouUP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/DautricheGKP11,
author = {Antoine Dautriche and
Jean{-}Louis Giavitto and
Hanna Klaudel and
Franck Pommereau},
title = {State Space Exploration of Spatially Organized Populations of Agents},
booktitle = {Fifth {IEEE} Conference on Self-Adaptive and Self-Organizing Systems,
{SASOW} 2011, Ann Arbor, MI, USA, October 3-7, 2011, Workshops Proceedings},
pages = {79--84},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SASOW.2011.9},
doi = {10.1109/SASOW.2011.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/DautricheGKP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/KlaudelKPP10,
author = {Hanna Klaudel and
Maciej Koutny and
Elisabeth Pelz and
Franck Pommereau},
title = {State Space Reduction for Dynamic Process Creation},
journal = {Sci. Ann. Comput. Sci.},
volume = {20},
pages = {131--157},
year = {2010},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XX\&\#38;a=4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/KlaudelKPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cts/SanjabiP10,
author = {Sam B. Sanjabi and
Franck Pommereau},
editor = {Waleed W. Smari and
William K. McQuay},
title = {Modelling, verification, and formal analysis of security properties
in a {P2P} system},
booktitle = {2010 International Symposium on Collaborative Technologies and Systems,
{CTS} 2010, Chicago, Illinois, USA, May 17-21, 2010},
pages = {499--508},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/CTS.2010.5478474},
doi = {10.1109/CTS.2010.5478474},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/cts/SanjabiP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1011-0498,
author = {Jean{-}Louis Giavitto and
Hanna Klaudel and
Franck Pommereau},
editor = {Gabriel Ciobanu and
Maciej Koutny},
title = {Qualitative modelling and analysis of regulations in multi-cellular
systems using Petri nets and topological collections},
booktitle = {Proceedings Fourth Workshop on Membrane Computing and Biologically
Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010},
series = {{EPTCS}},
volume = {40},
pages = {162--177},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.40.11},
doi = {10.4204/EPTCS.40.11},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-0498.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Pommereau09,
author = {Franck Pommereau},
title = {Algebras of coloured Petri nets and their applications to modelling
and verification},
year = {2009},
url = {https://tel.archives-ouvertes.fr/tel-02309973},
timestamp = {Fri, 20 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/hal/Pommereau09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscis/KlaudelKPP09,
author = {Hanna Klaudel and
Maciej Koutny and
Elisabeth Pelz and
Franck Pommereau},
title = {An approach to state space reduction for systems with dynamic process
creation},
booktitle = {The 24th International Symposium on Computer and Information Sciences,
{ISCIS} 2009, 14-16 September 2009, North Cyprus},
pages = {543--548},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ISCIS.2009.5291864},
doi = {10.1109/ISCIS.2009.5291864},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscis/KlaudelKPP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PommereauDK09,
author = {Franck Pommereau and
Raymond R. Devillers and
Hanna Klaudel},
editor = {Peter Habermehl and
Tom{\'{a}}s Vojnar},
title = {Efficient Reachability Graph Representation of Petri Nets With Unbounded
Counters},
booktitle = {Joint Proceedings of the 8th, 9th, and 10th International Workshops
on Verification of Infinite-State Systems, {INFINITY} 2006 / 2007
/ 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September
8, 2007 / Toronto, Canada, August 23, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {239},
pages = {119--129},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.05.034},
doi = {10.1016/J.ENTCS.2009.05.034},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PommereauDK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KlaudelP08,
author = {Hanna Klaudel and
Franck Pommereau},
title = {M-nets: a survey},
journal = {Acta Informatica},
volume = {45},
number = {7-8},
pages = {537--564},
year = {2008},
url = {https://doi.org/10.1007/s00236-008-0077-0},
doi = {10.1007/S00236-008-0077-0},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/KlaudelP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BourouletDKPP08,
author = {Roland Bouroulet and
Raymond R. Devillers and
Hanna Klaudel and
Elisabeth Pelz and
Franck Pommereau},
editor = {Kees M. van Hee and
R{\"{u}}diger Valk},
title = {Modeling and Analysis of Security Protocols Using Role Based Specifications
and Petri Nets},
booktitle = {Applications and Theory of Petri Nets, 29th International Conference,
{PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5062},
pages = {72--91},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68746-7\_9},
doi = {10.1007/978-3-540-68746-7\_9},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BourouletDKPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/KlaudelKPP08,
author = {Hanna Klaudel and
Maciej Koutny and
Elisabeth Pelz and
Franck Pommereau},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Towards Efficient Verification of Systems with Dynamic Process Creation},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {186--200},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_13},
doi = {10.1007/978-3-540-85762-4\_13},
timestamp = {Fri, 28 Feb 2020 14:02:33 +0100},
biburl = {https://dblp.org/rec/conf/ictac/KlaudelKPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/Pommereau08,
author = {Franck Pommereau},
editor = {S{\'{a}}ndor Moln{\'{a}}r and
John R. Heath and
Olivier Dalle and
Gabriel A. Wainer},
title = {Quickly prototyping petri nets tools with {SNAKES}},
booktitle = {Proceedings of the 1st International Conference on Simulation Tools
and Techniques for Communications, Networks and Systems {\&} Workshops,
SimuTools 2008, Marseille, France, March 3-7, 2008},
pages = {17},
publisher = {{ICST/ACM}},
year = {2008},
url = {https://doi.org/10.4108/ICST.SIMUTOOLS2008.3007},
doi = {10.4108/ICST.SIMUTOOLS2008.3007},
timestamp = {Tue, 27 Nov 2018 10:40:37 +0100},
biburl = {https://dblp.org/rec/conf/simutools/Pommereau08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scsc/Pommereau07,
author = {Franck Pommereau},
editor = {Gabriel A. Wainer},
title = {Versatile boxes: a multi-purpose algebra of high-level Petri nets},
booktitle = {Proceedings of the 2007 Summer Computer Simulation Conference, {SCSC}
2007, San Diego, California, USA, July 16-19, 2007},
pages = {665--672},
publisher = {Simulation Councils, Inc.},
year = {2007},
url = {https://dl.acm.org/citation.cfm?id=1358014},
timestamp = {Wed, 28 Nov 2018 12:57:16 +0100},
biburl = {https://dblp.org/rec/conf/scsc/Pommereau07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/Pommereau05,
author = {Franck Pommereau},
title = {Petri nets as Executable Specifications of High-Level Timed Parallel
Systems},
journal = {Scalable Comput. Pract. Exp.},
volume = {6},
number = {4},
year = {2005},
url = {http://www.scpe.org/index.php/scpe/article/view/347},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scpe/Pommereau05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/Pommereau04,
author = {Franck Pommereau},
editor = {Marian Bubak and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {Petri Nets as Executable Specifications of High-Level Timed Parallel
Systems},
booktitle = {Computational Science - {ICCS} 2004, 4th International Conference,
Krak{\'{o}}w, Poland, June 6-9, 2004, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {3038},
pages = {322--330},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24688-6\_44},
doi = {10.1007/978-3-540-24688-6\_44},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iccS/Pommereau04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DevillersKKP03,
author = {Raymond R. Devillers and
Hanna Klaudel and
Maciej Koutny and
Franck Pommereau},
title = {Asynchronous Box Calculus},
journal = {Fundam. Informaticae},
volume = {54},
number = {4},
pages = {295--344},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-4-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DevillersKKP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Pommereau03,
author = {Franck Pommereau},
editor = {Kim Guldstrand Larsen and
Peter Niebert},
title = {Causal Time Calculus},
booktitle = {Formal Modeling and Analysis of Timed Systems: First International
Workshop, {FORMATS} 2003, Marseille, France, September 6-7, 2003.
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2791},
pages = {260--272},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40903-8\_21},
doi = {10.1007/978-3-540-40903-8\_21},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/Pommereau03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Pommereau02,
author = {Franck Pommereau},
title = {Mod{\`{e}}les composables et concurrents pour le temps-r{\'{e}}el},
school = {Paris 12 Val de Marne University, France},
year = {2002},
url = {https://tel.archives-ouvertes.fr/tel-00114680},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Pommereau02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KlaudelP02,
author = {Hanna Klaudel and
Franck Pommereau},
title = {A Class of Composable and Preemptible High-level Petri Nets with an
Application to Multi-Tasking Systems},
journal = {Fundam. Informaticae},
volume = {50},
number = {1},
pages = {33--55},
year = {2002},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi50-1-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KlaudelP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/DevillersKKP02,
author = {Raymond R. Devillers and
Hanna Klaudel and
Maciej Koutny and
Franck Pommereau},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {An Algebra of Non-safe Petri Boxes},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {192--207},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_14},
doi = {10.1007/3-540-45719-4\_14},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/DevillersKKP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ThanhKP02,
author = {C{\'{e}}cile Bui Thanh and
Hanna Klaudel and
Franck Pommereau},
editor = {Walter Vogler and
Kim Larsen},
title = {Petri nets with causal time for system verification},
booktitle = {Proceedings of the International Workshop on Models for Time-Critical
Systems, {MTCS} 2002, {CONCUR} 2002 Satellite Workshop, Brno, Czech
Republic, August 24, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {5},
pages = {85--100},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80521-8},
doi = {10.1016/S1571-0661(04)80521-8},
timestamp = {Thu, 01 Dec 2022 15:09:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ThanhKP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KlaudelP01,
author = {Hanna Klaudel and
Franck Pommereau},
editor = {Jos{\'{e}} Manuel Colom and
Maciej Koutny},
title = {A Concurrent Semantics of Static Exceptions in a Parallel Programming
Language},
booktitle = {Application and Theory of Petri Nets 2001, 22nd International Conference,
{ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2075},
pages = {204--223},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45740-2\_13},
doi = {10.1007/3-540-45740-2\_13},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/KlaudelP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/KlaudelP00,
author = {Hanna Klaudel and
Franck Pommereau},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {A Concurrent and Compositional Petri Net Semantics of Preemption},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {318--337},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_19},
doi = {10.1007/3-540-40911-4\_19},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/KlaudelP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/KlaudelP99,
author = {Hanna Klaudel and
Franck Pommereau},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Asynchronous Links in the {PBC} and M-Nets},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {190--200},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_17},
doi = {10.1007/3-540-46674-6\_17},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/KlaudelP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2023-10-02 00:53 CEST 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:
