NSE 2025 Contributors

Sat 3 May 2025 Ottawa, Ontario, Canada

co-located with ICSE 2025

Filter

Role Type

Contributing to

Number of Roles

Country

Results (30)

A Gianluca AguzziAguzzi, Gianluca Alma Mater Studiorum - Università di BolognaItaly Committee member in Program Committee within the NSE-track
B Bernhard BeckertBeckert, Bernhard Karlsruhe Institute of Technology Next Steps in LLM-Supported Java Verification
C Radu CalinescuCalinescu, Radu University of York, UKUnited Kingdom Committee member in Program Committee within the NSE-track
D Louise DennisDennis, Louise The University of Manchester Committee member in Program Committee within the NSE-track
Ivana DusparicDusparic, Ivana Trinity College Dublin, Ireland Committee Member in Program Committee within the NSE-track
G Ilias GerostathopoulosGerostathopoulos, Ilias Vrije Universiteit AmsterdamNetherlands Committee member in Program Committee within the NSE-track
Sona GhahremaniGhahremani, Sona Hasso Plattner Institute, University of PotsdamGermany Session Chair of Session 1: Opening and Keynote by Stefan Szeider (part of NSE) Committee Member in Organising Committee within the NSE-track
Holger GieseGiese, Holger Hasso Plattner Institute, University of PotsdamGermany Committee Member in Program Committee within the NSE-track
H Steffen HerboldHerbold, Steffen University of PassauGermany Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
J Steven JamesJames, Steven University of the Witwatersrand Johannesburg Committee member in Program Committee within the NSE-track
K Daiki KimuraKimura, Daiki IBM ResearchJapan Committee Member in Organising Committee within the NSE-track
Christoph KniekeKnieke, Christoph Technische Universität Clausthal Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
Philipp KoglerKogler, Philipp Siemens AGAustria Committee member in Program Committee within the NSE-track
Anne KoziolekKoziolek, Anne Karlsruhe Institute of TechnologyGermany Committee Member in Program Committee within the NSE-track
L Leen LambersLambers, Leen BTU Cottbus SenftenbergGermany A Graph-centric Neuro-symbolic Architecture Applied to Personalized Sepsis Treatments
M Christian Medeiros AdrianoMedeiros Adriano, Christian Hasso Plattner Institute, University of PotsdamGermany Committee Member in Organising Committee within the NSE-track
Raffaela MirandolaMirandola, Raffaela Karlsruhe Institute of Technology (KIT)Germany Committee Member in Program Committee within the NSE-track
P Sarita PaudelPaudel, Sarita IMC Krems University of Applied Sciences Committee member in Program Committee within the NSE-track
Vaidyanathan Peruvemba RamaswamyPeruvemba Ramaswamy, Vaidyanathan TU WienAustria StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners
R Andreas RauschRausch, Andreas Clausthal University of Technology Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
Ruben Ruiz-TorrubianoRuiz-Torrubiano, Ruben IMC Krems University of Applied SciencesAustria Session Chair of Session 1: Opening and Keynote by Stefan Szeider (part of NSE) Committee Member in Organising Committee within the NSE-track
S Lucas SakizloglouSakizloglou, Lucas Brandenburg University of TechnologyGermany A Graph-centric Neuro-symbolic Architecture Applied to Personalized Sepsis Treatments Committee member in Program Committee within the NSE-track
Konstantin SchekotihinSchekotihin, Konstantin University of Klagenfurt Committee member in Program Committee within the NSE-track
Christian SchindlerSchindler, Christian Institute for Enterprise Systems, University of Mannheim Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
Stefan SzeiderSzeider, Stefan Vienna University of Technology (TU Wien)Austria StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning Committee Member in Program Committee within the NSE-track
T Taisiya Khakharova Taisiya Khakharova Brandenburgische Technische Universität Cottbus-Senftenberg A Graph-centric Neuro-symbolic Architecture Applied to Personalized Sepsis Treatments
Samuel TeuberTeuber, Samuel Karlsruhe Institute of Technology Next Steps in LLM-Supported Java Verification
V Danilo ValerioValerio, Danilo Siemens AG Committee member in Program Committee within the NSE-track
Florentina VoborilVoboril, Florentina TU WienAustria StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners
W Stefan WagnerWagner, Stefan Technical University of MunichGermany Committee Member in Program Committee within the NSE-track