2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)
Latest Publications

TOTAL DOCUMENTS

32

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By IEEE

9781509042708

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

SyQUAL: a platform for qualitative modelling and simulation of biological systems

2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) ◽

10.1109/hldvt.2016.7748270 ◽

2016 ◽

Author(s):

Rosario Distefano ◽

Nickolas Goncharenko ◽

Franco Fummi ◽

Rosalba Giugno ◽

Gary D. Badery ◽

...

Keyword(s):

Biological Systems ◽

Modelling And Simulation ◽

Qualitative Modelling

Download Full-text

Specification by existing design plus use-cases

2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) ◽

10.1109/hldvt.2016.7748253 ◽

2016 ◽

Author(s):

Yusuke Kimura ◽

Masahiro Fujita

Keyword(s):

Download Full-text

Estimation of formal verification cost using regression machine learning

2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) ◽

10.1109/hldvt.2016.7748265 ◽

2016 ◽

Author(s):

Eman El Mandouh ◽

Amr G. Wassal

Keyword(s):

Machine Learning ◽

Formal Verification

Download Full-text

Accelerating assertion assessment using GPUs

2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) ◽

10.1109/hldvt.2016.7748249 ◽

2016 ◽

Author(s):

Jason G. Tong ◽

Marc Boule ◽

Zeljko Zilic

Download Full-text

Fault injection ecosystem for assisted safety validation of automotive systems

2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) ◽

10.1109/hldvt.2016.7748256 ◽

2016 ◽

Author(s):

Sebastian Reiter ◽

Alexander Viehl ◽

Oliver Bringmann ◽

Wolfgang Rosenstiel

Keyword(s):

Fault Injection ◽

Automotive Systems

Download Full-text

Control-flow guided clause generation for property directed reachability

2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) ◽

10.1109/hldvt.2016.7748250 ◽

2016 ◽

Author(s):

Xian Li ◽

Klaus Schneider

Keyword(s):

Download Full-text

Cross-layer resilience: are high-level techniques always better?

2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) ◽

10.1109/hldvt.2016.7748258 ◽

2016 ◽

Author(s):

Jacob A. Abraham

Keyword(s):

Cross Layer ◽

Download Full-text

Design space exploration for deterministic ethernet-based architecture of automotive systems

2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) ◽

10.1109/hldvt.2016.7748255 ◽

2016 ◽

Author(s):

Prachi Joshi ◽

G. Vedahari Narasimhan ◽

Haibo Zeng ◽

Sandeep K. Shukla ◽

Chung-wei Lin ◽

...

Keyword(s):

Design Space Exploration ◽

Design Space ◽

Space Exploration ◽

Automotive Systems

Download Full-text

Formal semantics of behavior specifications in the architecture analysis and design language standard

2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) ◽

10.1109/hldvt.2016.7748252 ◽

2016 ◽

Author(s):

Loıc Besnard ◽

Thierry Gautier ◽

Clement Guy ◽

Paul Le Guernic ◽

Jean-pierre Talpin ◽

...

Keyword(s):

Formal Semantics ◽

Analysis And Design ◽

Design Language ◽

Architecture Analysis

Download Full-text

Dynamic service synthesis and switching for medical IoT and ambient assisted living

2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) ◽

10.1109/hldvt.2016.7748259 ◽

2016 ◽

Author(s):

Daniel Yunge ◽

Sangyoung Park ◽

Philipp Kindt ◽

Graziano Pravadelli ◽

Samarjit Chakraborty

Keyword(s):

Assisted Living ◽

Ambient Assisted Living

Download Full-text