Giacomo Bucci

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