BibTeX records: Benjamin Lion

download as .bib file

@inproceedings{DBLP:conf/setta/YuanLBT23,
  author       = {Shenghao Yuan and
                  Benjamin Lion and
                  Fr{\'{e}}d{\'{e}}ric Besson and
                  Jean{-}Pierre Talpin},
  editor       = {Holger Hermanns and
                  Jun Sun and
                  Lei Bu},
  title        = {Making an eBPF Virtual Machine Faster on Microcontrollers: Verified
                  Optimization and Proof Simplification},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 9th International Symposium, {SETTA} 2023, Nanjing, China, November
                  27-29, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14464},
  pages        = {385--401},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-8664-4\_22},
  doi          = {10.1007/978-981-99-8664-4\_22},
  timestamp    = {Fri, 26 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/YuanLBT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/FengBL22,
  author       = {Hui Feng and
                  Marcello M. Bonsangue and
                  Benjamin Lion},
  title        = {From symbolic constraint automata to Promela},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {128},
  pages        = {100794},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.jlamp.2022.100794},
  doi          = {10.1016/J.JLAMP.2022.100794},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/FengBL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/LionAT22,
  author       = {Benjamin Lion and
                  Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {A formal framework for distributed cyber-physical systems},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {128},
  pages        = {100795},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.jlamp.2022.100795},
  doi          = {10.1016/J.JLAMP.2022.100795},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/LionAT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/LionAT22a,
  author       = {Benjamin Lion and
                  Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {A semantic model for interacting cyber-physical systems},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {129},
  pages        = {100807},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.jlamp.2022.100807},
  doi          = {10.1016/J.JLAMP.2022.100807},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/LionAT22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/LionAT22,
  author       = {Benjamin Lion and
                  Farhad Arbab and
                  Carolyn L. Talcott},
  editor       = {Alexandre Madeira and
                  Manuel A. Martins},
  title        = {Runtime Composition of Systems of Interacting Cyber-Physical Components},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 26th {IFIP} {WG}
                  1.3 International Workshop, {WADT} 2022, Aveiro, Portugal, June 28-30,
                  2022, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13710},
  pages        = {141--162},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-43345-0\_7},
  doi          = {10.1007/978-3-031-43345-0\_7},
  timestamp    = {Tue, 24 Oct 2023 15:45:06 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/LionAT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/LionAT22,
  author       = {Benjamin Lion and
                  Farhad Arbab and
                  Carolyn L. Talcott},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {A Rewriting Framework for Interacting Cyber-Physical Agents},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Adaptation and Learning - 11th International Symposium, ISoLA 2022,
                  Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13703},
  pages        = {356--372},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19759-8\_22},
  doi          = {10.1007/978-3-031-19759-8\_22},
  timestamp    = {Fri, 21 Oct 2022 19:54:54 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/LionAT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2205-13008,
  author       = {Benjamin Lion and
                  Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Runtime Composition Of Systems of Interacting Cyber-Physical Components},
  journal      = {CoRR},
  volume       = {abs/2205.13008},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2205.13008},
  doi          = {10.48550/ARXIV.2205.13008},
  eprinttype    = {arXiv},
  eprint       = {2205.13008},
  timestamp    = {Mon, 30 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-13008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2206-03997,
  author       = {Benjamin Lion and
                  Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {A Rewriting Framework for Cyber-Physical Systems},
  journal      = {CoRR},
  volume       = {abs/2206.03997},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2206.03997},
  doi          = {10.48550/ARXIV.2206.03997},
  eprinttype    = {arXiv},
  eprint       = {2206.03997},
  timestamp    = {Tue, 14 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2206-03997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2207-01048,
  author       = {Benjamin Lion and
                  Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {A Formal Framework for Distributed Cyber-Physical Systems},
  journal      = {CoRR},
  volume       = {abs/2207.01048},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2207.01048},
  doi          = {10.48550/ARXIV.2207.01048},
  eprinttype    = {arXiv},
  eprint       = {2207.01048},
  timestamp    = {Wed, 06 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-01048.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/DokterGLS21,
  author       = {Kasper Dokter and
                  Fabio Gadducci and
                  Benjamin Lion and
                  Francesco Santini},
  title        = {Soft constraint automata with memory},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {118},
  pages        = {100615},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jlamp.2020.100615},
  doi          = {10.1016/J.JLAMP.2020.100615},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/DokterGLS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2110-02214,
  author       = {Benjamin Lion and
                  Farhad Arbab and
                  Carolyn L. Talcott},
  editor       = {Julien Lange and
                  Anastasia Mavridou and
                  Larisa Safina and
                  Alceste Scalas},
  title        = {A Semantic Model for Interacting Cyber-Physical Systems},
  booktitle    = {Proceedings 14th Interaction and Concurrency Experience, {ICE} 2021,
                  Online, 18th June 2021},
  series       = {{EPTCS}},
  volume       = {347},
  pages        = {77--95},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.347.5},
  doi          = {10.4204/EPTCS.347.5},
  timestamp    = {Tue, 21 Mar 2023 21:05:33 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-02214.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2106-15661,
  author       = {Benjamin Lion and
                  Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {A Semantic Model for Interacting Cyber-Physical Systems},
  journal      = {CoRR},
  volume       = {abs/2106.15661},
  year         = {2021},
  url          = {https://arxiv.org/abs/2106.15661},
  eprinttype    = {arXiv},
  eprint       = {2106.15661},
  timestamp    = {Mon, 05 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-15661.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/KappeLAT19,
  author       = {Tobias Kapp{\'{e}} and
                  Benjamin Lion and
                  Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Soft component automata: Composition, compilation, logic, and verification},
  journal      = {Sci. Comput. Program.},
  volume       = {183},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.scico.2019.08.001},
  doi          = {10.1016/J.SCICO.2019.08.001},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/KappeLAT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/LionCA18,
  author       = {Benjamin Lion and
                  Samir Chouali and
                  Farhad Arbab},
  editor       = {Regina Hebig and
                  Thorsten Berger},
  title        = {Compiling Protocols to Promela and Verifying their {LTL} Properties},
  booktitle    = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
                  EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
                  ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
                  International Conference on Model Driven Engineering Languages and
                  Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2245},
  pages        = {31--39},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2245/modcomp\_paper\_5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/LionCA18.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.