Presentation topics on Hardware and Software Verification
1. Towards a continuous certification of safety-critical avionics software
2. A Roadmap for Hardware and So ware Support for Developing Energy-Efficient Sensor Networks
3. A new framework of complex system reliability with imperfect maintenance policy
4. Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems
5. Mitigating errors by quantum verification and post-selection
6. From Good to Great: The Evolution of Cutoff Wall Quality Control and Verification Techniques
7. Digital forensic tool verification: An evaluation of options for establishing trustworthiness
8. System Level Verification of Phase-Locked Loop using Metamorphic Relations
9. Study on cybersecurity attack-defense visualization method based on intelligent connected vehicle
10. Validation & Verification of GIS-Based Population Data Conversion Program (POPCON)
11. Assertion Based Functional Verification of March Algorithm Based MBIST Controller
12. Implementation of FPGA Verification System with Slave FIFO Interface and FX3 USB 3 Bridge Chip
13. Instrumentation and Control Systems Design for Nuclear Power Plant: An Interview Study with Industry Practitioners
14. CRC: Fully General Model of Confidential Remote Computing
15. DESIGN AND PROTOTYPE DEVELOPMENT OF SMART IOT BASED DOCUMENT VERIFICATION SYSTEM FOR DRIVERS AND POLICE
16. Physical design and verification of 3D reversible ALU by QCA technology
17. Low-Cost Platform for Automobile Software Development
18. An attack-immune trusted architecture for supervisory aircraft hardware
19. Strategy of library information resource construction based on FPGA and embedded system
20. Software Maintenance Models and Processes: An Overview
21. Improving Performance of Hardware Adaptive Filter
22. Service Oriented Software Architecture for Vehicle Diagnostics
23. Airborne Software Change Control Process and Strategies of Civil Aircraft
24. Directfuzz: Automated test generation for rtl designs using directed graybox fuzzing
25. Formal verification of safety-critical software using SPARK
26. End-to-End Automated Exploit Generation for Processor Security Validation
27. Verification and validation of digital pathology (whole slide imaging) for primary histopathological diagnosis: All wales experience
28. The Basics of Digital System Designs Simulation for Hardware/Software Joint Debugging
29. Formal verification of timed synchronous dataflow graphs using Lustre
30. Verifying cache architecture vulnerabilities using a formal security verification flow
31. Fundamental Proof Methods in Computer Science: A Computer-Based Approach, by Arkoudas and Musser, The MIT Press, Cambridge, USA, ISBN 978-0-262-03553 …
32. CubeSat Spatial Expedition: An Overview From Design To Experimental Verification
33. Improved Run Time Error Analysis using Formal Methods for Automotive Software–Improvement of Quality, Cost Effectiveness and Efforts to Proactive Defects Check
34. Remote attestation and integrity measurements with Intel SGX for virtual machines
35. Isla: Integrating full-scale ISA semantics and axiomatic concurrency models (extended version)
36. A Configurable Hardware Implementation of XMSS.
37. Using Bayesian Modelling to Predict Software Incidents
38. Engineering Education for Development of Safety-Critical Systems
39. AUTOMATIC TOLL VERIFICATION USING RFID AND SECURE AUTHENTICATION BASED ON NOVEL HYBRID SAFERPLUS ALGORITHM
40. Semantic programming model-based design
41. Formal verification of a controller implementation in fixed-point arithmetic
42. Case Study: IP Design and Development
43. Research on the technology of preventing illegal terminal access
44. Application Verification Architecture for Communication SoCs
45. Design and Implementation of Hardware in the Loop Simulation Operation Simulator for Complex Mechanical Equipment.
46. Malicious Routing: Circumventing Bitstream-level Verification for FPGAs
47. An indoor vehicle-in-the-loop simulation platform testing method for autonomous emergency braking
48. Integrity Verification for Streaming IoT Applications with a Minimalist Logging Scheme
49. Mutation Testing for Rule-Based Verification of Railway Signaling Data
50. Finding Security Vulnerabilities in IoT Cryptographic Protocol and Concurrent Implementations
51. X-Ray CT: Hardware and Software Techniques
52. Recent Researches and Technologies on Software Reliability Evaluation
53. Popularity-Similarity random SAT formulas
54. The Future of Secure and Trustworthy Network-on-Chip Architectures
55. A theoretical workflow for the verification of embedded threats on mobile devices
56. Simulation of Ideally Switched Circuits in SystemC
57. Implementation of High Level Synthesis for Adaptive FIR Filtering on Embedded System
58. A Novel Approach for Improving Security in Software Development in Small Software Firms: A Literature Review
