Giacomo Bucci

Publication Activity (10 Years)

Years Active: 1976-2015
Publications (10 Years): 0

Top Topics

Safety Critical

Adaptive Systems

Top Venues

Int. J. Crit. Comput. Based Syst.

IEEE Trans. Ind. Informatics

Publications

Irene Bicchierai, Giacomo Bucci, Enrico Vicario
Supporting SW-FMEA through an ontology-based methodology. Int. J. Crit. Comput. Based Syst. 6 (1) (2015)
Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems. Ada-Europe (2013)
Irene Bicchierai, Giacomo Bucci, Laura Carnevali, Enrico Vicario
Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study. IEEE Trans. Ind. Informatics 9 (4) (2013)
Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario
Integrating metrics in an ontological framework supporting SW-FMEA. WETSoM (2012)
Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario
An Ontological Approach to Systematization of SW-FMEA. SAFECOMP (2012)
Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario
Ontologies and Bayesian Networks in Medical Diagnosis. HICSS (2011)
Giacomo Bucci, Laura Carnevali, Lorenzo Ridi, Enrico Vicario
Oris: a tool for modeling, verification and evaluation of real-time systems. Int. J. Softw. Tools Technol. Transf. 12 (5) (2010)
Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario
Ontology-Driven Enterprise Application Integration. SEKE (2010)
Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario
An Incremental Approach to Software Reengineering Based on Object-Data Mapping. ICSOFT (SE/MUSE/GSDCA) (2008)
Giacomo Bucci, Laura Carnevali, Enrico Vicario
A Tool Supporting Evaluation of Non-markovian Fault Trees. QEST (2008)
Fabrizio Baldini, Giacomo Bucci, Leonardo Grassi, Enrico Vicario
Test Coverage Analysis for Object Oriented Programs - Structural Testing Through Aspect Oriented Instrumentation. ICSOFT (PL/DPS/KE/MUSE) (2007)
Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario
An Ontological SW Architecture Supporting Agile Development of Semantic Portals. ICSOFT/ENASE (Selected Papers) (2007)
Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario, Saverio Mecca
An Ontological SW Architecture for the Development of Cooperative Web Portals. ICSOFT (SE) (2007)
Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario
Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. QEST (2005)
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) (2005)
Fabrizio Baldini, Giacomo Bucci, Enrico Vicario
A Tool Set for Modeling and Simulation of Robotic Workcells. FIRB-Perf (2005)
Giacomo Bucci, Luigi Sassoli, Enrico Vicario
ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. QEST (2004)
Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario
Timed State Space Analysis of Real-Time Preemptive Systems. IEEE Trans. Software Eng. 30 (2) (2004)
Giacomo Bucci, Luigi Sassoli, Enrico Vicario
A discrete time model for performance evaluation and correctness verification of real time systems. PNPM (2003)
Giacomo Bucci, Andrea Fedeli, Enrico Vicario
Predicting Timeliness of Reactive Systems under Flexible Scheduling. ISADS (2003)
Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario
Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. ECRTS (2003)
Giacomo Bucci, Andrea Fedeli, Enrico Vicario
Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools. SDL Forum (2003)
Giacomo Bucci, Fabrizio Fioravanti, Paolo Nesi, Sandro Perlini
Metrics and Tool for System Assessment. ICECCS (1998)
Giacomo Bucci
The Impact of Software Quality. Objective Software Quality (1995)
Giacomo Bucci, Paolo Nesi
Using TOOMS/TROL for specifying a cellular phone. RTS (1995)
Giacomo Bucci, Riccardo Mattolini, Enrico Vicario
Automatic transition from rapid prototyping to target code for distributed systems. ISADS (1995)
Giacomo Bucci, Maurizio Campanai, Paolo Nesi
Tools for Specifying Real-Time Systems. Real Time Syst. 8 (2-3) (1995)
Giacomo Bucci, Enrico Vicario
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets. IEEE Trans. Software Eng. 21 (12) (1995)
Giacomo Bucci, Maurizio Campanai, Paolo Nesi, Marcello Traversi
An object-oriented dual language for specifying reactive systems. ICRE (1994)
A. Borri, Giacomo Bucci, Paolo Nesi
A Robust Tracking of 3D Motion. ECCV (1) (1994)
Giacomo Bucci, Riccardo Detti, Valdo Pasqui, Stefano Nativi
Sharing Multimedia Data Over s Client-Server Network. IEEE Multim. 1 (3) (1994)
Giacomo Bucci, Riccardo Mattolini, Enrico Vicario
Supporting Process Migration Through Communicating Petri Nets. PDP (1994)
Giacomo Bucci, Alberto Del Bimbo, Simone Santini
Performance Analysis of Two Different Algorithms for Ethernet-FDDI Interconnection. IEEE Trans. Parallel Distributed Syst. 5 (6) (1994)
Giacomo Bucci, Riccardo Mattolini, Enrico Vicario
A framework for the development of object-oriented distributed systems. ISADS (1993)
Giacomo Bucci, Riccardo Mattolini, Enrico Vicario
Using communicating Petri nets to implement parallel computation in single-tasking operating systems. PDP (1993)
Giacomo Bucci, Riccardo Detti, Stefano Nativi, Valdo Pasqui
Loosely coupled workstations in a radiological image information system. Future Gener. Comput. Syst. 8 (1-3) (1992)
Giacomo Bucci, Enrico Vicario
Rapid prototyping through communicating Petri nets. RSP (1992)
Giacomo Bucci, Roberto Cecchini, Alberto Del Bimbo
CSL: A class specification language for object-oriented design. Microprocessing and Microprogramming 28 (1-5) (1990)
Alessandro Bellini, Giacomo Bucci
Open system architecture for distributed image-reference database in radiological applications. VCIP (1990)
Giacomo Bucci, Dario Maio
Merging Performance and Cost-Benefit Analysis in Computer System Evaluation. Computer 15 (9) (1982)
Giacomo Bucci, Giovanni Neri, Fiorenzo Baldassarri
MP 80: A Microprogrammed CPU with a Microcoded Operating System Kernel. Computer 14 (10) (1981)
Giacomo Bucci, Donald N. Streeter
A Methodology for the Design of Distributed Information Systems. Commun. ACM 22 (4) (1979)
Giacomo Bucci, Donald N. Streeter
A User-Oriented Approach to the Design of Distributed Information Systems. Performance (1977)
Giacomo Bucci, S. Golinelli
A Distributed Strategy for Resource Allocation in Information Networks. International Computing Symposium (1977)
L. Ambrosini Guaccimanni, Giacomo Bucci
The Influence of Computer Hardware and Communication Lines on the Cost of Distributed Compuer Systems. Rechnernetze und Datenfernverarbeitung (1976)