Concepedia

Giacomo Bucci

GB

17

Publications

600

Citations

14

H-Index

1979

Active since

Affiliations

University of Florence(Current)

Giacomo Bucci is an author at University of Florence specializing in systems engineering, engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationSoftware DesignSystem SoftwareReal-time SystemsComputer EngineeringVerification

Publications per year

1979–2012

17

Publications

17

Timed state space analysis of real-time preemptive systems

Giacomo Bucci, A. Fedeli, L. Sassoli et al. · IEEE Transactions on Software Engineering · 2004 · 102 citations

Petri Net, Engineering, Modeling Notation +18

Compositional validation of time-critical systems using communicating time Petri nets

Giacomo Bucci, Enrico Vicario · IEEE Transactions on Software Engineering · 1995 · 99 citations

Petri Net, Engineering, Verification +21

Tools for specifying real-time systems

Giacomo Bucci, M. Campanai, Paolo Nesi · Real-Time Systems · 1995 · 61 citations

Real-time System, Engineering, Real-time Operation +6

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

Giacomo Bucci, Laura Carnevali, Lorenzo Ridi et al. · International Journal on Software Tools for Technology Transfer · 2010 · 60 citations · Full text

Real-time System, Engineering, Real-time Operation +12

Correctness verification and performance analysis of real-time systems using stochastic preemptive time Petri nets

Giacomo Bucci, L. Sassoli, Enrico Vicario · IEEE Transactions on Software Engineering · 2005 · 40 citations

Petri Net, Engineering, Real-time System Design +22

Rows per page

1–5 of 17