![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Giacomo Bucci
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
- [j14]Irene Bicchierai, Giacomo Bucci, Enrico Vicario:
Supporting SW-FMEA through an ontology-based methodology. Int. J. Crit. Comput. Based Syst. 6(1): 1-28 (2015) - 2013
- [j13]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): 1806-1818 (2013) - [c31]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: 95-108 - 2012
- [c30]Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario
:
Integrating metrics in an ontological framework supporting SW-FMEA. WETSoM 2012: 35-41 - [c29]Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario
:
An Ontological Approach to Systematization of SW-FMEA. SAFECOMP 2012: 173-184 - 2011
- [c28]Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario
:
Ontologies and Bayesian Networks in Medical Diagnosis. HICSS 2011: 1-8 - 2010
- [j12]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): 391-403 (2010) - [c27]Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario:
Ontology-Driven Enterprise Application Integration. SEKE 2010: 54-60
2000 – 2009
- 2008
- [c26]Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario:
An Incremental Approach to Software Reengineering Based on Object-Data Mapping. ICSOFT (SE/MUSE/GSDCA) 2008: 165-173 - [c25]Giacomo Bucci, Laura Carnevali, Enrico Vicario
:
A Tool Supporting Evaluation of Non-markovian Fault Trees. QEST 2008: 115-116 - 2007
- [c24]Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario, Saverio Mecca:
An Ontological SW Architecture for the Development of Cooperative Web Portals. ICSOFT (SE) 2007: 48-55 - [c23]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: 55-60 - [c22]Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario:
An Ontological SW Architecture Supporting Agile Development of Semantic Portals. ICSOFT/ENASE (Selected Papers) 2007: 185-200 - 2005
- [j11]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) - [c21]Fabrizio Baldini, Giacomo Bucci, Enrico Vicario
:
A Tool Set for Modeling and Simulation of Robotic Workcells. FIRB-Perf 2005: 106-114 - [c20]Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario
:
Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. QEST 2005: 13-22 - 2004
- [j10]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) - [c19]Giacomo Bucci, Luigi Sassoli, Enrico Vicario
:
ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. QEST 2004: 70-79 - 2003
- [c18]Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario
:
Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. ECRTS 2003: 279-286 - [c17]Giacomo Bucci, Andrea Fedeli, Enrico Vicario
:
Predicting Timeliness of Reactive Systems under Flexible Scheduling. ISADS 2003: 125-130 - [c16]Giacomo Bucci, Luigi Sassoli, Enrico Vicario:
A discrete time model for performance evaluation and correctness verification of real time systems. PNPM 2003: 134-143 - [c15]Giacomo Bucci, Andrea Fedeli, Enrico Vicario:
Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools. SDL Forum 2003: 203-217
1990 – 1999
- 1998
- [c14]Giacomo Bucci, Fabrizio Fioravanti, Paolo Nesi, Sandro Perlini:
Metrics and Tool for System Assessment. ICECCS 1998: 36-46 - 1995
- [j9]Giacomo Bucci, Maurizio Campanai, Paolo Nesi
:
Tools for Specifying Real-Time Systems. Real Time Syst. 8(2-3): 117-172 (1995) - [j8]Giacomo Bucci, Enrico Vicario
:
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets. IEEE Trans. Software Eng. 21(12): 969-992 (1995) - [c13]Giacomo Bucci, Paolo Nesi
:
Using TOOMS/TROL for specifying a cellular phone. RTS 1995: 49-56 - [c12]Giacomo Bucci, Riccardo Mattolini, Enrico Vicario:
Automatic transition from rapid prototyping to target code for distributed systems. ISADS 1995: 104-111 - [c11]Giacomo Bucci:
The Impact of Software Quality. Objective Software Quality 1995: 10-15 - 1994
- [j7]Giacomo Bucci, Riccardo Detti, Valdo Pasqui
, Stefano Nativi
:
Sharing Multimedia Data Over s Client-Server Network. IEEE Multim. 1(3): 44-55 (1994) - [j6]Giacomo Bucci, Alberto Del Bimbo
, Simone Santini:
Performance Analysis of Two Different Algorithms for Ethernet-FDDI Interconnection. IEEE Trans. Parallel Distributed Syst. 5(6): 614-629 (1994) - [c10]A. Borri, Giacomo Bucci, Paolo Nesi:
A Robust Tracking of 3D Motion. ECCV (1) 1994: 181-188 - [c9]Giacomo Bucci, Riccardo Mattolini, Enrico Vicario:
Supporting Process Migration Through Communicating Petri Nets. PDP 1994: 486-492 - [c8]Giacomo Bucci, Maurizio Campanai, Paolo Nesi, Marcello Traversi:
An object-oriented dual language for specifying reactive systems. ICRE 1994: 6-15 - 1993
- [c7]Giacomo Bucci, Riccardo Mattolini, Enrico Vicario:
A framework for the development of object-oriented distributed systems. ISADS 1993: 44-51 - [c6]Giacomo Bucci, Riccardo Mattolini, Enrico Vicario:
Using communicating Petri nets to implement parallel computation in single-tasking operating systems. PDP 1993: 481-489 - 1992
- [j5]Giacomo Bucci, Riccardo Detti, Stefano Nativi
, Valdo Pasqui
:
Loosely coupled workstations in a radiological image information system. Future Gener. Comput. Syst. 8(1-3): 31-42 (1992) - [c5]Giacomo Bucci, Enrico Vicario:
Rapid prototyping through communicating Petri nets. RSP 1992: 58-75 - 1990
- [j4]Giacomo Bucci, Roberto Cecchini, Alberto Del Bimbo
:
CSL: A class specification language for object-oriented design. Microprocessing and Microprogramming 28(1-5): 201-204 (1990) - [c4]Alessandro Bellini, Giacomo Bucci:
Open system architecture for distributed image-reference database in radiological applications. VCIP 1990
1980 – 1989
- 1982
- [j3]Giacomo Bucci, Dario Maio:
Merging Performance and Cost-Benefit Analysis in Computer System Evaluation. Computer 15(9): 23-31 (1982) - 1981
- [j2]Giacomo Bucci, Giovanni Neri, Fiorenzo Baldassarri:
MP 80: A Microprogrammed CPU with a Microcoded Operating System Kernel. Computer 14(10): 81-90 (1981)
1970 – 1979
- 1979
- [j1]Giacomo Bucci, Donald N. Streeter:
A Methodology for the Design of Distributed Information Systems. Commun. ACM 22(4): 233-245 (1979) - 1977
- [c3]Giacomo Bucci, S. Golinelli:
A Distributed Strategy for Resource Allocation in Information Networks. International Computing Symposium 1977: 345-356 - [c2]Giacomo Bucci, Donald N. Streeter:
A User-Oriented Approach to the Design of Distributed Information Systems. Performance 1977: 29-52 - 1976
- [c1]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
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint