default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd MEMOCODE 2024: Raleigh, NC, USA
- 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2024, Raleigh, NC, USA, October 3-4, 2024. IEEE 2024, ISBN 979-8-3503-7802-3
- Bassem Ghorbel, Vinayak S. Prabhu:
Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*). 1-11 - Alban Gruin
, Armelle Bonenfant, Thomas Carle, Christine Rochange:
Modelling and proving the monotonicity of processor pipelines in Coq. 12-21 - Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala:
Safety and Progress Proofs of a Reactive Autonomous Racing Algorithm. 22-33 - Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong:
Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning. 34-45 - Sobhan Chatterjee, Nathan Allen, Nitish D. Patel, Partha S. Roop:
Exploring Compositional Neural Networks for Real-Time Systems. 46-57 - Yi Ji, Simon Mak, Ryan Lekivetz, Joseph Morgan:
MaLT: Machine-Learning-Guided Test Case Design and Fault Localization of Complex Software Systems. 58-62 - Sanjiva Prasad:
Logical Synchrony Plus Functional Processes Entail Observable Determinacy. 63-68 - Abrarul Karim, Joachim Falk, Dennis Schmidt, Jürgen Teich:
Self-Powering Dataflow Networks - Concepts and Implementation. 69-74 - Susmit Jha, Sumit Kumar Jha, Alvaro Velasquez:
Neuro-symbolic Generative AI Assistant for System Design. 75-76 - Damiano Zuccalà, Paul Breuil, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory:
Formal Fault Injection in Digital Blocks with Mined Assertions. 77-86 - Jeremy Pope, Carl-Johan H. Seger, Henrik Valter:
Higher-order Hardware: Implementation and Evaluation of the Cephalopode Graph Reduction Processor. 87-97 - Kurt M. Wilson, Abdullah Al Arafat, John Baugh, Ruozhou Yu, Zhishan Guo:
Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPS. 98-102 - Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik:
Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification. 103-107 - Anand Balakrishnan, Rohit Bernard, Shreeram Narayanan, Vidisha Kudalkar, Yiqi Zhao, Parinitha Nagaraja, Georgi A. Markov, Christof J. Budnik, Helmut Degen, Lars Lindemann, Jyotirmoy V. Deshmukh:
Safety Assurance for Autonomous Systems with Multiple Sensor Modalities. 108-113 - Byeong-Gil Jun, Edward A. Lee, Marten Lohstroh, Hokeun Kim:
Efficient Coordination for Distributed Discrete-Event Systems. 114-118 - Steven Smyth:
Pragmatic Action Charts. 119-123 - Apala Pramanik, Sung Woo Choi, Yuntao Li, Luan Viet Nguyen, Kyungki Kim, Hoang-Dung Tran:
Perception-based Runtime Monitoring and Verification for Human-Robot Construction Systems. 124-134
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.
last updated on 2025-12-04 01:24 CET 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:
