Giacomo Bucci

According to our database, Giacomo Bucci authored at least 45 papers between 1976 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

Supporting SW-FMEA through an ontology-based methodology.

Irene Bicchierai, Giacomo Bucci, Enrico Vicario

Int. J. Crit. Comput. Based Syst., 2015

2013

Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study.

Irene Bicchierai, Giacomo Bucci, Laura Carnevali, Enrico Vicario

IEEE Trans. Ind. Informatics, 2013

Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems.

Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario

Proceedings of the Reliable Software Technologies, 2013

2012

An Ontological Approach to Systematization of SW-FMEA.

Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario

Proceedings of the Computer Safety, Reliability, and Security, 2012

Integrating metrics in an ontological framework supporting SW-FMEA.

Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario

Proceedings of the 3rd International Workshop on Emerging Trends in Software Metrics, 2012

2011

Ontologies and Bayesian Networks in Medical Diagnosis.

Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario

Proceedings of the 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), 2011

2010

Oris: a tool for modeling, verification and evaluation of real-time systems.

Giacomo Bucci, Laura Carnevali, Lorenzo Ridi, Enrico Vicario

Int. J. Softw. Tools Technol. Transf., 2010

Ontology-Driven Enterprise Application Integration.

Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

2008

A Tool Supporting Evaluation of Non-markovian Fault Trees.

Giacomo Bucci, Laura Carnevali, Enrico Vicario

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

An Incremental Approach to Software Reengineering Based on Object-Data Mapping.

Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario

Proceedings of the ICSOFT 2008, 2008

2007

An Ontological SW Architecture for the Development of Cooperative Web Portals.

Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario, Saverio Mecca

Proceedings of the ICSOFT 2007, 2007

An Ontological SW Architecture Supporting Agile Development of Semantic Portals.

Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario

Proceedings of the Software and Data Technologies - Second International Conference, 2007

Test Coverage Analysis for Object Oriented Programs - Structural Testing Through Aspect Oriented Instrumentation.

Fabrizio Baldini, Giacomo Bucci, Leonardo Grassi, Enrico Vicario

Proceedings of the ICSOFT 2007, 2007

2005

Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets.

Giacomo Bucci, Luigi Sassoli, Enrico Vicario

IEEE Trans. Software Eng., 2005

Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems.

Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

A Tool Set for Modeling and Simulation of Robotic Workcells.

Fabrizio Baldini, Giacomo Bucci, Enrico Vicario

Proceedings of the FIRB-Perf Workshop on Techniques, 2005

2004

Timed State Space Analysis of Real-Time Preemptive Systems.

Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario

IEEE Trans. Software Eng., 2004

ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems.

Giacomo Bucci, Luigi Sassoli, Enrico Vicario

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

2003

Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools.

Giacomo Bucci, Andrea Fedeli, Enrico Vicario

Proceedings of the SDL 2003: System Design, 2003

A discrete time model for performance evaluation and correctness verification of real time systems.

Giacomo Bucci, Luigi Sassoli, Enrico Vicario

Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003

Predicting Timeliness of Reactive Systems under Flexible Scheduling.

Giacomo Bucci, Andrea Fedeli, Enrico Vicario

Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 2003

Modeling Flexible Real Time Systems with Preemptive Time Petri Nets.

Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario

Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

1998

Metrics and Tool for System Assessment.

Giacomo Bucci, Fabrizio Fioravanti, Paolo Nesi, Sandro Perlini

Proceedings of the 4th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 1998

1995

Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets.

Giacomo Bucci, Enrico Vicario

IEEE Trans. Software Eng., 1995

Tools for Specifying Real-Time Systems.

Giacomo Bucci, Maurizio Campanai, Paolo Nesi

Real Time Syst., 1995

The Impact of Software Quality.

Giacomo Bucci

Proceedings of the Objective Software Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria, 1995

Automatic transition from rapid prototyping to target code for distributed systems.

Giacomo Bucci, Riccardo Mattolini, Enrico Vicario

Proceedings of the Second International Symposium on Autonomous Decentralized Systems, 1995

Using TOOMS/TROL for specifying a cellular phone.

Giacomo Bucci, Paolo Nesi

Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

1994

Performance Analysis of Two Different Algorithms for Ethernet-FDDI Interconnection.

Giacomo Bucci, Alberto Del Bimbo, Simone Santini

IEEE Trans. Parallel Distributed Syst., 1994

Sharing Multimedia Data Over s Client-Server Network.

Giacomo Bucci, Riccardo Detti, Valdo Pasqui, Stefano Nativi

IEEE Multim., 1994

An object-oriented dual language for specifying reactive systems.

Giacomo Bucci, Maurizio Campanai, Paolo Nesi, Marcello Traversi

Proceedings of the First IEEE International Conference on Requirements Engineering, 1994

Supporting Process Migration Through Communicating Petri Nets.

Giacomo Bucci, Riccardo Mattolini, Enrico Vicario

Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

A Robust Tracking of 3D Motion.

A. Borri, Giacomo Bucci, Paolo Nesi

Proceedings of the Computer Vision, 1994

1993

Using communicating Petri nets to implement parallel computation in single-tasking operating systems.

Giacomo Bucci, Riccardo Mattolini, Enrico Vicario

Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993

A framework for the development of object-oriented distributed systems.

Giacomo Bucci, Riccardo Mattolini, Enrico Vicario

Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993

1992

Loosely coupled workstations in a radiological image information system.

Giacomo Bucci, Riccardo Detti, Stefano Nativi, Valdo Pasqui

Future Gener. Comput. Syst., 1992

Rapid prototyping through communicating Petri nets.

Giacomo Bucci, Enrico Vicario

Proceedings of the Third International Workshop on Rapid System Prototyping, 1992

1990

CSL: A class specification language for object-oriented design.

Giacomo Bucci, Roberto Cecchini, Alberto Del Bimbo

Microprocessing and Microprogramming, 1990

Open system architecture for distributed image-reference database in radiological applications.

Alessandro Bellini, Giacomo Bucci

Proceedings of the Visual Communications and Image Processing '90: Fifth in a Series, 1990

1982

Merging Performance and Cost-Benefit Analysis in Computer System Evaluation.

Giacomo Bucci, Dario Maio

Computer, 1982

1981

MP 80: A Microprogrammed CPU with a Microcoded Operating System Kernel.

Giacomo Bucci, Giovanni Neri, Fiorenzo Baldassarri

Computer, 1981

1979

A Methodology for the Design of Distributed Information Systems.

Giacomo Bucci, Donald N. Streeter

Commun. ACM, 1979

1977

A User-Oriented Approach to the Design of Distributed Information Systems.

Giacomo Bucci, Donald N. Streeter

Proceedings of the Measuring, Modelling and Evaluating Computer Systems, 1977

A Distributed Strategy for Resource Allocation in Information Networks.

Giacomo Bucci, S. Golinelli

Proceedings of the International Computing Symposium 1977, 1977

1976

The Influence of Computer Hardware and Communication Lines on the Cost of Distributed Compuer Systems.

L. Ambrosini Guaccimanni, Giacomo Bucci

Proceedings of the Rechnernetze und Datenfernverarbeitung, 1976