AgenticSE 2025 Contributors

Sun 16 - Thu 20 November 2025 Seoul, South Korea

co-located with ASE 2025

Filter

Role Type

Contributing to

Number of Roles

Country

Results (33)

A Salwa AlamirAlamir, Salwa J.P. Morgan AI ResearchUnited Kingdom Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
B Antony BartlettBartlett, Antony TU Delft, The NetherlandsNetherlands The Last Dependency Crusade: Solving Python Dependency Conflicts with LLMs
Yoseph Berhanu AlebachewBerhanu Alebachew, Yoseph Virginia TechUnited States LLMs in Debate: Does Arguing Make Them Better at Detecting Metamorphic Relations?
Daniel BorrajoBorrajo, Daniel Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
Dibyendu Brinto BoseBrinto Bose, Dibyendu Virginia Tech, USA United States LLMs in Debate: Does Arguing Make Them Better at Detecting Metamorphic Relations?
Chris BrownBrown, Chris Virginia TechUnited States LLMs in Debate: Does Arguing Make Them Better at Detecting Metamorphic Relations?
C Dhiman ChakrabortyChakraborty, Dhiman Transforming Natural Language into Formal Specifications
Satish ChandraChandra, Satish Google, IncUnited States Wrap-up, acknowledgments, and discussion Welcome and Introduction
Yung-Ju ChangChang, Yung-Ju PRIMA: Enabling User Agency and Control in Mobile GUI Agent Autonomy
D Marvin DamschenDamschen, Marvin Leveraging Large Language Models for Cybersecurity Risk Assessment — A Case from Forestry Cyber-Physical Systems
G Tony GorschekGorschek, Tony Blekinge Institute of Technology / DocEngineering A 3-Layer Agentic Model for Nonfunctional Requirements in Software Engineering
I Maliheh IzadiIzadi, Maliheh Delft University of TechnologyNetherlands Wrap-up, acknowledgments, and discussion Welcome and Introduction
K Ranim KhojahKhojah, Ranim Chalmers University of Technology and University of GothenburgSweden Leveraging Large Language Models for Cybersecurity Risk Assessment — A Case from Forestry Cyber-Physical Systems
Roham KoohestaniKoohestani, Roham Delft University of TechnologyNetherlands AgentGuard: Runtime Verification of AI Agents
L Cynthia C. S. LiemLiem, Cynthia C. S. Delft University of TechnologyNetherlands The Last Dependency Crusade: Solving Python Dependency Conflicts with LLMs
Alexander LiggesmeyerLiggesmeyer, Alexander Transforming Natural Language into Formal Specifications
Oscar LiljaLilja, Oscar Leveraging Large Language Models for Cybersecurity Risk Assessment — A Case from Forestry Cyber-Physical Systems
Ching-Ting LinLin, Ching-Ting PRIMA: Enabling User Agency and Control in Mobile GUI Agent Autonomy
Kuangxiangzi LiuLiu, Kuangxiangzi Transforming Natural Language into Formal Specifications
M Fikret Mert GultekinMert Gultekin, Fikret Leveraging Large Language Models for Cybersecurity Risk Assessment — A Case from Forestry Cyber-Physical Systems
Mazen MohamadMohamad, Mazen Chalmers \| RISE - Research Institutes of Sweden Leveraging Large Language Models for Cybersecurity Risk Assessment — A Case from Forestry Cyber-Physical Systems
Alexander MossinMossin, Alexander Building Jules, Google's first external coding agent
P Annibale PanichellaPanichella, Annibale Delft University of TechnologyNetherlands The Last Dependency Crusade: Solving Python Dependency Conflicts with LLMs
Chao PengPeng, Chao ByteDanceChina Trae Agent: SOTA Open-source AI Coding Agent for SWE-bench
Michael PradelPradel, Michael CISPA Helmholtz Center for Information SecurityGermany Wrap-up, acknowledgments, and discussion Welcome and Introduction
R Keshav RamaniRamani, Keshav J.P. Morgan AI ResearchUnited States Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
S Mehadi Seid HassenSeid Hassen, Mehadi GoogleUnited States Building Jules, Google's first external coding agent
T Vali TawosiTawosi, Vali J.P. Morgan AI ResearchUnited Kingdom Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
V Tiago VieiraVieira, Tiago A 3-Layer Agentic Model for Nonfunctional Requirements in Software Engineering
W Rebekka WohlrabWohlrab, Rebekka Chalmers University of TechnologySweden Leveraging Large Language Models for Cybersecurity Risk Assessment — A Case from Forestry Cyber-Physical Systems
Y Zhi-Hong YeYe, Zhi-Hong PRIMA: Enabling User Agency and Control in Mobile GUI Agent Autonomy
Z Ehsan ZabardastZabardast, Ehsan Nordea / Blekinge Institute of TechnologySweden A 3-Layer Agentic Model for Nonfunctional Requirements in Software Engineering
Andreas ZellerZeller, Andreas CISPA Helmholtz Center for Information SecurityGermany Transforming Natural Language into Formal Specifications