Modeling sequential resource allocation systems using Extended Finite Automata. - Zhennan Fei; Sajed Miremadi; Knut Åkesson (CASE, 2011)

Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration. - Zhennan Fei; Sajed Miremadi; Knut Åkesson; Bengt Lennartson (ICAART (1), 2011)

Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory. - Zhennan Fei; Sajed Miremadi; Knut Åkesson; Bengt Lennartson (ICAART (Revised Selected Papers), 2011)

Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory. - Zhennan Fei; Knut Åkesson; Bengt Lennartson (ICRA, 2011)

A symbolic approach to large-scale discrete event systems modeled as finite automata with variables. - Zhennan Fei; Sajed Miremadi; Knut Åkesson; Bengt Lennartson (CASE, 2012)

Symbolic computation of nonblocking control function for timed discrete event systems. - Sajed Miremadi; Zhennan Fei; Knut Åkesson; Bengt Lennartson (CDC, 2012)

State-vector transition model applied to supervisory control. - Bengt Lennartson; Sajed Miremadi; Zhennan Fei; Mona Noori Hosseini; Martin Fabian; Knut Åkesson (ETFA, 2012)

Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software. - Zhennan Fei; Knut Åkesson; Spyros A. Reveliotis (CDC, 2014)

A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems. - Zhennan Fei; Spyros A. Reveliotis; Knut Åkesson (WODES, 2014)

Supervisory Control for State-Vector Transition Models - A Unified Approach. - Bengt Lennartson; Francesco Basile; Sajed Miremadi; Zhennan Fei; Mona Noori Hosseini; Martin Fabian; Knut Åkesson (IEEE Trans Autom. Sci. Eng., 2014)

Symbolic Representation and Computation of Timed Discrete-Event Systems. - Sajed Miremadi; Zhennan Fei; Knut Åkesson; Bengt Lennartson (IEEE Trans Autom. Sci. Eng., 2014)

Efficient Symbolic Supervisor Synthesis for Extended Finite Automata. - Zhennan Fei; Sajed Miremadi; Knut Åkesson; Bengt Lennartson (IEEE Trans. Control. Syst. Technol., 2014)

Symbolic Supervisory Control of Resource Allocation Systems. - Zhennan Fei (2014)

Invariant-based Supervisory Control of Switched Discrete Event Systems. - Spyros A. Reveliotis; Zhennan Fei (ADHS, 2015)

Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques. - Zhennan Fei; Knut Åkesson; Spyros A. Reveliotis (CASE, 2015)

A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems. - Zhennan Fei; Spyros A. Reveliotis; Sajed Miremadi; Knut Åkesson (IEEE Trans Autom. Sci. Eng., 2015)

Symbolic Supervisory Control of Timed Discrete Event Systems. - Sajed Miremadi; Zhennan Fei; Knut Åkesson; Bengt Lennartson (IEEE Trans. Control. Syst. Technol., 2015)

Robust deadlock avoidance for sequential resource allocation systems with resource outages. - Spyros A. Reveliotis; Zhennan Fei (CASE, 2016)

Comparative Case Studies of Reactive Synthesis and Supervisory Control. - Zahra Ramezani; Jonas Krook; Zhennan Fei; Martin Fabian; Knut Åkesson (ECC, 2019)

Supervisory Control Theory in System Safety Analysis. - Yuvaraj Selvaraj; Zhennan Fei; Martin Fabian (SAFECOMP Workshops, 2020)

Automated Pedestrian Tracking Based on Improved ByteTrack. - Qiuxing Zhang; Fanghua Yang; Feng Li; Zhennan Fei; Yingjiang Xie; Da Deng (ICCT, 2023)

Correlation of Software-in-the-Loop Simulation with Physical Testing for Autonomous Driving. - Zhennan Fei; Mikael Andersson; Andreas Tingberg (ITSC, 2024)

MEEAFusion: Multi-Scale Edge Enhancement and Joint Attention Mechanism Based Infrared and Visible Image Fusion. - Yingjiang Xie; Zhennan Fei; Da Deng; Lingshuai Meng; Fu Niu; Jinggong Sun (Sensors, 2024)

Large Language Models in Code Co-generation for Safe Autonomous Vehicles. - Ali Nouri; Beatriz Cabrero-Daniel; Zhennan Fei; Krishna Ronanki; Håkan Sivencrona; Christian Berger 001 (SAFECOMP, 2025)

Vehicle-Level Safety Validation of AD/ADAS Systems via Extreme Value Analysis. - Pengcheng Wu; Sadegh Rahrovani; Zhennan Fei; Derong Yang; Stina Carlsson; Martin Törngren (SAFECOMP (Workshops), 2025)

On Simulation-Guided LLM-based Code Generation for Safe Autonomous Driving Software. - Ali Nouri; Johan Andersson; Kailash De Jesus Hornig; Zhennan Fei; Emil Knabe; Håkan Sivencrona; Beatriz Cabrero-Daniel; Christian Berger 001 (CoRR, 2025)