Tullio Vardanega

Università di Padova (University of Padua)
Dipartimento di Matematica Pura ed Applicata (Dept. of Pure and Applied Mathematics)
Via Trieste 63, 35121 Padova, Italia.
Telefono (Phone): +39 049 827 1359
Posta elettronica (Email): tullio.vardanega@math.unipd.it

Aree di ricerca (Research Areas):

Sviluppo ed analisi di sistemi software in tempo reale di tipo embedded.
(Development of real-time embedded systems.)

Processi e metodologie per lo sviluppo di sistemi software a elevata criticità.
(Processes and methodologies for the engineering of software-intensive high-integrity systems.)

Per maggiori dettagli vedere: resume.
(For more details, see: resume.)

Progetti di ricerca pluriennali e eventi organizzati (Multi-annual Research Projects and Events)

• ASSERT (2004-8)
• HRT-UML/RCM Tutorial
• RCM Interface Grammar
  
• CRTS'08
  
• CHESS (2009-11)
• ISORC'09
  
• 14th Int'l Real-Time Ada Workshop (Portovenere, 7-9 ottobre 2009)
• 15th Int'l Conference on Reliable Software Technologies - Ada-Europe 2010 (Valencia, E, 14-18 giugno 2010)
  

Insegnamenti nei Corsi di Laurea in Informatica (Teaching assignments - Computer Science)

• Ingegneria del Software mod. A. III anno laurea, 6 CFU, I trimestre
  (Software Engineering Foundations. 3rd year, 6.0 points)

• Sistemi Concorrenti e Distribuiti. I anno laurea magistrale, 8 CFU, I trimestre
  (Concurrent and Distributed Systems, 4th year, 8.0 points)

• Sistemi Real-Time. II anno laurea magistrale, 6 CFU, II trimestre
  (Real-Time Systems, 5th year, 6.0 points)
  
  
• Sistemi Operativi (vecchio ordinamento). Solo per esami.
  (Operating Systems, 2nd year, 6.0 points)
  

• Ingegneria del Software mod. A. III anno laurea, 6 CFU, I trimestre
  (Software Engineering Foundations. 3rd year, 6.0 points)

• Sistemi Concorrenti e Distribuiti. I anno laurea magistrale, 8 CFU, I trimestre
  (Concurrent and Distributed Systems, 4th year, 8.0 points)

• Sistemi Real-Time. II anno laurea magistrale, 6 CFU, II trimestre
  (Real-Time Systems, 5th year, 6.0 points)
  
  
• Sistemi Operativi (vecchio ordinamento). Solo per esami.
  (Operating Systems, 2nd year, 6.0 points)
  I appello: Quesiti. Risultati scritto.
  II appello: Quesiti. Risultati scritto.
  III appello: Quesiti. Risultati scritto.
  IV appello: Quesiti. Risultati scritto.

• Sistemi Operativi. II anno laurea triennale, 6 CFU, I trimestre
  (Operating Systems. 2nd year, 6.0 points)

• Architettura degli Elaboratori 2. Solo per esami.
  (Computer Architectures - Advanced. 2nd year, 6.0 points)
  I appello: Quesiti con soluzione. Risultati scritto.
  

• Ingegneria del Software mod. A. III anno laurea triennale, 7 CFU, I trimestre
  (Software Engineering Foundations. 3rd year, 7.0 points)

• Sistemi Concorrenti e Distribuiti. I anno laurea specialistica, 7 CFU, II trimestre
  (Concurrent and Distributed Systems, 4th year, 7.0 points)

Anni Precedenti