Concepedia

I. Ciarambino

IC

4

Publications

109

Citations

4

H-Index

1994

Active since

Affiliations

Polytechnic University of Turin(Current)

Joint Research Centre

I. Ciarambino is an author at Polytechnic University of Turin specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningReliability EngineeringProbabilityData ScienceVerificationProgram Analysis

Publications per year

1994–2004

4

Publications

4

Operability analysis devoted to the development of logic trees

Norberto Piccinini, I. Ciarambino · Reliability Engineering & System Safety · 1997 · 40 citations

Applied Logic, Computational Logic, Engineering +6

On the numerical solution of fault trees

Micaela Demichela, N. Piccinini, I. Ciarambino et al. · Reliability Engineering & System Safety · 2003 · 26 citations

Numerical Analysis, Mathematical Programming, Numerical Computation +5

How to avoid the generation of logic loops in the construction of fault trees

Micaela Demichela, N. Piccinini, I. Ciarambino et al. · Reliability Engineering & System Safety · 2004 · 23 citations

Logic Synthesis, Reliability Engineering, Engineering +13

Probabilistic analysis of transient events by an event tree directly extracted from operability analysis

Norberto Piccinini, M. Scarrone, I. Ciarambino · Journal of Loss Prevention in the Process Industries · 1994 · 20 citations

Event Processing, Reliability Engineering, Engineering +14

Rows per page

1–4 of 4