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