Continual learning classification method with single-label memory cells based on the intelligent mechanism of the biological immune system | 0 | 0.34 | 2022 |
Continual learning classification method with the weighted k-nearest neighbor rule for time-varying data space based on the artificial immune system | 0 | 0.34 | 2022 |
Automatic Integer Error Repair by Proper-Type Inference | 0 | 0.34 | 2021 |
Escape from escape analysis of Golang | 0 | 0.34 | 2020 |
Online Scheduling for Dynamic VM Migration in Multicast Time-Sensitive Networks | 1 | 0.35 | 2020 |
A Flattened-Priority Framework for Mixed-Criticality Systems | 0 | 0.34 | 2020 |
An Empirical Study on API-Misuse Bugs in Open-Source C Programs | 0 | 0.34 | 2019 |
Vetting API usages in C programs with IMChecker | 0 | 0.34 | 2019 |
An Enhanced Reconfiguration for Deterministic Transmission in Time-Triggered Networks | 3 | 0.40 | 2019 |
Go-Sanitizer: Bug-Oriented Assertion Generation for Golang | 0 | 0.34 | 2019 |
Ares: inferring error specifications through static analysis | 0 | 0.34 | 2019 |
TsmartGP: a tool for finding memory defects with pointer analysis | 0 | 0.34 | 2019 |
IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs | 0 | 0.34 | 2019 |
Go-clone: graph-embedding based clone detector for Golang | 0 | 0.34 | 2019 |
Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. | 3 | 0.39 | 2019 |
Api Misuse Detection In C Programs: Practice On Ssl Apis | 0 | 0.34 | 2019 |
Tolerating C Integer Error via Precision Elevation. | 0 | 0.34 | 2019 |
Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-Time Systems | 0 | 0.34 | 2018 |
Parallelizing SMT solving: Lazy decomposition and conciliation. | 0 | 0.34 | 2018 |
Model-based adaptation to extreme physical environments: a case study on mixed-criticality industrial ethernet. | 0 | 0.34 | 2018 |
Managing concurrent testing of data race with ComRaDe. | 0 | 0.34 | 2018 |
Energy-Efficient Automatic Train Driving by Learning Driving Patterns. | 0 | 0.34 | 2018 |
Temporal Coverage Analysis for Dynamic Verification. | 0 | 0.34 | 2018 |
BIMTag: Concept-based automatic semantic annotation of online BIM product resources | 7 | 0.47 | 2017 |
Verification of Implementations of Cryptographic Hash Functions. | 0 | 0.34 | 2017 |
Human experience knowledge induction based intelligent train driving | 0 | 0.34 | 2017 |
Path compression kd-trees with multi-layer parallel construction a case study on ray tracing. | 1 | 0.34 | 2017 |
IntPTI: automatic integer error repair with proper-type inference. | 1 | 0.35 | 2017 |
A static analysis tool with optimizations for reachability determination. | 0 | 0.34 | 2017 |
Vertex-Weighted Hypergraph Learning for Multi-View Object Classification. | 4 | 0.40 | 2017 |
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude. | 2 | 0.37 | 2017 |
Stochastic optimization of program obfuscation. | 9 | 0.48 | 2017 |
Assertion Recommendation for Formal Program Verification | 5 | 0.46 | 2017 |
Verifying simulink stateflow model: timed automata approach. | 8 | 0.50 | 2016 |
Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. | 1 | 0.35 | 2016 |
Plc Programs' Checking Method And Strategy Based On Module State Transfer | 0 | 0.34 | 2015 |
First, Debug the Test Oracle | 1 | 0.34 | 2015 |
Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks | 23 | 1.12 | 2015 |
A bias-scalable current-mode analog support vector machine based on margin propagation | 0 | 0.34 | 2014 |
Reliability Analysis for a Data Flow in Event-Driven Wireless Sensor Networks | 6 | 0.43 | 2014 |
Modeling a Heterogeneous Embedded System in Coloured Petri Nets. | 1 | 0.43 | 2014 |
Array Theory of Bounded Elements and its Applications | 4 | 0.43 | 2014 |
Symbolic Analysis of Programmable Logic Controllers | 3 | 0.39 | 2014 |
DOPROPC: a domain property pattern system helping to specify control system requirements (S). | 0 | 0.34 | 2013 |
Exponential-Condition-Based barrier certificate generation for safety verification of hybrid systems | 16 | 0.92 | 2013 |
Formal component-based modeling and synthesis for PLC systems | 3 | 0.40 | 2013 |
Reusing Search Tree for Incremental SAT Solving of Temporal Induction | 0 | 0.34 | 2013 |
Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information | 2 | 0.42 | 2013 |
Probabilistic analysis of system outage in distributed antenna systems with composite channels. | 10 | 0.38 | 2013 |
Research on Automatic Assessment of Transferable Skills. | 0 | 0.34 | 2013 |