• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 516 matches

• 2023
• 
  Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee:
  Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems. MEMOCODE 2023: 1-11
• 
  Anoop Bhagyanath, Nadine Kercher, Klaus Schneider:
  Allocation and Scheduling of Dataflow Graphs on Hybrid Dataflow/von Neumann Architectures. MEMOCODE 2023: 59-70
• 
  Pauline Blohm, Julius Adelt, Paula Herber:
  Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. MEMOCODE 2023: 12-22
• 
  Ernest Bonnah, Khaza Anuarul Hoque:
  QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring. MEMOCODE 2023: 90-99
• 
  Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque:
  Model Checking Time Window Temporal Logic for Hyperproperties. MEMOCODE 2023: 100-110
• 
  Gareth Callanan, Flavius Gruian:
  Scalable Actor Networks with CAL. MEMOCODE 2023: 169-179
• 
  Czea Sie Chuah, Christian Appold, Tim Leinmüller:
  Formal Verification of Security Properties on RISC-V Processors. MEMOCODE 2023: 159-168
• 
  Rolf Drechsler, Martha Schnieber:
  Next-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification. MEMOCODE 2023: 122-125
• 
  Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee:
  Harnessing Multiple BMC Engines Together for Efficient Formal Verification. MEMOCODE 2023: 71-81
• 
  John Hui, Kyle J. Edwards, Stephen A. Edwards:
  Timestamp Peripherals for Precise Real-Time Programming. MEMOCODE 2023: 137-147
• 
  Peitian Pan, Christopher Batten:
  Formal Verification of the Stall Invariant Property for Latency-Insensitive RTL Modules. MEMOCODE 2023: 148-158
• 
  Peitian Pan, Shunning Jiang, Yanghui Ou, Christopher Batten:
  Symbolic Elaboration: Checking Generator Properties in Dynamic Hardware Description Languages. MEMOCODE 2023: 126-136
• 
  Xin Qin, Nikos Aréchiga, Jyotirmoy Deshmukh, Andrew Best:
  Robust Testing for Cyber-Physical Systems using Reinforcement Learning. MEMOCODE 2023: 36-46
• 
  Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee:
  Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation. MEMOCODE 2023: 47-58
• 
  Martha Schnieber, Rolf Drechsler:
  Polynomial Formal Verification of KFDD Circuits. MEMOCODE 2023: 82-89
• 
  Jan Spieck, Pierre-Louis Sixdenier, Khalil Esper, Stefan Wildermann, Jürgen Teich:
  Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers. MEMOCODE 2023: 23-35
• 
  Daniel Theis, Klaus Schneider:
  Towards a Basis for Endochronous Functions in Dataflow Process Networks. MEMOCODE 2023: 191-194
• 
  Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli:
  Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. MEMOCODE 2023: 111-121
• 
  Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli:
  Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems. MEMOCODE 2023: 180-190
• 
  Reinhard von Hanxleden, Stephen A. Edwards, Jens Brandt, Qi Zhu:
  21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023. ACM / IEEE 2023, ISBN 979-8-4007-0318-8 [contents]
• 2022
• 
  Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop:
  Runtime Verification for Clinically Interpretable Arrhythmia Classification. MEMOCODE 2022: 1-10
• 
  Alex Baird, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop:
  Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones. MEMOCODE 2022: 1-11
• 
  Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan:
  Deriving Pipeline Models for Timing Analysis from High-Level HDL Processor Designs. MEMOCODE 2022: 1-8
• 
  Itay Cohen, Roi Fogler, Doron Peled:
  A Reinforcement-Learning Style Algorithm for Black Box Automata. MEMOCODE 2022: 1-11
• 
  Anup Das:
  Real-Time Scheduling of Machine Learning Operations on Heterogeneous Neuromorphic SoC. MEMOCODE 2022: 1-12
• 
  Ruiqi Hu, Kairong Liu, Zhikun She:
  Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances. MEMOCODE 2022: 1-12
• 
  Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart:
  Mechanization of a Large DSML: An Experiment with AADL and Coq. MEMOCODE 2022: 1-9
• 
  Robert Krook, John Hui, Bo Joel Svensson, Stephen A. Edwards, Koen Claessen:
  Creating a Language for Writing Real-Time Applications for the Internet of Things. MEMOCODE 2022: 1-20
• 
  Andreas Lööw:
  A small, but important, concurrency problem in Verilog's semantics? (Work in progress). MEMOCODE 2022: 1-6
• 
  Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay:
  ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage. MEMOCODE 2022: 1-12

skipping 486 more matches