Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/memocode/memocode2023.bht:"
download as .bib file
@inproceedings{DBLP:conf/memocode/BateniLWKLML23,
author = {Soroush Bateni and
Marten Lohstroh and
Hou Seng Wong and
Hokeun Kim and
Shaokai Lin and
Christian Menard and
Edward A. Lee},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical
Systems},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {1--11},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316195},
timestamp = {Fri, 15 Dec 2023 12:01:04 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BateniLWKLML23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BhagyanathKS23,
author = {Anoop Bhagyanath and
Nadine Kercher and
Klaus Schneider},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Allocation and Scheduling of Dataflow Graphs on Hybrid Dataflow/von
Neumann Architectures},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {59--70},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316199},
timestamp = {Sat, 02 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BhagyanathKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BlohmAH23,
author = {Pauline Blohm and
Julius Adelt and
Paula Herber},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Safe Integration of Learning in SystemC using Timed Contracts and
Model Checking},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {12--22},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316202},
timestamp = {Sat, 02 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BlohmAH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BonnahH23,
author = {Ernest Bonnah and
Khaza Anuarul Hoque},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {{QTWTL:} Quality Aware Time Window Temporal Logic for Performance
Monitoring},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {90--99},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316206},
timestamp = {Sat, 02 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BonnahH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BonnahNH23,
author = {Ernest Bonnah and
Luan Viet Nguyen and
Khaza Anuarul Hoque},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Model Checking Time Window Temporal Logic for Hyperproperties},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {100--110},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316197},
timestamp = {Sat, 02 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BonnahNH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/CallananG23,
author = {Gareth Callanan and
Flavius Gruian},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Scalable Actor Networks with {CAL}},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {169--179},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316200},
timestamp = {Sat, 02 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/CallananG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/ChuahAL23,
author = {Czea Sie Chuah and
Christian Appold and
Tim Leinm{\"{u}}ller},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Formal Verification of Security Properties on {RISC-V} Processors},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {159--168},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316213},
timestamp = {Sat, 02 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/ChuahAL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/DrechslerS23,
author = {Rolf Drechsler and
Martha Schnieber},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Next-Generation Automatic Human-Readable Proofs Enabling Polynomial
Formal Verification},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {122--125},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316198},
timestamp = {Sat, 02 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/DrechslerS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/GhoshGGB23,
author = {Devleena Ghosh and
Sumana Ghosh and
Raj Kumar Gajavelly and
Ansuman Banerjee},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Harnessing Multiple {BMC} Engines Together for Efficient Formal Verification},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {71--81},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316211},
timestamp = {Sat, 02 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/GhoshGGB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/HuiEE23,
author = {John Hui and
Kyle J. Edwards and
Stephen A. Edwards},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Timestamp Peripherals for Precise Real-Time Programming},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {137--147},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316219},
timestamp = {Sat, 02 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/HuiEE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/PanB23,
author = {Peitian Pan and
Christopher Batten},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Formal Verification of the Stall Invariant Property for Latency-Insensitive
{RTL} Modules},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {148--158},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316196},
timestamp = {Sat, 02 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/PanB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/PanJOB23,
author = {Peitian Pan and
Shunning Jiang and
Yanghui Ou and
Christopher Batten},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Symbolic Elaboration: Checking Generator Properties in Dynamic Hardware
Description Languages},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {126--136},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316207},
timestamp = {Sat, 02 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/PanJOB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/QinADB23,
author = {Xin Qin and
Nikos Ar{\'{e}}chiga and
Jyotirmoy Deshmukh and
Andrew Best},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Robust Testing for Cyber-Physical Systems using Reinforcement Learning},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {36--46},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316215},
timestamp = {Sat, 02 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/QinADB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SarwarRB23,
author = {Mir Md Sajid Sarwar and
Rajarshi Ray and
Ansuman Banerjee},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Explaining Unsolvability of Planning Problems in Hybrid Systems with
Model Reconciliation},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {47--58},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316224},
timestamp = {Sat, 02 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/SarwarRB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SchnieberD23,
author = {Martha Schnieber and
Rolf Drechsler},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Polynomial Formal Verification of {KFDD} Circuits},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {82--89},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316220},
timestamp = {Sat, 02 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/SchnieberD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SpieckSEWT23,
author = {Jan Spieck and
Pierre{-}Louis Sixdenier and
Khalil Esper and
Stefan Wildermann and
J{\"{u}}rgen Teich},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement
Enforcers},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {23--35},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316214},
timestamp = {Sat, 02 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/SpieckSEWT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/TheisS23,
author = {Daniel Theis and
Klaus Schneider},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Towards a Basis for Endochronous Functions in Dataflow Process Networks},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {191--194},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316223},
timestamp = {Sat, 02 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/TheisS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/YuIS23,
author = {Sheng{-}Jung Yu and
Inigo Incer and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Contract Replaceability for Ensuring Independent Design using Assume-Guarantee
Contracts},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {111--121},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316205},
timestamp = {Sat, 02 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/YuIS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/YuIS23a,
author = {Sheng{-}Jung Yu and
Inigo Incer and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Constraint-Behavior Contracts: {A} Formalism for Specifying Physical
Systems},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {180--190},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316201},
timestamp = {Sat, 02 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/YuIS23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memocode/2023,
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://doi.org/10.1145/3610579},
doi = {10.1145/3610579},
isbn = {979-8-4007-0318-8},
timestamp = {Fri, 15 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/2023.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.
retrieved on 2024-05-13 01:44 CEST from data curated 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:
