Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alban Linard
@inproceedings{DBLP:conf/apn/KlikovitsLRB18,
author = {Stefan Klikovits and
Alban Linard and
Dimitri Racordon and
Didier Buchs},
editor = {Daniel Moldt and
Ekkart Kindler and
Heiko R{\"{o}}lke},
title = {Petri Sport: {A} Sport for Petri Netters},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering (PNSE'18), co-located with the39th International Conference
on Application and Theory of Petri Nets and Concurrency Petri Nets
2018 and the 18th International Conference on Application of Concurrency
to System Design {ACSD} 2018, Bratislava, Slovakia, June 24-29, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2138},
pages = {35--56},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2138/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/KlikovitsLRB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BuchsKLMR18,
author = {Didier Buchs and
Stefan Klikovits and
Alban Linard and
Romain Mencattini and
Dimitri Racordon},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {A Model Checker Collection for the Model Checking Contest Using Docker
and Machine Learning},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {385--395},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_21},
doi = {10.1007/978-3-319-91268-4\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BuchsKLMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/KlikovitsLB18,
author = {Stefan Klikovits and
Alban Linard and
Didier Buchs},
editor = {Ferhat Khendek and
Reinhard Gotzhein},
title = {{CREST} - {A} {DSL} for Reactive Cyber-Physical Systems},
booktitle = {System Analysis and Modeling. Languages, Methods, and Tools for Systems
Engineering - 10th International Conference, {SAM} 2018, Copenhagen,
Denmark, October 15-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11150},
pages = {29--45},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01042-3\_3},
doi = {10.1007/978-3-030-01042-3\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/KlikovitsLB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LinardB17,
author = {Alban Linard and
Didier Buchs},
title = {Ardoises: Collaborative {\&} Interactive Editing Using Layered
Data},
booktitle = {17th International Conference on Application of Concurrency to System
Design, {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017},
pages = {136--145},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ACSD.2017.11},
doi = {10.1109/ACSD.2017.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/LinardB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KlikovitsLB17,
author = {Stefan Klikovits and
Alban Linard and
Didier Buchs},
editor = {Loli Burgue{\~{n}}o and
Jonathan Corley and
Nelly Bencomo and
Peter J. Clarke and
Philippe Collet and
Michalis Famelis and
Sudipto Ghosh and
Martin Gogolla and
Joel Greenyer and
Esther Guerra and
Sahar Kokaly and
Alfonso Pierantonio and
Julia Rubin and
Davide Di Ruscio},
title = {{CREST} - {A} Continuous, REactive SysTems {DSL}},
booktitle = {Proceedings of {MODELS} 2017 Satellite Event: Workshops (ModComp,
ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE,
MDEbug), Posters, Doctoral Symposium, Educator Symposium, {ACM} Student
Research Competition, and Tools and Demonstrations co-located with
{ACM/IEEE} 20th International Conference on Model Driven Engineering
Languages and Systems {(MODELS} 2017), Austin, TX, USA, September,
17, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2019},
pages = {286--291},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2019/gemoc\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/KlikovitsLB17.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/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/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/SedlmajerBHLBM12,
author = {Nicolas Sedlmajer and
Didier Buchs and
Steve Hostettler and
Alban Linard and
Edmundo L{\'{o}}pez B{\'{o}}beda and
Alexis Marechal},
title = {A Domain Specific Language Approach for Genetic Regulatory Mechanisms
Analysis},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {6},
pages = {123--145},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35179-2\_6},
doi = {10.1007/978-3-642-35179-2\_6},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/SedlmajerBHLBM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KordonLBCELLPTW12,
author = {Fabrice Kordon and
Alban Linard and
Didier Buchs and
Maximilien Colange and
Sami Evangelista and
Kai Lampka and
Niels Lohmann and
Emmanuel Paviot{-}Adet and
Yann Thierry{-}Mieg and
Harro Wimmel},
title = {Report on the Model Checking Contest at Petri Nets 2011},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {6},
pages = {169--196},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35179-2\_8},
doi = {10.1007/978-3-642-35179-2\_8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/KordonLBCELLPTW12.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}
}
@article{DBLP:journals/fuin/HostettlerMLRB11,
author = {Steve Hostettler and
Alexis Marechal and
Alban Linard and
Matteo Risoldi and
Didier Buchs},
title = {High-Level Petri Net Model Checking with AlPiNA},
journal = {Fundam. Informaticae},
volume = {113},
number = {3-4},
pages = {229--264},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-608},
doi = {10.3233/FI-2011-608},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HostettlerMLRB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-3436,
author = {Nicolas Sedlmajer and
Didier Buchs and
Steve Hostettler and
Alban Linard and
Edmundo L{\'{o}}pez B{\'{o}}beda and
Alexis Marechal},
title = {Modelling of Genetic Regulatory Mechanisms with GReg},
journal = {CoRR},
volume = {abs/1108.3436},
year = {2011},
url = {http://arxiv.org/abs/1108.3436},
eprinttype = {arXiv},
eprint = {1108.3436},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-3436.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LinardPKBC10,
author = {Alban Linard and
Emmanuel Paviot{-}Adet and
Fabrice Kordon and
Didier Buchs and
Samuel Charron},
editor = {Lu{\'{\i}}s Gomes and
Victor Khomenko and
Jo{\~{a}}o M. Fernandes},
title = {polyDD: Towards a Framework Generalizing Decision Diagrams},
booktitle = {10th International Conference on Application of Concurrency to System
Design, {ACSD} 2010, Braga, Portugal, 21-25 June 2010},
pages = {124--133},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ACSD.2010.17},
doi = {10.1109/ACSD.2010.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/LinardPKBC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HamezHLMPR10,
author = {Alexandre Hamez and
Steve Hostettler and
Alban Linard and
Alexis Marechal and
Emmanuel Paviot{-}Adet and
Matteo Risoldi},
editor = {Susanna Donatelli and
Jetty Kleijn and
Ricardo Jorge Machado and
Jo{\~{a}}o M. Fernandes},
title = {Specification of Decision Diagram Operations},
booktitle = {Proceedings of the Workshops of the 31st International Conference
on Application and Theory of Petri Nets and Other Models of Concurrency
{(PETRI} {NETS} 2010) and of the 10th International Conference on
Application of Concurrency to System Design {(ACSD} 2010), Braga,
Portugal, June, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {827},
pages = {437--451},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-827/33\_AlexandreHamez\_article.pdf},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/acsd/HamezHLMPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HostettlerLMR10,
author = {Steve Hostettler and
Alban Linard and
Alexis Marechal and
Matteo Risoldi},
editor = {Susanna Donatelli and
Jetty Kleijn and
Ricardo Jorge Machado and
Jo{\~{a}}o M. Fernandes},
title = {Improving the Significance of Benchmarks for Petri Nets Model Checkers},
booktitle = {Proceedings of the Workshops of the 31st International Conference
on Application and Theory of Petri Nets and Other Models of Concurrency
{(PETRI} {NETS} 2010) and of the 10th International Conference on
Application of Concurrency to System Design {(ACSD} 2010), Braga,
Portugal, June, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {827},
pages = {475--489},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-827/35\_SteveHostettler\_article.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HostettlerLMR10.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/KordonLP06,
author = {Fabrice Kordon and
Alban Linard and
Emmanuel Paviot{-}Adet},
editor = {Elie Najm and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
V{\'{e}}ronique Donzeau{-}Gouge},
title = {Optimized Colored Nets Unfolding},
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 = {339--355},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11888116\_25},
doi = {10.1007/11888116\_25},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/KordonLP06.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-21 17:57 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:
