Search dblp for Publications

export results for "toc:db/conf/memocode/memocode2021.bht:"

 download as .bib file

@inproceedings{DBLP:conf/memocode/AntoRS21,
  author       = {Kelvin Anto and
                  Partha S. Roop and
                  Akshya K. Swain},
  editor       = {S. Arun{-}Kumar and
                  Dominique M{\'{e}}ry and
                  Indranil Saha and
                  Lijun Zhang},
  title        = {Formal modelling of attack scenarios and mitigation strategies in
                  {IEEE} 1588},
  booktitle    = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, Virtual Event, China, November
                  20 - 22, 2021},
  pages        = {134--141},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3487212.3487346},
  doi          = {10.1145/3487212.3487346},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/AntoRS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/BarhoushMD21,
  author       = {Mohammed Barhoush and
                  Alireza Mahzoon and
                  Rolf Drechsler},
  editor       = {S. Arun{-}Kumar and
                  Dominique M{\'{e}}ry and
                  Indranil Saha and
                  Lijun Zhang},
  title        = {Polynomial word-level verification of arithmetic circuits},
  booktitle    = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, Virtual Event, China, November
                  20 - 22, 2021},
  pages        = {1--9},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3487212.3487333},
  doi          = {10.1145/3487212.3487333},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/BarhoushMD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/Basset0GMN21,
  author       = {Nicolas Basset and
                  Thao Dang and
                  Felix Gigler and
                  Cristinel Mateis and
                  Dejan Nickovic},
  editor       = {S. Arun{-}Kumar and
                  Dominique M{\'{e}}ry and
                  Indranil Saha and
                  Lijun Zhang},
  title        = {Sampling of shape expressions with ShapEx},
  booktitle    = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, Virtual Event, China, November
                  20 - 22, 2021},
  pages        = {118--125},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3487212.3487350},
  doi          = {10.1145/3487212.3487350},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/Basset0GMN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/EsperWT21,
  author       = {Khalil Esper and
                  Stefan Wildermann and
                  J{\"{u}}rgen Teich},
  editor       = {S. Arun{-}Kumar and
                  Dominique M{\'{e}}ry and
                  Indranil Saha and
                  Lijun Zhang},
  title        = {Enforcement FSMs: specification and verification of non-functional
                  properties of program executions on MPSoCs},
  booktitle    = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, Virtual Event, China, November
                  20 - 22, 2021},
  pages        = {21--31},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3487212.3487348},
  doi          = {10.1145/3487212.3487348},
  timestamp    = {Thu, 23 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/EsperWT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/FowzeY21,
  author       = {Farhaan Fowze and
                  Tuba Yavuz},
  editor       = {S. Arun{-}Kumar and
                  Dominique M{\'{e}}ry and
                  Indranil Saha and
                  Lijun Zhang},
  title        = {{SEESAW:} a tool for detecting memory vulnerabilities in protocol
                  stack implementations},
  booktitle    = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, Virtual Event, China, November
                  20 - 22, 2021},
  pages        = {126--133},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3487212.3487345},
  doi          = {10.1145/3487212.3487345},
  timestamp    = {Thu, 23 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/FowzeY21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/FreibergerSHA21,
  author       = {Felix Freiberger and
                  Stefan Schupp and
                  Holger Hermanns and
                  Erika {\'{A}}brah{\'{a}}m},
  editor       = {S. Arun{-}Kumar and
                  Dominique M{\'{e}}ry and
                  Indranil Saha and
                  Lijun Zhang},
  title        = {Controller verification meets controller code: a case study},
  booktitle    = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, Virtual Event, China, November
                  20 - 22, 2021},
  pages        = {98--103},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3487212.3487337},
  doi          = {10.1145/3487212.3487337},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/FreibergerSHA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/Lopez-MiguelATV21,
  author       = {Ignacio D. Lopez{-}Miguel and
                  Borja Fern{\'{a}}ndez Adiego and
                  Jean{-}Charles Tournier and
                  Enrique Blanco Vi{\~{n}}uela and
                  Juan A. Rodr{\'{\i}}guez{-}Aguilar},
  editor       = {S. Arun{-}Kumar and
                  Dominique M{\'{e}}ry and
                  Indranil Saha and
                  Lijun Zhang},
  title        = {Simplification of numeric variables for {PLC} model checking},
  booktitle    = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, Virtual Event, China, November
                  20 - 22, 2021},
  pages        = {10--20},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3487212.3487334},
  doi          = {10.1145/3487212.3487334},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/Lopez-MiguelATV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/NiehageHR21,
  author       = {Mathis Niehage and
                  Arnd Hartmanns and
                  Anne Remke},
  editor       = {S. Arun{-}Kumar and
                  Dominique M{\'{e}}ry and
                  Indranil Saha and
                  Lijun Zhang},
  title        = {Learning optimal decisions for stochastic hybrid systems},
  booktitle    = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, Virtual Event, China, November
                  20 - 22, 2021},
  pages        = {44--55},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3487212.3487339},
  doi          = {10.1145/3487212.3487339},
  timestamp    = {Thu, 23 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/NiehageHR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/PetzJA21,
  author       = {Adam Petz and
                  Grant Jurgensen and
                  Perry Alexander},
  editor       = {S. Arun{-}Kumar and
                  Dominique M{\'{e}}ry and
                  Indranil Saha and
                  Lijun Zhang},
  title        = {Design and formal verification of a copland-based attestation protocol},
  booktitle    = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, Virtual Event, China, November
                  20 - 22, 2021},
  pages        = {111--117},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3487212.3487340},
  doi          = {10.1145/3487212.3487340},
  timestamp    = {Thu, 23 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/PetzJA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/Schneider21,
  author       = {Klaus Schneider},
  editor       = {S. Arun{-}Kumar and
                  Dominique M{\'{e}}ry and
                  Indranil Saha and
                  Lijun Zhang},
  title        = {Translating structured sequential programs to dataflow graphs},
  booktitle    = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, Virtual Event, China, November
                  20 - 22, 2021},
  pages        = {66--77},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3487212.3487343},
  doi          = {10.1145/3487212.3487343},
  timestamp    = {Sun, 19 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/Schneider21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/ViscontiBLN21,
  author       = {Ennio Visconti and
                  Ezio Bartocci and
                  Michele Loreti and
                  Laura Nenzi},
  editor       = {S. Arun{-}Kumar and
                  Dominique M{\'{e}}ry and
                  Indranil Saha and
                  Lijun Zhang},
  title        = {Online monitoring of spatio-temporal properties for imprecise signals},
  booktitle    = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, Virtual Event, China, November
                  20 - 22, 2021},
  pages        = {78--88},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3487212.3487344},
  doi          = {10.1145/3487212.3487344},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/ViscontiBLN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/WalterT21,
  author       = {Dominik Walter and
                  J{\"{u}}rgen Teich},
  editor       = {S. Arun{-}Kumar and
                  Dominique M{\'{e}}ry and
                  Indranil Saha and
                  Lijun Zhang},
  title        = {{LION:} real-time {I/O} transfer control for massively parallel processor
                  arrays},
  booktitle    = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, Virtual Event, China, November
                  20 - 22, 2021},
  pages        = {32--43},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3487212.3487349},
  doi          = {10.1145/3487212.3487349},
  timestamp    = {Thu, 23 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/WalterT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/WernerS21,
  author       = {Marcel Christian Werner and
                  Klaus Schneider},
  editor       = {S. Arun{-}Kumar and
                  Dominique M{\'{e}}ry and
                  Indranil Saha and
                  Lijun Zhang},
  title        = {Translation of continuous function charts to imperative synchronous
                  quartz programs},
  booktitle    = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, Virtual Event, China, November
                  20 - 22, 2021},
  pages        = {104--110},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3487212.3487338},
  doi          = {10.1145/3487212.3487338},
  timestamp    = {Thu, 04 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/WernerS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/YuanT21,
  author       = {Shenghao Yuan and
                  Jean{-}Pierre Talpin},
  editor       = {S. Arun{-}Kumar and
                  Dominique M{\'{e}}ry and
                  Indranil Saha and
                  Lijun Zhang},
  title        = {Verified functional programming of an IoT operating system's bootloader},
  booktitle    = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, Virtual Event, China, November
                  20 - 22, 2021},
  pages        = {89--97},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3487212.3487347},
  doi          = {10.1145/3487212.3487347},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/YuanT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/pandaPR21,
  author       = {Abhinandan Panda and
                  Srinivas Pinisetty and
                  Partha S. Roop},
  editor       = {S. Arun{-}Kumar and
                  Dominique M{\'{e}}ry and
                  Indranil Saha and
                  Lijun Zhang},
  title        = {A secure insulin infusion system using verification monitors},
  booktitle    = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, Virtual Event, China, November
                  20 - 22, 2021},
  pages        = {56--65},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3487212.3487342},
  doi          = {10.1145/3487212.3487342},
  timestamp    = {Thu, 10 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/pandaPR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/memocode/2021,
  editor       = {S. Arun{-}Kumar and
                  Dominique M{\'{e}}ry and
                  Indranil Saha and
                  Lijun Zhang},
  title        = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, Virtual Event, China, November
                  20 - 22, 2021},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3487212},
  doi          = {10.1145/3487212},
  isbn         = {978-1-4503-9127-6},
  timestamp    = {Thu, 23 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.