Sara Vinco
Orcid: 0000-0001-9666-5194
According to our database1,
Sara Vinco
authored at least 73 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Multidomain Fault Models Covering the Analog Side of a Smart or Cyber-Physical System.
IEEE Trans. Computers, March, 2024
Integrating SystemC-AMS Power Modeling with a RISC-V ISS for Virtual Prototyping of Battery-operated Embedded Devices.
CoRR, 2024
2023
A Framework for Economic and Environmental Benefit Through Renewable Energy Community.
IEEE Syst. J., December, 2023
IEEE Trans. Computers, July, 2023
IEEE Trans. Veh. Technol., May, 2023
Neuro-symbolic Empowered Denoising Diffusion Probabilistic Models for Real-time Anomaly Detection in Industry 4.0.
CoRR, 2023
Proceedings of the IEEE/ACM International Symposium on Low Power Electronics and Design, 2023
Thermal Digital Twin of a Multi-Domain System for Discovering Mechanical Faulty Behaviors.
Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023
Robotic Arm Dataset (RoAD): A Dataset to Support the Design and Test of Machine Learning-Driven Anomaly Detection in a Production Line.
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023
Neuro-Symbolic Empowered Denoising Diffusion Probabilistic Models for Real-Time Anomaly Detection in Industry 4.0: Wild-and-Crazy-Idea Paper.
Proceedings of the Forum on Specification & Design Languages, 2023
2022
Digital Transformation of a Production Line: Network Design, Online Data Collection and Energy Monitoring.
IEEE Trans. Emerg. Top. Comput., 2022
SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing.
Proceedings of the 23rd IEEE Latin American Test Symposium, 2022
Proceedings of the IEEE International Conference on Omni-layer Intelligent Systems, 2022
2021
A Microservices-Based Framework for Smart Design and Optimization of PV Installations.
IEEE Trans. Sustain. Comput., 2021
Optimizing Quality Inspection and Control in Powder Bed Metal Additive Manufacturing: Challenges and Research Directions.
Proc. IEEE, 2021
Proceedings of the 4th IEEE International Conference on Industrial Cyber-Physical Systems, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Design of District-level Photovoltaic Installations for Optimal Power Production and Economic Benefit.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021
2020
Modeling and Simulation of Cyber-Physical Electrical Energy Systems With SystemC-AMS.
IEEE Trans. Sustain. Comput., 2020
Proceedings of the 18th IEEE International Conference on Industrial Informatics, 2020
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020
Optimal Configuration and Placement of PV Systems in Building Roofs with Cost Analysis.
Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020
2019
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors.
ACM Trans. Design Autom. Electr. Syst., 2019
SystemC-AMS Thermal Modeling for the Co-simulation of Functional and Extra-Functional Properties.
ACM Trans. Design Autom. Electr. Syst., 2019
IEEE Trans. Computers, 2019
A SystemC-AMS Framework for the Design and Simulation of Energy Management in Electric Vehicles.
IEEE Access, 2019
Proceedings of the 26th IEEE International Conference on Electronics, Circuits and Systems, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
Proceedings of the 56th Annual Design Automation Conference 2019, 2019
2018
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
Proceedings of the IEEE International Symposium on Circuits and Systems, 2018
Proceedings of the 2018 on Great Lakes Symposium on VLSI, 2018
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
2017
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework.
Proceedings of the Handbook of Hardware/Software Codesign., 2017
A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017
CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties.
Microprocess. Microsystems, 2017
2016
ACM Trans. Embed. Comput. Syst., 2016
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016
Proceedings of the 26th edition on Great Lakes Symposium on VLSI, 2016
Proceedings of the 26th edition on Great Lakes Symposium on VLSI, 2016
IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models.
Proceedings of the 2016 Forum on Specification and Design Languages, 2016
CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties.
Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
2015
A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications.
ACM Trans. Design Autom. Electr. Syst., 2015
Proceedings of the 2015 Forum on Specification and Design Languages, 2015
2014
Proceedings of the 24th International Workshop on Power and Timing Modeling, 2014
An open-source framework for formal specification and simulation of electrical energy systems.
Proceedings of the International Symposium on Low Power Electronics and Design, 2014
A cross-level verification methodology for digital IPs augmented with embedded timing monitors.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
2013
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration.
IEEE Trans. Computers, 2013
Code generation alternatives to reduce heterogeneous embedded systems to homogeneity.
Proceedings of the 2013 Forum on specification and Design Languages, 2013
Proceedings of the East-West Design & Test Symposium, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013
2012
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels.
Des. Autom. Embed. Syst., 2012
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis.
Proceedings of the 13th International Workshop on Microprocessor Test and Verification, 2012
Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012
Proceedings of the Great Lakes Symposium on VLSI 2012, 2012
MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Proceedings of the 49th Annual Design Automation Conference 2012, 2012
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012
2011
UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design.
Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011
Proceedings of the 2011 Forum on Specification & Design Languages, 2011
Proceedings of the 14th Euromicro Conference on Digital System Design, 2011
2009
Mixing Simulated and Actual Hardware Devices to Validate Device Drivers in a Complex Embedded Platform.
Proceedings of the 10th International Workshop on Microprocessor Test and Verification, 2009
A SystemC-centric approach for simulation and generation of WSN applications targeted to ZigBee.
Proceedings of the 6th Annual International Conference on Mobile and Ubiquitous Systems: Computing, 2009
Proceedings of the Design, Automation and Test in Europe, 2009
Automatic customization of device drivers for IP-cores used with assorted CPU organizations.
Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009
2007
AME: an abstract middleware environment for validating networked embedded systems applications.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007