Tobias Paxian

According to our database, Tobias Paxian authored at least 10 papers between 2018 and 2024.

Collaborative distances:

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

2024

Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability.

Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Tobias Paxian, Dieter Vandesande

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

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, Matteo Sonza Reorda

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023

Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR.

Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2023

Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging.

Tobias Paxian, Armin Biere

Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), 2023

2021

On Preprocessing for Weighted MaxSAT.

Tobias Paxian, Pascal Raiola, Bernd Becker

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Towards SAT-Based SBST Generation for RISC-V Cores.

Tobias Faller, Philipp Scholl, Tobias Paxian, Bernd Becker

Proceedings of the 22nd IEEE Latin American Test Symposium, 2021

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, Matteo Sonza Reorda

Proceedings of the 30th IEEE Asian Test Symposium, 2021

2020

Minimal Witnesses for Security Weaknesses in Reconfigurable Scan Networks.

Pascal Raiola, Tobias Paxian, Bernd Becker

Proceedings of the IEEE European Test Symposium, 2020

2019

Hardware-Oriented Algebraic Fault Attack Framework with Multiple Fault Injection Support.

Maël Gay, Tobias Paxian, Devanshi Upadhyaya, Bernd Becker, Ilia Polian

Proceedings of the 2019 Workshop on Fault Diagnosis and Tolerance in Cryptography, 2019

2018

Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT.

Tobias Paxian, Sven Reimer, Bernd Becker

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018