Search results for "MEMOCODE"

Hits ?▲	Authors	Title	Venue	Year	Link
134	Forrest Brewer, James C. Hoe	MEMOCODE 2007 Co-Design Contest.	MEMOCODE	2007	DBLP DOI BibTeX RDF
93	VJ Sananda	Hardware Accelerated Crypto Merge Sort: MEMOCODE 2008 Design Contest.	MEMOCODE	2008	DBLP DOI BibTeX RDF
93	Patrick Schaumont, Krste Asanovic, James C. Hoe	MEMOCODE 2008 Co-Design Contest.	MEMOCODE	2008	DBLP DOI BibTeX RDF
72	Peter A. Milder	MEMOCODE 2016 design contest: K-means clustering.	MEMOCODE	2016	DBLP DOI BibTeX RDF
72	Peter A. Milder	MEMOCODE 2015 design contest: Continuous skyline computation.	MEMOCODE	2015	DBLP DOI BibTeX RDF
72	Stephen A. Edwards, Hiren D. Patel	MEMOCODE 2014 software design contest: Space Invaders emulator.	MEMOCODE	2014	DBLP DOI BibTeX RDF
72	Peter A. Milder	MEMOCODE 2014 design contest: k-Nearest Neighbors with Mahalanobis distance metric.	MEMOCODE	2014	DBLP DOI BibTeX RDF
72	Derek Chiou	MEMOCODE 2011 Hardware/Software CoDesign Contest: NoC simulator.	MEMOCODE	2011	DBLP DOI BibTeX RDF
72	Sudhanshu Vyas, Pooja Mhapsekar, Aditya Ashok, Moinuddin Sayed, Avinash Srinivasa, Gunjan Pandey, Adam Jackson, Matthew Nelson, Anand Saggi, Harini Sundararaman, Phillip H. Jones	Team [Ii][Ss][Uu][0-2]{4} design overview: MEMOCODE 2010 design contest.	MEMOCODE	2010	DBLP DOI BibTeX RDF
72	Forrest Brewer, James C. Hoe	2009 MEMOCODE Co-Design Contest.	MEMOCODE	2009	DBLP DOI BibTeX RDF
72	Eric Simpson, Pengyuan Yu, Patrick Schaumont, Sumit Ahuja, Sandeep K. Shukla	VT Matrix Multiply Design for MEMOCODE '07.	MEMOCODE	2007	DBLP DOI BibTeX RDF
65	Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya	Extended abstract: transition traversal coverage estimation for symbolic model checking.	MEMOCODE	2005	DBLP DOI BibTeX RDF
65	Nicola Bombieri, Andrea Fedeli, Franco Fummi	Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling.	MEMOCODE	2005	DBLP DOI BibTeX RDF
65	Masahiro Fujita	Extended abstract: a formal design approach from software oriented UML descriptions to hardware oriented RTL.	MEMOCODE	2005	DBLP DOI BibTeX RDF
65	Peter Poplavko, Twan Basten, Milan Pastrnak, Jef L. van Meerbergen, Marco Bekooij, Peter H. N. de With	Extended abstract: estimation times of on-chip multiprocessor stream-oriented applications.	MEMOCODE	2005	DBLP DOI BibTeX RDF
65	Gustaf Naeser, Johan Furunäs	Extended abstract: evaluation of delay queues for a Ravenscar HW kernel.	MEMOCODE	2005	DBLP DOI BibTeX RDF
65	Ralph D. Jeffords, Ramesh Bharadwaj	Extended abstract: formal verification of architectural patterns in support of dependable distributed systems.	MEMOCODE	2005	DBLP DOI BibTeX RDF
65	Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede	Extended abstract: a race-free hardware modeling language.	MEMOCODE	2005	DBLP DOI BibTeX RDF
65	Íñigo Ugarte, Pablo Sanchez	Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems.	MEMOCODE	2005	DBLP DOI BibTeX RDF
65	Klaus Rothbart, Ulrich Neffe, Christian Steger, Reinhold Weiss, Edgar Rieger, Andreas Mühlberger	Extended abstract: an environment for design verification of smart card systems using attack simulation in SystemC.	MEMOCODE	2005	DBLP DOI BibTeX RDF
65	Elizabeth I. Leonard, Myla Archer	Extended abstract: organizing automaton specifications to achieve faithful representation.	MEMOCODE	2005	DBLP DOI BibTeX RDF
65	Lars Pareto	Extended abstract: requirements modeling within iterative, incremental processes.	MEMOCODE	2005	DBLP DOI BibTeX RDF
65	Grant Martin, Sandeep K. Shukla	Hierarchical and Incremental Verification for System Level Design: Challenges and Accomplishments.	MEMOCODE	2003	DBLP DOI BibTeX RDF
44	Reinhard von Hanxleden, Stephen A. Edwards, Jens Brandt, Qi Zhu 0001 (eds.)	21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023	MEMOCODE	2023	DBLP DOI BibTeX RDF
44	Jan Spieck, Pierre-Louis Sixdenier, Khalil Esper, Stefan Wildermann, Jürgen Teich	Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers.	MEMOCODE	2023	DBLP BibTeX RDF
44	Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli	Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems.	MEMOCODE	2023	DBLP BibTeX RDF
44	Pauline Blohm, Julius Adelt, Paula Herber	Safe Integration of Learning in SystemC using Timed Contracts and Model Checking.	MEMOCODE	2023	DBLP BibTeX RDF
44	Xin Qin, Nikos Aréchiga, Jyotirmoy Deshmukh, Andrew Best	Robust Testing for Cyber-Physical Systems using Reinforcement Learning.	MEMOCODE	2023	DBLP BibTeX RDF
44	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	DBLP BibTeX RDF
44	Czea Sie Chuah, Christian Appold, Tim Leinmüller	Formal Verification of Security Properties on RISC-V Processors.	MEMOCODE	2023	DBLP BibTeX RDF
44	Peitian Pan, Christopher Batten	Formal Verification of the Stall Invariant Property for Latency-Insensitive RTL Modules.	MEMOCODE	2023	DBLP BibTeX RDF
44	Rolf Drechsler, Martha Schnieber	Next-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification.	MEMOCODE	2023	DBLP BibTeX RDF
44	Gareth Callanan, Flavius Gruian	Scalable Actor Networks with CAL.	MEMOCODE	2023	DBLP BibTeX RDF
44	Mir Md Sajid Sarwar, Rajarshi Ray 0001, Ansuman Banerjee	Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation.	MEMOCODE	2023	DBLP BibTeX RDF
44	John Hui, Kyle J. Edwards, Stephen A. Edwards	Timestamp Peripherals for Precise Real-Time Programming.	MEMOCODE	2023	DBLP BibTeX RDF
44	Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque	Model Checking Time Window Temporal Logic for Hyperproperties.	MEMOCODE	2023	DBLP BibTeX RDF
44	Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli	Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts.	MEMOCODE	2023	DBLP BibTeX RDF
44	Peitian Pan, Shunning Jiang, Yanghui Ou, Christopher Batten	Symbolic Elaboration: Checking Generator Properties in Dynamic Hardware Description Languages.	MEMOCODE	2023	DBLP BibTeX RDF
44	Ernest Bonnah, Khaza Anuarul Hoque	QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring.	MEMOCODE	2023	DBLP BibTeX RDF
44	Anoop Bhagyanath, Nadine Kercher, Klaus Schneider 0001	Allocation and Scheduling of Dataflow Graphs on Hybrid Dataflow/von Neumann Architectures.	MEMOCODE	2023	DBLP BibTeX RDF
44	Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee	Harnessing Multiple BMC Engines Together for Efficient Formal Verification.	MEMOCODE	2023	DBLP BibTeX RDF
44	Daniel Theis, Klaus Schneider 0001	Towards a Basis for Endochronous Functions in Dataflow Process Networks.	MEMOCODE	2023	DBLP BibTeX RDF
44	Martha Schnieber, Rolf Drechsler	Polynomial Formal Verification of KFDD Circuits.	MEMOCODE	2023	DBLP BibTeX RDF
44		20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022	MEMOCODE	2022	DBLP DOI BibTeX RDF
44	Eric Rothstein Morris, Jun Sun 0001, Sudipta Chattopadhyay 0001	ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage.	MEMOCODE	2022	DBLP DOI BibTeX RDF
44	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	DBLP DOI BibTeX RDF
44	Andreas Lööw	A small, but important, concurrency problem in Verilog's semantics? (Work in progress).	MEMOCODE	2022	DBLP DOI BibTeX RDF
44	Alex Baird, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop	Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones.	MEMOCODE	2022	DBLP DOI BibTeX RDF
44	Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan	Deriving Pipeline Models for Timing Analysis from High-Level HDL Processor Designs.	MEMOCODE	2022	DBLP DOI BibTeX RDF
44	Itay Cohen 0001, Roi Fogler, Doron Peled	A Reinforcement-Learning Style Algorithm for Black Box Automata.	MEMOCODE	2022	DBLP DOI BibTeX RDF
44	Surinder Sood, Avinash Malik, Partha S. Roop	Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems.	MEMOCODE	2022	DBLP DOI BibTeX RDF
44	Vinayak S. Prabhu, Meetkumar Savaliya	Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL.	MEMOCODE	2022	DBLP DOI BibTeX RDF
44	Matthias Schaffeld, Rebecca Bernemann, Torben Weis, Barbara König 0001, Viktor Matkovic	Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models.	MEMOCODE	2022	DBLP DOI BibTeX RDF
44	Anup Das 0001	Real-Time Scheduling of Machine Learning Operations on Heterogeneous Neuromorphic SoC.	MEMOCODE	2022	DBLP DOI BibTeX RDF
44	Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart	Mechanization of a Large DSML: An Experiment with AADL and Coq.	MEMOCODE	2022	DBLP DOI BibTeX RDF
44	Ruiqi Hu, Kairong Liu, Zhikun She	Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances.	MEMOCODE	2022	DBLP DOI BibTeX RDF
44	Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop	Runtime Verification for Clinically Interpretable Arrhythmia Classification.	MEMOCODE	2022	DBLP DOI BibTeX RDF
44	Surinder Sood, Avinash Malik, Partha S. Roop	A novel approach to Real-time contract based reasoning for Hybrid Systems.	MEMOCODE	2022	DBLP DOI BibTeX RDF
44	S. Arun-Kumar 0004, Dominique Méry, Indranil Saha, Lijun Zhang 0001 (eds.)	MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021	MEMOCODE	2021	DBLP DOI BibTeX RDF
44	Adam Petz, Grant Jurgensen, Perry Alexander	Design and formal verification of a copland-based attestation protocol.	MEMOCODE	2021	DBLP DOI BibTeX RDF
44	Nicolas Basset, Thao Dang 0001, Felix Gigler, Cristinel Mateis, Dejan Nickovic	Sampling of shape expressions with ShapEx.	MEMOCODE	2021	DBLP DOI BibTeX RDF
44	Mathis Niehage, Arnd Hartmanns, Anne Remke	Learning optimal decisions for stochastic hybrid systems.	MEMOCODE	2021	DBLP DOI BibTeX RDF
44	Khalil Esper, Stefan Wildermann, Jürgen Teich	Enforcement FSMs: specification and verification of non-functional properties of program executions on MPSoCs.	MEMOCODE	2021	DBLP DOI BibTeX RDF
44	Kelvin Anto, Partha S. Roop, Akshya K. Swain	Formal modelling of attack scenarios and mitigation strategies in IEEE 1588.	MEMOCODE	2021	DBLP DOI BibTeX RDF
44	Farhaan Fowze, Tuba Yavuz	SEESAW: a tool for detecting memory vulnerabilities in protocol stack implementations.	MEMOCODE	2021	DBLP DOI BibTeX RDF
44	Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi	Online monitoring of spatio-temporal properties for imprecise signals.	MEMOCODE	2021	DBLP DOI BibTeX RDF
44	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.	MEMOCODE	2021	DBLP DOI BibTeX RDF
44	Mohammed Barhoush, Alireza Mahzoon, Rolf Drechsler	Polynomial word-level verification of arithmetic circuits.	MEMOCODE	2021	DBLP DOI BibTeX RDF
44	Shenghao Yuan, Jean-Pierre Talpin	Verified functional programming of an IoT operating system's bootloader.	MEMOCODE	2021	DBLP DOI BibTeX RDF
44	Klaus Schneider 0001	Translating structured sequential programs to dataflow graphs.	MEMOCODE	2021	DBLP DOI BibTeX RDF
44	Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám	Controller verification meets controller code: a case study.	MEMOCODE	2021	DBLP DOI BibTeX RDF
44	Marcel Christian Werner, Klaus Schneider 0001	Translation of continuous function charts to imperative synchronous quartz programs.	MEMOCODE	2021	DBLP DOI BibTeX RDF
44	Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop	A secure insulin infusion system using verification monitors.	MEMOCODE	2021	DBLP DOI BibTeX RDF
44	Dominik Walter, Jürgen Teich	LION: real-time I/O transfer control for massively parallel processor arrays.	MEMOCODE	2021	DBLP DOI BibTeX RDF
44		18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020	MEMOCODE	2020	DBLP DOI BibTeX RDF
44	Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee 0001, Rajeev Alur	REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency.	MEMOCODE	2020	DBLP DOI BibTeX RDF
44	Mir Md Sajid Sarwar, Rajarshi Ray 0001, Ansuman Banerjee	A Contrastive Plan Explanation Framework for Hybrid System Models.	MEMOCODE	2020	DBLP DOI BibTeX RDF
44	Mariia Vasileva, Fedor Shmarov, Paolo Zuliani	Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes.	MEMOCODE	2020	DBLP DOI BibTeX RDF
44	Moon Soo Kim, Weiwei Ai, Partha S. Roop, Nathan Allen, Rohit Ramchandra, Julian Paton	Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure.	MEMOCODE	2020	DBLP DOI BibTeX RDF
44	Jeremy Pope, Jules Saget, Carl-Johan H. Seger	Cephalopode: A custom processor aimed at functional language execution for IoT devices.	MEMOCODE	2020	DBLP DOI BibTeX RDF
44	Marcelo Forets, Daniel Freire, Christian Schilling 0001	Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions.	MEMOCODE	2020	DBLP DOI BibTeX RDF
44	Tuba Yavuz	Verifying Absence of Hardware-Software Data Races using Counting Abstraction.	MEMOCODE	2020	DBLP DOI BibTeX RDF
44	Paula Herber, Timm Liebrenz	Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs.	MEMOCODE	2020	DBLP DOI BibTeX RDF
44	Maryam Bagheri 0001, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar 0001	Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems.	MEMOCODE	2020	DBLP DOI BibTeX RDF
44	Piergiuseppe Mallozzi, Pierluigi Nuzzo 0002, Patrizio Pelliccione, Gerardo Schneider	CROME: Contract-Based Robotic Mission Specification.	MEMOCODE	2020	DBLP DOI BibTeX RDF
44	Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma 0001	Security Types for Synchronous Data Flow Systems.	MEMOCODE	2020	DBLP DOI BibTeX RDF
44	Tomoya Yamaguchi 0001, Bardh Hoxha, Danil V. Prokhorov, Jyotirmoy V. Deshmukh	Specification-guided Software Fault Localization for Autonomous Mobile Systems.	MEMOCODE	2020	DBLP DOI BibTeX RDF
44	Nikhil Naik, Pierluigi Nuzzo 0002	Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems.	MEMOCODE	2020	DBLP DOI BibTeX RDF
44	Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand	Runtime Verification of Timed Properties in Autonomous Robots.	MEMOCODE	2020	DBLP DOI BibTeX RDF
44	Qiang Wang 0020, Dachuan Li, Joseph Sifakis	Safe and efficient collision avoidance control for autonomous vehicles.	MEMOCODE	2020	DBLP DOI BibTeX RDF
44	Ratan Lal, Weikang Duan, Pavithra Prabhakar	Bayesian Statistical Model Checking for Continuous Stochastic Logic.	MEMOCODE	2020	DBLP DOI BibTeX RDF
44	Dominik Walter, Michael Witterauf, Jürgen Teich	Real-time Scheduling of I/O Transfers for Massively Parallel Processor Arrays.	MEMOCODE	2020	DBLP DOI BibTeX RDF
44	Jeremy Pope, Jules Saget, Carl-Johan H. Seger	Stately: An FSM Design Tool.	MEMOCODE	2020	DBLP DOI BibTeX RDF
44	Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo 0002 (eds.)	Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019.	MEMOCODE	2019	DBLP BibTeX RDF
44	Michael Witterauf, Frank Hannig, Jürgen Teich	Polyhedral fragments: an efficient representation for symbolically generating code for processor arrays.	MEMOCODE	2019	DBLP DOI BibTeX RDF
44	Jin Woo Ro, Avinash Malik, Partha S. Roop	A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata.	MEMOCODE	2019	DBLP DOI BibTeX RDF
44	Ratan Lal, Pavithra Prabhakar	Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems.	MEMOCODE	2019	DBLP DOI BibTeX RDF
44	Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina J. Karam, Georgios Fainekos	Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic.	MEMOCODE	2019	DBLP DOI BibTeX RDF
44	Hammond A. Pearce, Matthew M. Y. Kuo, Partha S. Roop, Srinivas Pinisetty	Securing implantable medical devices with runtime enforcement hardware.	MEMOCODE	2019	DBLP DOI BibTeX RDF
44	Paritosh K. Pandya, Amol Wakankar	Logical specification and uniform synthesis of robust controllers.	MEMOCODE	2019	DBLP DOI BibTeX RDF