| 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 |
