sign in · help · news · about ·

BibSonomy :: author :: Ridi ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(10)

<< < 1 > >>

Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm.
Lorenzo Ridi, Jacopo Torrini, and Enrico Vicario IEEE Software 29(1):76-83 (2012)
to dblp by dblp on Jan 2, 2012, 12:00 AM
URL | BibTeX
Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle.
Laura Carnevali, Lorenzo Ridi, and Enrico Vicario IEEE Trans. Software Eng. 37(6):826-844 (2011)
to dblp by dblp on Dec 19, 2011, 12:00 AM
URL | BibTeX
Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems.
Laura Carnevali, Lorenzo Ridi, and Enrico Vicario ETFA, page 1-8. IEEE, (2009)
to dblp by dblp on Nov 12, 2011, 12:00 AM
URL | BibTeX
Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models.
Laura Carnevali, Lorenzo Ridi, and Enrico Vicario QEST, page 153-154. IEEE Computer Society, (2011)
to dblp by dblp on Oct 18, 2011, 12:00 AM
URL | BibTeX
Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers.
András Horváth, Marco Paolieri, Lorenzo Ridi, and Enrico Vicario QEST, page 131-140. IEEE Computer Society, (2011)
to dblp by dblp on Oct 18, 2011, 12:00 AM
URL | BibTeX
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models.
Laura Carnevali, Lorenzo Ridi, and Enrico Vicario SAFECOMP, volume 6894 of Lecture Notes in Computer Science, page 409-422. Springer, (2011)
to dblp by dblp on Sep 8, 2011, 12:00 AM
URL | BibTeX
Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes.
András Horváth, Lorenzo Ridi, and Enrico Vicario QEST, page 231-240. IEEE Computer Society, (2010)
to dblp by dblp on Dec 19, 2010, 12:00 AM
URL | BibTeX
Oris: a tool for modeling, verification and evaluation of real-time systems.
Giacomo Bucci, Laura Carnevali, Lorenzo Ridi, and Enrico Vicario STTT 12(5):391-403 (2010)
to dblp by dblp on Nov 11, 2010, 12:00 AM
URL | BibTeX
Automatic Code Generation from Real-Time Systems Specifications.
Laura Carnevali, Dario D'Amico, Lorenzo Ridi, and Enrico Vicario IEEE International Workshop on Rapid System Prototyping, page 102-105. IEEE Computer Society, (2009)
to dblp by dblp on Jan 26, 2010, 12:00 AM
URL | BibTeX
Media for knowledge creation and dissemination: semantic model and narrations for a new accessibility to cultural heritage.
Stefano Valtolina, Piero Mussio, Giovanna Gianni Bagnasco, Pietro Mazzoleni, Stefano Franzoni, Muriel Geroli, and Cristina Ridi Creativity & Cognition, page 107-116. ACM, (2007)
to dblp by dblp on Aug 20, 2007, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper