Davide Quaglia

According to our database1, Davide Quaglia authored at least 81 papers between 2001 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2018

Network Synthesis for Distributed Embedded Systems.
IEEE Trans. Computers, 2018

Beyond Time-Triggered Co-simulation of Cyber-Physical Systems for Performance and Accuracy Improvements.
Proceedings of the RAPIDO 2018 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, 2018

Simulation-based Holistic Functional Safety Assessment for Networked Cyber-Physical Systems.
Proceedings of the 2018 Forum on Specification & Design Languages, 2018

Efficient Simulation of Faults in Networked Cyber-Physical Systems.
Proceedings of the Conference on Design of Circuits and Integrated Systems, 2018

A SystemC-based Simulator for design space exploration of smart wireless systems.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Automatic integration of cycle-accurate descriptions with continuous-time models for cyber-physical virtual platforms.
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

CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties.
Microprocessors and Microsystems - Embedded Hardware Design, 2017

A Low-Complexity Eyewear System for Direction-based Augmented Reality Applications.
Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems, 2017

Scalable open source smart grid simulator (SGSim).
Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2017

EXPO-AGRI: Smart automatic greenhouse control.
Proceedings of the IEEE Biomedical Circuits and Systems Conference, 2017

2016
Communication-Aware Bandwidth-Optimized Predictive Control of Motor Drives in Electric Vehicles.
IEEE Trans. Industrial Electronics, 2016

Erratum to "Model-Driven Design of Network Aspects of Distributed Embedded Systems".
IEEE Trans. on CAD of Integrated Circuits and Systems, 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
Energy-Efficient Intrusion Detection and Mitigation for Networked Control Systems Security.
IEEE Trans. Industrial Informatics, 2015

Virtual Platform-Based Design Space Exploration of Power-Efficient Distributed Embedded Applications.
ACM Trans. Embedded Comput. Syst., 2015

Model-Driven Design of Network Aspects of Distributed Embedded Systems.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2015

Introduction to special issue on cyber-physical systems.
Microprocessors and Microsystems - Embedded Hardware Design, 2015

Simulation alternatives for the verification of networked cyber-physical systems.
Microprocessors and Microsystems - Embedded Hardware Design, 2015

HDL code generation from UML/MARTE sequence diagrams for verification and synthesis.
Design Autom. for Emb. Sys., 2015

Extensions to the UML profile for MARTE for distributed embedded systems.
Proceedings of the 2015 Forum on Specification and Design Languages, 2015

Network-Aware Virtual Platform for the Verification of Embedded Software for Communications.
Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

2014
Improving Performance of Networked Control Systems by Using Adaptive Buffering.
IEEE Trans. Industrial Electronics, 2014

A framework for design space exploration and performance analysis of networked embedded systems.
Proceedings of the 2014 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, 2014

Multi-level modeling of wireless embedded systems.
Proceedings of the 2014 Forum on Specification and Design Languages, 2014

2013
The COMPLEX reference framework for HW/SW co-design and power management supporting platform-based design-space exploration.
Microprocessors and Microsystems - Embedded Hardware Design, 2013

A Toolchain for UML-based Modeling and Simulation of Networked Embedded Systems.
Proceedings of the 15th International Conference on Computer Modelling and Simulation, 2013

Automatic Network Protocol Synthesis from UML Sequence Diagrams.
Proceedings of the 14th International Workshop on Microprocessor Test and Verification, 2013

Communication Alternatives Exploration in Model-Driven Design of Networked Embedded Systems.
Proceedings of the 14th International Workshop on Microprocessor Test and Verification, 2013

Model-driven design for the development of multi-platform smartphone applications.
Proceedings of the 2013 Forum on specification and Design Languages, 2013

Passivity-Based Control over Differentiated-Services Packet Networks.
Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

UML-Based Modeling and Simulation of Environmental Effects in Networked Embedded Systems.
Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

Model predictive control over delay-based differentiated services control networks.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
A SystemC/Matlab co-simulation tool for networked control systems.
Simulation Modelling Practice and Theory, 2012

SystemC Model Generation for Realistic Simulation of Networked Embedded Systems.
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

COMPLEX: COdesign and Power Management in PLatform-Based Design Space EXploration.
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

Generation of VHDL Code from UML/MARTE Sequence Diagrams for Verification and Synthesis.
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification.
Proceedings of the IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2012

Predictive control of networked control systems over differentiated services lossy networks.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Refinement of UML/MARTE models for the design of networked embedded systems.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Network-aware design-space exploration of a power-efficient embedded application.
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

2011
Communication-aware middleware-based design-space exploration for Networked Embedded Systems.
Proceedings of the IEEE/IFIP 19th International Conference on VLSI and System-on-Chip, 2011

Plant control over QoS-enabled packet networks.
Proceedings of the Industrial Embedded Systems (SIES), 2011

Communication-aware design flow for dependable networked embedded systems.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2011), 2011

Automatic Interface Generation for Component Reuse in HW-SW Partitioning.
Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

2010
System/network design-space exploration based on TLM for networked embedded systems.
ACM Trans. Embedded Comput. Syst., 2010

Network-adaptive management of computation energy in wireless sensor networks.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Modeling of Communication Infrastructure for Design-Space Exploration.
Proceedings of the 2010 Forum on specification & Design Languages, 2010

Exploration of Network Alternatives for Middleware-centric Embedded System Design.
Proceedings of the 13th Euromicro Conference on Digital System Design, 2010

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

Simulation of networked control systems with applications to telerobotics.
Proceedings of the European Control Conference, 2009

Time-Varying Network Fault Model for the Design of Dependable Networked Embedded Systems.
Proceedings of the 12th Euromicro Conference on Digital System Design, 2009

Flexible energy-aware simulation of heterogenous wireless sensor networks.
Proceedings of the Design, Automation and Test in Europe, 2009

2008
Variable Time Scale Multimedia Streaming Over IP Networks.
IEEE Trans. Multimedia, 2008

A HW/SW co-simulation framework for the verification of multi-CPU systems.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2008

An energy-aware co-simulation framework for the design of wireless sensor networks.
Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, 2008

SystemC Simulation of Networked Embedded Systems.
Proceedings of the Languages for Embedded Systems and their Applications, 2008

A SystemC-based Framework for Modeling and Simulation of Networked Embedded Systems.
Proceedings of the Forum on specification and Design Languages, 2008

Network Fault Model for Dependability Assessment of Networked Embedded Systems.
Proceedings of the 23rd IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2008), 2008

2007
Co-simulation framework for the Angel platform.
Proceedings of the 14th IEEE International Conference on Electronics, 2007

Gateway and Middleware Design: trusted WSN-TLC network communication and enhanced WSN management.
Proceedings of the 14th IEEE International Conference on Electronics, 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

Interactive presentation: A middleware-centric design flow for networked embedded systems.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Modeling and simulation alternatives for the design of networked embedded systems.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006
Modeling and simulation of mobile gateways interacting with wireless sensor networks.
Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, 2006

TLM/network design space exploration for networked embedded systems.
Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, 2006

2005
New sorting-based lossless motion estimation algorithms and a partial distortion elimination performance analysis.
IEEE Trans. Circuits Syst. Video Techn., 2005

Perceptually optimized MPEG compression of synthetic video sequences.
Proceedings of the 2005 International Conference on Image Processing, 2005

Variable time-scale streaming for multimedia transmission over IP networks.
Proceedings of the 13th European Signal Processing Conference, 2005

2004
Model-based distortion estimation for perceptual classification of video packets.
Proceedings of the IEEE 6th Workshop on Multimedia Signal Processing, 2004

Model-based MPEG compression of synthetic video sequences.
Proceedings of the 2004 International Conference on Image Processing, 2004

2003
Adaptive packet classification for constant perceptual quality of service delivery of video streams over time-varying networks.
Proceedings of the 2003 IEEE International Conference on Multimedia and Expo, 2003

Perceptually-evaluated loss-delay controlled adaptive transmission of MPEG video over IP.
Proceedings of IEEE International Conference on Communications, 2003

2002
Delivery of MPEG video streams with constant perceptual quality of service.
Proceedings of the 2002 IEEE International Conference on Multimedia and Expo, 2002

Interactive DSP educational platform for real-time subband audio coding.
Proceedings of the IEEE International Conference on Acoustics, 2002

2001
Adaptive picture slicing for distortion-based classification of video packets.
Proceedings of the Fourth IEEE Workshop on Multimedia Signal Processing, 2001

Distortion-Based Packet Marking For Mpeg Video Transmission Over Diffserv Networks.
Proceedings of the 2001 IEEE International Conference on Multimedia and Expo, 2001

Sobol Partial Distortion Algorithm for Fast Full Search in Block Motion Estimation.
Proceedings of the Eurographics Multimedia Workshop 2001, 2001


  Loading...