Tobias Faller - RankMe

12 papers B 3Journal 2Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Automatic Cell-Aware Software-Based Self-Test Generation for a RISC-V Core Local Interrupt Controller. ATS Tobias Faller, Bernd Becker
2025	J	`jnl`	Enhancing the Effectiveness of STLs for GPUs via Bounded Model Checking. ACM Trans. Design Autom. Electr. Syst. Nikolaos Ioannis Deligiannis, Tobias Faller, Josie Esteban Rodriguez Condia, Riccardo Cantoro, Bernd Becker, Matteo Sonza Reorda
2024	—	`conf`	CaDiCaL 2.0. CAV (1) Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt
2024	—	`conf`	Special Session: Software-Based Self-Test Generation for RISC-V - Stuck-At Generation, Functional Cell-Aware Untestability, and FPGA Demonstration -. DFT Tobias Faller, Nikolaos Ioannis Deligiannis, Riccardo Cantoro, Matteo Sonza Reorda, Bernd Becker
2023	B	`conf`	A Survey of Recent Developments in Testability, Safety and Security of RISC-V Processors. ETS Jens Anders, Pablo Andreu, Bernd Becker, Steffen Becker, Riccardo Cantoro, Nikolaos Ioannis Deligiannis, Nourhan Elhamawy, Tobias Faller, Carles Hernández, Nele Mentens, Mahnaz Namazi Rizi, Ilia Polian, Abolfazl Sajadi, Matthias Sauer, Denis Schwachhofer, Matteo Sonza Reorda, Todor Stefanov, Ilya Tuzov, Stefan Wagner, Nusa Zidaric
2023	—	`conf`	Automatic Identification of Functionally Untestable Cell-Aware Faults in Microprocessors. ATS Nikolaos Ioannis Deligiannis, Tobias Faller, Iacopo Guglielminetti, Riccardo Cantoro, Bernd Becker, Matteo Sonza Reorda
2023	B	`conf`	Automating the Generation of Functional Stress Inducing Stimuli for Burn-In Testing. ETS Nikolaos Ioannis Deligiannis, Tobias Faller, Chenghan Zhou, Riccardo Cantoro, Bernd Becker, Matteo Sonza Reorda
2023	J	`jnl`	Automating the Generation of Programs Maximizing the Repeatable Constant Switching Activity in Microprocessor Units via MaxSAT. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Nikolaos Ioannis Deligiannis, Tobias Faller, Riccardo Cantoro, Tobias Paxian, Bernd Becker, Matteo Sonza Reorda
2023	B	`conf`	Constraint-Based Automatic SBST Generation for RISC-V Processor Families. ETS Tobias Faller, Nikolaos Ioannis Deligiannis, Markus Schwörer, Matteo Sonza Reorda, Bernd Becker
2022	—	`conf`	Using Formal Methods to Support the Development of STLs for GPUs. ATS Nikolaos Ioannis Deligiannis, Tobias Faller, Josie E. Rodriguez Condia, Riccardo Cantoro, Bernd Becker, Matteo Sonza Reorda
2021	—	`conf`	Effective SAT-based Solutions for Generating Functional Sequences Maximizing the Sustained Switching Activity in a Pipelined Processor. ATS Nikolaos Ioannis Deligiannis, Riccardo Cantoro, Tobias Faller, Tobias Paxian, Bernd Becker, Matteo Sonza Reorda
2021	—	`conf`	Towards SAT-Based SBST Generation for RISC-V Cores. LATS Tobias Faller, Philipp Scholl, Tobias Paxian, Bernd Becker