Xin Qin

Xin Qin

Assistant Professor
Department of Computer Engineering and Computer Science
California State University, Long Beach

Email: xin.qin (at) csulb.edu

GitHub | CV


I am an Assistant Professor in the Department of Computer Engineering and Computer Science (CECS) at California State University, Long Beach (CSULB). My research interests are in ensuring the safety of cyber-physical systems through formal methods, predictive monitoring, verification, and machine learning.

Previously, I completed my PhD in Computer Science at the University of Southern California, advised by Prof. Jyotirmoy Deshmukh. I received my Computer Science BS degree from ShanghaiTech Univeristy, where I was advised by Prof. Yi MA and Prof. Hao Chen. I spent my last year of undergraduate in UC Berkeley as a visiting student, working in BAIR Lab with Prof. Angjoo Kanazawa and Richard Zhang. During my visit, I also received invaluable support from Prof. Alexei Efros and Prof. Jitendra Malik.


Publications

Object Detection in Dynamic Environments: A Case Study in Mario Kart Wii

Adrian Abraham, Xin Qin

In Fifth Annual Computer Science Conference for CSU Undergraduates (CSCSU), 2025

Mario Kart item detection Mario Kart result

Towards a Lightweight Platform for Human-Robot Interaction in Federated Edge and IoT Environments

Simon Zhang, Zhengxiong Li, Xin Qin, Hailu Xu

In the Third International Workshop on Human-Centered Sensing, Modeling, and Intelligent Systems (HumanSys), 2025

Poster Abstract: Conformance-Driven Anomaly Detection for Cyber-Physical Systems

Xin Qin

In 16th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2025

Conformance anomaly detection

Poster Abstract: Exploring Flexible Road Reconstruction in Godot Simulator

Daniel Peralta, Xin Qin

In 16th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2025

Trees image Trees

The Task Shield: Enforcing Task Alignment to Defend Against Indirect Prompt Injection in LLM Agents

Feiran Jia, Tong Wu, Xin Qin, Anna Squicciarini

2024

Task shield

Multi-agent Path Finding for Timed Tasks using Evolutionary Games

Sheryl Paul, Anand Balakrishnan, Xin Qin, Jyotirmoy V. Deshmukh

In International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2024

Multi-agent path finding

Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-aware Verification

Xin Qin, Yuan Xia, Aditya Zutshi, Chuchu Fan, Jyotirmoy V. Deshmukh

In Transactions on Cyber-Physical Systems (TCPS), 2023

Statistical verification 1 Statistical verification 2

Conformance Testing for Stochastic Cyber-Physical Systems

Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh

In Formal Methods in Computer-Aided Design (FMCAD), 2023

Carla trajectory Histogram

Robust Testing for Cyber-Physical Systems using Reinforcement Learning

Xin Qin, Nikos Arechiga, Andrew Best, Jyotirmoy Deshmukh

In ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE), 2023

Lane change trajectory Lane change trajectory hit

Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference

Navid Hashemi, Xin Qin, Lars Lindemann, Jyotirmoy V. Deshmukh

In IEEE Conference on Decision and Control (CDC), 2023

Data-driven reachability

Conformal Prediction for STL Runtime Verification

Lars Lindemann*, Xin Qin*, Jyotirmoy V. Deshmukh, George J. Pappas

In ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2023

Conformal prediction plots Aerial views

Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives

Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil Prokhorov, Tomoya Yamaguchi

In American Control Conference (ACC), 2023

Risk-awareness simulation

Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference

Xin Qin, Yuan Xia, Aditya Zutshi, Chuchu Fan, Jyotirmoy V. Deshmukh

In International Conference on Cyber-Physical Systems (ICCPS), 2022

Naive split patches MC ground truth

Mining Shape Expressions with ShapeIt

Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin

In International Conference on Software Engineering and Formal Methods (SEFM), 2021

ShapeIt pipeline

Clairvoyant Monitoring for Signal Temporal Logic Patterns

Xin Qin, Jyotirmoy V. Deshmukh

In International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2020

Background trace STL

Mining Shape Expressions from Positive Examples

Ezio Bartocci, Jyotirmoy Deshmukh, Felix Gigler, Cristinel Mateis, Dejan Nickovic, Xin Qin

In International Conference on Embedded Software (EMSOFT), 2020

Segment Automata

Specifying and Detecting Temporal Patterns with Shape Expressions

Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy Deshmukh

In International Journal on Software Tools for Technology Transfer (STTT)

STTT image Automata

Shape Expressions for Specifying and Extracting Signal Features

Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy Deshmukh

In International Conference on Runtime Verification (RV), 2019 Best Paper Award

Single Thread

Specifying and Evaluating Quality Metrics for Vision-Based Perception Systems

Anand Balakrishnan, Aniruddh G. Puranic, Xin Qin, Adel Dokhanchi, Jyotirmoy V. Deshmukh, Heni Ben Amor, Georgios Fainekos

In IEEE Proceedings of Design, Automation and Test in Europe (DATE), 2019

YOLO visualization

Predictive monitoring for signal temporal logic with probabilistic guarantees: poster abstract

Xin Qin, Jyotirmoy V. Deshmukh

In International Conference on Hybrid Systems: Computation and Control (HSCC), 2019

Predictive monitoring pipeline

Joint Probability Distribution of Prediction Errors of ARIMA

Xin Qin, Jyotirmoy V. Deshmukh

In arXiv, 2019


Teaching

Concepts of Computer Science Theory

CECS329, Fall 2024

California State University, Long Beach

Search Engine Technology

CECS429/529, Fall 2024

California State University, Long Beach

Human Subject Research in Software Systems

TA with Prof. Souti Chattopadhyay, Spring 2023

University of Southern California

Autonomous Cyber-Physical Systems

TA with Prof. Jyotirmoy Deshmukh, Fall 2022

University of Southern California

Computer Architecture

TA with Prof. Soren Schwertfeger, Spring 2017

ShanghaiTech University


Services

Reviewer

  • CDC, T-ASE, ICRA, VMCAI, TCPS2024
  • L4DC, HSCC poster, CDC2023
  • IV (subreviewer)2020, 2021

Program Committee


News

  • An interview with the Long Beach Current. August 2024
  • Passed my PhD defense. May 2024
  • Selected as one of the CPS Rising Stars. May 2023
  • Received an NSF student travel award for CPS-IoT Week 2023. 2023
  • A highlight of our TQTL for vision-based perception systems in USC Viterbi News. March 2019

Misc

Sketch

An interesting undergraduate project done under supervision. Given an image, regenerate the image in sequences. This is like how children reproduce an image after looking at it.

Sketch 0 Sketch 1 Sketch 2 Sketch 3 Sketch 4 Sketch 5 Sketch 6 Sketch 7 Sketch 8 Sketch 9 Sketch 10 Sketch 11

Train on MNIST, then test on Omniglot:

MNIST to Omniglot

Ray Tracing

My ray tracing implementation.

Ray Tracing
Ray Tracing Large
Medal

Third place in the Shanghai Student Sports Games, Taekwondo, 2016. (Held every four years.)

Medal Large

🌞 Coming soon ...

Try