Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT. - Tobias Paxian; Sven Reimer; Bernd Becker 001 (SAT, 2018)

Hardware-Oriented Algebraic Fault Attack Framework with Multiple Fault Injection Support. - Maël Gay; Tobias Paxian; Devanshi Upadhyaya; Bernd Becker 001; Ilia Polian (FDTC, 2019)

Minimal Witnesses for Security Weaknesses in Reconfigurable Scan Networks. - Pascal Raiola; Tobias Paxian; Bernd Becker 001 (ETS, 2020)

Effective SAT-based Solutions for Generating Functional Sequences Maximizing the Sustained Switching Activity in a Pipelined Processor. - Nikolaos Ioannis Deligiannis; Riccardo Cantoro; Tobias Faller; Tobias Paxian; Bernd Becker 001; Matteo Sonza Reorda (ATS, 2021)

Towards SAT-Based SBST Generation for RISC-V Cores. - Tobias Faller; Philipp Scholl 002; Tobias Paxian; Bernd Becker 001 (LATS, 2021)

On Preprocessing for Weighted MaxSAT. - Tobias Paxian; Pascal Raiola; Bernd Becker 001 (VMCAI, 2021)

Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging. - Tobias Paxian; Armin Biere (POS@SAT, 2023)

Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR. - Tobias Seufert; Felix Winterer; Christoph Scholl 001; Karsten Scheibler; Tobias Paxian; Bernd Becker 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Automating the Generation of Programs Maximizing the Repeatable Constant Switching Activity in Microprocessor Units via MaxSAT. - Nikolaos Ioannis Deligiannis; Tobias Faller; Riccardo Cantoro; Tobias Paxian; Bernd Becker 001; Matteo Sonza Reorda (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability. - Jeremias Berg; Bart Bogaerts 001; Jakob Nordström; Andy Oertel; Tobias Paxian; Dieter Vandesande (CP, 2024)