BibTeX records: Alexis Marechal

download as .bib file

@article{DBLP:journals/fuin/MarechalB15,
  author       = {Alexis Marechal and
                  Didier Buchs},
  title        = {Generalizing the Compositions of Petri Nets Modules},
  journal      = {Fundam. Informaticae},
  volume       = {137},
  number       = {1},
  pages        = {87--116},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1171},
  doi          = {10.3233/FI-2015-1171},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MarechalB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/basesearch/Marin13,
  author       = {Alexis Marechal},
  title        = {Unifying the syntax and semantics of modular extensions of Petri nets},
  school       = {University of Geneva, Switzerland},
  year         = {2013},
  url          = {https://archive-ouverte.unige.ch/unige:29390},
  doi          = {10.13097/ARCHIVE-OUVERTE/UNIGE:29390},
  timestamp    = {Fri, 20 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Marin13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/MarechalB13,
  author       = {Alexis Marechal and
                  Didier Buchs},
  editor       = {Jos{\'{e}} Manuel Colom and
                  J{\"{o}}rg Desel},
  title        = {Unifying the Semantics of Modular Extensions of Petri Nets},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 34th International
                  Conference, {PETRI} {NETS} 2013, Milan, Italy, June 24-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7927},
  pages        = {349--368},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38697-8\_19},
  doi          = {10.1007/978-3-642-38697-8\_19},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/MarechalB13.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/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}
}

@inproceedings{DBLP:conf/serene/BuchsHM11,
  author       = {Didier Buchs and
                  Steve Hostettler and
                  Alexis Marechal},
  editor       = {Elena Troubitsyna},
  title        = {Experience-Based Model Refinement},
  booktitle    = {Software Engineering for Resilient Systems - Third International Workshop,
                  {SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6968},
  pages        = {40--47},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24124-6\_4},
  doi          = {10.1007/978-3-642-24124-6\_4},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/serene/BuchsHM11.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/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/apn/BuchsHMR10,
  author       = {Didier Buchs and
                  Steve Hostettler and
                  Alexis Marechal and
                  Matteo Risoldi},
  editor       = {Johan Lilius and
                  Wojciech Penczek},
  title        = {AlPiNA: {A} Symbolic Model Checker},
  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        = {287--296},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13675-7\_17},
  doi          = {10.1007/978-3-642-13675-7\_17},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BuchsHMR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/BuchsHMR10,
  author       = {Didier Buchs and
                  Steve Hostettler and
                  Alexis Marechal and
                  Matteo Risoldi},
  editor       = {Javier Esparza and
                  Rupak Majumdar},
  title        = {AlPiNA: An Algebraic Petri Net Analyzer},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  16th International Conference, {TACAS} 2010, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2010,
                  Paphos, Cyprus, March 20-28, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6015},
  pages        = {349--352},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-12002-2\_29},
  doi          = {10.1007/978-3-642-12002-2\_29},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BuchsHMR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.