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