Sebastian Simon

35 papers A* 1A 2B 5C 3Journal 12Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	A	`conf`	Disagreement as Data: Reasoning Trace Analytics in Multi-Agent Systems. LAK Elham Tajik, Conrad Borchers, Bahar Shahrokhian, Sebastian Simon, Ali Keramati, Sonika Pal, Sreecharan Sankaranarayanan
2026	J	`jnl`	Disagreement as Data: Reasoning Trace Analytics in Multi-Agent Systems. CoRR Elham Tajik, Conrad Borchers, Bahar Shahrokhian, Sebastian Simon, Ali Keramati, Sonika Pal, Sreecharan Sankaranarayanan
2026	—	`conf`	FAIR-D: An Extension to the FAIR Principles for Open Hardware Replicability in Human-Computer Interaction. CHI Extended Abstracts Sebastian Simon, Mia Carapina, Iza Marfisi
2025	—	`conf`	Automating Thematic Analysis with Multi-Agent LLM Systems. LAK Workshops Sreecharan Sankaranarayanan, Conrad Borchers, Sebastian Simon, Elham Tajik, Amine Hatun Atas, Berkan Celik, Francesco Balzan, Bahar Shahrokhian
2025	—	`conf`	Comparing a Human's and a Multi-Agent System's Thematic Analysis: Assessing Qualitative Coding Consistency. AIED (3) 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
2025	—	`conf`	Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design & Verification. SBCCI Deepak Narayan Gadde, Keerthan Kopparam Radhakrishna, Vaisakh Naduvodi Viswambharan, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon
2025	J	`jnl`	Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design & Verification. CoRR Deepak Narayan Gadde, Keerthan Kopparam Radhakrishna, Vaisakh Naduvodi Viswambharan, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon
2025	A*	`conf`	On Automating Configuration Dependency Validation via Retrieval-Augmented Generation. ASE Sebastian Simon, Alina Mailach, Johannes Dorn, Norbert Siegmund
2025	—	`conf`	One Model, Multiple Verifications: A Framework for Holistic Security Assurance. SOCC Jaimini Nagar, Thorsten Dworzak, Sebastian Simon, Ulrich Heinkel, Djones Lettnin
2025	J	`jnl`	Temperature and Persona Shape LLM Agent Consensus With Minimal Accuracy Gains in Qualitative Coding. CoRR Conrad Borchers, Bahar Shahrokhian, Francesco Balzan, Elham Tajik, Sreecharan Sankaranarayanan, Sebastian Simon
2025	B	`conf`	Themes of Building LLM-Based Applications for Production: A Practitioner's View. CAIN Alina Mailach, Sebastian Simon, Johannes Dorn, Norbert Siegmund
2024	J	`jnl`	A Methodology for Evaluating RAG Systems: A Case Study On Configuration Dependency Validation. CoRR Sebastian Simon, Alina Mailach, Johannes Dorn, Norbert Siegmund
2024	J	`jnl`	A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs. CoRR Aman Kumar, Sebastian Simon
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	—	`conf`	Efficient Stimuli Generation using Reinforcement Learning in Design Verification. SMACD Deepak Narayan Gadde, Thomas Nalapat, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon
2024	J	`jnl`	Efficient Stimuli Generation using Reinforcement Learning in Design Verification. CoRR Deepak Narayan Gadde, Thomas Nalapat, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon
2024	C	`conf`	Exploring the Role of the Portable Stimulus Standard in Enhancing Security Property Verification. VLSI-SoC Jaimini Nagar, Thorsten Dworzak, Sebastian Simon, Ulrich Heinkel, Djones Lettnin
2024	J	`jnl`	FuzzWiz - Fuzzing Framework for Efficient Hardware Coverage. CoRR Deepak Narayan Gadde, Aman Kumar, Djones Lettnin, Sebastian Simon
2024	J	`jnl`	Improving Simulation Regression Efficiency using a Machine Learning-based Method in Design Verification. CoRR Deepak Narayan Gadde, Sebastian Simon, Djones Lettnin, Thomas Ziller
2024	—	`conf`	Peephole Technology for Mobile Collaborative Learning: An In- Classroom Exploratory Study. CSEDU (1) Sebastian Simon, Iza Marfisi-Schottman, Sébastien George
2024	J	`jnl`	Practitioners' Discussions on Building LLM-based Applications for Production. CoRR Alina Mailach, Sebastian Simon, Johannes Dorn, Norbert Siegmund
2023	J	`jnl`	CfgNet: A Framework for Tracking Equality-Based Configuration Dependencies Across a Software Project. IEEE Trans. Software Eng. Sebastian Simon, Nicolai Ruckel, Norbert Siegmund
2023	B	`conf`	Exploring Hyperparameter Usage and Tuning in Machine Learning Research. CAIN Sebastian Simon, Nikolay Kolyada, Christopher Akiki, Martin Potthast, Benno Stein, Norbert Siegmund
2023	C	`conf`	Obfuscation Padding Schemes that Minimize Rényi Min-Entropy for Privacy. ISPEC Sebastian Simon, Cezara Petrui, Carlos Pinzón, Catuscia Palamidessi
2022	B	`conf`	A Conceptual Framework for Creating Mobile Collaboration Tools. EC-TEL Sebastian Simon, Iza Marfisi-Schottman, Sébastien George
2022	J	`jnl`	Minimizing Information Leakage under Padding Constraints. CoRR Sebastian Simon, Cezara Petrui, Carlos Pinzón, Catuscia Palamidessi
2022	—	`conf`	Towards a comprehensive framework for situated collaborative learning tools. EC-TEL (Doctoral Consortium) Sebastian Simon, Iza Marfisi-Schottman, Sébastien George
2022	B	`conf`	Towards an Authoring Tool to Help Teachers Create Mobile Collaborative Learning Games for Field Trips. EC-TEL Iza Marfisi-Schottman, Aurélie Laine, Pierre Laforcade, Sébastien George, Sebastian Simon, Madeth May, Moez Zammit, Ludovic Blin
2019	A	`conf`	Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study. DATE Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon, Ralf Schnieder, Karthik Ganesan, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz, Clark W. Barrett, Wolfgang Ecker, Subhasish Mitra
2019	J	`jnl`	Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study. CoRR Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon, Ralf Schnieder, Karthik Ganesan, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz, Clark W. Barrett, Wolfgang Ecker, Subhasish Mitra
2017	B	`conf`	Coverage-driven mixed-signal verification of smart power ICs in a UVM environment. ETS Sebastian Simon, Deeksha Bhat, Alexander W. Rath, Jérôme Kirscher, Linus Maurer
2017	—	`conf`	Pre-silicon Verification of an Automotive Battery Management System in the Context of the Application. MBMV Sebastian Simon, Jérôme Kirscher, Alexander W. Rath, Zhiqiang Zhang, Linus Maurer
2016	C	`conf`	Automatically comparing analog behavior using Earth Mover's Distance. VLSI-SoC Alexander W. Rath, Sebastian Simon, Volkan Esen, Wolfgang Ecker
2016	—	`conf`	Earth Mover's Distance as a Comparison Metric for Analog Behavior. VLSI-SoC (Selected Papers) Alexander W. Rath, Sebastian Simon, Volkan Esen, Wolfgang Ecker
2016	—	`conf`	Safety-oriented mixed-signal verification of automotive power devices in a UVM environment. SMACD Sebastian Simon, Ozlem Karaca, Jérôme Kirscher, Alexander W. Rath, Georg Pelz, Linus Maurer