| 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 | 171 | 1995 |
| 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 | 157 | 2004 |
| Tools for specifying real-time systems G Bucci, M Campanai, P Nesi Real-Time Systems 8 (2), 117-172, 1995 | 116 | 1995 |
| 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 | 89 | 2010 |
| 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 | 58 | 2005 |
| 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 | 53 | 2003 |
| Ontologies and Bayesian networks in medical diagnosis G Bucci, V Sandrucci, E Vicario 2011 44th Hawaii International Conference on System Sciences, 1-8, 2011 | 48 | 2011 |
| 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 | 44 | 1996 |
| A methodology for the design of distributed information systems G Bucci, DN Streeter Communications of the ACM 22 (4), 233-245, 1979 | 42 | 1979 |
| 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 | 34 | 2005 |
| 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 | 28 | 2004 |
| Sharing multimedia data over a client-server network G Bucci, R Detti, V Pasqui, S Nativi IEEE MultiMedia 1 (03), 44-55, 1994 | 26 | 1994 |
| Metrics and tool for system assessment G Bucci, F Fioravanti, P Nesi, S Perlini Proceedings. Fourth IEEE International Conference on Engineering of Complex …, 1998 | 25 | 1998 |
| 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 | 22 | 2012 |
| Rapid assessment to solicit process improvement in SMEs G Bucci, M Campanai, GA Cignoni Proc. 7th European Software Process Improvement Conf, 2000 | 19 | 2000 |
| 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 | 19 | 1994 |
| 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 | 15 | 1993 |
| 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 | 13 | 1994 |
| 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 | 12 | 2001 |
Laura CarnevaliAssociate Professor, Department of Information Engineering, University of Florence在 unifi.it 的电子邮件经过验证
