default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHLDVT 2016: Santa Cruz, CA, USA
- IEEE International High Level Design Validation and Test Workshop, HLDVT 2016, Santa Cruz, CA, USA, October 7-8, 2016. IEEE 2016, ISBN 978-1-5090-4270-8
- Prab Varma, Miroslav N. Velev
:
Welcome Message. 1
Session 1: Assertions and Properties
- Mohamed O. Kayed, Mohamed Abdelsalam, Rafik Guindi:
Synthesizable SVA protocol checker generation methodology based on TDML and VCD file formats. 1-8 - Jason G. Tong, Marc Boule, Zeljko Zilic:
Accelerating assertion assessment using GPUs. 9-16 - Xian Li, Klaus Schneider:
Control-flow guided clause generation for property directed reachability. 17-24
Session 2: Behavioral Modeling and Specification
- Kasper Søe Luckow, Corina S. Pasareanu:
Log2model: inferring behavioral models from log data. 25-29 - Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, Brian R. Larson, Etienne Borde:
Formal semantics of behavior specifications in the architecture analysis and design language standard. 30-39 - Yusuke Kimura, Masahiro Fujita:
Specification by existing design plus use-cases. 40-45
Special Session 1: High-Level Modeling and Verification of Automotive/Transportation Systems
- Johannes Schreiner, Rainer Findenig, Wolfgang Ecker:
Design centric modeling of digital hardware. 46-52 - Prachi Joshi, Vedahari Narasimhan G., Haibo Zeng, Sandeep K. Shukla, Chung-Wei Lin, Huafeng Yu:
Design space exploration for deterministic ethernet-based architecture of automotive systems. 53-61 - Sebastian Reiter, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel:
Fault injection ecosystem for assisted safety validation of automotive systems. 62-69 - Jörg Fickenscher, Oliver Reiche, Jens Schlumberger, Frank Hannig, Jürgen Teich:
Modeling, programming and performance analysis of automotive environment map representations on embedded GPUs. 70-77
Keynote Talk
- Jacob A. Abraham:
Cross-layer resilience: are high-level techniques always better? 78
Special Session 2: Medical Devices and Assisted Living: High-Level Design and Verification Approaches
- Daniel Yunge, Sangyoung Park, Philipp H. Kindt, Graziano Pravadelli, Samarjit Chakraborty:
Dynamic service synthesis and switching for medical IoT and ambient assisted living. 79-84 - Houssam Abbas, Zhihao Jiang, Kuk Jin Jang, Marco Beccani, Jackson Liang, Rahul Mangharam:
High-level modeling for computer-aided clinical trials of medical devices. 85-92 - Daniela De Venuto, Valerio Francesco Annese, Giovanni Mezzina, Michele Ruta, Eugenio Di Sciascio:
Brain-computer interface using P300: a gaming approach for neurocognitive impairment diagnosis. 93-99
Session 3: System Level Design and Simulation
- Guantao Liu, Tim Schmidt, Rainer Dömer:
A segment-aware multi-core scheduler for system C PDES. 100-107 - Qinhao Wang, Yusuke Kimura, Masahiro Fujita:
Automatically adjusting system level designs after RTL/gate-level ECO. 108-112 - Michele Lora, Sara Vinco, Franco Fummi:
A unifying flow to ease smart systems integration. 113-120
Session 4: Advances in Formal Verification and Test Generation
- Eman El Mandouh, Amr G. Wassal:
Estimation of formal verification cost using regression machine learning. 121-127 - Sarmad Tanwir, Michael S. Hsiao, Loganathan Lingappan:
Hardware-in-the-loop model-less diagnostic test generation. 128-135 - Mejid Kebaili, Jean-Christophe Brignone, Katell Morin-Allory:
Clock domain crossing formal verification: a meta-model. 136-141 - Xiaojun Sun, Priyank Kalla, Florian Enescu:
Word-level traversal of finite state machines using algebraic geometry. 142-149
Special Session 3: High-Level Modeling and Verification of Biological Systems
- Subarna Sinha, David L. Dill:
Deciphering cancer biology using boolean methods. 150-154 - Rosario Distefano, Nickolas Goncharenko, Franco Fummi, Rosalba Giugno, Gary D. Bader, Nicola Bombieri:
SyQUAL: a platform for qualitative modelling and simulation of biological systems. 155-161 - Natasa Miskov-Zivanov, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke, James R. Faeder:
High-level modeling and verification of cellular signaling. 162-169 - Md. Ariful Islam, Qinsi Wang, Ramin M. Hasani, Ondrej Balun, Edmund M. Clarke, Radu Grosu, Scott A. Smolka:
Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans. 170-177 - Qinsi Wang, Edmund M. Clarke:
Formal modeling of biological systems. 178-184
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 2026-01-29 23:09 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:
