Sebastian Simon

According to our database, Sebastian Simon authored at least 32 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Disagreement as Data: Reasoning Trace Analytics in Multi-Agent Systems.

Elham Tajik, Conrad Borchers, Bahar Shahrokhian, Sebastian Simon, Ali Keramati, Sonika Pal, Sreecharan Sankaranarayanan

Proceedings of the LAK26: 16th International Learning Analytics and Knowledge Conference, 2026

FAIR-D: An Extension to the FAIR Principles for Open Hardware Replicability in Human-Computer Interaction.

Sebastian Simon, Mia Carapina, Iza Marfisi

Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems, 2026

Designing Advanced Interfaces for Learning and Teaching.

Audrey Serna, Antonio Bucchiarone, Iza Marfisi-Schottman, Sebastian Simon, Arnaud Prouzeau, David Bertolo, Élise Lavoué, Alina Glushkova

Proceedings of the 2026 International Conference on Advanced Visual Interfaces, 2026

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, July, 2025

One Model, Multiple Verifications: A Framework for Holistic Security Assurance.

Jaimini Nagar, Thorsten Dworzak, Sebastian Simon, Ulrich Heinkel, Djones Lettnin

Proceedings of the 38th IEEE International System-on-Chip Conference, 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

Proceedings of the 38th SBC/SBMicro/IEEE Symposium on Integrated Circuits and Systems Design, 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

Proceedings of the Joint Proceedings of LAK 2025 Workshops co-located with 15th International Conference on Learning Analytics and Knowledge (LAK 2025), 2025

On Automating Configuration Dependency Validation via Retrieval-Augmented Generation.

Sebastian Simon, Alina Mailach, Johannes Dorn, Norbert Siegmund

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

Themes of Building LLM-Based Applications for Production: A Practitioner's View.

Alina Mailach, Sebastian Simon, Johannes Dorn, Norbert Siegmund

Proceedings of the 4th IEEE/ACM International Conference on AI Engineering, 2025

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

Proceedings of the Artificial Intelligence in Education - 26th International Conference, 2025

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

PhD thesis, 2024

Practitioners' Discussions on Building LLM-based Applications for Production.

Alina Mailach, Sebastian Simon, Johannes Dorn, Norbert Siegmund

CoRR, 2024

FuzzWiz - Fuzzing Framework for Efficient Hardware Coverage.

Deepak Narayan Gadde, Aman Kumar, Djones Lettnin, Sebastian Simon

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

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 Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs.

Aman Kumar, Sebastian Simon

CoRR, 2024

Exploring the Role of the Portable Stimulus Standard in Enhancing Security Property Verification.

Jaimini Nagar, Thorsten Dworzak, Sebastian Simon, Ulrich Heinkel, Djones Lettnin

Proceedings of the 32nd IFIP/IEEE International Conference on Very Large Scale Integration, 2024

Efficient Stimuli Generation using Reinforcement Learning in Design Verification.

Deepak Narayan Gadde, Thomas Nalapat, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon

Proceedings of the 20th International Conference on Synthesis, 2024

Peephole Technology for Mobile Collaborative Learning: An In- Classroom Exploratory Study.

Sebastian Simon, Iza Marfisi-Schottman, Sébastien George

Proceedings of the 16th International Conference on Computer Supported Education, 2024

2023

CfgNet: A Framework for Tracking Equality-Based Configuration Dependencies Across a Software Project.

Sebastian Simon, Nicolai Ruckel, Norbert Siegmund

IEEE Trans. Software Eng., August, 2023

Obfuscation Padding Schemes that Minimize Rényi Min-Entropy for Privacy.

Sebastian Simon, Cezara Petrui, Carlos Pinzón, Catuscia Palamidessi

Proceedings of the Information Security Practice and Experience, 2023

Exploring Hyperparameter Usage and Tuning in Machine Learning Research.

Sebastian Simon, Nikolay Kolyada, Christopher Akiki, Martin Potthast, Benno Stein, Norbert Siegmund

Proceedings of the 2nd IEEE/ACM International Conference on AI Engineering, 2023

2022

Minimizing Information Leakage under Padding Constraints.

Sebastian Simon, Cezara Petrui, Carlos Pinzón, Catuscia Palamidessi

CoRR, 2022

Towards a comprehensive framework for situated collaborative learning tools.

Sebastian Simon, Iza Marfisi-Schottman, Sébastien George

Proceedings of the Doctoral Consortium of the 17th European Conference on Technology Enhanced Learning co-located with the 17th European Conference on Technology Enhanced Learning (EC-TEL 2022), 2022

A Conceptual Framework for Creating Mobile Collaboration Tools.

Sebastian Simon, Iza Marfisi-Schottman, Sébastien George

Proceedings of the Educating for a New Future: Making Sense of Technology-Enhanced Learning Adoption, 2022

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

Proceedings of the Educating for a New Future: Making Sense of Technology-Enhanced Learning Adoption, 2022

2019

Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study.

Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon, Ralf Schnieder, Karthik Ganesan, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz, Clark W. Barrett, Wolfgang Ecker, Subhasish Mitra

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

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

Proceedings of the 22nd IEEE European Test Symposium, 2017

2016

Earth Mover's Distance as a Comparison Metric for Analog Behavior.

Alexander W. Rath, Sebastian Simon, Volkan Esen, Wolfgang Ecker

Proceedings of the VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification and Reliability, 2016

Automatically comparing analog behavior using Earth Mover's Distance.

Alexander W. Rath, Sebastian Simon, Volkan Esen, Wolfgang Ecker

Proceedings of the 2016 IFIP/IEEE International Conference on Very Large Scale Integration, 2016

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

Proceedings of the 13th International Conference on Synthesis, 2016