Giacomo Bucci
Giacomo Bucci
Professor Computer Science and Engineering University of Florence Italy
Bestätigte E-Mail-Adresse bei unifi.it
Titel
Zitiert von
Zitiert von
Jahr
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
1591995
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
1302004
Tools for specifying real-time systems
G Bucci, M Campanai, P Nesi
Real-Time Systems 8 (2-3), 117-172, 1995
991995
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
722010
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
492003
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
411996
A methodology for the design of distributed information systems
G Bucci, DN Streeter
Communications of the ACM 22 (4), 233-245, 1979
391979
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
312005
Ontologies and Bayesian networks in medical diagnosis
G Bucci, V Sandrucci, E Vicario
2011 44th Hawaii International Conference on System Sciences, 1-8, 2011
282011
Sharing multimedia data over a client-server network
G Bucci, R Detti, V Pasqui, S Nativi
IEEE MultiMedia, 44-55, 1994
261994
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
242004
Multimedia Services in Intelligent Environments: Software Development Challenges and Solutions
GA Tsihrintzis
Springer Verlag, 2010
22*2010
Rapid assessment to solicit process improvement in SMEs
G Bucci, M Campanai, GA Cignoni
Proc. 7th European Software Process Improvement Conf.(EuroSPI), 2000
192000
Metrics and tool for system assessment
G Bucci, F Fioravanti, P Nesi, S Perlini
Proceedings. Fourth IEEE International Conference on Engineering of Complex …, 1998
191998
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
141993
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
121994
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
102001
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20