_SKIPNAVIGATION
ITA |
ENG
Cerca nel sito
CercaChi
Servizi online
Dipartimenti
Scuole
Ateneo
Storia e profilo
Statuto e normativa
Organi
Strutture
Piano Strategico di Ateneo
Piano integrato
Piano di uguaglianza di genere
Personale
Organizzazione amministrativa
Bandi di gara e procedure immobiliari
Bilanci
Assicurazione della Qualità
Amministrazione trasparente
Sistema archivistico di ateneo
Privacy policy
Protezione dati
Elezioni
Didattica
Corsi di laurea
Corsi internazionali
Master
Perfezionamento Aggiornamento Formazione continua
Corsi singoli
Ricerca insegnamenti
Segreterie didattiche Scuole
Scuole di specializzazione
Dottorati di ricerca
Istituto Universitario di Studi Superiori dell'Ateneo di Firenze
Digital Learning
Piattaforme e-learning
Formazione insegnanti
Valutazione della didattica
Ricerca
Opportunità di finanziamento
Progetti finanziati
Piano Nazionale Ripresa Resilienza - PNRR
FLORE - Prodotti della ricerca
Scienza aperta in Ateneo
Infrastrutture di ricerca
Qualità e valutazione
Commissione etica
Human Resources Strategy for Researchers
Osservatorio della Ricerca
Assegni di ricerca
Lavora con noi
Terza missione
Trasferimento tecnologico
Career service
Public engagement
Sostenibilità
Internazionalizzazione
Destinazione Unifi
Studenti internazionali
Studenti con protezione internazionale
Corsi internazionali
Erasmus e Mobilità internazionale
Docenti e ricercatori internazionali
Accordi internazionali
Cooperazione allo sviluppo
EUniWell
Iniziative e reti internazionali
Cattedre UNESCO
Centro di eccellenza Jean Monnet
UnifiOrienta
Orientamento in ingresso | Studiare a Firenze
Orientamento in itinere
Orientamento al lavoro - placement
Unifi ti dà il benvenuto
Iscrizioni
TOLC
Immatricolazioni e iscrizioni
Tasse e contributi universitari
Calendario scadenze
Segreterie studenti
Modulistica
FAQ | Come fare per
Manifesto degli studi
Studenti internazionali
Studenti con disabilità o DSA
Esami di stato
Iniziative per esigenze specifiche
Rappresentanza e tutela
Carta Studente della Toscana
Servizi agli studenti
Stage e tirocini
Borse e incentivi
Servizi | Sportelli
Mense e alloggi
Studiare la sera e il sabato
Sedi, trasporti e mobilità
Corsi di lingua
Assicurazioni
Convenzioni
Salute
Vivere l'università
Teatro e musica
Associazioni studentesche
Iniziative studentesche
Servizio Civile
Sport
Mobilità
Biblioteche
UNIFI comunica
Piano di Comunicazione
Immagine coordinata
Store dell'Università di Firenze
Ufficio Stampa
Social Network
UNIFI App
Video live
Agenda
UnifiMagazine
Laboratorio multimediale
URP
Pubblicazioni di Ateneo area download
Rassegna stampa
Personale
Recapiti
Pagina Cercachi
Orario di ricevimento
Italiano
Biografia
Curriculum
Interessi
Pubblicazioni
Insegnamenti
Giacomo BUCCI
Ruolo attuale:
Professore Ordinario Emerito
SSD:
ING-INF/05 - Sistemi di elaborazione delle informazioni
Afferenza organizzativa:
Dipartimento di Ingegneria dell'Informazione
Recapiti
0552758635
giacomo.bucci(AT)unifi.it
Ulteriori Recapiti
055 4796266
bucci(AT)dsi.unifi.it
http://www.dsi.unifi.it/~bucci/
Giacomo BUCCI
Orario di ricevimento (aggiornato al 07/03/2012)
Lunedì 9:15-10:15
Martedì 10:30-12:30
Giacomo BUCCI
Biografia
Giacomo Bucci received his degree in Electrical Engineering from the University of Bologna, Italy,1968.
During 1970 he was a Researcher of Italian Research National Council (CNR).
In 1971 he became Assistant Professor at the Department of Electronics of the University of Bologna.
Starting from 1973, he has taught courses in Computer Science. As an Associate Professor, he has taught a course in Programming Languages for five years at the University of Bologna and a course in Switching Theory and Finite Automata for more than ten years in the University of Florence.
Since 1986 he has been a Full Professor in Computer Science at the University of Florence, Faculty of Engineering, where he has been teaching a course in Computer Architectures. (His book on Computer Architectures is widely adopted by Italian Universities.)
Since 1993 he has also been teaching a course in Software Engineering.
He has been a member of CNR's Centro di Studio per l'Interazione Operatore Calcolatore (CIOC), from 1970 to 1983. During 1975, he was a visiting researcher at IBM T.J. Watson Research Center, Yorktown Heights, NY, USA.
From 1991 to 2000 he was the scientific coordinator of CQ_ware, a Center for Software Quality, which was established by the local authorities in the area of Florence, to promote Technology Development and Innovation.
During the academic year 1992-1993 he was the chairman of the Consiglio di Corso di Laurea in Ingegneria Informatica, at the Faculty of Engineering, University of Florence.
From 1993 to 1996 he headed the Center for Information and Communication Services of the University of Florence.
From November 2000 to November 2006 he headed the Department of Systems e Informatics at the University of Florence.
Since 1991 G. Bucci is the coordinator of the PhD doctorate in Information and Telecommunication Engineering, at the University of Florence.
Giacomo BUCCI
Curriculum
In the early seventies, Giacomo Bucci worked on computer networks and distributed systems. He developed one of the first remote terminal simulators, to connect a minicomputer to a large computer system. That simulator was used in several Italian and European installations. He worked also on the problem of optimal resource allocation in distributed
systems.
During the period in which he visited the IBM Research Center and during the following years, he has been actively involved in computer performance evaluation. He developed an evaluation methodology which takes into account technical performance aspects and also economic issues associated with computer system usage.
He has been active in the area of operating systems. He has designed and implemented a number of real-time kernels for academic and industrial applications. He has also ported one such kernel in the firmware of a factory designed CPU, which was the central element of an embedded computer system produced by an Italian firm. He has designed the operating software of a variety of embedded (micro)computer systems.
He has evaluated the performance of different interconnection systems, including bridges between different kind of networks (for instance FDDI and Ethernet). He has been the chief architect in the design of a federated (distributed) Data Base developed as part of a project of the RACE program. He has participated in the definition of the user interface,
for medical users, of the client station of that system.
His current research interests include software engineering, object-oriented programming, software development methodologies, use of ontologies in information systems, distributed systems, real-time systems and performance evaluation.
Giacomo Bucci is the author of more than hundred publications, some of which have been published in top journals in computer science. He has been in scientific and technical committees of international conferences. He has lectured in Italy and abroad. He has widely consulted for private and public Italian firms. Some of the systems he has designed have been successfully sold on the international market. He has been responsible of many research projects. He has participated in nation-wide projects sponsored by Italian CNR. He participated in European projects of ESPRIT, RACE and ESSI programs.
Giacomo BUCCI
Interessi
His current research interests include software engineering, object-oriented programming, software development methodologies, use of ontologies in information systems, distributed systems, real-time systems and performance evaluation.
Giacomo BUCCI
Pubblicazioni
Legenda
Contributo su rivista |
Articolo su libro |
Libro |
Contributo in atti di convegno (proceeding) |
Brevetto |
Curatela |
Altro |
Tesi di Dottorato
Giannetti F.; Chirici G.; Paoletti E.; Borghetti M.; Corona P.; Bucci G. (2016). Assessing the bibliometric productivity of forest scientists in Italy. ANNALS OF SILVICULTURAL RESEARCH, vol. 40, pp. 19-30, ISSN:2284-354X
DOI
Accesso ONLINE all'editore
I. Bicchierai;G. Bucci;L. Carnevali;E. Vicario (2013). Combining UML-MARTE and preemptive Time Petri Nets: An Industrial Case Study. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, vol. 9, pp. 1806-1818, ISSN:1551-3203
DOI
Accesso ONLINE all'editore
Irene Bicchierai;Giacomo Bucci;Carlo Nocentini;Enrico Vicario (2013). Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems. In: 18th Ada-Europe International Conference on Reliable Software Technologies, Springer Berlin Heidelberg, vol. 7896, pp. 95-108, ISBN:9783642386008
DOI
Irene Bicchierai; Giacomo Bucci; Carlo Nocentini; Enrico Vicario (2012). An Ontological Approach to Systematization of SW-FMEA. In: 31st International Conference on Computer Safety, Reliability, and Security SAFECOMP 2012, Springer Berlin Heidelberg, vol. 7612, pp. 173-184, ISBN:9783642336775
DOI
Irene Bicchierai; Giacomo Bucci; Carlo Nocentini; Enrico Vicario (2012). Integrating metrics in an ontological framework supporting SW-FMEA. In: 3rd International Workshop on Emerging Trends in Software Metrics (WETSoM 2012), IEEE, pp. 35-41, ISBN:9781467317634
DOI
G. Bucci; V. Sandrucci; E. Vicario (2011). Ontologies and Bayesian Networks in MedicalDiagnosis. In: HICSS-44, Hawaii, 4-7 Gennaio 2011, pp. 1-8, ISBN:9780769542829
G. Bucci; V. Sandrucci; E. Vicario (2010). An Ontological SW Architecture supporting contribution and retrieval of service and process models. In: AA-VV. Multimedia Services in Intelligent Environments - Integrated Systems, vol. 2, Studies in Computational Intelligence, pp. 63-80, Warszawa: Springer.
G. Bucci; V. Sandrucci; E. Vicario (2010). Ontology-driven enterprise applicationintegration. In: SEKE 2010, San Francisco - USA, 1-3 luglio 2010, pp. 54-60, ISBN:9781891706264
G. Bucci; L. Carnevali; L. Ridi; E. Vicario (2010). Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 12, pp. 391-403, ISSN:1433-2779
DOI
G. Bucci; V. Sandrucci; E. Vicario (2009). An Ontological SW Architecture supporting annotation and retrieval of Digital Resources. In: EVA Florence 2009, pp. 1-11.
G. Bucci (2009). Calcolatori Elettronici - Architettura e organizzazione. Milano: MC Graw Hill
G. Bucci; V. Sandrucci; E. Vicario (2008). An Ontological SW Architecture Supporting Agile Development of Semantic Portals. In: J. Filipe, B. Shishkov, M. Helfert, L. Maciaszek. Software and Data Technologies, pp. 185-200, Francoforte: Springer Verlag, ISBN:9783540886549.
G. Bucci; L. Carnevali; E. Vicario (2008). A tool supporting evaluation of non-MarkovianFault Trees. In: Quest 2008, St. Malo, settembre 2008, IEEE, pp. 67-76, ISBN:9780769533605
G. Bucci; V. Sandrucci; E. Vicario (2008). Potenzialità del paradigma ontologico nello sviluppo di applicazioni di eGovernment. INFORMATICA E DIRITTO, vol. XVII, pp. 1-10, ISSN:0390-0975
G. Bucci; V. Sandrucci; E. Vicario (2008). An Incremental Approach to Software ReengineeringBased on Object-Relational Mapping. In: ICSoft 2008, vol. II, pp. 165-173, ISBN:9789898111524
G. Bucci; V. Sandrucci; E. Vicario; S. Mecca (2007). An Ontological Sw Architecture For The Development Of Cooperative Web Portals. In: ICSoft, Barcellona, luglio 2007, pp. 48-55, ISBN:9789898111067
G Bucci; F.Baldini; L.Grassi; E.Vicario (2007). Test coverage analysis for object oriented programs. In: ICSOFT 2007, Barcellona, Luglio 2007, pp. 95-108, ISBN:9789898111050
G. BUCCI (2006). Architettura e organizzazione dei calcolatori elettronici - Strutture avanzate. MIlano: Mc Graw Hill
G. BUCCI (2005). Architettura e organizzazione dei calcolatori elettronici - Fondamenti. MIlano: Mc Graw Hill
G. BUCCI; L. SASSOLI; E. VICARIO (2005). Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 31, pp. 913-927, ISSN:0098-5589
G. BUCCI; E. VICARIO; R. PIOVOSI; L. SASSOLI (2005). INTRODUCING PROBABILITY WITHIN STATE CLASS ANALYSIS OF DENSE-TIME-DEPENDENT SYSTEMS. In: QEST 2005, TORINO, pp. 13-22, ISBN:0769524273
DOI
G. BUCCI; E. VICARIO; F. BALDINI (2005). A TOOL SET FOR MODELING AND SIMULATION OF ROBOTIC WORKCELLS. In: FIRB-PERF WORKSHOP TECHNIQUES, METHODOLOGIES AND TOOLS FOR PERFORMANCE EVALUATION OF COMPLEX SYSTEMS, TORINO, pp. 106-114.
G. BUCCI; L. SASSOLI; E. VICARIO (2004). ORIS: A TOOL FOR STATE-SPACE ANALYSIS OF REAL-TIME PREEMPTIVE SYSTEMS. In: QEST 2004, ENSCHEDE, pp. 70-79, ISBN:0769521851
G. BUCCI; FEDELI A.; SASSOLI L.; VICARIO E. (2004). Timed state space analysis of real-time preemptive systems. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 30, pp. 97-111, ISSN:0098-5589
G. BUCCI; E. VICARIO; A. FEDELI (2003). MODELING AND VALIDATING TIMED SYSTEMS USING STANDARD SDL TOOLS. In: 11TH SDL FORUM 2003, STUTTGART, pp. 279-286.
G. BUCCI; A. FEDELI; E. VICARIO; L. SASSOLI (2003). MODELING FLEXIBLE REAL TIME SYSTEMS WITH PREEMPTIVE TIME PETRI NETS. In: 15TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PORTO, pp. 279-286.
G. BUCCI; E. VICARIO; L. SASSOLI (2003). A DISCRETE TIME MODEL FOR PERFORMANCE EVALUATION AND CORRECTNESS VERIFICATION OF REAL TIME SYSTEMS. In: 10TH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS, URBANA, ILLINOIS, pp. 134-143.
G. BUCCI; A. FEDELI; E. VICARIO (2003). PREDICTING TIMELINESS OF REACTIVE SYSTEMS UNDER FLEXIBLE SCHEDULING. In: ISADS 2003, INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PISA, pp. 125-130, ISBN:9780769518763
G. BUCCI; A. FEDELI; E. VICARIO (2002). USING PETRI NETS IN EVALUATING MOBILE COMMUNICATION SYSTEMS: A CASE STUDY. In: SOFTCOM 2002, ANCONA-DUBROVNIK- VENEZIA.
G. BUCCI; CAMPANAI M; CIGNONI C. A (2001). Rapid assessment to solicit process improvement in small and medium-sized organizations. SOFTWARE QUALITY PROFESSIONAL, vol. 4, pp. 33-41, ISSN:1522-0540
G. BUCCI (2001). Architetture dei calcolatori elettronici. Milano: Mc Graw Hill
G. BUCCI; A. EVANGELISTI; F. FIORAVANTI; P. NESI (2001). THE ROLE OF SOFTWARE QUALITY ASSESSMENT IN MEDICAL EQUIPMENT. In: MEDICON 2001, POLA.
G. BUCCI; M. CAMPANAI; M. CIGNONI (2000). RAPID ASSESSMENT TO SOLICIT PROCESS IMPROVEMENT IN SMES. In: EUROSPI 2000, COPENHAGEN.
G. BUCCI; F. FIORAVANTI; P. NESI; S. PERLINI (1998). METRICS AND TOOLS FOR SYSTEMS ASSESSMENT. In: 4TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, MONTEREY, CALIFORNIA, pp. 36-47.
G. BUCCI; P. NESI (1998). OVERHEAD ESTIMATION AND COMPARISON FOR MULTITASKING OPERATING SYSTEMS FOR PERSONAL COMPUTERS. In: PDCN'98, 2ND IASTED INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING AND NETWORKS, BRISBANE.
G. BUCCI; M. BRUNO; P. NESI (1997). LIFE-CYCLE FOR OBJECT-ORIENTED SPECIFICATION MODELS. In: 23RD EUROMICRO CONFERENCE/IEEE, BUDAPEST, UNGHERIA, pp. 2-7.
G. BUCCI; S. CAGNONI; R. DE DOMINICIS (1996). INTEGRATING CONTENT-BASED RETRIEVAL IN A MEDICAL IMAGE REFERENCE DATABASE. COMPUTERIZED MEDICAL IMAGING AND GRAPHICS, vol. 20, pp. 213-241, ISSN:0895-6111
Giacomo Bucci;Maurizio Campanai;Paolo Nesi (1995). Tools for specifying real-time systems. REAL-TIME SYSTEMS, vol. 8, pp. 117-172, ISSN:0922-6443
DOI
G. BUCCI; E. VICARIO (1995). Compositional validation of time-critical systems using Communicating Petri Nets. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 21, pp. 969-992, ISSN:0098-5589
G. BUCCI; DEL BIMBO A.; SANTINI S. (1994). Performance analysis of two different algorithms for Ethernet-FDDI interconnection. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, vol. 5, pp. 614-629, ISSN:1045-9219, IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667:
G. Bucci;M. Campanai;P. Nesi;M. Traversi (1994). An object-oriented dual language for specifying reactive systems. In: Proceedings of IEEE International Conference on Requirements Engineering, pp. 6-15, ISBN:0818654805
DOI
G. BUCCI; R. DETTI; S. NATIVI; V. PASQUI (1994). Sharing multimedia data over a client-server network. IEEE MULTIMEDIA, vol. 1, pp. 44-55, ISSN:1070-986X
A. Borri;G. Bucci;P. Nesi (1994). A robust tracking of 3D motionComputer Vision. In: ECCV '94, vol. 800, pp. 181-188, ISBN:9783540483984
DOI
G. BUCCI; PEZZI G.; SALMON M. (1984). On-line pneumatic cigarette inspection device based on two tightly coupled microprocessors. IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, vol. 31, pp. 90-97, ISSN:0278-0046, IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667:
G. Bucci; D. Maio (1982). Merging performance and cost-benefit analyses in computer systemevaluation. COMPUTER, vol. 15, pp. 23-31, ISSN:0018-9162
G. BUCCI; BUCCI G.; BALDASSARRI F (1981). A microprogrammed CPU with a microcoded operating system kernel. COMPUTER, vol. 14, pp. 81-90, ISSN:0018-9162, IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667:
G. BUCCI; STREETER D. (1979). A methodology for the design of distributed computer systems. COMMUNICATIONS OF THE ACM, vol. 22, pp. 233-245, ISSN:0001-0782, ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318:
Giacomo BUCCI
Insegnamenti relativi all'Anno Accademico
2014-2015
2013-2014
2012-2013
2011-2012
2010-2011
2009-2010
2008-2009
2007-2008
2006-2007
- - -