© Photo by Henrik Trygg






Ph.D. Forum Program



   
Author   		    
Title   
   
Luigi Capogrosso   		    
Advancing Split Computing and Anomaly Detection for On-Edge and Interpretable Industry 4.0   
   
Francesco Tosoni   		    
Faulty Behaviors Simulation in Industrial Cyber-Physical Systems for Safety Analysis   
   
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   
   
Muhammad Anas Uddin   		    
Data-Driven Digital Twin For Data Management And Decision Making In Digital Factory   
   
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   
   
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   




FDL is in ,


© Photo by Henrik Trygg