DEIS - Università di Bologna - L I A - Laboratorio d'Informatica Avanzata

Maurelio Boari

Maurelio Boari
Maurelio Boari
DEIS - Università di Bologna
Viale Risorgimento, 2 - 40136 - Bologna (ITALY)

Tel# ++39 51 2093043 --- Fax# ++39 51 2093073
E-Mail: mboari@deis.unibo.it

Curriculum Vitae Attività didattica attuale Attività scientifica Pubblicazioni
Curriculum Vitae
Laureato in Ingegneria Elettronica presso l’Università di Bologna è stato nominato in data 1/11/1980 professore straordinario di Calcolatori Elettronici presso la Facoltà di Ingegneria dell’Università di Bologna. Dal 26/1/1984 è professore ordinario della stessa materia.
E’ stato Direttore del Dipartimento di Elettronica, Informatica e Sistemistica dalla sua costituzione nel 1982 fino al 1988.
E’ stato Presidente del Consiglio di Corso di Laurea in Ingegneria Informatica dal 1995 al 1998.
Fa parte del Collegio dei Docenti del Dottorato di Ricerca in Ingegneria Elettronica ed Informatica dalla sua costituzione.
Ha passato periodi di studio e di ricerca all’estero presso l’Università di Berkeley, presso il Politecnico di Londra, presso il Centro di Ricerca dell’IBM di Yorktown e presso l’Università di Gainesville,Florida.
E’ delegato del Rettore dell’Università di Bologna per i progetti informatici di Ateneo e Presidente del Comitato Scientifico e di Sviluppo del Centro Servizi Informatici di Ateneo dal 1994.
E’ stato responsabile nazionale del gruppo di Docenti di Informatica delle Facoltà di Ingegneria dal 1989 al 1997.
E’ stato vice presidente dell’AICA (Associazione Italiana di Informatica e Calcolo Automatico) dal 1982 al 1985 e Membro del Consiglio Direttivo Nazionale.
E’ stato rappresentante italiano presso la comunità europea dal 1982 al 1985 nel settore del Real-Time Informatics.
E’ stato membro del Consiglio di Amministrazione di ASTER (Agenzia per lo Sviluppo Tecnologico Emilia Romagna) dal 1987 al 1994.
E’ stato membro del Comitato Tecnico-Scientifico di POSTER (Polo Scientifico Tecnologico Emilia Romagna) dalla sua fondazione fino al 1993.
E’ stato presidente del Consorzio Universitario CIDIA (Centro Internazionale di Informatica Accademica) presso l’Ateneo di Bologna dal 1990 al 1994.
E’ membro del Comitato Direttivo del Consorzio ALMA Graduate School, presso l’Ateneo di Bologna, per la realizzazione di master e di attività di formazione nel settore tecnico economico.
Ha fatto parte del Consiglio di Amministrazione della Fondazione Aldini-Valeriani dal 2000 al 2006.
Ha fatto parte del Gruppo di Indirizzo sullo sviluppo delle telecomunicazioni dal 2003 al 2006 per la Regione Emilia Romagna.
Attività didattica attuale
Docente di Sistemi Operativi per la Laurea Specialistica in Ingegneria Informatica e di Modelli ed Applicazioni in Reti di Calcolatori per la Laurea Specialistica in Ingegneria delle Telecomunicazioni presso la Facoltà di Ingegneria dell’Università di Bologna.
Docente presso il Master Universitario in Ingegneria dell’Innovazione presso l’Università di Bologna (sede di Bologna e Buenos Aires).
Responsabile scientifico e docente presso il Master Universitario Gestione dell’Innovazione Tecnologica per la Pubblica Amministrazione presso l’Università di Bologna
Attività scientifica
L’attività scientifica documentata da oltre 80 lavori pubblicati su sedi nazionali ed internazionali si è rivolta particolarmente ai seguenti settori:
    - Metodologie di Programmazione
    - Sistemi di calcolo distribuiti
    - Sistemi Operativi
    - Problemi di sicurezza in sistemi informativi
nell’ambito di tali temi è stato più volte responsabile nazionale e locale di progetti di ricerca MPI 40% e 60% e del C.N.R.
In particolare ha partecipato a due progetti finalizzati di Informatica del C.N.R con funzioni di coordinamento a livello nazionale.
Ha partecipato a numerosi progetti della Comunità Europea in collaborazione con Università ed industrie italiane ed europee.
E’ attualmente responsabile di un progetto regionale nel settore dei Servizi Web Multimodali Mobili
Lista delle pubblicazioni
  1. "Sulla elaborazione automatica di alcuni problemi relativi al colpo di ariete" Tecnica Italiana Vol.XXXI, n.1-2. 1966. 
  2. "Calcolo automatico della distribuzione di carico piezometrico e portata nelle grandi condotte forzate a a caratteristiche variabili" Tecnica Italiana Vol.XXXI, n.10, 1966. 
  3. "Simulazione dell'analizzatore differenziale numerico e sua applicazione alla risoluzione di equazioni e sistemi di equazioni integrali e integrodifferenziali" Primo Convegno Annuale ANIPLA, Roma, Ottobre 1967. 
  4. "Progetto ottimo di una linea di distribuzione di energia elettrica a carichi concentrati" L'Energia Elettrica Vol.XLV, n.10, 1968. 
  5. "Soluzione di reti elettriche complesse con il metodo dell'interdizione" Centro Calcoli e Servomeccanismi, Universita' di Bologna, 1968. 
  6. "Numerical determination of the transition matrix" Accademia Nazionale dei Lincei Vol.XLVI, n.2, Febbraio 1969. 
  7. "Sulla soluzione numerica di sistemi di equazioni differenziali lineari con condizioni al contorno" Calcolo, Vol.6, n.2, Aprile-Giugno 1969. 
  8. "Sulla analisi di stabilita' dei sistemi lineari a coefficienti periodici" Alta Frequenza Vol.XXXVIII, n.7, Luglio 1969. 
  9. "Il metodo dell'interdizione nella soluzione di sistemi algebrici lineari a grandi dimensioni" L'Energia Elettrica, Vol.XLVI, n.10, 1969.
  10. "Simulazione del flusso di studenti fra i dipartimenti di un Centro Universitario e dimensionamento dei canali di flusso" estratto dal libro "Universita' e Territorio", Nuova Italia ed., Firenze, 1969.
  11. "Un metodo di calcolo per la soluzione di strutture elastiche ad elevato numero di incognite" L'Ingegnere n.9, Settembre 1970
  12. "Introduzione al concetto di memoria virtuale" Informatica, Vol.II, n.4. 1971.
  13. Teoria e Tecnica della Ricerca Operativa" Pitagora ed., Bologna, 1972.
  14. "Metodi per l'analisi del funzionamento di una struttura sanitaria" Atti I Convegno di Bioingegneria, Milano, Giugno 1972.
  15. "Performance evaluation of a process control system" Atti XII Congresso Internazionale Automazione e Strumentazione, Milano, Novembre 1972.
  16. "Some applications of waterhammer analysis by the method of characteristics. ParteI" L'Energia Elettrica, Vol. L, n.1, 1973.
  17. "Modello matematico di un sistema sanitario regionale" Rivista di Bioingegneria, n.3, Ottobre-Dicembre 1973.
  18. "Some methodological aspects in process computer performance evaluation" Proc. 3rd. European Seminar on Real Time Programming, Ispra, Maggio 1973.
  19. "Tecniche di programmazione strutturata estese ad un ambito di processi cooperanti" Informatica, n.3-3, 1973.
  20. "Analisi del funzionamento di un sistema di calcolo con differenti categorie di utenti" Istituto di Automatica, Universita' di Bologna, Dicembre 1973.
  21. "Some applications of waterhammer analysis by the method of characteristics. Parte II" L'Energia Elettrica, Vol.LI, n.6, 1974.
  22. "Performance evaluation of a process control system by a simulation model" Computer Journal, Vol.17, n.4, Aprile 1974.
  23. "Multivariable optimal design of electronic circuits with assignment of component value spreads" Proc. of the European Conference on Circuit Theory and Design, London, luglio 1974.
  24. "Some deadlock problems in systems with a tree structured data base" Proc. IX International Symposium on Information Processing, Bled, 7-11 Ottobre, 1974.
  25. "Una soluzione strutturata per il progetto e realizzazione del software per una centrale di commutazione telefonica" Atti XIII Rassegna Internazionale Elettronica, Roma, Marzo 1975.
  26. "Synchronization techniques for a hierarchically organized data base" Istituto di Elettronica, Universita' di Bologna, Giugno 1975.
  27. "Workload definition and performance evaluation of a large computing system" Proc. of European Computing Conference, London, Settembre 1976.
  28. "Some properties of deadlock detection and recovery in the readers and writers problem" Information Processing Letters, Vol.5, n.4, Ottobre 1976.
  29. "A note on deadlock in the readers and writers problem". Computer Journal, Vol.19, n.3, Marzo 1976.
  30. "Metodi per la specifica del coordinamento di processi concorrenti" Informatica, Vol.VII, n.4, 1977.
  31. "Some considerations about the Concurrent Pascal language" Proc. II Hungarian Computer Science Conference, Budapest, Luglio 1977.
  32. "A methodological approach to the teal time software design and its use in a PCM toll office" Proceedings of the IEEE, Vol.65, n.9, Settembre 1977.
  33. "Progetto e finalizzazione del software per una centrale di commutazione telefonica" Informatica, Vol.4, 1977.
  34. "Dynamic resource management in language for real time programming" Atti del Congresso AICA, Pisa, Ottobre 1977. 
  35. "Multiple access to a tree in the context of readers and writers problem" Information Processing Letters, Vol.7, n.2, Febbraio 1978.
  36. "Resource allocation and access control in languages for system design" Lecture Notes in Applied Computer Sciences, Carl Hanser Verlag, Munchen 1979 (Proc. of the Workshop on Reliable Software, Bonn, Settembre 1978).
  37. "Protection in languages for real time programming" Lecture Notes in Computer Science, n.65, Springer Verlag, Berlin 1978 (Proc. of the II Conference on the European Cooperation in Informatics - ECI - Venezia, Ottobre 1978).
  38. "Some considerations about the problem of assigning priorities to time critical processes" Proc. XIII International Symposium on Information Processing, Bled, Ottobre 1978.
  39. "Meccanismi di allocazione e protezione in linguaggi per la programmazione concorrente" Informatica, n.4, 1979 e Atti del Convegno Honeywell "Programmazione e progetto strutturati: metodologie e strumenti", Milano 23-25 Maggio, 1979.
  40. "Metodi e strumenti per la sincronizzazione di processi concorrenti" Patron ed., Bologna 1979.
  41. "Software generation for SPC telephone exchange: an experienced engineering approach" Proc. of International Switching Symposium, Paris 7-12 Maggio 1979.
  42. "Tecniche di fault-tolerance in in sistemi concorrenti" Informatica, n.4, 1979 e Atti del Convegno Honeywell "Programmazione e progetto strutturati: metodologie e strumenti", Milano 23-25 Maggio 1979.
  43. "The MMl approach to multiple microprocessor systems" Istituto di Automatica, Dicembre 1980
    42. "An executive for Distributed Processes in a multiple microprocessor environment" 14th International Symposium on mini and microcomputers, S. Diego, U.S.A., January 1981.
  44. "An approach to the implementation of Distributed Processes" 4th International Conference on Control Systems and Computer Science, Bucarest, Giugno 1981.
  45. "Linguistic mechanisms for resource management strategies" Software Practice and Experience Vol.11, 1981.
  46. "Struttura e funzioni del nucleo per il linguaggio MML" Congresso AICA, Pavia, Settembre 1981.
  47. "Modelli ad ambiente locale per la cooperazione tra processi: comunicazione e sincronizzazione" Informatica, Vol.12, n.1-2, Gennaio-Giugno 1982.
  48. "Problemi di sincronizzazione in sistemi distribuiti" Congresso AICA, Padova, Ottobre 1982.
  49. "MML: a programming line for multiple microprocessor systems" 3rd International Conference on Distributed Computing Systems, Miami, U.S.A., Ottobre 1982.
  50. "Language features for access control" IEEE Transactions on Software Engineering, Vol.1, Gennaio 1983.
  51. "Implementazione dei costrutti CHILL per la programmazione concorrente in ambiente iAPX 432: problemi e proposta di una soluzione" Istituto di Automatica, Febbraio 1983.
  52. "Implementazione di costrutti CHILL per la programmazione concorrente in ambiente iAPX 432" Congresso AICA,, Napoli, Settembre 1983.
  53. "Concurrent programming features in CHILL language" Melecon, Atene, Maggio 1983.
  54. "Multiple - Microprocessor Programming Techniques: MML, a New Set of Tools" Computer, Vol.17, n.1, 1984.
  55. "Struttura ed organizzazione dei Sistemi Esperti" Intelligenza Artificiale: Conoscenza e Societa', Franco Angeli Ed., 1986.
  56. "An Integrated Environment to Support Construction and Operation of Reliable Distributed Applications" Proc. of IEEE International Conference on Parallel Processing and Applications, L'Aquila, Settembre 1987.
  57. "Metodologie e strumenti per la Programmazione concorrente" UTET Ed., Novembre 1987.
  58. "I linguaggi di programmazione parallela" Convegno Internazionale su 'Elaborazione Parallela', AEI, AICA, Milano, Novembre 1988.
  59. "Processi di insegnamento/apprendimento nella scuola dell'obbligo: ruolo e influenza delle metodologiche informatiche" Cesena, 9 maggio 1988, CLUEB Ed. dicembre 1988.
  60. "Sistemi esperti nella progettazione automatica di apparati centrali di segnalamento ferroviario" Atti del Convegno 'Trasporti', Bologna-Nationes Italia-Grecia, Aprile 1988.
  61. "Progettazione automatica di impianti di segnalamento ferroviario: un approccio basato su tecniche di Intelligenza Artificiale" Sistemi Esperti e I.A. nei Trasporti Terrestri, Genova, dicembre 1989.
  62. "Artificial Intelligence: Emulation vs. Simulation of Human Functions" ESAO - Novembre 1990.
  63. "Utilizzo di linguaggi ed ambienti di programmazione" Centro Calcoli Facoltà di Ingegneria, Università di Bologna, Ottobre 1990.
  64. "Programming Environments for Transputer-based Architectures" (invited paper), IEEE COMPEURO '91, Bologna (Italy), May 1991.
  65. "Ambiente di programmazione a parallelismo esplicito: PO, DISC, ASK" Convegno CNR Progetto Finalizzato: Risultati; Stato delle Ricerche e Prospettive, Franco Angeli Ed., Roma, Giugno 1991.
  66. “Definizione di un ambiente per la realizzazione di sistemi ipermediali” Rapporto interno DEIS, Maggio 1993.
  67. “A programming environment based on parallel objects for transputer architectures” , Models and Tools for Massively Parallel Architectures, CNR P.F.I. Roma, Giugno 1993.
  68. "Studio di prefattibilità per la realizzazione di un sistema di telecomunicazioni avanzate nell'area metropolitana bolognese", (Autori vari), POSTER, Novembre 1993.
  69. "Hot-spot-avoiding: an adoptive stragegy for transputer routing", Transputer 94 - Advanced Research and Industrial Applications, Saline Royale d'Arc et Senans, France, September 1994. 67 bis. "Hot-spot-avoiding: an adoptive stragegy for transputer routing", Rapporto interno DEIS, Novembre 1993.
  70. "Adaptive routing strategies for dynamic applications in massively parallel architectures", IEEE Parallel and Distributed Technology, Vol. 3, number 1, Spring 95.
  71. "Tecnologie e modelli per un'Università aperta", a cura di Maurelio Boari e Marcello Morelli - ETAS Libri. 1995.
  72. "Software, programmazione ad oggetti e informatica distribuita", Rivista della Fondazione IBM Italia, n°1, 1995.
  73. “Principi e Tecniche di Programmazione Concorrente”, II Edizione, UTET Libri, 1995. (in collaborazione con P. Ancilotti).
  74. “Architetture client-server”, Rapporto interno DEIS, 1996.
  75. “A routing strategy for object oriented applications in Massively Parallel Architectures”, Parallel Processing Letters, Vol. 7, n. 3, 1997. (in collaborazione con A. Corradi, L. Leonardi, C. Stefanelli)
  76. “Network Security in Academic Environment: a case study”, Conf. AICA, Milano, Settembre 1997. (in collaborazione con A. Corradi, R. Montanari, C. Stefanelli).
  77. "Modello di un sistema per la programmazione didattica dell'Ateneo di Bologna". Rapporto interno. Dipartimento di Elettronica, Informatica e Sistemistica. Bologna, dicembre 1999. (in collaborazione con C. Polacchini, F. Panciroli, P. Torroni).
  78. "An Expert System Approach for Clinical Analysis Result Validation". The 2000 International Conference on Artificial Intelligence (IC-AI 2000: Monte Carlo Resort, Las Vegas (USA). (in collaborazione con E.Lamma, P.Mello, S.Storari,S.Monesi).
  79. “Almanet: stato attuale e nuovi sviluppi della rete dell'Ateneo di Bologna" Convegno sulle Communicazioni. Bologna settembre 2000. ( in collaborazione con F. Del Pino) 
  80. “Commercio elettronico” Alta Frequenza ,settembre 2001 (editor) (in collaborazione con L. Donatiello)
  81. “Accessibilità ai siti internet per le persone disabili: il caso UniBo” Conf. AICA, Trento Settembre 2003 (in coll. Con P.L Ridolfi, L. Garlaschelli).
  82. “Sistemi Operativi”.Mc Graw Hill settembre 2004 (in collaborazione con P.Ancillotti, A.Ciampolini , G.Lipari)
  83. Servizi Web Interattivi per la TV Digitale terrestre ottobre 2005 Congresso AICA ( in collaborazione con A. Corradi, M.Roccetti, C. Stefanelli).
  84. “Middleware for automatic dynamic reconfiguration of context-driven services” Proceedings of the 11 IEEE Symposium on Computers and Communications, Pula, Italy, June 2006
  85. “Programmazione concorrente e distribuita” Mc Graw Hill, ottobre 2006(in collaborazione con P.Ancillotti)

About this Server
About this Server		 Mail to DocMaster
DocMaster		 Mail to WebMaster
LIA WebMaster
[LIA Home] [LIA Staff] [DEIS Staff] [DEIS Home] [Alma Mater Home]