Tullio Vardanega

Università di Padova (University of Padua)
Dipartimento di Matematica (Dept. of 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 internazionali ed eventi di interesse (International Research Projects and Events)

• PROARTIS (EC FP7, 20010-12)
  
• CHESS (ARTEMIS, 2009-11)
  • ISORC'09
  • SEAA'10
• ASSERT (EC FP6, 2004-8)
  • HRT-UML/RCM Tutorial
  • RCM Interface Grammar
    
  • CRTS'08
    
• ECRTS-12, 24th Euromicro Conference on Real-Time Systems (Pisa, 11-13 luglio 2012)
• WCET-12, 12th International Workshop on Worst-Case Execution-Time Analysis (Pisa, 10 luglio 2012)
• JTRES, 10th International Workshop on Java Technologies for Real-time and Embedded Systems (24-26 ottobre 2012)
  
• 32nd IEEE Real-Time Systems Symposium (Vienna, A, 29 novembre - 2 dicembre 2011)
• 14th Int'l Real-Time Ada Workshop (Liebana, E, 14-16 settembre 2011)
• 16th Int'l Conference on Reliable Software Technologies - Ada-Europe 2011 (Edinburgh, UK, 20-24 giugno 2011)

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
  

• 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)
  

Anni Precedenti