BONACCHI, ANDREA
BONACCHI, ANDREA
Ingegneria dell'Informazione
A GUI Testability Problem: A Case Study in the Railway Signaling Domain
2012 Andrea Bonacchi; Alessandro Fantechi; Stefano Bacherini; Matteo Tempestini; Leonardo Cipriani
CXCR3-binding chemokines as survival factors in human hepatic stellate cells.
2001 A. Bonacchi; R.G. Romanelli; P. Romagnani; G. Laffi; M. Pinzani; P. Gentilini; F. Marra.
Differential requirement of members of the MAPK family for CCL2 expression by hepatic stellate cells
2004 Marra F; Delogu W; Petrai I; Pastacaldi S; Bonacchi A; Efsen E; Aleffi S; Bertolani C; Pinzani M; Gentilini P
Expression of IP-10 and its receptor CXCR3 in hepatic stellate cells identifies a novel autocrine and paracrine system.
2000 A. Bonacchi; P. Romagnani; R.G. Romanelli; E. Efsen; G. Galli; F. Annunziato; C. Mavilia; G. Laffi; P. Gentilini; F. Marra.
Formal safety proof: a real case study in a railway interlocking system
2013 Andrea Bonacchi
Overexpression of Bcl-2 by activated human hepatic stellate cells: resistance to apoptosis as a mechanism of progressive hepatic fibrogenesis in humans.
2006 NOVO E; MARRA F; ZAMARA E; VALFRE DI BONZO L; MONITILLO L; CANNITO S; PETRAI I; MAZZOCCA A; BONACCHI A; DE FRANCO RS; COLOMBATTO S; AUTELLI R; M. PINZANI; PAROLA M
Review of the validation process for critical software applications in railway signalling
2015 Bonacchi, Andrea
Thrombopoietin stimulates migration and activates multiple signaling pathways in hepatoblastoma cells.
2006 Romanelli RG; Petrai I; Robino G; Efsen E; Novo E; Bonacchi A; Pagliai G; Grossi A; Parola M; Navari N; Delogu W; Vizzutti F; Rombouts K; Gentilini P; Laffi G; Marra F.
Validation of Interlocking Systems by Testing their Models
2014 Bonacchi, Andrea; Fantechi, Alessandro
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
2014 Andrea, Bonacchi; Alessandro, Fantechi; Stefano, Bacherini; Matteo, Tempestini; Leonardo, Cipriani
Validation process for railway interlocking systems
2016 Bonacchi, A.; Fantechi, A; Bacherini, S.; Tempestini, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A GUI Testability Problem: A Case Study in the Railway Signaling Domain | 2012 | Andrea Bonacchi; Alessandro Fantechi; Stefano Bacherini; Matteo Tempestini; Leonardo Cipriani | |
| CXCR3-binding chemokines as survival factors in human hepatic stellate cells. | 2001 | A. Bonacchi; R.G. Romanelli; P. Romagnani; G. Laffi; M. Pinzani; P. Gentilini; F. Marra. | |
| Differential requirement of members of the MAPK family for CCL2 expression by hepatic stellate cells | 2004 | Marra F; Delogu W; Petrai I; Pastacaldi S; Bonacchi A; Efsen E; Aleffi S; Bertolani C; Pinzani M; Gentilini P | |
| Expression of IP-10 and its receptor CXCR3 in hepatic stellate cells identifies a novel autocrine and paracrine system. | 2000 | A. Bonacchi; P. Romagnani; R.G. Romanelli; E. Efsen; G. Galli; F. Annunziato; C. Mavilia; G. Laffi; P. Gentilini; F. Marra. | |
| Formal safety proof: a real case study in a railway interlocking system | 2013 | Andrea Bonacchi | |
| Overexpression of Bcl-2 by activated human hepatic stellate cells: resistance to apoptosis as a mechanism of progressive hepatic fibrogenesis in humans. | 2006 | NOVO E; MARRA F; ZAMARA E; VALFRE DI BONZO L; MONITILLO L; CANNITO S; PETRAI I; MAZZOCCA A; BONACCHI A; DE FRANCO RS; COLOMBATTO S; AUTELLI R; M. PINZANI; PAROLA M | |
| Review of the validation process for critical software applications in railway signalling | 2015 | Bonacchi, Andrea | |
| Thrombopoietin stimulates migration and activates multiple signaling pathways in hepatoblastoma cells. | 2006 | Romanelli RG; Petrai I; Robino G; Efsen E; Novo E; Bonacchi A; Pagliai G; Grossi A; Parola M; Navari N; Delogu W; Vizzutti F; Rombouts K; Gentilini P; Laffi G; Marra F. | |
| Validation of Interlocking Systems by Testing their Models | 2014 | Bonacchi, Andrea; Fantechi, Alessandro | |
| Validation of Railway Interlocking Systems by Formal Verification, A Case Study | 2014 | Andrea, Bonacchi; Alessandro, Fantechi; Stefano, Bacherini; Matteo, Tempestini; Leonardo, Cipriani | |
| Validation process for railway interlocking systems | 2016 | Bonacchi, A.; Fantechi, A; Bacherini, S.; Tempestini, M. |