Ensuring safety and reliability of IP-based system design - A container approach. - Arun Chandrasekharan; Kenneth Schmitz; Ulrich Kühne; Rolf Drechsler (RSP, 2015)

BDD minimization for approximate computing. - Mathias Soeken; Daniel Große; Arun Chandrasekharan; Rolf Drechsler (ASP-DAC, 2016)

Precise error determination of approximated components in sequential circuits with model checking. - Arun Chandrasekharan; Mathias Soeken; Daniel Große; Rolf Drechsler (DAC, 2016)

Approximation-aware rewriting of AIGs for error tolerant applications. - Arun Chandrasekharan; Mathias Soeken; Daniel Große; Rolf Drechsler (ICCAD, 2016)

Symbolic Error Metric Determination for Approximate Computing. - Arun Chandrasekharan; Daniel Große; Mathias Soeken; Rolf Drechsler (MBMV, 2016)

Trust is good, control is better: Hardware-based instruction-replacement for reliable processor-IPs. - Kenneth Schmitz; Arun Chandrasekharan; Jonas Gomes Filho; Daniel Große; Rolf Drechsler (ASP-DAC, 2017)

ProACt: A Processor for High Performance On-demand Approximate Computing. - Arun Chandrasekharan; Daniel Große; Rolf Drechsler (ACM Great Lakes Symposium on VLSI, 2017)

Yise - a novel framework for boolean networks using y-inverter graphs. - Arun Chandrasekharan; Daniel Große; Rolf Drechsler (MEMOCODE, 2017)

Approximation-aware testing for approximate circuits. - Arun Chandrasekharan; Stephan Eggersglüß; Daniel Große; Rolf Drechsler (ASP-DAC, 2018)

Making PROGRESS in Property Directed Reachability. - Tobias Seufert; Christoph Scholl 001; Arun Chandrasekharan; Sven Reimer; Tobias Welp (MBMV, 2022)