Giacomo Bucci
Giacomo Bucci
Professor Computer Science and Engineering University of Florence Italy
Verified email at unifi.it
TitleCited byYear
Compositional validation of time-critical systems using communicating time Petri nets
G Bucci, E Vicario
IEEE transactions on software engineering 21 (12), 969-992, 1995
1491995
Timed state space analysis of real-time preemptive systems
G Bucci, A Fedeli, L Sassoli, E Vicario
IEEE transactions on software engineering 30 (2), 97-111, 2004
1202004
Tools for specifying real-time systems
G Bucci, M Campanai, P Nesi
Real-Time Systems 8 (2-3), 117-172, 1995
981995
Oris: a tool for modeling, verification and evaluation of real-time systems
G Bucci, L Carnevali, L Ridi, E Vicario
International journal on software tools for technology transfer 12 (5), 391-403, 2010
642010
Correctness verification and performance analysis of real-time systems using stochastic preemptive time Petri nets
G Bucci, L Sassoli, E Vicario
IEEE Transactions on Software Engineering 31 (11), 913-927, 2005
502005
Modeling flexible real time systems with preemptive time Petri nets
G Bucci, A Fedeli, L Sassoli, E Vicario
15th Euromicro Conference on Real-Time Systems, 2003. Proceedings., 279-286, 2003
482003
Integrating content-based retrieval in a medical image reference database
G Bucci, S Cagnoni, R De Dominicis
Computerized Medical Imaging and Graphics 20 (4), 231-241, 1996
421996
A methodology for the design of distributed information systems
G Bucci, DN Streeter
Communications of the ACM 22 (4), 233-245, 1979
391979
Multimedia Services in Intelligent Environments: Software Development Challenges and Solutions
GA Tsihrintzis
Springer Verlag, 2010
31*2010
Introducing probability within state class analysis of dense-time-dependent systems
G Bucci, R Piovosi, L Sassoli, E Vicario
Second International Conference on the Quantitative Evaluation of Systems …, 2005
302005
Sharing multimedia data over a client-server network
G Bucci, R Detti, V Pasqui, S Nativi
IEEE multimedia, 44-55, 1994
251994
Ontologies and Bayesian networks in medical diagnosis
G Bucci, V Sandrucci, E Vicario
2011 44th Hawaii International Conference on System Sciences, 1-8, 2011
242011
ORIS: a tool for state-space analysis of real-time preemptive systems
G Bucci, L Sassoli, E Vicario
First International Conference on the Quantitative Evaluation of Systems …, 2004
222004
Rapid assessment to solicit process improvement in SMEs
G Bucci, M Campanai, GA Cignoni
Proc. 7th European Software Process Improvement Conf.(EuroSPI), 2000
212000
Metrics and tool for system assessment
G Bucci, F Fioravanti, P Nesi, S Perlini
Proceedings. Fourth IEEE International Conference on Engineering of Complex …, 1998
181998
An object-oriented dual language for specifying reactive systems
G Bucci, M Campanai, P Nesi, M Traversi
Proceedings of IEEE International Conference on Requirements Engineering, 6-15, 1994
181994
Combining UML-MARTE and preemptive time Petri nets: An industrial case study
I Bicchierai, G Bucci, L Carnevali, E Vicario
IEEE Transactions on Industrial Informatics 9 (4), 1806-1818, 2012
162012
An Object-Oriented CASE Tool for Reactive System Specification,"
G Bucci, M Campanai, P Nesi, M Traversi
Proc. of 6th International Conference on Software Engineering and Its …, 1993
131993
Performance analysis of two different algorithms for Ethernet-FDDI interconnection
G Bucci, A Del Bimbo, S Santini
IEEE Transactions on Parallel and Distributed Systems 5 (6), 614-629, 1994
111994
A robust tracking of 3D motion
A Borri, G Bucci, P Nesi
European Conference on Computer Vision, 181-188, 1994
101994
The system can't perform the operation now. Try again later.
Articles 1–20