Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 41 to 50 of 12944.

  1. 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 …

  2. 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, …

  3. Lisa Grumbach; Ralph Bergmann

    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, …

  4. Lisa Grumbach

    Flexible Workflows - A Constraint- and Case-Based Approach

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

  5. 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). …

  6. 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.

  7. 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.

  8. 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, …

  9. Lukas Malburg; Patrick Klein; Ralph Bergmann

    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.

  10. Siwei Ju; Peter van Vliet; Oleg Arenz; Jan Peters

    Digital Twin of a Driver-in-the-Loop Race Car Simulation With Contextual Reinforcement Learning

    In: IEEE Robotics and Automation Letters (RA-L), Vol. 8, No. 7, Pages 4107-4114, IEEE, 2023.

Year

More options