default search action

combined dblp search
author search
venue search
publication search

ask others

19th MEMOCODE 2021: Virtual Event, China

> Home > Conferences and Workshops > MEMOCODE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/memocode/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/2021
S. Arun-Kumar, Dominique Méry, Indranil Saha, Lijun Zhang:
MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021. ACM 2021, ISBN 978-1-4503-9127-6
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/BarhoushMD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/BarhoushMD21
Mohammed Barhoush, Alireza Mahzoon, Rolf Drechsler:
Polynomial word-level verification of arithmetic circuits. 1-9
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/Lopez-MiguelATV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/Lopez-MiguelATV21
Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Jean-Charles Tournier, Enrique Blanco Viñuela, Juan A. Rodríguez-Aguilar:
Simplification of numeric variables for PLC model checking. 10-20
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/EsperWT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/EsperWT21
Khalil Esper, Stefan Wildermann, Jürgen Teich:
Enforcement FSMs: specification and verification of non-functional properties of program executions on MPSoCs. 21-31
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/WalterT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/WalterT21
Dominik Walter, Jürgen Teich:
LION: real-time I/O transfer control for massively parallel processor arrays. 32-43
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/NiehageHR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/NiehageHR21
Mathis Niehage, Arnd Hartmanns, Anne Remke:
Learning optimal decisions for stochastic hybrid systems. 44-55
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/pandaPR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/pandaPR21
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop:
A secure insulin infusion system using verification monitors. 56-65
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/Schneider21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/Schneider21
Klaus Schneider:
Translating structured sequential programs to dataflow graphs. 66-77
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/ViscontiBLN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/ViscontiBLN21
Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi:
Online monitoring of spatio-temporal properties for imprecise signals. 78-88
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/YuanT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/YuanT21
Shenghao Yuan, Jean-Pierre Talpin:
Verified functional programming of an IoT operating system's bootloader. 89-97
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/FreibergerSHA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/FreibergerSHA21
Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám:
Controller verification meets controller code: a case study. 98-103
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/WernerS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/WernerS21
Marcel Christian Werner, Klaus Schneider:
Translation of continuous function charts to imperative synchronous quartz programs. 104-110
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/PetzJA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/PetzJA21
Adam Petz, Grant Jurgensen, Perry Alexander:
Design and formal verification of a copland-based attestation protocol. 111-117
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/Basset0GMN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/Basset0GMN21
Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic:
Sampling of shape expressions with ShapEx. 118-125
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/FowzeY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/FowzeY21
Farhaan Fowze, Tuba Yavuz:
SEESAW: a tool for detecting memory vulnerabilities in protocol stack implementations. 126-133
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/AntoRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/AntoRS21
Kelvin Anto, Partha S. Roop, Akshya K. Swain:
Formal modelling of attack scenarios and mitigation strategies in IEEE 1588. 134-141

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.