Davide Quaglia

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2018

Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Network Synthesis for Distributed Embedded Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2018

Beyond Time-Triggered Co-simulation of Cyber-Physical Systems for Performance and Accuracy Improvements.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Enrico Fraccaroli

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

Efficient Simulation of Faults in Networked Cyber-Physical Systems.

[BibT_eX]

[DOI]

Enrico Fraccaroli

Proceedings of the Conference on Design of Circuits and Integrated Systems, 2018

A SystemC-based Simulator for design space exploration of smart wireless systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Hardware/Software Codesign., 2017

CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2017

A Low-Complexity Eyewear System for Direction-based Augmented Reality Applications.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems, 2017

Scalable open source smart grid simulator (SGSim).

[BibT_eX]

[DOI]

Emad Ebeid

Rune Hylsberg Jacobsen

Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2017

EXPO-AGRI: Smart automatic greenhouse control.

[BibT_eX]

[DOI]

Proceedings of the IEEE Biomedical Circuits and Systems Conference, 2017

2016

Communication-Aware Bandwidth-Optimized Predictive Control of Motor Drives in Electric Vehicles.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2016

Erratum to "Model-Driven Design of Network Aspects of Distributed Embedded Systems".

[BibT_eX]

[DOI]

Emad Ebeid

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

Energy-Efficient Intrusion Detection and Mitigation for Networked Control Systems Security.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2015

Virtual Platform-Based Design Space Exploration of Power-Efficient Distributed Embedded Applications.

[BibT_eX]

[DOI]

Parinaz Sayyah

Mihai T. Lazarescu

Sara Bocchio

ACM Trans. Embed. Comput. Syst., 2015

Model-Driven Design of Network Aspects of Distributed Embedded Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

Introduction to special issue on cyber-physical systems.

[BibT_eX]

[DOI]

Marc Geilen

Microprocess. Microsystems, 2015

Simulation alternatives for the verification of networked cyber-physical systems.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2015

HDL code generation from UML/MARTE sequence diagrams for verification and synthesis.

[BibT_eX]

[DOI]

Emad Ebeid

Des. Autom. Embed. Syst., 2015

Extensions to the UML profile for MARTE for distributed embedded systems.

[BibT_eX]

[DOI]

Julio L. Medina

Proceedings of the 2015 Forum on Specification and Design Languages, 2015

Network-Aware Virtual Platform for the Verification of Embedded Software for Communications.

[BibT_eX]

[DOI]

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

2014

Improving Performance of Networked Control Systems by Using Adaptive Buffering.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2014

A framework for design space exploration and performance analysis of networked embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, 2014

Multi-level modeling of wireless embedded systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Chantal Ykman-Couvreur

Francisco Ferrero

Raúl Valencia

Microprocess. Microsystems, 2013

A Toolchain for UML-based Modeling and Simulation of Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Computer Modelling and Simulation, 2013

Automatic Network Protocol Synthesis from UML Sequence Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 14th International Workshop on Microprocessor Test and Verification, 2013

Communication Alternatives Exploration in Model-Driven Design of Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th International Workshop on Microprocessor Test and Verification, 2013

Communications in cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd Mediterranean Conference on Embedded Computing, 2013

Cyber-physical systems: Modeling, simulation, design and validation.

[BibT_eX]

[DOI]

Proceedings of the 2nd Mediterranean Conference on Embedded Computing, 2013

Model-driven design for the development of multi-platform smartphone applications.

[BibT_eX]

[DOI]

G. Botturi

Proceedings of the 2013 Forum on specification and Design Languages, 2013

Passivity-Based Control over Differentiated-Services Packet Networks.

[BibT_eX]

[DOI]

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

UML-Based Modeling and Simulation of Environmental Effects in Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

A Physical-Aware Abstraction Flow for Efficient Design-Space Exploration of a Wireless Body Area Network Application.

[BibT_eX]

[DOI]

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

Model predictive control over delay-based differentiated services control networks.

[BibT_eX]

[DOI]

Paolo Fiorini

Proceedings of the Design, Automation and Test in Europe, 2013

2012

A SystemC/Matlab co-simulation tool for networked control systems.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2012

SystemC Model Generation for Realistic Simulation of Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

COMPLEX: COdesign and Power Management in PLatform-Based Design Space EXploration.

[BibT_eX]

[DOI]

Chantal Ykman-Couvreur

Francisco Ferrero

Raúl Valencia

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

Generation of VHDL Code from UML/MARTE Sequence Diagrams for Verification and Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Paolo Fiorini

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Refinement of UML/MARTE models for the design of networked embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Network-aware design-space exploration of a power-efficient embedded application.

[BibT_eX]

[DOI]

Parinaz Sayyah

Mihai T. Lazarescu

Sara Bocchio

Alberto Rosti

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP 19th International Conference on VLSI and System-on-Chip, 2011

Plant control over QoS-enabled packet networks.

[BibT_eX]

[DOI]

Paolo Fiorini

Proceedings of the Industrial Embedded Systems (SIES), 2011

Communication-aware design flow for dependable networked embedded systems.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2011), 2011

Automatic Interface Generation for Component Reuse in HW-SW Partitioning.

[BibT_eX]

[DOI]

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

2010

System/network design-space exploration based on TLM for networked embedded systems.

[BibT_eX]

[DOI]

Nicola Bombieri

ACM Trans. Embed. Comput. Syst., 2010

Network-adaptive management of computation energy in wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Modeling of Communication Infrastructure for Design-Space Exploration.

[BibT_eX]

Proceedings of the 2010 Forum on specification & Design Languages, 2010

Exploration of Network Alternatives for Middleware-centric Embedded System Design.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 6th Annual International Conference on Mobile and Ubiquitous Systems: Computing, 2009

Simulation of networked control systems with applications to telerobotics.

[BibT_eX]

[DOI]

Proceedings of the 10th European Control Conference, 2009

Time-Varying Network Fault Model for the Design of Dependable Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th Euromicro Conference on Digital System Design, 2009

Flexible energy-aware simulation of heterogenous wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2009

2008

Variable Time Scale Multimedia Streaming Over IP Networks.

[BibT_eX]

[DOI]

IEEE Trans. Multim., 2008

A HW/SW co-simulation framework for the verification of multi-CPU systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, 2008

SystemC Simulation of Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Languages for Embedded Systems and their Applications, 2008

A SystemC-based Framework for Modeling and Simulation of Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2008

Network Fault Model for Dependability Assessment of Networked Embedded Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Electronics, 2007

Gateway and Middleware Design: trusted WSN-TLC network communication and enhanced WSN management.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Electronics, 2007

AME: an abstract middleware environment for validating networked embedded systems applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

Interactive presentation: A middleware-centric design flow for networked embedded systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, 2006

TLM/network design space exploration for networked embedded systems.

[BibT_eX]

[DOI]

Nicola Bombieri

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.

[BibT_eX]

[DOI]

Bartolomeo Montrucchio

IEEE Trans. Circuits Syst. Video Technol., 2005

Perceptually optimized MPEG compression of synthetic video sequences.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on Image Processing, 2005

Variable time-scale streaming for multimedia transmission over IP networks.

[BibT_eX]

[DOI]

Proceedings of the 13th European Signal Processing Conference, 2005

2004

Model-based distortion estimation for perceptual classification of video packets.

[BibT_eX]

[DOI]

Fabio De Vito

Proceedings of the IEEE 6th Workshop on Multimedia Signal Processing, 2004

Model-based MPEG compression of synthetic video sequences.

[BibT_eX]

[DOI]

Angelo Gattuso

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.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE International Conference on Multimedia and Expo, 2003

Perceptually-evaluated loss-delay controlled adaptive transmission of MPEG video over IP.

[BibT_eX]

[DOI]

Gabriele Davini

Claudio Casetti

Proceedings of IEEE International Conference on Communications, 2003

2002

Delivery of MPEG video streams with constant perceptual quality of service.

[BibT_eX]

[DOI]

Proceedings of the 2002 IEEE International Conference on Multimedia and Expo, 2002

Interactive DSP educational platform for real-time subband audio coding.

[BibT_eX]

[DOI]

Alfonso Montuori

Eros Pasero

Proceedings of the IEEE International Conference on Acoustics, 2002

2001

Adaptive picture slicing for distortion-based classification of video packets.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE Workshop on Multimedia Signal Processing, 2001

Distortion-Based Packet Marking For Mpeg Video Transmission Over Diffserv Networks.

[BibT_eX]

[DOI]

Proceedings of the 2001 IEEE International Conference on Multimedia and Expo, 2001

Sobol Partial Distortion Algorithm for Fast Full Search in Block Motion Estimation.

[BibT_eX]

[DOI]