supported by:

To search for a specific ID please enter the hash sign followed by the ID number (e.g. #123).

PhD Forum

   
Shortcut: FM01
Date: Friday, 13 March 2020, 6:00 p.m. - 9:00 p.m.
Room: Lunch Area
Session type: PhD Forum

Contents

FM01-1-34

Presentation of Awards: PhD Forum Best Presentation Awards supported by EDAA, ACM Sigda & IEEE CEDA (#544)

Robert Wille1

1 Johannes Kepler University, Austria

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-1

Networks-on-Chip for Heterogeneous 3D Systems-on-Chip (#301)

Jan Moritz Joseph1

1 Georgia Institute of Technology and Otto-von-Guericke Universität Magdeburg, Germany

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-2

Intelligent Scheduling Algorithms for EnergyOptimization in Smart Grid (#312)

Nilotpal Chakraborty1, Arijit Mondal1, Samrat Mondal1

1 Indian Institute of Technology Patna, India

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-3

Enhanced Detection and Prevention Techniques to Ensure a Secured Hardware with Improved Performance Metrics (#323)

Sree Ranjani1

1 Indian Institute of Technology Madras, India

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-4

QoS-aware Cross-layer Reliability-integrated Design of Heterogeneous Embedded Systems (#327)

Siva Satyendra Sahoo1

1 Technische Universität Dresden, Germany

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-5

Design and implementation aspects of post-quantum cryptography. (#328)

Angshuman Karmakar1

1 Imec-COSIC, KU Leuven, Belgium

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-6

Security implications of power management in mobile devices (#329)

Philipp Miedl1

1 ETH Zürich, Switzerland

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-7

Towards Sustainable Logic Encryption in an Age of Mistrust (#330)

Amin Rezaei1

1 Northwestern University, United States of America

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-8

Architectures And Automation For Beyond-CMOS Technologies (#331)

Anupam Chattopadhyay1, Debjyoti Bhattacharjee1

1 Nanyang Technological University, Singapore

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-9

On-chip Thermal Monitoring and Optimization for New-generation Manycore Systems (#332)

Mengquan Li1

1 Nanyang Technological University, Singapore

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-10

Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification (#302)

Bo-Yuan Huang1, Sharad Malik1

1 Student, United States of America

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-11

A Formal Approach towards Pattern Guided Scheduling in Embedded Control Systems (#303)

Sumana Ghosh1

1 Technical University of Munich, Germany

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-12

Design and Evaluation of Ethernet-based E/E-Architectures for Latency- and Safety-critical Applications (#304)

Fedor Smirnov1

1 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Germany

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-13

System-Level Mapping, Analysis, and Management of Real-Time Applications in Many-Core Systems (#305)

Jürgen Teich1, Behnaz Pourmohseni1

1 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Germany

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-14

Self Aware Nature Inspired Approaches Ensuring Embedded Security (#306)

Krishnendu Guha1

1 University of Calcutta, India

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-15

CAD Frameworks for Advancing Design IP Protection (#307)

Satwik Patnaik

1 NEW YORK UNIVERSITY, , Vereinigte Arabische Emirate

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-16

Design Automation for Error-Tolerant Sample Preparation with Digital Microfluidic Biochips (#308)

Sudip Poddar1

1 National Taiwan University of Science and Technology, Taiwan

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-17

Automated Test Generation with SystemC Designs for Pre-Silicon Validation (#309)

Bin Lin1

1 Portland State University, United States of America

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-18

Dynamic Energy Management of Mixed-Criticality Real-Time Networks-on-Chip (#310)

Thawra Kadeed1, Rolf Ernst1

1 TU Braunschweig, Germany

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-19

Proving Correctness of Industrial Multipliers using Symbolic Computer Algebra (#311)

Daniel Grosse1, Rolf Drechsler1, Alireza Mahzoon1

1 University of Bremen, Germany

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-20

A Holistic Approach to Functional Safety for Networked Cyber-Physical Systems (#313)

Enrico Fraccaroli1

1 University of Verona, Italy

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-21

Automated Analysis of Virtual Prototypes at the Electronic System Level–Design Understanding and Applications– (#314)

Mehran Goli1, Rolf Drechsler1

1 University of Bremen, Germany

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-22

A Novel Test Flow for Approximate Digital Circuits (#315)

Alberto Bosio1, Patrick Girard1, Arnaud Virazel1, Marcello Traiola1

1 LIRMM, France

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-23

Heterogeneous HW/SW Techniques for Reliable Systems (#316)

Florian Kriebel1

1 Vienna University of Technology, Austria

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-24

Efficient Scale-Up and Scale-Out of Beam Longitudinal Dynamics Simulations (#317)

Sotirios Xydis1, Konstantinos Iliakis1, Helga Timko1, Dimitrios Soudris1

1 MicroLab, ECE, NTUA, Greece

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-25

On Improving Statistical Model Checking by Qualitative Verification (#318)

Tim Gonschorek1

1 Otto von Guericke University Magdeburg, Germany

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-26

Verifying Multipliers using Computer Algebra (#319)

Daniela Kaufmann1

1 Johannes Kepler University, Germany

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-27

Energy-efficient Photonic Architectures for Large-scale Computing (#320)

Dharanidhar Dang1, Rabi N. Mahapatra1, Debashis Sahoo1

1 Postdoctoral Researcher, United States of America

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-28

Energy Efficient and Reliable Deep Learning Accelerator Design (#321)

Siddharth Garg1, Jeff Zhang1

1 New York University, United States of America

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-29

Connecting the Dots: From Theory to Application of IP Protection (#322)

Abhrajit Sengupta1

1 New York University, United Arab Emirates

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-30

Realistic Scheduling Models and Analyses for Advanced Real-Time Embedded Systems (#324)

Georg von der Brüggen1

1 TU Dortmund University, Germany

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-31

Energy-efficient and Performance-driven Implementation of Computational Pipelines of Whole Genome Sequencing on Embedded Platforms (#325)

Sidharth Maheshwari1

1 Newcastle University, United Kingdom

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-32

Complexity Reduction for Embedded System-Level Design (#326)

Michael Glaß1, Valentina Richthammer1

1 Ulm University, Germany

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.
FM01-1-33

Assuring Security and Reliability of Emerging Non-Volatile Memories (#333)

Mohammad Nasim Imtiaz Khan1

1 Pennsylvania State University, United States of America

This presentation is available for registered delegates only. Please login to the conference or contact date-registration@kitdresden.de.

supported by: