FDL24 PhD Forum Papers
Muhammad Anas Uddin
Data-Driven Digital Twin For Data Management And Decision Making In Digital Factory
Prachi Kashikar
Model Compression by Exponent Sharing
Gizem Caylak
Automated Inference Optimizations in Probabilistic Programming Languages
Mario Libro
Enhancing Trustworthiness and Cooperation in the Construction Industry: The BuildTrust Approach
Francesco Tosoni
Faulty Behaviors Simulation in Industrial Cyber-Physical Systems for Safety Analysis
John Wikman
Extended Abstract: Reinforcement Learning for Cyber-Physical Systems by Exploiting Prior Information
Daniele Nicoletti
Assertion mining and modeling of Cyber-physical Systems
Edward Wang
Work-in-Progress: An SMT-Based, Correct-by-Construction Place-and-Route Framework
Mehran Shoushtari Moghadam
Improved Data Encoding for Emerging Computing Models: From Stochastic Computing to Hyperdimensional Computing
Luigi Capogrosso
Advancing Split Computing and Anomaly Detection for On-Edge and Interpretable Industry 4.0
Francesco Biondani
The Future of Aircraft Maintenance: Goals and Challenges of Digital Twins for In-flight Operations
Lucas Klemmer
Versatile Hardware Analysis Techniques - From Waveform-based Analysis to Formal Verification
Rui Chen
Shallowly Embedded, Quantitatively Typed DSL for Synchronous System Design