Yining She

According to our database, Yining She authored at least 6 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Symbolic Guardrails for Domain-Specific Agents: Stronger Safety and Security Guarantees Without Sacrificing Utility.

Yining Hong, Yining She, Eunsuk Kang, Christopher Steven Timperley, Christian Kästner

CoRR, April, 2026

Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems.

Guangyao Chen, Zeyu Li, Jicheng Gu, Yining She, Chenyang Zhu, Zhihao Jiang

Formal Aspects Comput., March, 2026

2025

RAG Makes Guardrails Unsafe? Investigating Robustness of Guardrails under RAG-style Contexts.

Yining She, Daniel W. Peterson, Marianne Menglin Liu, Vikas Upadhyay, Mohammad Hossein Chaghazardi, Eunsuk Kang, Dan Roth

CoRR, October, 2025

FairSense: Long-Term Fairness Analysis of ML-Enabled Systems.

Yining She, Sumon Biswas, Christian Kästner, Eunsuk Kang

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

2023

Towards Safe ML-Based Systems in Presence of Feedback Loops.

Sumon Biswas, Yining She, Eunsuk Kang

Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components, 2023

2022

Stable Interaction of Autonomous Vehicle Platoons with Human-Driven Vehicles.

Mohammad Pirani, Yining She, Renzhi Tang, Zhihao Jiang, Yash Vardhan Pant

Proceedings of the American Control Conference, 2022