Zhennan Fei

32 papers A* 1A 1B 2C 1Journal 11Unranked 15
YearRankTypeTitle / Venue / Authors
2025 B conf
An LLM and Embeddings-Based Multi-agentic System for Knowledge Graph Construction and Verification.
PRIMA
Miranda R. Martínez Rodríguez, Ali Nouri, Zhennan Fei, Maria M. Hedblom
2025 B conf
Large Language Models in Code Co-generation for Safe Autonomous Vehicles.
SAFECOMP
Ali Nouri, Beatriz Cabrero-Daniel, Zhennan Fei, Krishna Ronanki, Håkan Sivencrona, Christian Berger
2025 J jnl
Large Language Models in Code Co-generation for Safe Autonomous Vehicles.
CoRR
Ali Nouri, Beatriz Cabrero-Daniel, Zhennan Fei, Krishna Ronanki, Håkan Sivencrona, Christian Berger
2025 A conf
On Simulation-Guided LLM-based Code Generation for Safe Autonomous Driving Software.
EASE
Ali Nouri, Johan Andersson, Kailash De Jesus Hornig, Zhennan Fei, Emil Knabe, Håkan Sivencrona, Beatriz Cabrero-Daniel, Christian Berger
2025 J jnl
On Simulation-Guided LLM-based Code Generation for Safe Autonomous Driving Software.
CoRR
Ali Nouri, Johan Andersson, Kailash De Jesus Hornig, Zhennan Fei, Emil Knabe, Håkan Sivencrona, Beatriz Cabrero-Daniel, Christian Berger
2025 — conf
Vehicle-Level Safety Validation of AD/ADAS Systems via Extreme Value Analysis.
SAFECOMP (Workshops)
Pengcheng Wu, Sadegh Rahrovani, Zhennan Fei, Derong Yang, Stina Carlsson, Martin Törngren
2024 — conf
Correlation of Software-in-the-Loop Simulation with Physical Testing for Autonomous Driving.
ITSC
Zhennan Fei, Mikael Andersson, Andreas Tingberg
2024 J jnl
Correlation of Software-in-the-Loop Simulation with Physical Testing for Autonomous Driving.
CoRR
Zhennan Fei, Mikael Andersson, Andreas Tingberg
2024 J jnl
MEEAFusion: Multi-Scale Edge Enhancement and Joint Attention Mechanism Based Infrared and Visible Image Fusion.
Sensors
Yingjiang Xie, Zhennan Fei, Da Deng, Lingshuai Meng, Fu Niu, Jinggong Sun
2023 — conf
Automated Pedestrian Tracking Based on Improved ByteTrack.
ICCT
Qiuxing Zhang, Fanghua Yang, Feng Li, Zhennan Fei, Yingjiang Xie, Da Deng
2020 — conf
Supervisory Control Theory in System Safety Analysis.
SAFECOMP Workshops
Yuvaraj Selvaraj, Zhennan Fei, Martin Fabian
2019 — conf
Comparative Case Studies of Reactive Synthesis and Supervisory Control.
ECC
Zahra Ramezani, Jonas Krook, Zhennan Fei, Martin Fabian, Knut Åkesson
2017 J jnl
Invariant-Based Supervisory Control of Switched Discrete Event Systems.
IEEE Trans. Autom. Control.
Spyros A. Reveliotis, Zhennan Fei
2017 J jnl
Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages.
IEEE Trans Autom. Sci. Eng.
Spyros A. Reveliotis, Zhennan Fei
2016 — conf
Robust deadlock avoidance for sequential resource allocation systems with resource outages.
CASE
Spyros A. Reveliotis, Zhennan Fei
2015 J jnl
A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems.
IEEE Trans Autom. Sci. Eng.
Zhennan Fei, Spyros A. Reveliotis, Sajed Miremadi, Knut Åkesson
2015 — conf
Invariant-based Supervisory Control of Switched Discrete Event Systems.
ADHS
Spyros A. Reveliotis, Zhennan Fei
2015 J jnl
Symbolic Supervisory Control of Timed Discrete Event Systems.
IEEE Trans. Control. Syst. Technol.
Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson
2015 — conf
Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques.
CASE
Zhennan Fei, Knut Åkesson, Spyros A. Reveliotis
2014 — conf
A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems.
WODES
Zhennan Fei, Spyros A. Reveliotis, Knut Åkesson
2014 J jnl
Efficient Symbolic Supervisor Synthesis for Extended Finite Automata.
IEEE Trans. Control. Syst. Technol.
Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson
2014 J jnl
Supervisory Control for State-Vector Transition Models - A Unified Approach.
IEEE Trans Autom. Sci. Eng.
Bengt Lennartson, Francesco Basile, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson
2014 J jnl
Symbolic Representation and Computation of Timed Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng.
Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson
2014 — —
Symbolic Supervisory Control of Resource Allocation Systems.
Zhennan Fei
2014 — conf
Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software.
CDC
Zhennan Fei, Knut Åkesson, Spyros A. Reveliotis
2012 — conf
A symbolic approach to large-scale discrete event systems modeled as finite automata with variables.
CASE
Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson
2012 C conf
State-vector transition model applied to supervisory control.
ETFA
Bengt Lennartson, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson
2012 — conf
Symbolic computation of nonblocking control function for timed discrete event systems.
CDC
Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson
2011 — conf
Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration.
ICAART (1)
Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson
2011 — conf
Modeling sequential resource allocation systems using Extended Finite Automata.
CASE
Zhennan Fei, Sajed Miremadi, Knut Åkesson
2011 — conf
Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory.
ICAART (Revised Selected Papers)
Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson
2011 A* conf
Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory.
ICRA
Zhennan Fei, Knut Åkesson, Bengt Lennartson