A reliability model for Service Component Architectures by Mirandola, R., Potena, P., Riccobene, E., Scandurra, P.

Get full text

A SoC Design Methodology Involving a UML 2.0 Profile for SystemC by Riccobene, E., Scandurra, P., Rosti, A., Bocchio, S.

Request full text

The novel Mechanical Ventilator Milano for the COVID-19 pandemic by Abba, A., Agnes, P., Annovi, A., Desages, F. Ardellier, Back, S., Badia, C., Bagger, J., Batignani, G., Bell, B., Beschi, M., Bianchi, G., Bicelli, S., Boccali, T., Bonivento, W. M., Brice, S., Brown, R., Calvo-Mozota, J. M., Camozzi, M., Capra, A., Celano, B., Cela Ruiz, J. M., Cogliati, G., Dal Molin, A., Davignon, O., De Ruiter, J., Devoto, A., Dossi, M., Elliott, E., Finocchiaro, G., Ford, R., Fournier, R. D., Franco, D., Gabriele, F., Galbiati, C., Gargantini, A., Gillespie, S., Giorgi, D., Girma, T., Gobui, R., Golf, F., Gorel, P., Grosso, G., Hawkins, W., Ianni, A., Kittmer, A., Kowalkowski, J., Leblond, G., Lee, L., Liimatainen, P., Lomonaco, T., Lu, P., Lubna, R., Luzón, G., MacDonald, M., Margetak, P., Martin, L., Martínez, M., Meazzi, E., Mohayai, T., Tosatti, L. M., Muraro, A., Nati, F., Natzke, C. R., Noble, A. J., Norrick, A., Olchanski, K., Ortiz de Solorzano, A., Pallavicini, M., Papini, N., Parmeggiano, L., Parmeggiano, S., Paterno, M., Pelliccione, P., Pesudo, V., Prelz, F., Ratti, C., Renshaw, A., Retriere, F., Rode, J., Russel, L., Sablone, D., Sala, S., Scapparone, E., Shaw, B., Sher, A., Skensved, P., Slutsky, A., Smith, B., Tacchino, S., Thomas, E., Trask, D., Tseng, L., Vedia, V., Viel, S., Visioli, A., Viviani, L., Walter, D., Westerdale, S., Yates, D., Zambrano, V.

Get full text

A model-driven design environment for embedded systems by Riccobene, E., Scandurra, P., Rosti, A., Bocchio, S.

Request full text

Towards Trust-preserving Continuous Co-evolution of Digital Twins by Bersani, M. M., Braghin, C., Cortellessa, V., Gargantini, A., Grassi, V., Presti, F. Lo, Mirandola, R., Pierantonio, A., Riccobene, E., Scandurra, P.

Request full text

Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model by Riccobene, E., Potena, P., Scandurra, P.

Request full text

Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions by Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia

Request full text

A Modeling and Executable Language for Designing and Prototyping Service-Oriented Applications by Riccobene, E., Scandurra, P., Albani, F.

Request full text

On formalizing UML state machines using ASMs by Börger, Egon, Cavarra, Alessandra, Riccobene, Elvinia

Get full text

Proving Invariants of I/O Automata with TAME by Archer, Myla, Heitmeyer, Constance, Riccobene, Elvinia

Get full text

UML for ESL design:basic principles, tools, and applications by Mueller, W, Rosti, A, Bocchio, S, Riccobene, E, Scandurra, P, Dehaene, W, Vanderperren, Y

Get full text

UML for ESL Design - Basic Principles, Tools, and Applications by Mueller, W., Rosti, A., Bocchio, S., Riccobene, E., Scandurra, P., Dehaene, W., Vanderperren, Y.

Request full text

Model-Driven Language Engineering: The ASMETA Case Study by Gargantini, A., Riccobene, E., Scandurra, P.

Request full text

A model-driven validation & verification environment for embedded systems by Gargantini, A., Riccobene, E., Scandurra, P.

Request full text

Integrating Formal Methods with Model-Driven Engineering by Gargantini, A., Riccobene, E., Scandurra, P.

Request full text

Scenario-based validation of embedded systems by Gargantini, A., Riccobene, E., Scandurra, P., Carioni, A.

Request full text

The novel Mechanical Ventilator Milano for the COVID-19 pandemic featured by Abba, A, Desages, F Ardellier, Back, S, Bagger, J, Basile, V, Batignani, G, Bayo, A, Bell, B, Beschi, M, Bianchi, G, Bicelli, S, Boccali, T, Brice, S, Brown, R, Camozzi, L, Capra, A, Cela Ruiz, J M, Charette, C, Cudmore, S, Dahl, C E, Daley, M, De Ruiter, J, Devoto, A, P. Diaz Gomez Maqueo, Dossi, M, Duma, C, Farina, D, Ferroni, F, Finocchiaro, G, Fournier, R D, Gabriele, F, P. Garcia Abia, Gargantini, A, Giorgi, D, Girma, T, F. Golf, Gorini, G, Grosso, G, Guetre, E, Hawkins, W, Hessey, N, Hockin, G, Hudson, K, James, C C, Jillings, C, Khan, S, Kim, E, Kochanek, I, Kowalkowski, J, Lee, L, Lim, C, Lindner, T, Lukhanin, G A, Luzón, G, Maharaj, R, Margetak, P, Martin, L, Martínez, M, Meazzi, E, Migalla, R, Tosatti, L M, Monzani, G, Natzke, C R, Noble, A J, Ortiz de Solorzano, A, Palumbo, I, Panontin, E, Parmeggiano, S, Pesudo, V, Pocar, A, Pope, A, Raaf, J L, Razeto, A, Reed, D, Retriere, F, Riccobene, E, Russel, L, Salvo, P, Sandoval, A, Sansoucy, E, Savarese, C, Schaubel, T, Shaw, B, Shawyer, S, Shi, A, Skensved, P, Smith, B, Straubel, C, Suchenek, M, Sur, B, Tartaglia, R, Trask, D, Vedia, V, Velghe, B, Viel, S, Viviani, L, Walter, D, Wang, H, Yue, S, Zambrano, V

Request full text

Process State Machines for Behavioral Modeling of Embedded Systems by Bocchio, S., Riccobene, E., Rosti, A., Scandurra, P.

Request full text

The effect of neuromuscular training on the incidence of knee injury in female athletes : A prospective study by HEWETT, T. E, LINDENFELD, T. N, RICCOBENE, J. V, NOYES, F. R

Get full text

Factors associated with implementation of the 5A's smoking cessation model by Martínez, C, Castellano, Y, Andrés, A, Fu, M, Antón, L, Ballbè, M, Fernández, P, Cabrera, S, Riccobene, A, Gavilan, E, Feliu, A, Baena, A, Margalef, M, Fernández, E

Get full text