default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th MEMOCODE 2020: Jaipur, India
- 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020. IEEE 2020, ISBN 978-1-7281-9148-5
- Marcelo Forets, Daniel Freire, Christian Schilling
:
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. 1-6 - Paula Herber, Timm Liebrenz:
Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs. 1-6 - Ratan Lal, Weikang Duan, Pavithra Prabhakar:
Bayesian Statistical Model Checking for Continuous Stochastic Logic. 1-11 - Qiang Wang, Dachuan Li, Joseph Sifakis:
Safe and efficient collision avoidance control for autonomous vehicles. 1-6 - Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee:
A Contrastive Plan Explanation Framework for Hybrid System Models. 1-11 - Tuba Yavuz:
Verifying Absence of Hardware-Software Data Races using Counting Abstraction. 1-6 - Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma:
Security Types for Synchronous Data Flow Systems. 1-12 - Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider:
CROME: Contract-Based Robotic Mission Specification. 1-11 - Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Jyotirmoy V. Deshmukh:
Specification-guided Software Fault Localization for Autonomous Mobile Systems. 1-12 - Jeremy Pope, Jules Saget, Carl-Johan H. Seger:
Cephalopode: A custom processor aimed at functional language execution for IoT devices. 1-6 - Nikhil Naik, Pierluigi Nuzzo:
Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems. 1-12 - Jeremy Pope, Jules Saget, Carl-Johan H. Seger:
Stately: An FSM Design Tool. 1-6 - Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar:
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. 1-10 - Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur:
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. 1-12 - Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand:
Runtime Verification of Timed Properties in Autonomous Robots. 1-12 - 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. 1-11 - Dominik Walter, Michael Witterauf, Jürgen Teich:
Real-time Scheduling of I/O Transfers for Massively Parallel Processor Arrays. 1-11 - Mariia Vasileva, Fedor Shmarov, Paolo Zuliani:
Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes. 1-11
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-09 23:35 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:
