io-port.net

io-port 05976338 Carnevali, Laura; Ridi, Lorenzo; Vicario, Enrico

A framework for simulation and symbolic state space analysis of non-Markovian models. (English)

Flammini, Francesco (ed.) et al., Computer safety, reliability, and security. 30th international conference, SAFECOMP 2011, Naples, Italy, September 19‒22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24269-4/pbk). Lecture Notes in Computer Science 6894, 409-422 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05967794 Carnevali, Laura; Lipari, Giuseppe; Pinzuti, Alessandro; Vicario, Enrico

A formal approach to design and verification of two-level hierarchical scheduling systems. (English)

Romanovsky, Alexander (ed.) et al., Reliable software technologies ‒ Ada-Europe 2011. 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21337-3/pbk). Lecture Notes in Computer Science 6652, 118-131 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50017836 Carnevali, Laura; Ridi, Lorenzo; Vicario, Enrico

Putting preemptive time Petri nets to work in a V-model SW life cycle (English)

IEEE Trans. Software Eng. 37, No. 6, 826-844 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70361622 Carnevali, Laura; Lipari, Giuseppe; Pinzuti, Alessandro; Vicario, Enrico

A formal approach to design and verification of two-level hierarchical scheduling systems (English)

Ada-Europe, 118-131 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70484021 Carnevali, Laura; Ridi, Lorenzo; Vicario, Enrico

A framework for simulation and symbolic state space analysis of non-Markovian models (English)

SAFECOMP, 409-422 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70764518 Carnevali, Laura; Ridi, Lorenzo; Vicario, Enrico

Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models (English)

QEST, 153-154 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05781781 Bucci, Giacomo; Carnevali, Laura; Ridi, Lorenzo; Vicario, Enrico

Oris: a tool for modeling, verification and evaluation of real-time systems. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 5, 391-403 (2010).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50015699 Vicario, Enrico; Sassoli, Luigi; Carnevali, Laura

Using stochastic state classes in quantitative evaluation of dense-time reactive systems (English)

IEEE Trans. Software Eng. 35, No. 5, 703-719 (2009).

8

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 50018489 Carnevali, Laura; Grassi, Leonardo; Vicario, Enrico

State-density functions over DBM domains in the analysis of non-Markovian models (English)

IEEE Trans. Software Eng. 35, No. 2, 178-194 (2009).

9

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70105649 Carnevali, Laura; D’amico, Dario; Ridi, Lorenzo; Vicario, Enrico

Automatic code generation from real-time systems specifications (English)

IEEE International Workshop on Rapid System Prototyping, 102-105 (2009).

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70210955 Rinaldi, Giovanni; Gaddi, Antonio; Cicero, Arrigo; Bonsanto, Fabio; Carnevali, Lucio

A web2.0 platform in healthcare created on the basis of the real perceived need of the elderly end user (English)

eHealth, 173-180 (2009).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70869390 Carnevali, Laura; Ridi, Lorenzo; Vicario, Enrico

Stochastic fault trees for cross-layer power management of WSN monitoring systems (English)

ETFA, 1-8 (2009).

12

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05291666 Carnevali, Laura; Grassi, Leonardo; Vicario, Enrico

A tailored V-Model exploiting the theory of preemptive time Petri nets. (English)

Kordon, Fabrice (ed.) et al., Reliable software technologies ‒ Ada-Europe 2008. 13th Ada-Europe international conference on reliable software technologies, Venice, Italy, June 16‒20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68621-7/pbk). Lecture Notes in Computer Science 5026, 87-100 (2008).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70361862 Carnevali, Laura; Grassi, Leonardo; Vicario, Enrico

A tailored V-model exploiting the theory of preemptive time Petri nets (English)

Ada-Europe, 87-100 (2008).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70764517 Bucci, Giacomo; Carnevali, Laura; Vicario, Enrico

A tool supporting evaluation of non-Markovian fault trees (English)

QEST, 115-116 (2008).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70565690 Carnevali, Laura; Sassoli, Luigi; Vicario, Enrico

Casting preemptive time Petri nets in the development life cycle of real-time software (English)

ECRTS, 291-300 (2007).

16

PDF XML AMS-TeX TEXT BIBTeX URL