Davide  Quaglia

The contents of this page are the responsibility of the person: Davide Quaglia
In caso di assenza rivolgersi alla struttura: Department of Computer Science

Fast Links Links
Foto, October 20, 2007
Qualification
Assistant Professor

Disciplinary sector
ING-INF/05 - Information Processing Systems


Office
Ca' Vignal 2,  Floor 1,  Room 60

Telephone
+39 045 802 7811

Fax
+39 045 802 7068

E-mail
davide|quaglia*univr|it <== Replace | with . and * with @ to have the right email address.

Skype
My status


Referent posts held
Referente d'Area per la Disabilità -


Documents

Curriculum

Office hours

 Scrivere email proponendo 1 o 2 combinazioni di data e ora. Please, send an email with 1 o 2 proposed time slots.

Research groups
Name Description
Electronic Systems Design (ESD) Techniques for the automatic design of electronic systems, based on formal languages and correct by construction or formally verified methodologies

Skills
Topic Description Research area
Embedded system design Design techniques for the automatic generation of embedded hardware/software starting from transactional level models (TLM) and with emphasis on: - TLM-RTL synthesis and abstraction - RTL-to-SW abstraction - TLM transactor generation - Device-driver generation - Embedded SW for multicore systems - Hardware description language-based modeling - Middleware-based design Cyber-physical systems
Computer systems organization - Embedded and cyber-physical systems
Networking systems Design techniques for networking systems, particularly devoted to: - Protocol Design and Architectures - Performance Evaluation - Network Measurement and characterization - Overlay Networks Cyber-physical systems
Networks - Network architectures
Networked embedded systems Design techniques for networked embedded systems, particularly devoted to: - networked embedded systems co-design - networked embedded systems co-simulation - QoS-based design - M2M and sensor network design Cyber-physical systems
Computer systems organization - Embedded and cyber-physical systems

Research products

Year
Type of item
Number of research products per page
publications on 50 total
 

Projects
Title Starting date
Tracciabilità integrata e verifica di processo in tempo reale applicata alla produzione di farine da cereali biologici macinati a pietra (E-FLOUR) - Joint Projects 2011 5/1/12
TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development 9/1/11
HERONS - Hierarchical Control and Fault Diagnosis of Distributed Systems 8/23/11
Tools for cOoperating Objects applications Life-cycle (TOOL) 3/1/10
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2008) 1/27/10
Architetture per la gestione integrata di sistemi di rete 1/1/10
Middleware per la tracciabilità RFID e per il monitoraggio attraverso reti di sensori 1/1/10
E-Cube: Sviluppo e sperimentazione pilota di un sistema scalabile per l'ottimizzazione dei consumi energetici 4/6/09
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite 11/7/08
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2007) 9/22/08
C4C - Control for Coordination of Distributed Systems 5/1/08
Wireless Sensing Technology for Monitoring of Food Health in Harsh Environments (MEALTHY) 12/17/07
A multimedia platform for ZigBee based home automation (Z-Home) 11/1/07
Configurable embedded platform for broadband wireless communications over transportation systems (WirelessTransPlat) 9/1/07
SiP Design Technologies for Monitoring of Food Health in Harsh Environments (MEALTH) 7/13/07
Modeling and Co-simulation Methods and Tools for the Architectural Exploration and Optimization of Smart Devices (McMEOS) - Joint Project 2005 1/1/07
ANGEL : Advanced Networked embedded platform as a Gateway to Enhance quality of Life 7/1/06
An embedded networked architecture to monitor the wine supply chain (eWINE) 6/1/06
Modellazione, simulazione e verifica di piattaforme per MPSoC (PRIN 2005) 1/30/06
Ambiente di modellazione e verifica per terminali mobili 12/1/05

Teachings in the last two academic years
Department/Faculty Name Total credits Online Teacher credits Modules offered by this teacher
Department Computer Science  Networked embedded systems (2012/2013)   6    6 
Department Computer Science  Architetture hardware di laboratorio (2012/2013)   6    6 
Department Computer Science  Networked embedded systems (2011/2012)   6    6 
Department Computer Science  Architetture hardware di laboratorio (2011/2012)   6    6 

People
Top