| 2005 |
|---|
| 20 | EE | Fabrizio Baldini,
Giacomo Bucci,
Enrico Vicario:
A Tool Set for Modeling and Simulation of Robotic Workcells.
FIRB-Perf 2005: 106-114 |
| 19 | EE | Giacomo Bucci,
R. Piovosi,
Luigi Sassoli,
Enrico Vicario:
Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems.
QEST 2005: 13-22 |
| 18 | EE | Giacomo Bucci,
Luigi Sassoli,
Enrico Vicario:
Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets.
IEEE Trans. Software Eng. 31(11): 913-927 (2005) |
| 2004 |
|---|
| 17 | EE | Giacomo Bucci,
Luigi Sassoli,
Enrico Vicario:
ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems.
QEST 2004: 70-79 |
| 16 | EE | Giacomo Bucci,
Andrea Fedeli,
Luigi Sassoli,
Enrico Vicario:
Timed State Space Analysis of Real-Time Preemptive Systems.
IEEE Trans. Software Eng. 30(2): 97-111 (2004) |
| 2003 |
|---|
| 15 | EE | Giacomo Bucci,
Andrea Fedeli,
Luigi Sassoli,
Enrico Vicario:
Modeling Flexible Real Time Systems with Preemptive Time Petri Nets.
ECRTS 2003: 279-286 |
| 14 | EE | Giacomo Bucci,
Andrea Fedeli,
Enrico Vicario:
Predicting Timeliness of Reactive Systems under Flexible Scheduling.
ISADS 2003: 125-130 |
| 13 | EE | Giacomo Bucci,
Andrea Fedeli,
Enrico Vicario:
Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools.
SDL Forum 2003: 203-217 |
| 1998 |
|---|
| 12 | EE | Giacomo Bucci,
Fabrizio Fioravanti,
Paolo Nesi,
Sandro Perlini:
Metrics and Tool for System Assessment.
ICECCS 1998: 36-46 |
| 1995 |
|---|
| 11 | | Giacomo Bucci:
The Impact of Software Quality.
Objective Software Quality 1995: 10-15 |
| 10 | EE | Giacomo Bucci,
Enrico Vicario:
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets.
IEEE Trans. Software Eng. 21(12): 969-992 (1995) |
| 9 | | Giacomo Bucci,
Maurizio Campanai,
Paolo Nesi:
Tools for Specifying Real-Time Systems.
Real-Time Systems 8(2-3): 117-172 (1995) |
| 1994 |
|---|
| 8 | | A. Borri,
Giacomo Bucci,
Paolo Nesi:
A Robust Tracking of 3D Motion.
ECCV (1) 1994: 181-188 |
| 7 | | Giacomo Bucci,
Riccardo Detti,
Valdo Pasqui,
Stefano Nativi:
Sharing Multimedia Data Over s Client-Server Network.
IEEE MultiMedia 1(3): 44-55 (1994) |
| 6 | EE | Giacomo Bucci,
Alberto Del Bimbo,
Simone Santini:
Performance Analysis of Two Different Algorithms for Ethernet-FDDI Interconnection.
IEEE Trans. Parallel Distrib. Syst. 5(6): 614-629 (1994) |
| 1982 |
|---|
| 5 | | Giacomo Bucci,
Dario Maio:
Merging Performance and Cost-Benefit Analysis in Computer System Evaluation.
IEEE Computer 15(9): 23-31 (1982) |
| 1979 |
|---|
| 4 | | Giacomo Bucci,
Donald N. Streeter:
A Methodology for the Design of Distributed Information Systems.
Commun. ACM 22(4): 233-245 (1979) |
| 1977 |
|---|
| 3 | | Giacomo Bucci,
S. Golinelli:
A Distributed Strategy for Resource Allocation in Information Networks.
International Computing Symposium 1977: 345-356 |
| 2 | | Giacomo Bucci,
Donald N. Streeter:
A User-Oriented Approach to the Design of Distributed Information Systems.
Performance 1977: 29-52 |
| 1976 |
|---|
| 1 | | L. Ambrosini Guaccimanni,
Giacomo Bucci:
The Influence of Computer Hardware and Communication Lines on the Cost of Distributed Compuer Systems.
Rechnernetze und Datenfernverarbeitung 1976: 61-73 |
