Skip to main content Skip to main navigation

Publications

Displaying results 1 to 10 of 716.
  1. An Overview and Comparison of Case-Based Reasoning Frameworks

    In: Case-Based Reasoning Research and Development - 31st International Conference, ICCBR 2023, Aberdeen, Scotland, July 17-20, 2023, Proceedings. …

  2. Martha Schnieber; Rolf Drechsler

    Polynomial Formal Verification of KFDD Circuits

    In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design. ACM-IEEE International Conference on Formal Methods and …

  3. Sajjad Parvin; Chandan Kumar Jha; Sallar Ahmadi-Pour; Frank Sill Torres; Rolf Drechsler

    Hidden in Plain Sight: A Detailed Investigation of Selectively Increasing Local Density to Camouflage and Robustify Against Optical Probing Attacks

    In: 7th IEEE International Test Conference India 2023 - Proceedings. IEEE International Test Conference India (ITC India-2023), July 23-25, Bangalore, …

  4. A Case-Based Approach for Workflow Flexibility by Deviation

    In: Stewart Massie; Sutanu Chakraborti (Hrsg.). Case-Based Reasoning Research and Development - 31st International Conference, ICCBR 2023, Aberdeen, …

  5. Flexible Workflows - A Constraint- and Case-Based Approach

    PhD-Thesis, Trier University, Vol. 354, ISBN 978-1-64368-396-6, IOS Press, 2023.

  6. Sajjad Parvin; Sallar Ahmadi-Pour; Chandan Kumar Jha; Frank Sill Torres; Rolf Drechsler

    Lo-RISK: Design of a Low Optical Leakage and High Performance RISC-V Core

    In: Proceedings of the First Workshop on State-of-the-Art Nanoelectronics in the Framework of Security and Artificial Intelligence (NanoSecAI 2023). …

  7. Sören Tempel; Tobias Brandt; Christoph Lüth; Rolf Drechsler

    Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2023), September 13-15, Turin, Italy, 2023.

  8. Vincent Vandeghinste; Mirella De Sisto; Maria Kopf; Davy Van Landuyt Picron; Irene Murtagh; Eleftherios Avramidis; Mathieu De Coster

    European Language Equality, Report on Europe's Sign Languages

    In: Maria Giagkou; Stelios Piperidis; Georg Rehm; Jane Dunne (Hrsg.). Project European Language Equality (ELE). Pages 1-31, ELE Consortium, 5/2023.

  9. Lukas Stäcker; Shashank Mishra; Philipp Heidenreich; Jason Raphael Rambach; Didier Stricker

    RC-BEVFusion: A Plug-In Module for Radar-Camera Bird’s Eye View Feature Fusion

    In: DAGM (Hrsg.). Proceedings of. Annual Symposium of the German Association for Pattern Recognition (DAGM-2023), September 19-22, Heidelberg, BW, …

  10. Converting semantic web services into formal planning domain descriptions to enable manufacturing process planning and scheduling in industry 4.0

    In: International Journal Engineering Applications of Artificial Intelligence (EAAI), Vol. 126, Pages 106727-106727, Elsevier, 2023.