CISD
Publications
A selection of 78 publications, 2020–2025, by the people listed under People.
2025
2024
A Data Fusion Service-Oriented Infrastructure for Production Line Monitoring
ICIT
A Multi-Material and Multi-Scenario Dataset for Additive and Subtractive Manufacturing Operations
ETFA
An AI-Enabled Framework for Smart Semiconductor Manufacturing
DATE
Analog Defect Injection and Fault Simulation Techniques: A Systematic Literature Review
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Artifact: WirelessEye - Seeing over WiFi Made Accessible
PerCom Workshops
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project
DATE
Enabling Service-Oriented Manufacturing Through Architectures, Models, and Protocols
IEEE Access
Environmental Microchanges in WiFi Sensing
DATE
ICT-Based Solutions for Alzheimer's Disease Care: A Systematic Review
IEEE Access
Integrating Modeling Languages with Ontologies in the Context of Industry 4.0
ICIT
Multidomain Fault Models Covering the Analog Side of a Smart or Cyber-Physical System
IEEE Trans. Computers
RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization
IEEE Trans. Ind. Informatics
SN Comput. Sci.
VARADE: a Variational-based AutoRegressive model for Anomaly Detection on the Edge
DAC
WirelessEye - Seeing over WiFi Made Accessible
PerCom Workshops
2023
A Comprehensive Review of Automated Data Annotation Techniques in Human Activity Recognition
CoRR
IEEE Trans. Emerg. Top. Comput.
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses
DATE
Fostering Human Activity Recognition Workflows: An Open-Source Baseline Framework
ICDH
FDL
Non-Invasive Monitoring of Alzheimer's patients through WiFi Channel State Information
IWASI
IECON
Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications
DDECS
IROS
Thermal Digital Twin of a Multi-Domain System for Discovering Mechanical Faulty Behaviors
INDIN
Towards Deep Learning-based Occupancy Detection Via WiFi Sensing in Unconstrained Environments
DATE
Verilog-A Implementation of Generic Defect Templates for Analog Fault Injection
ACM Great Lakes Symposium on VLSI
FDL
2022
ICCPS
A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS
FDL
A freely available system for human activity recognition based on a low-cost body area network
COMPSAC
A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes
ISIE
A Software Architecture to Control Service-Oriented Manufacturing Systems
DATE
A virtual coaching platform to support therapy compliance in obesity
COMPSAC
IEEE Trans. Emerg. Top. Comput.
Functional Level Abstraction and Simulation of Verilog-AMS Piecewise Linear Models
ISQED
Inferring Mechanical Fault Models from the Electrical Domain
ICPS
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality
IECON
ISoLA
Investigation on Realistic Stuck-on/off Defects to Complement IEEE P2427 Draft Standard
ISQED
On the Impact of Transport Times in Flexible Job Shop Scheduling Problems
ETFA
Practical identity recognition using WiFi's Channel State Information
DATE
ICCAD
SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing
LATS
The Challenges of Coupling Digital-Twins with Multiple Classes of Faults
LATS
WifiEye - Seeing over WiFi Made Accessible
CoRR
2021
A Common Manipulation Framework for Transistor-Level Languages
FDL
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures
FDL
A containerized ROS-compliant verification environment for robotic systems
DATE
A Design Methodology of Multi-level Digital Twins
ICIT
A Framework for Optimizing CPU-iGPU Communication on Embedded Platforms
DAC
A low-cost BLE-based distance estimation, occupancy detection and counting system
DATE
CoRR
Digital Twin Extension with Extra-Functional Properties
DATE
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems
ETFA
Estimating indoor occupancy through low-cost BLE devices
CoRR
Exploiting Bluetooth Low Energy smart tags for virtual coaching
WF-IoT
FDL
Multi-Discipline Fault Modeling with Verilog-AMS
ICPS
Predictive Fault Grouping based on Faulty AC Matrices
DDECS
ACM Trans. Embed. Comput. Syst.
Task Mapping and Scheduling for OpenVX Applications on Heterogeneous Multi/Many-Core Architectures
IEEE Trans. Computers
Virtual Prototyping a Production Line Using Assume-Guarantee Contracts
IEEE Trans. Ind. Informatics
2020
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems
IEEE Trans. Computers
Bioinform.
From Informal Specifications to an ABV Framework for Industrial Firmware Verification
VLSI-SoC
Functionality and Fault Modeling of a DC Motor with Verilog-AMS
INDIN
IEEE Access
Joint Distribution and Transitions of Pain and Activity in Critically Ill Patients
EMBC
DAC
Mangrove - An Inference-Based Dynamic Invariant Mining for GPU Architectures
IEEE Trans. Computers
MIST - monitor generation from informal specifications for firmware verification
VLSI-SOC
Network Synthesis for Industry 4.0
DATE
DATE
Production Recipe Validation through Formalization and Digital Twin Generation
DATE
The Design of a Digital-Twin for Predictive Maintenance
ETFA
Toward a Wearable System for Predicting Freezing of Gait in People Affected by Parkinson's Disease
IEEE J. Biomed. Health Informatics