Publications

Head of institute: Univ.-Prof. Dr. Daniel Große


Books Book Contributions Journals Conferences Workshops Others


Books

[1] B Rolf Drechsler and Daniel Große, editors. Recent Findings in Boolean Techniques. Springer, 2021.
[2] B Vladimir Herdt, Daniel Große, and Rolf Drechsler. Enhanced Virtual Prototyping: Featuring RISC-V Case Studies. Springer, 2020.
[3] B Tom J. Kazmierski, Sebastian Steinhorst, and Daniel Große, editors. Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2018. Springer, 2020.
[4] B Daniel Große, Sara Vinco, and Hiren Patel, editors. Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2017. Springer, 2019.
[5] B Arun Chandrasekharan, Daniel Große, and Rolf Drechsler. Design Automation Techniques for Approximation Circuits. Springer, 2018.
[6] B Daniel Große and Rolf Drechsler, editors. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Shaker Verlag, 2017.
[7] B Daniel Große and Oliver Bringmann, editors. 8. Workshop Cyber-Physical Systems - Enabling Multi-Nature Systems: domänenübergreifender Entwurf von heterogenen eingebetteten Systemen, 23.-24. Februar 2011. Universität Bremen, 2011.
[8] B Daniel Große and Rolf Drechsler. Quality-Driven SystemC Design. Springer, 2010.
[9] B Daniel Große, André Sülflow, and Nicole Drechsler, editors. EXplayN - Strategieoptimierung und Analyse ausgewählter Spielprobleme. Shaker Verlag, 2008.
[10] B Daniel Große, Görschwin Fey, and Rolf Drechsler, editors. SATRIX - Algorithmen für Boolesche Erfüllbarkeit. Shaker Verlag, 2007.

Book Contributions

[11] B Alireza Mahzoon, Daniel Große, and Rolf Drechsler. GenMul: Generating architecturally complex multipliers to challenge formal verification tools. In Rolf Drechsler and Daniel Große, editors, Recent Findings in Boolean Techniques, pages 177-191. Springer, 2021.
[12] B Vladimir Herdt, Daniel Große, Hoang M. Le, and Rolf Drechsler. Extensible and configurable RISC-V based virtual prototype. In Tom J. Kazmierski, Sebastian Steinhorst, and Daniel Große, editors, Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018, pages 115-134. Springer, 2020.
[13] B Saman Froehlich, Daniel Große, and Rolf Drechsler. Approximate memory: Data storage in the context of approximate computing. In Cornelia S. Große and Rolf Drechsler, editors, Information Storage, pages 111-133. Springer, 2019.
[14] B Saman Froehlich, Daniel Große, and Rolf Drechsler. Approximate hardware generation using formal techniques. In Sherief Reda and Muhammad Shafique, editors, Approximate Circuits: Methodologies and CAD, pages 155-174. Springer, 2019.
[15] B Vladimir Herdt, Hoang M. Le, Daniel Große, and Rolf Drechsler. Towards early validation of firmware-based power management using virtual prototypes: A constrained random approach. In Daniel Große, Sara Vinco, and Hiren Patel, editors, Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017, pages 25-44. Springer, 2019.
[16] B Vladimir Herdt, Hoang M. Le, Daniel Große, and Rolf Drechsler. On the application of formal fault localization to automated RTL-to-TLM fault correspondence analysis for fast and accurate VP-based error effect simulation - a case study. In F. Fummi and R. Wille, editors, Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016, pages 39-58. Springer, 2018.
[17] B Daniel Große, Hoang M. Le, and Rolf Drechsler. Formal verification of SystemC-based cyber components. In S. Jeschke, C. Brecher, H. Song, and D. B. Rawat, editors, Industrial Internet of Things: Cybermanufacturing Systems, pages 137-167. Springer, 2016.
[18] B Daniel Große, Görschwin Fey, and Rolf Drechsler. Enhanced formal verification flow for circuits integrating debugging and coverage analysis. In R. Ubar, J. Raik, and H. T. Vierhaus, editors, Design and Test Technology for Dependable Systems-on-Chip, pages 119-129. Information Science Reference, 2011.
[19] B Robert Wille, Daniel Große, Finn Haedicke, and Rolf Drechsler. SMT-based stimuli generation in the SystemC verification library. In D. Borrione, editor, Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's: Selected Contributions on Specification, Design, and Verification from FDL 2009, pages 227-244. Springer, 2010.
[20] B Daniel Große. Qualitätsorientierter Entwurfs- und Verifikationsablauf für digitale Systeme. In D. Wagner et al., editor, Ausgezeichnete Informatikdisserationen 2008, volume D-9 of Lecture Notes in Informatics, pages 121-130. Gesellschaft für Informatik, 2009.
[21] B Daniel Große, Robert Wille, Robert Siegmund, and Rolf Drechsler. Debugging contradictory constraints in constraint-based random simulation. In M. Radetzki, editor, Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08, pages 273-290. Springer, 2009.
[22] B Robert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, and Rolf Drechsler. Sword: A SAT like prover using word level information. In R. Reis, V. Mooney, and P. Hasler, editors, VLSI-SoC: Advanced Topics on Systems on a Chip: A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip, pages 175-192. Springer, 2009.
[23] B Daniel Große, Hernan Peraza, Wolfgang Klingauf, and Rolf Drechsler. Measuring the quality of a SystemC testbench by using code coverage techniques. In E. Villar, editor, Embedded Systems Specification and Design Languages: Selected contributions from FDL'07, pages 73-86. Springer, 2008.
[24] B Daniel Große, Robert Siegmund, and Rolf Drechsler. Processor verification. In P. Ienne and R. Leupers, editors, Customizable Embedded Processors, pages 281-302. Elsevier, 2006.
[25] B Rolf Drechsler and Daniel Große. System-level validation using formal techniques. In Bashir M. Al-Hashimi, editor, System-on-Chip: Next Generation Electronics, pages 715-745. The IEE, 2006.

Journals

[26] B Alireza Mahzoon, Daniel Große, and Rolf Drechsler. RevSCA-2.0: SCA-based formal verification of non-trivial multipliers using reverse engineering and local vanishing removal. TCAD, 2021.
[27] B Niklas Bruns, Vladimir Herdt, Daniel Große, and Rolf Drechsler. Towards RISC-V CSR compliance testing. IEEE Embedded Systems Letters, 2021.
[28] B Vladimir Herdt, Daniel Große, Sören Tempel, and Rolf Drechsler. Adaptive simulation with virtual prototypes in an open-source RISC-V evaluation platform. JSA, 2021.
[29] B Buse Ustaoglu, Kenneth Schmitz, Daniel Große, and Rolf Drechsler. ReCoFused partial reconfiguration for secure moving-target countermeasures on FPGAs. SN Appl. Sci., 2020.
[30] B Frank Sill Torres, Pedro Arthur Silva, Geraldo Fontes, Marcel Walter, Jos'e Augusto Miranda Nacif, Ricardo Santos Ferreira, Omar Paranaiba Vilela Neto, Jeferson F. Chaves, Robert Wille, Philipp Niemann, Daniel Große, and Rolf Drechsler. On the impact of the synchronization constraint and interconnections in quantum-dot cellular automata. MICPRO, 76:103109, 2020.
[31] B Vladimir Herdt, Daniel Große, Pascal Pieper, and Rolf Drechsler. RISC-V based virtual prototype: An extensible and configurable platform for the system-level. JSA, 109:101756, 2020.
[32] B Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, and Rolf Drechsler. Placement and routing for tile-based field-coupled nanocomputing circuits is NP-complete. JETC, 15(3):29:1-29:10, 2019.
[33] B Vladimir Herdt, Hoang M. Le, Daniel Große, and Rolf Drechsler. Combining sequentialization-based verification of multi-threaded C programs with symbolic partial order reduction. STTT, 21(5):545-565, 2019.
[34] B Mehran Goli, Muhammad Hassan, Daniel Große, and Rolf Drechsler. Security validation of VP-based SoCs using dynamic information flow tracking. it-Information Technology, 61(1):45-58, 2019.
[35] B Vladimir Herdt, Hoang M. Le, Daniel Große, and Rolf Drechsler. Verifying SystemC using intermediate verification language and stateful symbolic simulation. TCAD, 38(7):1359-1372, July 2019.
[36] B Melanie Diepenbeck, Ulrich Kühne, Mathias Soeken, Daniel Große, and Rolf Drechsler. Behaviour driven development for hardware design. IPSJ Trans. System LSI Design Methodology, 11:29-45, 2018.
[37] B Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler, and Görschwin Fey. metaSMT: Focus on your application not on solver integration. STTT, 19(5):605-621, October 2017.
[38] B Daniel Große, Görschwin Fey, and Rolf Drechsler. Enhanced formal verification flow for circuits integrating debugging and coverage analysis. Electronic Communication of the European Association of Software Science and Technology, 62, 2013.
[39] B Hoang M. Le, Daniel Große, and Rolf Drechsler. Automatic TLM fault localization for SystemC. TCAD, 31(8):1249-1262, August 2012.
[40] B Robert Wille, Daniel Große, D. Michael Miller, and Rolf Drechsler. Equivalence checking of reversible circuits. Multiple-Valued Logic and Soft Computing, 19(4):361-378, 2012.
[41] B Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, and Rolf Drechsler. Debugging reversible circuits. Integration, the VLSI Journal, 44(1):51-61, January 2011.
[42] B Ulrich Kühne, Daniel Große, and Rolf Drechsler. Towards fully automatic synthesis of embedded software. IEEE Embedded Systems Letters, 2(3):53-57, September 2010.
[43] B Bernd Scholz-Reiter, Michael Lütjen, Carmen Ruthenbeck, Florian Harjes, Rolf Drechsler, and Daniel Große. Formale Verifikation von logistischen Prozessmodellen. ERP Management, 5(4):44-47, 2009.
[44] B Daniel Große, Robert Wille, Gerhard W. Dueck, and Rolf Drechsler. Exact multiple control Toffoli network synthesis with SAT techniques. TCAD, 28(5):703-715, 2009.
[45] B Daniel Große, Robert Wille, Gerhard W. Dueck, and Rolf Drechsler. Exact synthesis of elementary quantum gate circuits. Multiple-Valued Logic and Soft Computing, 15(4):283-300, 2009.
[46] B Daniel Große, Ulrich Kühne, and Rolf Drechsler. Analyzing functional coverage in bounded model checking. TCAD, 27(7):1305-1314, July 2008.
[47] B Daniel Große and Rolf Drechsler. BDD-based verification of scalable designs. Facta Universitatis. Series: Electronics and Energetics, 20(3):367-379, 2007.
[48] B Rolf Drechsler and Daniel Große. System level validation using formal techniques. IEE Proceedings Computer & Digital Techniques, Special Issue on Embedded Microelectronic Systems: Status and Trends, 152(3):393-406, May 2005.
[49] B Daniel Große and Rolf Drechsler. Ein Ansatz zur formalen Verifikation von Schaltungsbeschreibungen in SystemC. it+ti, 4:219-226, 2003.
[50] B Frank Schmiedle, Nicole Drechsler, Daniel Große, and Rolf Drechsler. Heuristic learning based on genetic programming. Genetic Programming and Evolvable Machines, 3:363-388, 2002.

Conferences

[51] B PDF Lucas Klemmer and Daniel Große. EPEX: processor verification by equivalent program execution. In GLSVLSI, 2021.
[52] B PDF Lucas Klemmer, Saman Froehlich, Rolf Drechsler, and Daniel Große. XbNN: Enabling CNNs on edge devices by approximate on-chip dot product encoding. In ISCAS, 2021.
[53] B PDF Christoph Scholl, Alexander Konrad, Alireza Mahzoon, Daniel Große, and Rolf Drechsler. Verifying dividers using symbolic computer algebra and don't care optimization. In DATE, 2021.
[54] B PDF Muhammad Hassan, Daniel Große, and Rolf Drechsler. System level verification of phase-locked loop using metamorphic relations. In DATE, 2021. (Best Paper Candidate).
[55] B PDF Muhammad Hassan, Daniel Große, and Rolf Drechsler. System-level verification of linear and non-linear behaviors of RF amplifiers using metamorphic relations. In ASP-DAC, pages 761-766, 2021.
[56] B PDF Vladimir Herdt, Sören Tempel, Daniel Große, and Rolf Drechsler. Mutation-based compliance testing for RISC-V. In ASP-DAC, pages 55-60, 2021.
[57] B PDF Vladimir Herdt, Daniel Große, Sören Tempel, and Rolf Drechsler. Adaptive simulation with virtual prototypes for RISC-V: Switching between fast and accurate at runtime. In ICCD, pages 312-315, 2020.
[58] B PDF Tim Meywerk, Marcel Walter, Daniel Große, and Rolf Drechsler. Clustering-guided SMT(LRA) learning. In iFM, pages 41-59, 2020.
[59] B PDF Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, Daniel Große, and Rolf Drechsler. Verifying safety properties of robotic plans operating in real-world environments via logic-based environment modeling. In ISoLA, pages 326-347, 2020.
[60] B PDF Vladimir Herdt, Daniel Große, Eyck Jentzsch, and Rolf Drechsler. Efficient cross-level testing for processor verification: A RISC-V case-study. In FDL, pages 1-7, 2020. (Best Paper Award).
[61] B PDF Vladimir Herdt, Daniel Große, and Rolf Drechsler. RVX - a tool for concolic testing of embedded binaries targeting RISC-V platforms. In ATVA, pages 543-549, 2020.
[62] B David Lemma, Mehran Goli, Daniel Große, and Rolf Drechsler. Towards generation of a programmable power management unit at the electronic system level. In DDECS, pages 1-6, 2020.
[63] B PDF Niklas Bruns, Daniel Große, and Rolf Drechsler. Early verification of ISA extension specifications using deep reinforcement learning. In GLSVLSI, pages 297-302, 2020.
[64] B PDF Vladimir Herdt, Daniel Große, Jonas Wloka, Tim Güneysu, and Rolf Drechsler. Verification of embedded binaries using coverage-guided fuzzing with SystemC-based virtual prototypes. In GLSVLSI, pages 101-106, 2020.
[65] B PDF Vladimir Herdt, Daniel Große, and Rolf Drechsler. Closing the RISC-V compliance gap: Looking from the negative testing side. In DAC, pages 1-6, 2020.
[66] B PDF Pascal Pieper, Vladimir Herdt, Daniel Große, and Rolf Drechsler. Dynamic information flow tracking for embedded binaries using SystemC-based virtual prototypes. In DAC, pages 1-6, 2020.
[67] B PDF Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, and Rolf Drechsler. Verification for field-coupled nanocomputing circuits. In DAC, pages 1-6, 2020.
[68] B PDF Saman Froehlich, Lucas Klemmer, Daniel Große, and Rolf Drechsler. ASNet: Introducing approximate hardware to high-level synthesis of neural networks. In ISMVL, pages 64-69, 2020.
[69] B PDF Alireza Mahzoon, Daniel Große, Christoph Scholl, and Rolf Drechsler. Towards formal verification of optimized and industrial multipliers. In DATE, pages 544-549, 2020.
[70] B PDF Vladimir Herdt, Daniel Große, and Rolf Drechsler. Towards specification and testing of RISC-V ISA compliance. In DATE, pages 995-998, 2020.
[71] B PDF Vladimir Herdt, Daniel Große, and Rolf Drechsler. Fast and accurate performance evaluation for RISC-V using virtual prototypes. In DATE, pages 618-621, 2020.
[72] B PDF Rolf Drechsler and Daniel Große. Ensuring correctness of next generation devices: From reconfigurable to self-learning systems. In ATS, pages 159-164, 2019.
[73] B PDF Muhammad Hassan, Daniel Große, Thilo Vörtler, Karsten Einwich, and Rolf Drechsler. Functional coverage-driven characterization of RF amplifiers. In FDL, pages 1-8, 2019. (Best Paper Candidate).
[74] B PDF Vladimir Herdt, Daniel Große, Rolf Drechsler, Christoph Gerum, Alexander Jung, Joscha-Joel Benz, Oliver Bringmann, Michael Schwarz, Dominik Stoffel, and Wolfgang Kunz. Systematic RISC-V based firmware design. In FDL, pages 1-8, 2019.
[75] B PDF Tim Meywerk, Marcel Walter, Vladimir Herdt, Daniel Große, and Rolf Drechsler. Towards formal verification of plans for cognition-enabled autonomous robotic agents. In DSD, pages 129-136, 2019.
[76] B PDF Buse Ustaoglu, Sebastian Huhn, Frank Sill Torres, Daniel Große, and Rolf Drechsler. SAT-Hard: A learning-based hardware SAT-solver. In DSD, pages 74-81, 2019.
[77] B PDF Robert Wille, Marcel Walter, Frank Sill Torres, Daniel Große, and Rolf Drechsler. Ignore clocking constraints: An alternative physical design methodology for field-coupled nanotechnologies. In ISVLSI, pages 651-656, 2019.
[78] B PDF Mehran Goli, Muhammad Hassan, Daniel Große, and Rolf Drechsler. Automated analysis of virtual prototypes at electronic system level. In GLSVLSI, pages 307-310, 2019.
[79] B PDF Vladimir Herdt, Daniel Große, Hoang M. Le, and Rolf Drechsler. Early concolic testing of embedded binaries with virtual prototypes: A RISC-V case study. In DAC, pages 188:1-188:6, 2019.
[80] B PDF Alireza Mahzoon, Daniel Große, and Rolf Drechsler. RevSCA: Using reverse engineering to bring light into backward rewriting for big and dirty multipliers. In DAC, pages 185:1-185:6, 2019.
[81] B PDF Kenneth Schmitz, Buse Ustaoglu, Daniel Große, and Rolf Drechsler. (ReCo)Fuse your PRC or lose security: Finally reliable reconfiguration-based countermeasures on FPGAs. In ARC, pages 112-126, 2019.
[82] B PDF Hoang M. Le, Daniel Große, Niklas Bruns, and Rolf Drechsler. Detection of hardware trojans in SystemC HLS designs via coverage-guided fuzzing. In DATE, pages 602-605, 2019.
[83] B PDF Muhammad Hassan, Daniel Große, Hoang M. Le, and Rolf Drechsler. Data flow testing for SystemC-AMS timed data flow models. In DATE, pages 366-371, 2019.
[84] B PDF Vladimir Herdt, Daniel Große, Hoang M. Le, and Rolf Drechsler. Verifying instruction set simulators using coverage-guided fuzzing. In DATE, pages 360-365, 2019.
[85] B PDF Saman Froehlich, Daniel Große, and Rolf Drechsler. One method - all error-metrics: A three-stage approach for error-metric evaluation in approximate computing. In DATE, pages 284-287, 2019.
[86] B PDF Vladimir Herdt, Hoang M. Le, Daniel Große, and Rolf Drechsler. Maximizing power state cross coverage in firmware-based power management. In ASP-DAC, pages 335-340, 2019.
[87] B PDF Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, and Rolf Drechsler. Scalable design for field-coupled nanocomputing circuits. In ASP-DAC, pages 197-202, 2019.
[88] B PDF David Lemma, Mehran Goli, Daniel Große, and Rolf Drechsler. Power intent from initial ESL prototypes: Extracting power management parameters. In NORCAS, pages 1-6, 2018.
[89] B PDF Thilo Vörtler, Karsten Einwich, Muhammad Hassan, and Daniel Große. Using constraints for SystemC AMS design and verification. In DVCon Europe, 2018. (Best Paper Award).
[90] B PDF Vladimir Herdt, Daniel Große, Hoang M. Le, and Rolf Drechsler. Extensible and configurable RISC-V based virtual prototype. In FDL, pages 5-16, 2018.
[91] B PDF Alireza Mahzoon, Daniel Große, and Rolf Drechsler. PolyCleaner: clean your polynomials before backward rewriting to verify million-gate multipliers. In ICCAD, pages 129:1-129:8, 2018. (Best Paper Award).
[92] B PDF Saman Froehlich, Daniel Große, and Rolf Drechsler. Towards reversed approximate hardware design. In DSD, pages 665-671, 2018.
[93] B PDF Frank Sill Torres, Robert Wille, Marcel Walter, Philipp Niemann, Daniel Große, and Rolf Drechsler. Evaluating the impact of interconnections in quantum-dot cellular automata. In DSD, pages 649-656, 2018.
[94] B PDF Frank Sill Torres, Marcel Walter, Robert Wille, Daniel Große, and Rolf Drechsler. Synchronization of clocked field-coupled circuits. In International Conference on Nanotechnology, 2018.
[95] B PDF Alireza Mahzoon, Daniel Große, and Rolf Drechsler. Combining symbolic computer algebra and boolean satisfiability for automatic debugging and fixing of complex multipliers. In ISVLSI, pages 351-356, 2018.
[96] B PDF Kenneth Schmitz, Oliver Keszöcze, Jurij Schmidt, Daniel Große, and Rolf Drechsler. Towards dynamic execution environment for system security protection against hardware flaws. In ISVLSI, pages 557-562, 2018.
[97] B PDF David Lemma, Daniel Große, and Rolf Drechsler. Natural language based power domain partitioning. In DDECS, pages 101-106, 2018.
[98] B PDF Buse Ustaoglu, Sebastian Huhn, Daniel Große, and Rolf Drechsler. SAT-Lancer: a hardware SAT-solver for self-verification. In GLSVLSI, pages 479-482, 2018.
[99] B PDF Hoang M. Le, Vladimir Herdt, Daniel Große, and Rolf Drechsler. Resiliency evaluation via symbolic fault injection on intermediate code. In DATE, pages 845-850, 2018.
[100] B PDF Vladimir Herdt, Hoang M. Le, Daniel Große, and Rolf Drechsler. Towards fully automated TLM-to-RTL property refinement. In DATE, pages 1508-1511, 2018.
[101] B PDF Muhammad Hassan, Daniel Große, Hoang M. Le, Thilo Vörtler, Karsten Einwich, and Rolf Drechsler. Testbench qualification for SystemC-AMS timed data flow models. In DATE, pages 857-860, 2018.
[102] B PDF Saman Froehlich, Daniel Große, and Rolf Drechsler. Approximate hardware generation using symbolic computer algebra employing Gröbner basis. In DATE, pages 889-892, 2018.
[103] B PDF Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, and Rolf Drechsler. An exact method for design exploration of Quantum-dot Cellular Automata. In DATE, pages 503-508, 2018.
[104] B PDF Arun Chandrasekharan, Stephan Eggersglüß, Daniel Große, and Rolf Drechsler. Approximation-aware testing for approximate circuits. In ASP-DAC, pages 239-244, 2018.
[105] B PDF Rolf Drechsler and Daniel Große. Verifying next generation electronic systems. In ICTUS, pages 6-10, 2017.
[106] B PDF Arun Chandrasekharan, Daniel Große, and Rolf Drechsler. Yise - a novel framework for boolean networks using Y-inverter graphs. In MEMOCODE, pages 114-117, 2017.
[107] B PDF Vladimir Herdt, Hoang M. Le, Daniel Große, and Rolf Drechsler. Towards early validation of firmware-based power management using virtual prototypes: A constrained random approach. In FDL, pages 1-8, 2017. (Best Paper Candidate).
[108] B PDF Rehab Massoud, Jannis Stoppe, Daniel Große, and Rolf Drechsler. Semi-formal cycle-accurate temporal execution traces reconstruction. In FORMATS, pages 335-351, 2017.
[109] B PDF Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Daniel Große, and Rolf Drechsler. Early SoC security validation by VP-based static information flow analysis. In ICCAD, pages 400-407, 2017.
[110] B PDF Saeideh Shirinzadeh, Mathias Soeken, Daniel Große, and Rolf Drechsler. An adaptive prioritized ε-preferred evolutionary algorithm for approximate BDD optimization. In GECCO, pages 1232-1239, 2017.
[111] B PDF Arun Chandrasekharan, Daniel Große, and Rolf Drechsler. ProACt: a processor for high performance on-demand approximate computing. In GLSVLSI, pages 463-466, 2017.
[112] B PDF Saman Froehlich, Daniel Große, and Rolf Drechsler. Error bounded exact BDD minimization in approximate computing. In ISMVL, pages 254-259, 2017.
[113] B PDF Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Mingsong Chen, Daniel Große, and Rolf Drechsler. Data flow testing for virtual prototypes. In DATE, pages 380-385, 2017.
[114] B PDF Kenneth Schmitz, Arun Chandrasekharan, Jonas Gomes Filho, Daniel Große, and Rolf Drechsler. Trust is good, control is better: Hardware-based instruction-replacement for reliable processor-IPs. In ASP-DAC, pages 57-62, 2017.
[115] B PDF Daniel Große, Hoang M. Le, Muhammad Hassan, and Rolf Drechsler. Guided lightweight software test qualification for IP integration using virtual prototypes. In ICCD, pages 606-613, 2016.
[116] B PDF Amr Sayed-Ahmed, Daniel Große, Mathias Soeken, and Rolf Drechsler. Equivalence checking using Gröbner bases. In FMCAD, pages 169-176, 2016.
[117] B PDF Vladimir Herdt, Hoang M. Le, Daniel Große, and Rolf Drechsler. On the application of formal fault localization to automated RTL-to-TLM fault correspondence analysis for fast and accurate VP-based error effect simulation - a case study. In FDL, pages 1-8, 2016. (Best Paper Candidate).
[118] B PDF Vladimir Herdt, Hoang M. Le, Daniel Große, and Rolf Drechsler. Compiled symbolic simulation for SystemC. In ICCAD, pages 52:1-52:8, 2016.
[119] B PDF Arun Chandrasekharan, Mathias Soeken, Daniel Große, and Rolf Drechsler. Approximation-aware rewriting of AIGs for error tolerant applications. In ICCAD, pages 83:1-83:8, 2016.
[120] B PDF Vladimir Herdt, Hoang M. Le, Daniel Große, and Rolf Drechsler. ParCoSS: efficient parallelized compiled symbolic simulation. In CAV, pages 177-183, 2016.
[121] B PDF Saeideh Shirinzadeh, Mathias Soeken, Daniel Große, and Rolf Drechsler. Approximate BDD optimization with prioritized ε-preferred evolutionary algorithm. In GECCO, pages 79-80, 2016.
[122] B PDF Arun Chandrasekharan, Mathias Soeken, Daniel Große, and Rolf Drechsler. Precise error determination of approximated components in sequential circuits with model checking. In DAC, pages 129:1-129:6, 2016.
[123] B PDF Amr Sayed-Ahmed, Daniel Große, Ulrich Kühne, Mathias Soeken, and Rolf Drechsler. Formal verification of integer multipliers by combining Gröbner basis with logic reduction. In DATE, pages 1048-1053, 2016. (Best Paper Candidate).
[124] B PDF Hoang M. Le, Vladimir Herdt, Daniel Große, and Rolf Drechsler. Towards formal verification of real-world SystemC TLM peripheral models - a case study. In DATE, pages 1160-1163, 2016.
[125] B PDF Fan Gu, Xinqian Zhang, Mingsong Chen, Daniel Große, and Rolf Drechsler. Quantitative timing analysis of UML activity diagrams using statistical model checking. In DATE, pages 780-785, 2016.
[126] B PDF Mathias Soeken, Daniel Große, Arun Chandrasekharan, and Rolf Drechsler. BDD minimization for approximate computing. In ASP-DAC, pages 474-479, 2016.
[127] B PDF Vladimir Herdt, Hoang M. Le, Daniel Große, and Rolf Drechsler. Boosting sequentialization-based verification of multi-threaded C programs via symbolic pruning of redundant schedules. In ATVA, pages 228-233, 2015.
[128] B PDF Amr Sayed-Ahmed, Ulrich Kühne, Daniel Große, and Rolf Drechsler. Recurrence relations revisited: Scalable verification of bit level multiplier circuits. In ISVLSI, pages 1-6, 2015.
[129] B PDF Andreas Burger, Alexander Viehl, Andreas Braun, Finn Haedicke, Daniel Große, Oliver Bringmann, and Wolfgang Rosenstiel. Constraint-based platform variants specification for early system verification. In ASP-DAC, pages 800-805, 2014.
[130] B PDF Shuo Yang, Robert Wille, Daniel Große, and Rolf Drechsler. Minimal stimuli generation in simulation-based verification. In DSD, pages 439-444, 2013.
[131] B PDF Hoang M. Le, Daniel Große, Vladimir Herdt, and Rolf Drechsler. Verifying SystemC using an intermediate verification language and symbolic simulation. In DAC, pages 116:1-116:6, 2013.
[132] B PDF Rolf Drechsler, Daniel Große, Hoang M. Le, and André Sülflow. Synchronized debugging across different abstraction levels in system design. In Embedded World Conference, 2013.
[133] B PDF Hoang M. Le, Daniel Große, and Rolf Drechsler. Scalable fault localization for SystemC TLM designs. In DATE, pages 35-38, 2013.
[134] B PDF Hoang M. Le, Daniel Große, and Rolf Drechsler. From requirements and scenarios to ESL design in SystemC. In ISED, pages 183-187, 2012.
[135] B PDF Marcio F. S. Oliveira, Christoph Kuznik, Wolfgang Müller, Finn Haedicke, Hoang M. Le, Daniel Große, Rolf Drechsler, Wolfgang Ecker, and Volkan Esen. The system verification methodology for advanced TLM verification. In CODES+ISSS, pages 313-322, 2012.
[136] B PDF Finn Haedicke, Hoang M. Le, Daniel Große, and Rolf Drechsler. CRAVE: An advanced constrained random verification environment for SystemC. In SoC, pages 1-7, 2012.
[137] B PDF Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang M. Le, J. Seiter, Mathias Soeken, and Robert Wille. Completeness-driven development. In ICGT, pages 38-50, 2012.
[138] B PDF Marc Michael, Daniel Große, and Rolf Drechsler. Localizing features of ESL models for design understanding. In FDL, pages 120-125, 2012.
[139] B PDF Shuo Yang, Robert Wille, Daniel Große, and Rolf Drechsler. Coverage-driven stimuli generation. In DSD, pages 525-528, 2012.
[140] B PDF Finn Haedicke, Daniel Große, and Rolf Drechsler. A guiding coverage metric for formal verification. In DATE, pages 617-622, 2012.
[141] B PDF Marc Michael, Daniel Große, and Rolf Drechsler. Analyzing dependability measures at the Electronic System Level. In FDL, pages 1-8, 2011.
[142] B PDF Mohamed Bawadekji, Daniel Große, and Rolf Drechsler. TLM protocol compliance checking at the electronic system level. In DDECS, pages 435-440, 2011.
[143] B PDF Robert Wille, Mathias Soeken, Daniel Große, E. Schönborn, and Rolf Drechsler. Designing a risc cpu in reversible logic. In ISMVL, pages 170-175, 2011.
[144] B PDF Daniel Große, M. Groß, Ulrich Kühne, and Rolf Drechsler. Simulation-based equivalence checking between SystemC models at different levels of abstraction. In GLSVLSI, pages 223-228, 2011.
[145] B PDF Daniel Große, Hoang M. Le, and Rolf Drechsler. Proving transaction and system-level properties of untimed SystemC TLM designs. In MEMOCODE, pages 113-122, 2010.
[146] B PDF Robert Wille, Daniel Große, Finn Haedicke, and Rolf Drechsler. SMT-based stimuli generation in the SystemC verification library. In FDL, pages 1-6, 2009.
[147] B PDF André Sülflow, Ulrich Kühne, Görschwin Fey, Daniel Große, and Rolf Drechsler. WoLFram - a word level framework for formal verification. In RSP, pages 11-17, 2009.
[148] B PDF Daniel Große, Robert Wille, Ulrich Kühne, and Rolf Drechsler. Contradictory antecedent debugging in bounded model checking. In GLSVLSI, pages 173-176, 2009.
[149] B PDF Robert Wille, Daniel Große, D. Michael Miller, and Rolf Drechsler. Equivalence checking of reversible circuits. In ISMVL, pages 324-330, 2009.
[150] B PDF Ulrich Kühne, Daniel Große, and Rolf Drechsler. Property analysis and design understanding. In DATE, pages 1246-1249, 2009.
[151] B PDF Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, and Rolf Drechsler. Debugging of Toffoli networks. In DATE, pages 1284-1289, 2009.
[152] B PDF Robert Wille, Daniel Große, Gerhard W. Dueck, and Rolf Drechsler. Reversible logic synthesis with output permutation. In VLSI Design, pages 189-194, 2009.
[153] B PDF Daniel Große, Robert Wille, Robert Siegmund, and Rolf Drechsler. Contradiction analysis for constraint-based random simulation. In FDL, pages 130-135, 2008.
[154] B PDF Robert Wille, Daniel Große, Mathias Soeken, and Rolf Drechsler. Using higher levels of abstraction for solving optimization problems by boolean satisfiability. In ISVLSI, pages 411-416, 2008.
[155] B PDF Daniel Große, Robert Wille, Gerhard W. Dueck, and Rolf Drechsler. Exact synthesis of elementary quantum gate circuits for reversible functions with don't cares. In ISMVL, pages 214-219, 2008.
[156] B PDF Robert Wille, Daniel Große, L. Teuber, Gerhard W. Dueck, and Rolf Drechsler. RevLib: an online resource for reversible functions and reversible circuits. In ISMVL, pages 220-225, 2008. RevLib is available at http://www.revlib.org.
[157] B PDF Robert Wille, Hoang M. Le, Gerhard W. Dueck, and Daniel Große. Quantified synthesis of reversible logic. In DATE, pages 1015-1020, 2008.
[158] B PDF Robert Wille and Daniel Große. Fast exact Toffoli network synthesis of reversible logic. In ICCAD, pages 60-64, 2007.
[159] B PDF Robert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, and Rolf Drechsler. Sword: A SAT like prover using word level information. In VLSI-SoC, pages 88-93, 2007.
[160] B PDF Daniel Große, Hernan Peraza, Wolfgang Klingauf, and Rolf Drechsler. Measuring the quality of a SystemC testbench by using code coverage techniques. In FDL, pages 146-151, 2007. (Best Paper Award).
[161] B PDF Ulrich Kühne, Daniel Große, and Rolf Drechsler. Improving the quality of bounded model checking by means of coverage estimation. In ISVLSI, pages 165-170, 2007.
[162] B PDF Mahsan Amoui, Daniel Große, Mitchell A. Thornton, and Rolf Drechsler. Evaluation of toggle coverage for mvl circuits specified in the SystemVerilog HDL. In ISMVL, page 50 (6 pages), 2007.
[163] B PDF Daniel Große, Rüdiger Ebendt, and Rolf Drechsler. Improvements for constraint solving in the SystemC verification library. In GLSVLSI, pages 493-496, 2007.
[164] B PDF Daniel Große, Xiaobo Chen, Gerhard W. Dueck, and Rolf Drechsler. Exact SAT-based Toffoli network synthesis. In GLSVLSI, pages 96-101, 2007.
[165] B PDF Daniel Große, Ulrich Kühne, and Rolf Drechsler. Estimating functional coverage in bounded model checking. In DATE, pages 1176-1181, 2007.
[166] B PDF Daniel Große, Ulrich Kühne, and Rolf Drechsler. Hw/sw co-verification of embedded systems using bounded model checking. In GLSVLSI, pages 43-48, 2006.
[167] B PDF Görschwin Fey, Daniel Große, and Rolf Drechsler. Avoiding false negatives in formal verification for protocol-driven blocks. In DATE, pages 1225-1226, 2006.
[168] B PDF Daniel Große and Rolf Drechsler. Acceleration of SAT-based iterative property checking. In CHARME, pages 349-353, 2005.
[169] B PDF Daniel Große and Rolf Drechsler. CheckSyC: An efficient property checker for RTL SystemC designs. In ISCAS, pages 4167-4170, 2005.
[170] B PDF Jan Peleska, Daniel Große, Anne E. Haxthausen, and Rolf Drechsler. Automated verification for train control systems. In Formal Methods for Automation and Safety in Railway and Automotive Systems, pages 252-265, 2004.
[171] B PDF Daniel Große and Rolf Drechsler. Checkers for SystemC designs. In MEMOCODE, pages 171-178, 2004.
[172] B PDF Daniel Große, Rolf Drechsler, Lothar Linhard, and Gerhard Angst. Efficient automatic visualization of SystemC designs. In FDL, pages 646-657, 2003.
[173] B PDF Daniel Große and Rolf Drechsler. Formal verification of LTL formulas for SystemC designs. In ISCAS, pages V:245-V:248, 2003.
[174] B PDF Daniel Große, Görschwin Fey, and Rolf Drechsler. Modeling multi-valued circuits in SystemC. In ISMVL, pages 281-286, 2003.
[175] B PDF Rolf Drechsler and Daniel Große. Reachability analysis for formal verification of SystemC. In DSD, pages 337-340, 2002.
[176] B Frank Schmiedle, Nicole Drechsler, Daniel Große, and Rolf Drechsler. Priorities in multi-objective optimization for genetic programming. In GECCO, pages 129-136, 2001.
[177] B Frank Schmiedle, Daniel Große, Rolf Drechsler, and Bernd Becker. Too much knowledge hurts: Acceleration of genetic programs for learning heuristics. In Int'l Conference on Computational Intelligence (Fuzzy Days), volume 2206 of LNCS, pages 479-491, 2001.
[178] B Nicole Drechsler, Frank Schmiedle, Daniel Große, and Rolf Drechsler. Heuristic learning based on genetic programming. In European Conference on Genetic Programming, volume 2038 of LNCS, pages 1-10. Springer, 2001.

Workshops

[179] B Pascal Pieper, Vladimir Herdt, Daniel Große, and Rolf Drechsler. VP-based DIFT for embedded binaries: A RISC-V case study. In ITG/GI/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", 2021.
[180] B Alireza Mahzoon, Daniel Große, and Rolf Drechsler. GenMul: Generating architecturally complex multipliers to challenge formal verification tools. In ITG/GI/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", 2021.
[181] B Vladimir Herdt, Hoang M. Le, Daniel Große, and Rolf Drechsler. Fuzz-testing RISC-V simulators. In ITG/GI/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", 2020.
[182] B Muhammad Hassan, Daniel Große, Ahmad Asghar, and Rolf Drechsler. Coverage-directed stimuli generation for characterization of RF amplifiers. In GI/ITG Workshop "Testmethoden und Zuverlässigkeit von Schaltungen und Systemen", 2020.
[183] B Alireza Mahzoon, Daniel Große, and Rolf Drechsler. GenMul: Generating architecturally complex multipliers to challenge formal verification tools. In IWLS, 2019.
[184] B Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, and Rolf Drechsler. fiction: An open source framework for the design of field-coupled nanocomputing circuits. In IWLS, 2019.
[185] B Vladimir Herdt, Hoang M. Le, Daniel Große, and Rolf Drechsler. Evaluation of power state cross coverage in firmware-based power management. In Embedded Software for Industrial IoTs, 2018.
[186] B Vladimir Herdt, Hoang M. Le, Daniel Große, and Rolf Drechsler. Towards automated refinement of TLM properties to RTL. In ITG/GI/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", 2018.
[187] B Hoang M. Le, Vladimir Herdt, Daniel Große, and Rolf Drechsler. Revisiting symbolic software-implemented fault injection. In International ESWEEK Workshop on Resiliency in Embedded Electronic Systems, 2017.
[188] B Saman Froehlich, Daniel Große, and Rolf Drechsler. Exakte BDD Minimierung mit Fehlerschranke für den Einsatz im Approximate Computing. In ITG/GI/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", 2017.
[189] B Daniel Große, Kenneth Schmitz, and Rolf Drechsler. Using lightweight containers in hardware/software co-design for security. In Workshop on Computer-Aided Design and Implementation for Cryptography and Security, 2016.
[190] B Arun Chandrasekharan, Daniel Große, Mathias Soeken, and Rolf Drechsler. Symbolic error metric determination for approximate computing. In ITG/GI/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", pages 75-76, 2016.
[191] B Aljoscha Windhorst, Hoang M. Le, Daniel Große, and Rolf Drechsler. Towards generating test suites with high functional coverage for error effect simulation. In International ESWEEK Workshop on Resiliency in Embedded Electronic Systems, 2015.
[192] B Mathias Soeken, Daniel Große, Arun Chandrasekharan, and Rolf Drechsler. Using binary decision diagrams in the design flow of approximate computing. In Workshop on Approximate Computing, 2015.
[193] B Aljoscha Windhorst, Hoang M. Le, Daniel Große, and Rolf Drechsler. Funktionale Abdeckungsanalyse von C-Programmen. In ITG/GI/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", pages 201-204, 2014.
[194] B Hoang M. Le, Daniel Große, Vladimir Herdt, and Rolf Drechsler. SystemC Verifikation mittels symbolischer Simulation einer Zwischensprache. In Electronic Design Automation Workshop, 2013.
[195] B Melanie Diepenbeck, Mathias Soeken, Daniel Große, and Rolf Drechsler. Towards automatic scenario generation from coverage information. In International Workshop on Automation of Software Test, pages 82-88, 2013.
[196] B Melanie Diepenbeck, Mathias Soeken, Daniel Große, and Rolf Drechsler. Behavior driven development for circuit design and verification. In HLDVT, pages 9-16, 2012.
[197] B Stephan Radke, Steffen Rülke, Marcio F. S. Oliveira, Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker, Volkan Esen, Simon Hufnagel, Nico Bannow, Helmut Brazdrum, Peter Janssen, Hoang M. Le, Daniel Große, Rolf Drechsler, Erhard Fehlauer, Gernot Koch, Andreas Burger, Oliver Bringmann, Wolfgang Rosenstiel, Finn Haedicke, Ralph Görgen, and Jan-Hendrik Oetjens. Compilation of methodologies to speed up the verification process at system level. In Electronic Design Automation Workshop, pages 57-62, 2012.
[198] B Marc Michael, Daniel Große, and Rolf Drechsler. Design understanding by feature localization on ESL. In 9. GMM/ITG/GI-Workshop Cyber-Physical Systems - Enabling Multi-Nature Systems, pages 19-24, 2012.
[199] B Hoang M. Le, Daniel Große, and Rolf Drechsler. SystemC-based ESL verification flow integrating property checking and automatic debugging. In DATE Friday Workshop: OSCI and Accellera Core Technologies for the Next Generation of System-Level Design, 2012.
[200] B Finn Haedicke, Hoang M. Le, Daniel Große, and Rolf Drechsler. CRAVE: An advanced constrained random verification environment for SystemC. In ITG/GI/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", pages 37-48, 2012.
[201] B Hoang M. Le, Daniel Große, and Rolf Drechsler. Towards proving TLM properties with local variables. In 7th International Workshop on Constraints in Formal Verification (CFV), 2011.
[202] B Finn Haedicke, Stefan Frehse, Görschwin Fey, Daniel Große, and Rolf Drechsler. metaSMT: Focus on your application not on solver integration. In DIFTS'11: 1st International workshop on design and implementation of formal tools and systems, pages 22-29, 2011.
[203] B Kim Grüttner, Andreas Herrholz, Ulrich Kühne, Daniel Große, Achim Rettberg, Wolfgang Nebel, and Rolf Drechsler. Towards dependability-aware design of hardware systems using extended program state machines. In 2nd IEEE Workshop on Self-Organizing Real-Time Systems, pages 181-188, 2011.
[204] B Mohamed Bawadekji, Daniel Große, and Rolf Drechsler. Protocol compliance checking of SystemC TLM models. In 8. GMM/ITG/GI-Workshop Cyber-Physical Systems - Enabling Multi-Nature Systems, pages 27-32, 2011.
[205] B Daniel Große, M. Groß, Ulrich Kühne, and Rolf Drechsler. Simulation-based equivalence checking between SystemC models at different levels of abstraction. In ITG/GI/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", pages 269-278, 2011.
[206] B Robert Wille, Mathias Soeken, Daniel Große, E. Schönborn, and Rolf Drechsler. Designing a RISC CPU in reversible logic. In ITG/GI/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", pages 249-258, 2011.
[207] B Hoang M. Le, Daniel Große, and Rolf Drechsler. Automatic fault localization for SystemC TLM designs. In MTV Workshop, pages 35-40, 2010.
[208] B Hoang M. Le, Daniel Große, and Rolf Drechsler. Towards analyzing functional coverage in SystemC TLM property checking. In HLDVT, pages 67-74, 2010.
[209] B Daniel Große, Hoang M. Le, and Rolf Drechsler. Induction-based formal verification of SystemC TLM designs. In MTV Workshop, pages 101-106, 2009.
[210] B Robert Wille, Daniel Große, D. Michael Miller, and Rolf Drechsler. Equivalence checking of reversible circuits. In ITG/GI/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", pages 67-76, 2009.
[211] B Ulrich Kühne, Daniel Große, and Rolf Drechsler. Property analysis and design understanding in a quality-driven bounded model checking flow. In MTV Workshop, pages 88-93, 2008.
[212] B Robert Wille, Daniel Große, Gerhard W. Dueck, and Rolf Drechsler. Reversible logic synthesis with output permutation. In Int'l Workshop on Boolean Problems, 2008.
[213] B Daniel Große, Robert Wille, Robert Siegmund, and Rolf Drechsler. Contradiction analysis for constraint-based random simulation. In Dresdner Arbeitstagung Schaltungs- und Systementwurf, pages 25-30, 2008.
[214] B Daniel Große, Robert Wille, Ulrich Kühne, and Rolf Drechsler. Using contradiction analysis for antecedent debugging in bounded model checking. In ITG/GI/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", pages 169-178, 2008.
[215] B André Sülflow, Ulrich Kühne, Robert Wille, Daniel Große, and Rolf Drechsler. Evaluation of SAT like proof techniques for formal verification of word level circuits. In IEEE Workshop on RTL and High Level Testing, pages 31-36, 2007.
[216] B Görschwin Fey, Daniel Große, Stephan Eggersglüß, Robert Wille, and Rolf Drechsler. Formal verification on the word level using SAT-like proof techniques. In ITG/GI/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", pages 165-173, 2007.
[217] B Daniel Große, Xiaobo Chen, and Rolf Drechsler. Exact Toffoli network synthesis of reversible logic using boolean satisfiability. In IEEE Dallas/CAS Workshop, pages 51-54, 2006.
[218] B Ulrich Kühne, Daniel Große, and Rolf Drechsler. Complete formal verification of multi core embedded systems using bounded model checking. In IEEE Dallas/CAS Workshop, pages 147-150, 2006.
[219] B Daniel Große, Ulrich Kühne, and Rolf Drechsler. Hw/sw co-verification of embedded systems using bounded model checking. In MTV Workshop, pages 133-137, 2005.
[220] B Sebastian Kinder, Daniel Große, and Rolf Drechsler. Bounded model checking of tram control systems. In TRain Workshop at SEFM2005, 2005.
[221] B Daniel Große, U. Kühne, and Rolf Drechsler. Formale Verifikation des Befehlssatzes eines SystemC Mikroprozessors. In GI Jahrestagung (1), volume 67 of Lecture Notes in Informatics, pages 308-312, 2005.
[222] B Daniel Große and Rolf Drechsler. Acceleration of SAT-based iterative property checking. In ITG/GI/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", 2005.
[223] B Daniel Große, Ulrich Kühne, Christian Genz, Frank Schmiedle, Bernd Becker, Rolf Drechsler, and Paul Molitor. Modellierung eines Mikroprozessors in SystemC. In ITG/GI/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", 2005.
[224] B Rolf Drechsler, Görschwin Fey, Christian Genz, and Daniel Große. SyCE: An integrated environment for system design in SystemC. In RSP, pages 258-260, 2005.
[225] B Görschwin Fey, Daniel Große, Tim Cassens, Christian Genz, Tim Warode, and Rolf Drechsler. ParSyC: An Efficient SystemC Parser. In Workshop on Synthesis And System Integration of Mixed Information technologies, pages 148-154, 2004.
[226] B Daniel Große and Rolf Drechsler. BDD-based verification of scalable designs. In HLDVT, pages 123-128, 2003.
[227] B Daniel Große and Rolf Drechsler. Formale Verifikation von LTL-Formeln für SystemC-Beschreibungen. In ITG/GI/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", pages 229-238, 2003.

Others

[228] B Vladimir Herdt, Daniel Große, and Eyck Jentzsch (organizer). Cross-level compliance testing and verification for RISC-V, Speakers: Daniel Große, Vladimir Herdt. In Tutorial at DVCon Europe, 2020.
[229] B Daniel Große (organizer). RISC-V based firmware design, Speakers: Christoph Gerum, Vladimir Herdt, Michael Schwarz. In Special Session at Forum on specification & Design Languages, 2019.
[230] B Daniel Große (organizer). Firmware firmly under control: New optimization and verification techniques for application specific electronic systems, Speakers: Daniel Große, Manuel Strobel, Daniel Müller-Gritschneder, Vladimir Herdt, Tobias Ludwig. In Tutorial at DVCon Europe, 2018.
[231] B Daniel Große (organizer). Embedded software for the IoT: Design, optimization and verification, Speakers: Rafael Stahl, Vladimir Herdt, Michael Schwarz, Aljoscha Kirchner. In Special Session at Forum on specification & Design Languages, 2018.
[232] B Daniel Große (organizer). Automatic firmware design for application-specific electronic systems: Opportunities, challenges and solutions, Speakers: Daniel Große, Joscha Benz, Vladimir Herdt, Martin Dittrich. In Tutorial at DVCon Europe, 2017.
[233] B Daniel Große (panelist). The WHAT? and WHY? of high-level languages in designing and verifying complex integrated systems - Lets take a formal perspective. In Panel at Forum on specification & Design Languages, 2017.
[234] B Stephan Gerth and Daniel Große. UVM-SystemC goes random - introducing CRAVE in UVM-SystemC. In Tutorial at DVCon Europe, 2016.
[235] B Daniel Große (organizer). Reliability and safety in VP-based embedded system development, Speakers: Vladimir Herdt, Bogdan-Andrei Tabacaru. In Special Session at Forum on specification & Design Languages, 2016.
[236] B Daniel Große. Circuit design: Slip schedule or automate debug. In DVClub Shanghai: Making Verification Debug More Efficient, 2014.
[237] B Daniel Große. Circuit design: Slip schedule or automate debug. In ISMVL, 2014.
[238] B Daniel Große, Finn Haedicke, Hoang M. Le, and Rolf Drechsler. An advanced constrained random verification environment for SystemC. In 24. European SystemC User's Group Meeting (ESCUG), 2011.
[239] B Daniel Große and Frank Schirrmeister (organizer). ESL HW/SW verification: A reality check, Speakers: Matthias Bauer, Viraphol Chaiyakul, Alan Gatherer, Sandeep Shukla, Daniel Kroening. In Panel at Design Automation Conference (DAC), 2011.
[240] B Daniel Große, Hoang M. Le, and Rolf Drechsler. Formal verification of abstract SystemC models. In Bernd Becker, Valeria Bertacco, Rolf Drechsler, and Masahiro Fujita, editors, Algorithms and Applications for Next Generation SAT Solvers, number 09461 in Dagstuhl Seminar Proceedings, 2010.
[241] B Oliver Bringmann, Wolfgang Ecker, Volkan Esen, Erhard Fehlauer, Daniel Große, Christoph Kuznik, Jan-Hendrik Oetjens, and Andreas von Schwerin. State-of-the-art and challenges in ESL-verification. In Full-Day Tutorial at Design, Automation and Test in Europe (DATE), 2010.
[242] B Daniel Große, Görschwin Fey, and Rolf Drechsler. Enhanced formal verification flow for circuits integrating debugging and coverage analysis. In Specification - Transformation - Navigation, Festschrift dedicated to Bernd Krieg-Brückner on Occasion of his 60th Birthday, 2009.
[243] B Daniel Große. Quality-Driven Design and Verification Flow for Digital Systems. Dissertation, Universität Bremen, Bremen, Germany, October 2008.
[244] B Daniel Große. Using formal methods for verification of complex systems. In EDAA/DATE PhD Forum at Design, Automation and Test in Europe, 2008.
[245] B Daniel Große, Rolf Drechsler, Vasco Jerinic, Jan Langer, Erhard Fehlauer, Frank Roging, Steffen Rülke, Frank Dresig, Christian Haufe, Thomas Berndt, and Hans-Jürgen Brand. Analysemethoden für unsichere Anwendungsbedingungen - Beiträge von AMD Fraunhofer IIS/EAS, TU Chemnitz und Uni Bremen zu Arbeitspaket 3. In edaWorkshop (Poster), 2008.
[246] B Daniel Große, Vasco Jerinic, Jan Langer, R. Beckert, Erhard Fehlauer, Frank Roging, Steffen Rülke, Hans-Jürgen Brand, Frank Dresig, Christian Haufe, and Thomas Berndt. Analysemethoden für unsichere Anwendungsbedingungen - Beiträge von AMD Fraunhofer IIS/EAS, TU Chemnitz und Uni Bremen zu Arbeitspaket 3. In edaWorkshop (Poster), 2007.
[247] B Daniel Große and Rolf Drechsler. Debugging in der Constraint-gesteuerten Zufallssimulation. In URANOS-Workshop Anwendungsrobuster Entwurf nanoelektronischer Systeme, 2007.
[248] B Daniel Große, Jan Langer, R. Beckert, H. Süße, Erhard Fehlauer, Frank Roging, Frank Dresig, Christian Haufe, and Thomas Berndt. Analysemethoden für unsichere Anwendungsbedingungen. In Ekompass-Workshop (Poster), 2006.
[249] B Daniel Große and Rolf Drechsler. Verifikation mit Constraint-gesteuerter Zufallssimulation. In URANOS-Workshop Anwendungsrobuster Entwurf nanoelektronischer Systeme, 2006.
[250] B Daniel Große. Formale Verifikation von SystemC-Beschreibungen. Diploma thesis, Albert-Ludwigs-Universität, Freiburg, Germany, August 2002.