Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lom-Messan Hillah
@inproceedings{DBLP:conf/iceccs/XuBZEBH23,
author = {Hao Xu and
Souheib Baarir and
Tewfik Ziadi and
Siham Essodaigui and
Yves Bossu and
Lom{-}Messan Hillah},
editor = {Yamine A{\"{\i}}t{-}Ameur and
Ferhat Khendek and
Dominique M{\'{e}}ry},
title = {An Experience Report on the Optimization of the Product Configuration
System of Renault \({}^{\mbox{*}}\)},
booktitle = {27th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2023, Toulouse, France, June 14-16, 2023},
pages = {197--206},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICECCS59891.2023.00032},
doi = {10.1109/ICECCS59891.2023.00032},
timestamp = {Fri, 15 Dec 2023 07:44:32 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/XuBZEBH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/XuBZEBH23,
author = {Hao Xu and
Souheib Baarir and
Tewfik Ziadi and
Siham Essodaigui and
Yves Bossu and
Lom{-}Messan Hillah},
editor = {Jiman Hong and
Maart Lanperne and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}} and
Hossain Shahriar},
title = {Optimization of the Product Configuration System of Renault},
booktitle = {Proceedings of the 38th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2023, Tallinn, Estonia, March 27-31, 2023},
pages = {1486--1489},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3555776.3577830},
doi = {10.1145/3555776.3577830},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/XuBZEBH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KordonHHJP21,
author = {Fabrice Kordon and
Lom{-}Messan Hillah and
Francis Hulin{-}Hubard and
Lo{\"{\i}}g Jezequel and
Emmanuel Paviot{-}Adet},
title = {Study of the efficiency of model checking techniques using results
of the {MCC} from 2015 To 2019},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {6},
pages = {931--952},
year = {2021},
url = {https://doi.org/10.1007/s10009-021-00615-1},
doi = {10.1007/S10009-021-00615-1},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/KordonHHJP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/XuBZHEB21,
author = {Hao Xu and
Souheib Baarir and
Tewfik Ziadi and
Lom{-}Messan Hillah and
Siham Essodaigui and
Yves Bossu},
editor = {Mohammad Reza Mousavi and
Pierre{-}Yves Schobbens},
title = {Optimisation for the product configuration system of Renault: towards
an integration of symmetries},
booktitle = {{SPLC} '21: 25th {ACM} International Systems and Software Product
Line Conference, Leicester, United Kindom, September 6-11, 2021, Volume
{B}},
pages = {86--90},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3461002.3473948},
doi = {10.1145/3461002.3473948},
timestamp = {Sun, 24 Apr 2022 17:23:47 +0200},
biburl = {https://dblp.org/rec/conf/splc/XuBZHEB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AmparoreBCDGHHJ19,
author = {Elvio Gilberto Amparore and
Bernard Berthomieu and
Gianfranco Ciardo and
Silvano Dal{-}Zilio and
Francesco Gall{\`{a}} and
Lom{-}Messan Hillah and
Francis Hulin{-}Hubard and
Peter Gj{\o}l Jensen and
Lo{\"{\i}}g Jezequel and
Fabrice Kordon and
Didier Le Botlan and
Torsten Liebke and
Jeroen Meijer and
Andrew S. Miner and
Emmanuel Paviot{-}Adet and
Jir{\'{\i}} Srba and
Yann Thierry{-}Mieg and
Tom van Dijk and
Karsten Wolf},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {Presentation of the 9th Edition of the Model Checking Contest},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {50--68},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_4},
doi = {10.1007/978-3-030-17502-3\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/AmparoreBCDGHHJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KordonGHPJHABBEJBLMSTPW18,
author = {Fabrice Kordon and
Hubert Garavel and
Lom{-}Messan Hillah and
Emmanuel Paviot{-}Adet and
Lo{\"{\i}}g Jezequel and
Francis Hulin{-}Hubard and
Elvio Gilberto Amparore and
Marco Beccuti and
Bernard Berthomieu and
Hugues Evrard and
Peter Gj{\o}l Jensen and
Didier Le Botlan and
Torsten Liebke and
Jeroen Meijer and
Jir{\'{\i}} Srba and
Yann Thierry{-}Mieg and
Jaco van de Pol and
Karsten Wolf},
title = {MCC'2017 - The Seventh Model Checking Contest},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {13},
pages = {181--209},
year = {2018},
url = {https://doi.org/10.1007/978-3-662-58381-4\_9},
doi = {10.1007/978-3-662-58381-4\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/KordonGHPJHABBEJBLMSTPW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ZiadiH18,
author = {Tewfik Ziadi and
Lom{-}Messan Hillah},
title = {Software Product Line Extraction from Bytecode Based Applications},
booktitle = {23rd International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2018, Melbourne, Australia, December 12-14, 2018},
pages = {221--225},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICECCS2018.2018.00037},
doi = {10.1109/ICECCS2018.2018.00037},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ZiadiH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HillahMRKWFBGM17,
author = {Lom{-}Messan Hillah and
Ariele{-}Paolo Maesano and
Fabio De Rosa and
Fabrice Kordon and
Pierre{-}Henri Wuillemin and
Riccardo Fontanelli and
Sergio Di Bona and
Davide Guerri and
Libero Maesano},
title = {Automation and intelligent scheduling of distributed system functional
testing - Model-based functional testing in practice},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {3},
pages = {281--308},
year = {2017},
url = {https://doi.org/10.1007/s10009-016-0440-3},
doi = {10.1007/S10009-016-0440-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HillahMRKWFBGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HillahK17,
author = {Lom{-}Messan Hillah and
Fabrice Kordon},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Petri Nets Repository: {A} Tool to Benchmark and Debug Petri Net Tools},
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 = {125--135},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57861-3\_9},
doi = {10.1007/978-3-319-57861-3\_9},
timestamp = {Wed, 25 Sep 2019 18:08:03 +0200},
biburl = {https://dblp.org/rec/conf/apn/HillahK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HillahABDRGLMMM17,
author = {Lom{-}Messan Hillah and
Rodrigo Elia Assad and
Antonia Bertolino and
M{\'{a}}rcio Eduardo Delamaro and
Fabio De Rosa and
Vinicius C. Garcia and
Francesca Lonetti and
Ariele{-}Paolo Maesano and
Libero Maesano and
Eda Marchetti and
Breno Miranda and
Auri Vincenzi and
Juliano Iyoda},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {Towards Automated Deployment of Self-adaptive Applications on Hybrid
Clouds (Short Paper)},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {388--393},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_26},
doi = {10.1007/978-3-319-66197-1\_26},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/HillahABDRGLMMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KordonGHPJRH16,
author = {Fabrice Kordon and
Hubert Garavel and
Lom{-}Messan Hillah and
Emmanuel Paviot{-}Adet and
Lo{\"{\i}}g Jezequel and
C{\'{e}}sar Rodr{\'{\i}}guez and
Francis Hulin{-}Hubard},
title = {MCC'2015 - The Fifth Model Checking Contest},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {11},
pages = {262--273},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53401-4\_12},
doi = {10.1007/978-3-662-53401-4\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/KordonGHPJRH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LinardBBCDHM16,
author = {Alban Linard and
Beno{\^{\i}}t Barbot and
Didier Buchs and
Maximilien Colange and
Cl{\'{e}}ment D{\'{e}}moulins and
Lom{-}Messan Hillah and
Alexis Martin},
editor = {Lawrence Cabac and
Lars Michael Kristensen and
Heiko R{\"{o}}lke},
title = {Layered Data: {A} Modular Formal Definition without Formalisms},
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 = {287--306},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1591/paper19.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/LinardBBCDHM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HillahMMRKW16,
author = {Lom{-}Messan Hillah and
Ariele{-}Paolo Maesano and
Libero Maesano and
Fabio De Rosa and
Fabrice Kordon and
Pierre{-}Henri Wuillemin},
editor = {Sascha Ossowski},
title = {Service functional testing automation with intelligent scheduling
and planning},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {1605--1610},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851807},
doi = {10.1145/2851613.2851807},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/HillahMMRKW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/LamprierBZH15,
author = {Sylvain Lamprier and
Nicolas Baskiotis and
Tewfik Ziadi and
Lom{-}Messan Hillah},
title = {The {CARE} platform for the analysis of behavior model inference techniques},
journal = {Inf. Softw. Technol.},
volume = {60},
pages = {32--50},
year = {2015},
url = {https://doi.org/10.1016/j.infsof.2014.12.004},
doi = {10.1016/J.INFSOF.2014.12.004},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/LamprierBZH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HerboldFGHHKMMN15,
author = {Steffen Herbold and
Alberto De Francesco and
Jens Grabowski and
Patrick Harms and
Lom{-}Messan Hillah and
Fabrice Kordon and
Ariele{-}Paolo Maesano and
Libero Maesano and
Claudia Di Napoli and
Fabio De Rosa and
Martin A. Schneider and
Nicola Tonellotto and
Marc{-}Florian Wendland and
Pierre{-}Henri Wuillemin},
title = {The {MIDAS} Cloud Platform for Testing {SOA} Applications},
booktitle = {8th {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICST.2015.7102636},
doi = {10.1109/ICST.2015.7102636},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/HerboldFGHHKMMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/ZhangBHKT14,
author = {Yan Zhang and
B{\'{e}}atrice B{\'{e}}rard and
Lom{-}Messan Hillah and
Fabrice Kordon and
Yann Thierry{-}Mieg},
title = {Controllability for discrete event systems modelled in VeriJ},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {5},
number = {3/4},
pages = {218--240},
year = {2014},
url = {https://doi.org/10.1504/IJCCBS.2014.064668},
doi = {10.1504/IJCCBS.2014.064668},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/ZhangBHKT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LamprierZBH14,
author = {Sylvain Lamprier and
Tewfik Ziadi and
Nicolas Baskiotis and
Lom{-}Messan Hillah},
title = {Exact and Efficient Temporal Steering of Software Behavioral Model
Inference},
booktitle = {2014 19th International Conference on Engineering of Complex Computer
Systems, Tianjin, China, August 4-7, 2014},
pages = {166--175},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICECCS.2014.31},
doi = {10.1109/ICECCS.2014.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LamprierZBH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ZhangBHT13,
author = {Yan Zhang and
B{\'{e}}atrice B{\'{e}}rard and
Lom{-}Messan Hillah and
Yann Thierry{-}Mieg},
editor = {Werner Dietl},
title = {Semi-automatic controller design of Java-like models},
booktitle = {Proceedings of the 15th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2013, Montpellier, France, July 1, 2013},
pages = {3:1--3:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489804.2489806},
doi = {10.1145/2489804.2489806},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ZhangBHT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/AndreLPHLHK13,
author = {{\'{E}}tienne Andr{\'{e}} and
Yousra Lembachar and
Laure Petrucci and
Francis Hulin{-}Hubard and
Alban Linard and
Lom Hillah and
Fabrice Kordon},
title = {CosyVerif: An Open Source Extensible Verification Environment},
booktitle = {2013 18th International Conference on Engineering of Complex Computer
Systems, Singapore, July 17-19, 2013},
pages = {33--36},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICECCS.2013.15},
doi = {10.1109/ICECCS.2013.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/AndreLPHLHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LamprierBZH13,
author = {Sylvain Lamprier and
Nicolas Baskiotis and
Tewfik Ziadi and
Lom{-}Messan Hillah},
title = {{CARE:} {A} Platform for Reliable Comparison and Analysis of Reverse-Engineering
Techniques},
booktitle = {2013 18th International Conference on Engineering of Complex Computer
Systems, Singapore, July 17-19, 2013},
pages = {252--255},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICECCS.2013.44},
doi = {10.1109/ICECCS.2013.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LamprierBZH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AndreBDHHKLP13,
author = {{\'{E}}tienne Andr{\'{e}} and
Beno{\^{\i}}t Barbot and
Clement Demoulins and
Lom{-}Messan Hillah and
Francis Hulin{-}Hubard and
Fabrice Kordon and
Alban Linard and
Laure Petrucci},
editor = {Lindsay Groves and
Jing Sun},
title = {A Modular Approach for Reusing Formalisms in Verification Tools of
Concurrent Systems},
booktitle = {Formal Methods and Software Engineering - 15th International Conference
on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
October 29 - November 1, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8144},
pages = {199--214},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41202-8\_14},
doi = {10.1007/978-3-642-41202-8\_14},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/AndreBDHHKLP13.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/topnoc/HillahKLP12,
author = {Lom{-}Messan Hillah and
Fabrice Kordon and
Charles Lakos and
Laure Petrucci},
title = {Extending pnml Scope: {A} Framework to Combine Petri Nets Types},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {6},
pages = {46--70},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35179-2\_3},
doi = {10.1007/978-3-642-35179-2\_3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/HillahKLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/ColangeHKP12,
author = {Maximilien Colange and
Lom{-}Messan Hillah and
Fabrice Kordon and
Pierre Parutto},
editor = {Radu Calinescu and
David Garlan},
title = {Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented
Approach},
booktitle = {Large-Scale Complex {IT} Systems. Development, Operation and Management
- 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7539},
pages = {330--352},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34059-8\_17},
doi = {10.1007/978-3-642-34059-8\_17},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/monterey/ColangeHKP12.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/apn/HillahKLP11,
author = {Lom{-}Messan Hillah and
Fabrice Kordon and
Charles Lakos and
Laure Petrucci},
editor = {Michael Duvigneau and
Daniel Moldt and
Kunihiko Hiraishi},
title = {Extending {PNML} Scope: the Prioritised Petri Nets Experience},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering, Newcastle upon Tyne, UK, June 20-21, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {723},
pages = {92--106},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-723/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/HillahKLP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ZiadiSHZ11,
author = {Tewfik Ziadi and
Marcos Aur{\'{e}}lio Almeida da Silva and
Lom{-}Messan Hillah and
Mikal Ziane},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {A Fully Dynamic Approach to the Reverse Engineering of {UML} Sequence
Diagrams},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {107--116},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.18},
doi = {10.1109/ICECCS.2011.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ZiadiSHZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HillahKPT10,
author = {Lom{-}Messan Hillah and
Fabrice Kordon and
Laure Petrucci and
Nicolas Tr{\`{e}}ves},
editor = {Johan Lilius and
Wojciech Penczek},
title = {{PNML} Framework: An Extendable Reference Implementation of the Petri
Net Markup Language},
booktitle = {Applications and Theory of Petri Nets, 31st International Conference,
{PETRI} {NETS} 2010, Braga, Portugal, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6128},
pages = {318--327},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13675-7\_20},
doi = {10.1007/978-3-642-13675-7\_20},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/HillahKPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/BaarirHKR10,
author = {Souheib Baarir and
Lom{-}Messan Hillah and
Fabrice Kordon and
Etienne Renault},
editor = {Radu Calinescu and
Ethan K. Jackson},
title = {Self-reconfigurable Modular Robots and Their Symbolic Configuration
Space},
booktitle = {Foundations of Computer Software. Modeling, Development, and Verification
of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA,
March 31- April 2, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6662},
pages = {103--121},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21292-5\_6},
doi = {10.1007/978-3-642-21292-5\_6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/monterey/BaarirHKR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/Thierry-MiegH08,
author = {Yann Thierry{-}Mieg and
Lom{-}Messan Hillah},
title = {{UML} behavioral consistency checking using instantiable Petri nets},
journal = {Innov. Syst. Softw. Eng.},
volume = {4},
number = {3},
pages = {293--300},
year = {2008},
url = {https://doi.org/10.1007/s11334-008-0065-0},
doi = {10.1007/S11334-008-0065-0},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/Thierry-MiegH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/BonnefoiHKR07,
author = {Fabien Bonnefoi and
Lom{-}Messan Hillah and
Fabrice Kordon and
Xavier Renault},
title = {Design, modeling and analysis of {ITS} using {UML} and Petri Nets},
booktitle = {{IEEE} Intelligent Transportation Systems Conference, {ITSC} 2007,
Seattle, WA, USA, 30 September-3 October 2007},
pages = {314--319},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ITSC.2007.4357718},
doi = {10.1109/ITSC.2007.4357718},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/itsc/BonnefoiHKR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HamezHKLPRT06,
author = {Alexandre Hamez and
Lom Hillah and
Fabrice Kordon and
Alban Linard and
Emmanuel Paviot{-}Adet and
Xavier Renault and
Yann Thierry{-}Mieg},
title = {New features in {CPN-AMI} 3: focusing on the analysis of complex distributed
systems},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {273--275},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.15},
doi = {10.1109/ACSD.2006.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HamezHKLPRT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HillahKPT06,
author = {Lom Hillah and
Fabrice Kordon and
Laure Petrucci{-}Dauchy and
Nicolas Tr{\`{e}}ves},
editor = {Elie Najm and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
V{\'{e}}ronique Donzeau{-}Gouge},
title = {{PN} Standardisation: {A} Survey},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2006, 26th {IFIP} {WG} 6.1 International Conference, Paris, France,
September 26-29, 2006},
series = {Lecture Notes in Computer Science},
volume = {4229},
pages = {307--322},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11888116\_23},
doi = {10.1007/11888116\_23},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/HillahKPT06.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 2024-04-25 01:32 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:
