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

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

- - -

Giacomo BUCCI

Giacomo BUCCI

Giacomo BUCCI

Giacomo BUCCI

Giacomo BUCCI

Giacomo BUCCI

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

Insegnamenti relativi all'Anno Accademico