Sebastian Simon

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 18

Top Topics

Formal Verification

Triangular Inequality

Top Venues

Publications

Deepak Narayan Gadde, Sebastian Simon, Djones Lettnin, Thomas Ziller
Improving Simulation Regression Efficiency using a Machine Learning-based Method in Design Verification. CoRR (2024)
Deepak Narayan Gadde, Thomas Nalapat, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon
Efficient Stimuli Generation using Reinforcement Learning in Design Verification. CoRR (2024)
Aman Kumar, Sebastian Simon
A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs. CoRR (2024)
Sebastian Simon, Iza Marfisi-Schottman, Sébastien George
Peephole Technology for Mobile Collaborative Learning: An In- Classroom Exploratory Study. CSEDU (1) (2024)
Sebastian Simon, Nicolai Ruckel, Norbert Siegmund
CfgNet: A Framework for Tracking Equality-Based Configuration Dependencies Across a Software Project. IEEE Trans. Software Eng. 49 (8) (2023)
Sebastian Simon, Nikolay Kolyada, Christopher Akiki, Martin Potthast, Benno Stein, Norbert Siegmund
Exploring Hyperparameter Usage and Tuning in Machine Learning Research. CAIN (2023)
Sebastian Simon, Cezara Petrui, Carlos Pinzón, Catuscia Palamidessi
Obfuscation Padding Schemes that Minimize Rényi Min-Entropy for Privacy. ISPEC (2023)
Sebastian Simon, Iza Marfisi-Schottman, Sébastien George
Towards a comprehensive framework for situated collaborative learning tools. EC-TEL (Doctoral Consortium) (2022)
Sebastian Simon, Iza Marfisi-Schottman, Sébastien George
A Conceptual Framework for Creating Mobile Collaboration Tools. EC-TEL (2022)
Iza Marfisi-Schottman, Aurélie Laine, Pierre Laforcade, Sébastien George, Sebastian Simon, Madeth May, Moez Zammit, Ludovic Blin
Towards an Authoring Tool to Help Teachers Create Mobile Collaborative Learning Games for Field Trips. EC-TEL (2022)
Sebastian Simon, Cezara Petrui, Carlos Pinzón, Catuscia Palamidessi
Minimizing Information Leakage under Padding Constraints. CoRR (2022)
Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon, Ralf Schnieder, Karthik Ganesan, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz, Clark W. Barrett, Wolfgang Ecker, Subhasish Mitra
Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study. DATE (2019)
Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon, Ralf Schnieder, Karthik Ganesan, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz, Clark W. Barrett, Wolfgang Ecker, Subhasish Mitra
Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study. CoRR (2019)
Sebastian Simon, Jérôme Kirscher, Alexander W. Rath, Zhiqiang Zhang, Linus Maurer
Pre-silicon Verification of an Automotive Battery Management System in the Context of the Application. MBMV (2017)
Sebastian Simon, Deeksha Bhat, Alexander W. Rath, Jérôme Kirscher, Linus Maurer
Coverage-driven mixed-signal verification of smart power ICs in a UVM environment. ETS (2017)
Alexander W. Rath, Sebastian Simon, Volkan Esen, Wolfgang Ecker
Automatically comparing analog behavior using Earth Mover's Distance. VLSI-SoC (2016)
Sebastian Simon, Ozlem Karaca, Jérôme Kirscher, Alexander W. Rath, Georg Pelz, Linus Maurer
Safety-oriented mixed-signal verification of automotive power devices in a UVM environment. SMACD (2016)
Alexander W. Rath, Sebastian Simon, Volkan Esen, Wolfgang Ecker
Earth Mover's Distance as a Comparison Metric for Analog Behavior. VLSI-SoC (Selected Papers) (2016)