Tingting Yu

Goetz Botterweck

ACM Comput. Surv., January, 2025

Resilient cooperative platoon control for leader-following uncertain vehicular systems subject to cyber-physical attacks.

[BibT_eX]

[DOI]

Trans. Inst. Meas. Control, 2025

BaSFuzz: Fuzz testing based on difference analysis for seed bytes.

[BibT_eX]

[DOI]

J. Syst. Softw., 2025

Image Deblurring Algorithm Incorporating Self-Attention Mechanism.

[BibT_eX]

[DOI]

Int. J. Pattern Recognit. Artif. Intell., 2025

Space-Constrained Random Sparse Adversarial Attack.

[BibT_eX]

[DOI]

Neurocomputing, 2025

Reduce Dependence for Sound Concurrency Bug Prediction.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

GFSCompNet: remote sensing image compression network based on global feature-assisted segmentation.

[BibT_eX]

[DOI]

Multim. Tools Appl., July, 2024

Distributed Adaptive Fuzzy Coordination Control of Heterogeneous Non-affine Nonlinear Leader-Following Systems Under Unreliable Communication Environments.

[BibT_eX]

[DOI]

Int. J. Fuzzy Syst., April, 2024

Online Fault Diagnosis of Harmonic Drives Using Semisupervised Contrastive Graph Generative Network via Multimodal Data.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., March, 2024

Prescribed-Instant Stabilization for Second-Order Systems With Unmatched Uncertainties.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. II Express Briefs, March, 2024

Coupling of Magnetic Field Noise in Multilayer Magnetic Shields for Atomic Magnetometer.

[BibT_eX]

[DOI]

IEEE Trans. Instrum. Meas., 2024

Light-Driven Micro/Nanorobot for Biomimetic Optical Communication.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2024

A learning numerical spiking neural P system for classification problems.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2024

Dual-Channel in Spatial-Frequency Domain CycleGAN for perceptual enhancement of transcranial cortical vascular structure and function.

[BibT_eX]

[DOI]

Comput. Biol. Medicine, 2024

Optimal carbon quota allocation for a capital-constrained e-commerce supply chain under the carbon rights buyback policy.

[BibT_eX]

[DOI]

Comput. Ind. Eng., 2024

Heat and Power Load Prediction for Combined Heat and Power Station with Different Methods.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Digital Twins and Parallel Intelligence, 2024

Coverage-Guided Testing for Automatic Speech Recognition Systems.

[BibT_eX]

[DOI]

Yang Xu

Rui Chen

Proceedings of the 11th International Conference on Dependable Systems and Their Applications, 2024

2023

Global Results on Exponential Stability of Neutral Cohen-Grossberg Neural Networks Involving Multiple Neutral and Discrete Time-Varying Delays: A Method Based on System Solutions.

[BibT_eX]

[DOI]

Neural Process. Lett., December, 2023

A systematic mapping study of software performance research.

[BibT_eX]

[DOI]

Gongjun Yan

Softw. Pract. Exp., May, 2023

Two-Stream Fused Fuzzy Deep Neural Network for Multiagent Learning.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., February, 2023

DeepHC: Efficient Generating Tests with High Coverage for Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Precise Dynamic Data Race Prediction for Interrupt-Driven Embedded Software.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

Group Sparse Optimal Transport for Sparse Process Flexibility Design.

[BibT_eX]

[DOI]

Dixin Luo

Hongteng Xu

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Unbalanced Big Data-Compatible Cloud Storage Method Based on Redundancy Elimination Technology.

[BibT_eX]

[DOI]

Sci. Program., 2022

Anesthesia depth evaluation algorithm based on permutation and combination entropy.

[BibT_eX]

[DOI]

Neural Comput. Appl., 2022

Integration of an imbalance framework with novel high-generalizable classifiers for radiomics-based distant metastases prediction of advanced nasopharyngeal carcinoma.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2022

Global exponential stability of neutral-type Cohen-Grossberg neural networks with multiple time-varying neutral and discrete delays.

[BibT_eX]

[DOI]

Zhongjie Zhang

Xian Zhang

Neurocomputing, 2022

Algebra criteria for global exponential stability of multiple time-varying delay Cohen-Grossberg neural networks.

[BibT_eX]

[DOI]

Zhongjie Zhang

Xian Zhang

Appl. Math. Comput., 2022

SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Build Simulation Platform in Real Logistics Scenario and Optimization Based on Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Computer Supported Cooperative Work in Design, 2022

Improving Surveillance Object Detection with Adaptive Omni-Attention over Both Inter-frame and Intra-frame Context.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ACCV 2022, 2022

2021

Global Exponential Stability Analysis of Coupled Cyclic Genetic Regulatory Networks With Constant Delays.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2021

Dissipativity-Based Filtering for Switched Genetic Regulatory Networks with Stochastic Disturbances and Time-Varying Delays.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2021

The effect of delay interval on the feedback control for a turbidostat model.

[BibT_eX]

[DOI]

Sanling Yuan

Tonghua Zhang

J. Frankl. Inst., 2021

ConfProf: White-Box Performance Profiling of Configuration Options.

[BibT_eX]

[DOI]

Michael Pradel

Proceedings of the ICPE '21: ACM/SPEC International Conference on Performance Engineering, 2021

A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Research on Innovation Trends of AI Applied to Medical Instruments Using Informetrics Based on Multi-sourse Information.

[BibT_eX]

[DOI]

Xingwang Wang

Proceedings of the Knowledge Science, Engineering and Management, 2021

Multi-label Text Classification with Label Correction under Noise.

[BibT_eX]

[DOI]

Tao Li

Xiaomeng Wang

Proceedings of the ICCPR '21: 10th International Conference on Computing and Pattern Recognition, Shanghai, China, October 15, 2021

2020

Oven-Controlled MEMS Oscillator with Integrated Micro-Evaporation Trimming.

[BibT_eX]

[DOI]

Sensors, 2020

Creating while taking turns, the choice to unlocking group creative potential.

[BibT_eX]

[DOI]

Kelong Lu

Ning Hao

NeuroImage, 2020

Stability analysis for discrete-time switched GRNs with persistent dwell-time and time delays.

[BibT_eX]

[DOI]

Yue Zhao

Qingshuang Zeng

J. Frankl. Inst., 2020

Dynamic output feedback control of discrete-time switched GRNs with time-varying delays.

[BibT_eX]

[DOI]

J. Frankl. Inst., 2020

Automated Performance Tuning for Highly-Configurable Software Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Automatic Positioning and Recognition of Anesthesia Points Based on Ultrasound Image Guidance Technology.

[BibT_eX]

[DOI]

IEEE Access, 2020

Partial Multi-label Learning using Label Compression.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Data Mining, 2020

Detecting Out-of-Bounds Array Access Errors in Aerospace Embedded Software.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020

Partial Multi-label Learning with Label and Feature Collaboration.

[BibT_eX]

[DOI]

Proceedings of the Database Systems for Advanced Applications, 2020

Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Summary of the 5th International Workshop on Requirements Engineering and Testing (RET 2018).

[BibT_eX]

[DOI]

Michael Unterkalmsteiner

ACM SIGSOFT Softw. Eng. Notes, 2019

A Helical Microrobot with an Optimized Propeller-Shape for Propulsion in Viscoelastic Biological Media.

[BibT_eX]

[DOI]

Robotics, 2019

Three-stage network for age estimation.

[BibT_eX]

[DOI]

CAAI Trans. Intell. Technol., 2019

SCMiner: Localizing System-Level Concurrency Faults from Large System Call Traces.

[BibT_eX]

[DOI]

Tarannum Shaila Zaman

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Determination of Noise Index of Piezoelectric Ceramic Drive System Based on Coupled Electro-mechanical Model.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2019

2018

Stability Analysis of Genetic Regulatory Networks With Switching Parameters and Time Delays.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., 2018

Pinpointing and repairing performance bottlenecks in concurrent programs.

[BibT_eX]

[DOI]

Michael Pradel

Empir. Softw. Eng., 2018

Extracting implicit programming rules: comparing static and dynamic approaches.

[BibT_eX]

[DOI]

Tarannum Shaila Zaman

Proceedings of the 7th International Workshop on Software Mining, 2018

PerfLearner: learning from bug reports to understand and generate performance test frames.

[BibT_eX]

[DOI]

David Lo

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

A Study of Regression Test Selection in Continuous Integration Environments.

[BibT_eX]

[DOI]

Ting Wang

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

Logics for Bisimulation and Divergence.

[BibT_eX]

[DOI]

Wenhui Zhang

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

Summary of the 4th International Workshop on Requirements Engineering and Testing (RET 2017).

[BibT_eX]

[DOI]

Markus Borg

Elizabeth Bjarnason

Michael Unterkalmsteiner

Gregory Gay

Michael Felderer

ACM SIGSOFT Softw. Eng. Notes, 2017

DESCRY: reproducing system-level concurrency failures.

[BibT_eX]

[DOI]

Tarannum S. Zaman

Chao Wang

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Analyzing divergence in bisimulation semantics.

[BibT_eX]

[DOI]

Wenhui Zhang

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Analyzing the Single Event Upset Sensitivity of Digital Clock Manager in Virtex-5 FPGA.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Informatics, 2017

SimEvo: Testing Evolving Multi-process Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

2016

SyncProf: detecting, localizing, and optimizing synchronization bottlenecks.

[BibT_eX]

[DOI]

Michael Pradel

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

An Empirical Study on Performance Bugs for Highly Configurable Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2016

2015

Hopf bifurcation analysis for genetic regulatory networks with two delays.

[BibT_eX]

[DOI]

Neurocomputing, 2015

TACO: test suite augmentation for concurrent programs.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

A new decompressor with ordered parallel scan design for reduction of test data and test time.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Symposium on Circuits and Systems, 2015

An improved scan design for minimization of test power under routing constraint.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Symposium on Circuits and Systems, 2015

A scan design method based on two complementary connection styles to minimize test power.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Symposium on Circuits and Systems, 2015

2014

An improved scan cell ordering method using the scan cells with complementary outputs.

[BibT_eX]

[DOI]

Mengyang Li

Aijiao Cui

Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), 2014

2013

An observable and controllable testing framework for modern systems.

[BibT_eX]

[DOI]