| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 28 |       | Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario: An Ontological Approach to Systematization of SW-FMEA. SAFECOMP 2012: 173-184 |
| 27 | | Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario: Ontologies and Bayesian Networks in Medical Diagnosis. HICSS 2011: 1-8 |
| 26 |  | Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario: Ontology-Driven Enterprise Application Integration. SEKE 2010: 54-60 |
| 25 | | Giacomo Bucci, Laura Carnevali, Lorenzo Ridi, Enrico Vicario: Oris: a tool for modeling, verification and evaluation of real-time systems. STTT 12(5): 391-403 (2010) |
| 24 | | Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario: An Incremental Approach to Software Reengineering Based on Object-Data Mapping. ICSOFT (SE/MUSE/GSDCA) 2008: 165-173 |
| 23 | | Giacomo Bucci, Laura Carnevali, Enrico Vicario: A Tool Supporting Evaluation of Non-markovian Fault Trees. QEST 2008: 115-116 |
| 22 | | 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 |
| 21 | | Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario, Saverio Mecca: An Ontological SW Architecture for the Development of Cooperative Web Portals. ICSOFT (SE) 2007: 48-55 |
| 20 | | Fabrizio Baldini, Giacomo Bucci, Enrico Vicario: A Tool Set for Modeling and Simulation of Robotic Workcells. FIRB-Perf 2005: 106-114 |
| 19 | | Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario: Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. QEST 2005: 13-22 |
| 18 | | 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) |
| 17 | | Giacomo Bucci, Luigi Sassoli, Enrico Vicario: ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. QEST 2004: 70-79 |
| 16 | | 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) |
| 15 | | Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario: Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. ECRTS 2003: 279-286 |
| 14 | | Giacomo Bucci, Andrea Fedeli, Enrico Vicario: Predicting Timeliness of Reactive Systems under Flexible Scheduling. ISADS 2003: 125-130 |
| 13 | | Giacomo Bucci, Andrea Fedeli, Enrico Vicario: Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools. SDL Forum 2003: 203-217 |
| 10 | | Giacomo Bucci, Enrico Vicario: Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets. IEEE Trans. Software Eng. 21(12): 969-992 (1995) |
Selection of 17 from 28 records - Giacomo Bucci has 26 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page