Safety-oriented mixed-signal verification of automotive power devices in a UVM environment. - Sebastian Simon; Ozlem Karaca; Jérôme Kirscher; Alexander W. Rath; Georg Pelz; Linus Maurer (SMACD, 2016)

Automatically comparing analog behavior using Earth Mover's Distance. - Alexander W. Rath; Sebastian Simon; Volkan Esen; Wolfgang Ecker (VLSI-SoC, 2016)

Earth Mover's Distance as a Comparison Metric for Analog Behavior. - Alexander W. Rath; Sebastian Simon; Volkan Esen; Wolfgang Ecker (VLSI-SoC (Selected Papers), 2016)

Coverage-driven mixed-signal verification of smart power ICs in a UVM environment. - Sebastian Simon; Deeksha Bhat; Alexander W. Rath; Jérôme Kirscher; Linus Maurer (ETS, 2017)

Pre-silicon Verification of an Automotive Battery Management System in the Context of the Application. - Sebastian Simon; Jérôme Kirscher; Alexander W. Rath; Zhiqiang Zhang; Linus Maurer (MBMV, 2017)

Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study. - Eshan Singh; Keerthikumara Devarajegowda; Sebastian Simon; Ralf Schnieder; Karthik Ganesan 001; Mohammad Rahmani Fadiheh; Dominik Stoffel; Wolfgang Kunz; Clark W. Barrett; Wolfgang Ecker; Subhasish Mitra (DATE, 2019)

Towards an Authoring Tool to Help Teachers Create Mobile Collaborative Learning Games for Field Trips. - Iza Marfisi-Schottman; Aurélie Laine; Pierre Laforcade; Sébastien George; Sebastian Simon; Madeth May; Moez Zammit; Ludovic Blin (EC-TEL, 2022)

A Conceptual Framework for Creating Mobile Collaboration Tools. - Sebastian Simon; Iza Marfisi-Schottman; Sébastien George (EC-TEL, 2022)

Towards a comprehensive framework for situated collaborative learning tools. - Sebastian Simon; Iza Marfisi-Schottman; Sébastien George (EC-TEL (Doctoral Consortium), 2022)

Minimizing Information Leakage under Padding Constraints. - Sebastian Simon; Cezara Petrui; Carlos Pinzón; Catuscia Palamidessi (CoRR, 2022)

Exploring Hyperparameter Usage and Tuning in Machine Learning Research. - Sebastian Simon; Nikolay Kolyada; Christopher Akiki; Martin Potthast; Benno Stein 001; Norbert Siegmund (CAIN, 2023)

Obfuscation Padding Schemes that Minimize Rényi Min-Entropy for Privacy. - Sebastian Simon; Cezara Petrui; Carlos Pinzón; Catuscia Palamidessi (ISPEC, 2023)

CfgNet: A Framework for Tracking Equality-Based Configuration Dependencies Across a Software Project. - Sebastian Simon; Nicolai Ruckel; Norbert Siegmund (IEEE Trans. Software Eng., 2023)

Peephole Technology for Mobile Collaborative Learning: An In- Classroom Exploratory Study. - Sebastian Simon; Iza Marfisi-Schottman; Sébastien George (CSEDU (1), 2024)

Efficient Stimuli Generation using Reinforcement Learning in Design Verification. - Deepak Narayan Gadde; Thomas Nalapat; Aman Kumar; Djones Lettnin; Wolfgang Kunz; Sebastian Simon (SMACD, 2024)

Exploring the Role of the Portable Stimulus Standard in Enhancing Security Property Verification. - Jaimini Nagar; Thorsten Dworzak; Sebastian Simon; Ulrich Heinkel; Djones Lettnin (VLSI-SoC, 2024)

A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs. - Aman Kumar; Sebastian Simon (CoRR, 2024)

Improving Simulation Regression Efficiency using a Machine Learning-based Method in Design Verification. - Deepak Narayan Gadde; Sebastian Simon; Djones Lettnin; Thomas Ziller (CoRR, 2024)

A Methodology for Evaluating RAG Systems: A Case Study On Configuration Dependency Validation. - Sebastian Simon; Alina Mailach; Johannes Dorn; Norbert Siegmund (CoRR, 2024)

FuzzWiz - Fuzzing Framework for Efficient Hardware Coverage. - Deepak Narayan Gadde; Aman Kumar; Djones Lettnin; Sebastian Simon (CoRR, 2024)

Practitioners' Discussions on Building LLM-based Applications for Production. - Alina Mailach; Sebastian Simon; Johannes Dorn; Norbert Siegmund (CoRR, 2024)

Collaborative learning in mobile settings : conceptual framework and design of an innovative device to augment flat visual representations. (Apprentissage collaboratif en situation de mobilité : cadre conceptuel et conception d'un dispositif pour augmenter des représentations visuelles planes). - Sebastian Simon (2024)

Comparing a Human's and a Multi-Agent System's Thematic Analysis: Assessing Qualitative Coding Consistency. - Sebastian Simon; Sreecharan Sankaranarayanan; Elham Tajik; Conrad Borchers; Bahar Shahrokhian; Francesco Balzan; Sebastian Strauß; Sree Aurovindh Viswanathan; Amine Hatun Atas; Mia Carapina; Li Liang; Berkan Celik (AIED (3), 2025)

Themes of Building LLM-Based Applications for Production: A Practitioner's View. - Alina Mailach; Sebastian Simon; Johannes Dorn; Norbert Siegmund (CAIN, 2025)

Automating Thematic Analysis with Multi-Agent LLM Systems. - Sreecharan Sankaranarayanan; Conrad Borchers; Sebastian Simon; Elham Tajik; Amine Hatun Atas; Berkan Celik; Francesco Balzan; Bahar Shahrokhian (LAK Workshops, 2025)

Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design & Verification. - Deepak Narayan Gadde; Keerthan Kopparam Radhakrishna; Vaisakh Naduvodi Viswambharan; Aman Kumar; Djones Lettnin; Wolfgang Kunz; Sebastian Simon (CoRR, 2025)

Temperature and Persona Shape LLM Agent Consensus With Minimal Accuracy Gains in Qualitative Coding. - Conrad Borchers; Bahar Shahrokhian; Francesco Balzan; Elham Tajik; Sreecharan Sankaranarayanan; Sebastian Simon (CoRR, 2025)