Time-predictable embedded software on multi-core platforms : analysis and optimization

Veröffentlicht 2014

Systematic Classification of Attackers via Bounded Model Checking

von Rothstein-Morris, Eric
Veröffentlicht in VMCAI (21. : 2020 : New Orleans, La.) Verification, model checking, and abstract interpretation (2020)

AequeVox: Automated Fairness Testing of Speech Recognition Systems

von Rajan, Sai Sathiesh
Veröffentlicht in FASE (25. : 2022 : München) Fundamental approaches to software engineering (2022)

Learning Fault Models of Cyber Physical Systems

von Khoo, Teck Ping
Veröffentlicht in ICFEM (22. : 2021 : Singapur) Formal methods and software engineering (2021)

A Novel Compact Circularly Polarized Microstrip Antenna with Edge Cuts on Patch

von Singh, L. Lolit Kumar
Veröffentlicht in International Conference on Innovations in Modern Science and Technology (1. : 2019 : Siliguri) Intelligent techniques and applications in science and technology (2020)

Road Context-Aware Intrusion Detection System for Autonomous Cars

von Jiang, Jingxuan
Veröffentlicht in ICICS (21. : 2019 : Peking) Information and communications security (2020)

Study of Polarization Purity of Rectangular Microstrip Antenna Integrated with Pentagon Dumbelled Shaped Defected Ground Structure

von Nath, Anuj Kumar
Veröffentlicht in International Conference on Innovations in Modern Science and Technology (1. : 2019 : Siliguri) Intelligent techniques and applications in science and technology (2020)

Rectangular Microstrip Antenna for UWB Applications

von Sarkar, Tanmoy
Veröffentlicht in International Conference on Innovations in Modern Science and Technology (1. : 2019 : Siliguri) Intelligent techniques and applications in science and technology (2020)

Efficacy of Consolidation Grouting in Improving Dynamic Characteristics of a Nuclear Facility Foundation Strata

von Padmanabhan, G.
Veröffentlicht in ICRAGEE (7. : 2021 : Online) Ground improvement techniques (2021)

Repairing Adversarlal Texts Through Perturbation

von Dong, Guoliang
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (16. : 2022 : Cluj-Napoca) Theoretical aspects of software engineering (2022)