Sebastian Simon

According to our database, Sebastian Simon authored at least 20 papers between 2016 and 2024.

Collaborative distances:

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

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