Follow
Giacomo Bucci
Giacomo Bucci
Professor Computer Science and Engineering University of Florence Italy
Verified email at unifi.it
Title
Cited by
Cited by
Year
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
1691995
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
1552004
Tools for specifying real-time systems
G Bucci, M Campanai, P Nesi
Real-Time Systems 8 (2), 117-172, 1995
1151995
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, 391-403, 2010
892010
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
582005
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
532003
Ontologies and Bayesian networks in medical diagnosis
G Bucci, V Sandrucci, E Vicario
2011 44th Hawaii International Conference on System Sciences, 1-8, 2011
462011
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
441996
A methodology for the design of distributed information systems
G Bucci, DN Streeter
Communications of the ACM 22 (4), 233-245, 1979
421979
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
342005
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
282004
Sharing multimedia data over a client-server network
G Bucci, R Detti, V Pasqui, S Nativi
IEEE MultiMedia 1 (03), 44-55, 1994
261994
Metrics and tool for system assessment
G Bucci, F Fioravanti, P Nesi, S Perlini
Proceedings. Fourth IEEE International Conference on Engineering of Complex …, 1998
251998
Multimedia Services in Intelligent Environments: Software Development Challenges and Solutions
GA Tsihrintzis
Springer Verlag, 2010
23*2010
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
222012
Rapid assessment to solicit process improvement in SMEs
G Bucci, M Campanai, GA Cignoni
Proc. 7th European Software Process Improvement Conf, 2000
192000
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
191994
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
151993
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
131994
Rapid assessment to solicit process improvement in small and medium-sized organizations
G Bucci, M Campanai, GA Cignoni
Software Quality Professional 4 (1), 33, 2001
122001
The system can't perform the operation now. Try again later.
Articles 1–20