Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 211.
  1. Khushboo Qayyum; Sallar Ahmadi-Pour; Muhammad Hassan; Chandan Kumar Jha; Rolf Drechsler

    LLM-Assisted High Quality Invariants Generation for Formal Verification

    In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  2. Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler

    Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences

    In: 27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …

  3. Polynomial Formal Verification of Sequential Circuits

    In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  4. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Approximate Adders with Constant Cutwidth

    In: 29th IEEE European Test Symposium 2024. IEEE European Test Symposium (ETS-2024), May 20-24, The Hague, Netherlands, 2024.

  5. Aggregating Predicted Individual Hospital Length of Stay to Predict Bed Occupancy for Hospitals

    In: Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies. International Joint Conference on …

  6. AI Engineering for Trust by Design

    In: Francisco José Domínguez Mayo; Luís Ferreira Pires; Edwin Seidewitz (Hrsg.). Proceedings of the 12th International Conference on Model-Based …

  7. ShapeAug: Occlusion Augmentation for Event Camera Data

    In: International Conference on Pattern Recognition Applications and Methods. International Conference on Pattern Recognition Applications and Methods …

  8. Beam-Based Multiple Access for IRS-Aided Millimeter-Wave and Terahertz Communications

    In: IEEE WCNC. IEEE Wireless Communications and Networking Conference (WCNC-2024), April 21-24, Dubai, United Arab Emirates, IEEE, 4/2024.

  9. Cristina Gasch; Alireza Javanmardi; Azucena Garcia-Palacios; Alain Pagani

    Avatar quality: A study on presence and user preference

    In: Proceedings of. IEEE International Conference on Artificial Intelligence and Extended and Virtual Reality (AIxVR-2024), IEEE, 2024.

  10. SphereCraft: A Dataset for Spherical Keypoint Detection, Matching and Camera Pose Estimation

    In: IEEE/CVF Winter Conference on Applications of Computer Vision. IEEE Winter Conference on Applications of Computer Vision (WACV-2024), January 4-8, …