Guiding assurance of architectural design patterns for critical applications von Šljivo, Irfan, Uriagereka, Garazi Juez, Puri, Stefano, Gallina, Barbara

Volltext

Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation von Sljivo, Irfan, Gallina, Barbara, Carlson, Jan, Hansson, Hans, Puri, Stefano

Volltext

Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development von Baracchi, Laura, Mazzini, Silvia, Puri, Stefano, Vardanega, Tullio

Volltext

A method to generate reusable safety case argument-fragments from compositional safety analysis von Šljivo, Irfan, Gallina, Barbara, Carlson, Jan, Hansson, Hans, Puri, Stefano

Volltext

The CONCERTO Methodology for Model-Based Development of Avionics Software von Baldovin, Andrea, Zovi, Alessandro, Nelissen, Geoffrey, Puri, Stefano

Volltext

A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis von Sljivo, Irfan, Gallina, Barbara, Carlson, Jan, Hansson, Hans, Puri, Stefano

Volltext

An MDE methodology for the development of high-integrity real-time systems von Mazzini, S., Puri, S., Vardanega, T.

Volltext

Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems von Bordin, M., Panunzio, M., Puri, S.

Volltext

CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems von Cicchetti, Antonio, Ciccozzi, Federico, Mazzini, Silvia, Puri, Stefano, Panunzio, Marco, Zovi, Alessandro, Vardanega, Tullio

Volltext bestellen

A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis von Sljivo, Irfan, Gallina, Barbara, Carlson, Jan, Hansson, Hans, Puri, Stefano

Volltext

Requirements Refinement and Component Reuse: The FoReVer Contract-Based Approach von Baracchi, Laura, Mazzini, Silvia, Tonetta, Stefano, Garcia, Gerald, Cimatti, Alessandro, Puri, Stefano

Volltext

SOFTWARE METHODOLOGICAL AND TOOL SUPPORT FOR EMBEDDED CONTROL SYSTEMS von Mazzini, Silvia, Favaro, John, Puri, Stefano, Bavaro, Michele

Volltext

Long Noncoding RNA NIHCOLE Promotes Ligation Efficiency of DNA Double-Strand Breaks in Hepatocellular Carcinoma von Unfried, Juan P, Marín-Baquero, Mikel, Rivera-Calzada, Ángel, Razquin, Nerea, Martín-Cuevas, Eva M, de Bragança, Sara, Aicart-Ramos, Clara, McCoy, Christopher, Prats-Mari, Laura, Arribas-Bosacoma, Raquel, Lee, Linda, Caruso, Stefano, Zucman-Rossi, Jessica, Sangro, Bruno, Williams, Gareth, Moreno-Herrero, Fernando, Llorca, Oscar, Lees-Miller, Susan P, Fortes, Puri

Volltext

The relationship between the gendered norm of eating last and mental health of newly married women in Nepal: A longitudinal study von Gopalakrishnan, Lakshmi, Diamond‐Smith, Nadia, Acharya, Bibhav, Puri, Mahesh, Bertozzi, Stefano M.

Volltext

Pharmacological inhibition of EZH2 as a promising differentiation therapy in embryonal RMS von Ciarapica, Roberta, Carcarino, Elena, Adesso, Laura, De Salvo, Maria, Bracaglia, Giorgia, Leoncini, Pier Paolo, Dall'agnese, Alessandra, Verginelli, Federica, Milano, Giuseppe M, Boldrini, Renata, Inserra, Alessandro, Stifani, Stefano, Screpanti, Isabella, Marquez, Victor E, Valente, Sergio, Mai, Antonello, Puri, Pier Lorenzo, Locatelli, Franco, Palacios, Daniela, Rota, Rossella

Volltext

Delamination Detection in Polymeric Ablative Materials Using Pulse-Compression Thermography and Air-Coupled Ultrasound von Laureti, Stefano, Khalid Rizwan, Muhammad, Malekmohammadi, Hamed, Burrascano, Pietro, Natali, Maurizio, Torre, Luigi, Rallini, Marco, Puri, Ivan, Hutchins, David, Ricci, Marco

Volltext

Effects of osteoblast-derived extracellular vesicles on aggressiveness, redox status and mitochondrial bioenergetics of MNNG/HOS osteosarcoma cells von Ponzetti, Marco, Ucci, Argia, Puri, Chiara, Giacchi, Luca, Flati, Irene, Capece, Daria, Zazzeroni, Francesca, Cappariello, Alfredo, Rucci, Nadia, Falone, Stefano

Volltext

Omega-3 PUFA modulate lipogenesis, ER stress, and mitochondrial dysfunction markers in NASH – Proteomic and lipidomic insight von Okada, Lívia Samara dos Reis Rodrigues, Oliveira, Claudia P., Stefano, José Tadeu, Nogueira, Monize Aydar, Silva, Ismael Dale Cotrim Guerreiro da, Cordeiro, Fernanda Bertucce, Alves, Venâncio Avancini Ferreira, Torrinhas, Raquel Susana, Carrilho, Flair José, Puri, Puneet, Waitzberg, Dan L.

Volltext

The Cryo-EM Structure of Renal Amyloid Fibril Suggests Structurally Homogeneous Multiorgan Aggregation in AL Amyloidosis von Puri, Sarita, Schulte, Tim, Chaves-Sanjuan, Antonio, Mazzini, Giulia, Caminito, Serena, Pappone, Carlo, Anastasia, Luigi, Milani, Paolo, Merlini, Giampaolo, Bolognesi, Martino, Nuvolone, Mario, Palladini, Giovanni, Ricagno, Stefano

Volltext

Revealing the Therapeutic Potential of Botulinum Neurotoxin Type A in Counteracting Paralysis and Neuropathic Pain in Spinally Injured Mice von Vacca, Valentina, Madaro, Luca, De Angelis, Federica, Proietti, Daisy, Cobianchi, Stefano, Orsini, Tiziana, Puri, Pier Lorenzo, Luvisetto, Siro, Pavone, Flaminia, Marinelli, Sara

Volltext