Abstract is missing.
- Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STLVinayak S. Prabhu, Meetkumar Savaliya. 1-11 [doi]
- A Reinforcement-Learning Style Algorithm for Black Box AutomataItay Cohen 0001, Roi Fogler, Doron Peled. 1-11 [doi]
- Deriving Pipeline Models for Timing Analysis from High-Level HDL Processor DesignsSamira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan. 1-8 [doi]
- Real-Time Scheduling of Machine Learning Operations on Heterogeneous Neuromorphic SoCAnup Das 0001. 1-12 [doi]
- Robust hardware-software Co-simulation framework for design and validation of Hybrid SystemsSurinder Sood, Avinash Malik, Partha S. Roop. 1-11 [doi]
- Mechanization of a Large DSML: An Experiment with AADL and CoqJérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart. 1-9 [doi]
- ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel LeakageEric Rothstein Morris, Jun Sun 0001, Sudipta Chattopadhyay 0001. 1-12 [doi]
- A novel approach to Real-time contract based reasoning for Hybrid SystemsSurinder Sood, Avinash Malik, Partha S. Roop. 1-11 [doi]
- Reach-Avoid Verification for Time-varying Systems with Uncertain DisturbancesRuiqi Hu, Kairong Liu, Zhikun She. 1-12 [doi]
- A small, but important, concurrency problem in Verilog's semantics? (Work in progress)Andreas Lööw. 1-6 [doi]
- Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov ModelsMatthias Schaffeld, Rebecca Bernemann, Torben Weis, Barbara König 0001, Viktor Matkovic. 1-5 [doi]
- Runtime Verification for Clinically Interpretable Arrhythmia ClassificationAlex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop. 1-10 [doi]
- Creating a Language for Writing Real-Time Applications for the Internet of ThingsRobert Krook, John Hui, Bo Joel Svensson, Stephen A. Edwards, Koen Claessen. 1-20 [doi]
- Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for DronesAlex Baird, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop. 1-11 [doi]