Concepedia

Lorenzo Ridi

LR

6

Publications

196

Citations

6

H-Index

2010

Active since

Affiliations

University of Florence(Current)

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

Top concepts

EngineeringSystems EngineeringFormal MethodsComputer ScienceReal-time SystemsFormal VerificationVerificationComputer EngineeringModeling And SimulationProcess Control

Publications per year

2010–2012

6

Publications

6

Transient analysis of non-Markovian models using stochastic state classes

András Horváth, Marco Paolieri, Lorenzo Ridi et al. · Performance Evaluation · 2012 · 88 citations · Full text

Engineering, Hidden Markov Model, Stochastic System +4

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

Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle

Laura Carnevali, Lorenzo Ridi, Enrico Vicario · IEEE Transactions on Software Engineering · 2011 · 18 citations · Full text

Petri Net, Engineering, Industrial Engineering +24

Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm

Lorenzo Ridi, Jacopo Torrini, Enrico Vicario · IEEE Software · 2011 · 10 citations · Full text

A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems

Laura Carnevali, Lorenzo Ridi, Enrico Vicario · IEEE Transactions on Software Engineering · 2012 · 10 citations · Full text

Engineering, Verification, Test Data Generation +23

Rows per page

1–5 of 6