Untargeted lipidomics reveal association of elevated plasma C18 ceramide levels with reduced survival in metastatic castration-resistant prostate cancer patients von Cattrini, Carlo, Manfredi, Marcello, Barboro, Paola, Ghirimoldi, Marco, Mennitto, Alessia, Martini, Veronica, Battioni, Alessio, Le Van, Marco, Gobbato, Simone, Branni, Carmen, Ayed, Rahma Ben, Pinato, David James, Catalano, Fabio, Zanardi, Elisa, Boccardo, Francesco, Gennari, Alessandra

Volltext

An Efficient Intrusion Detection System for Selective Forwarding and Clone Attackers in IPv6-based Wireless Sensor Networks under Mobility von Gara, Fatma, Ben Saad, Leila, Ben Ayed, Rahma

Volltext

Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications von Bougacha, Racem, Laleau, Régine, Collart-Dutilleul, Simon, Ayed, Rahma Ben

Volltext

Incremental Development of a Safety Critical System Combining formal Methods and DSMLs: Application to a Railway System von Idani, Akram, Ledru, Yves, Ait Wakrime, Abderrahim, Ben Ayed, Rahma, Collart-Dutilleul, Simon

Volltext

Analysis and Formal Modeling of Systems Behavior Using UML/Event-B von Kraibi, Kenza, Ayed, Rahma Ben, Collard-Dutilleul, Simon, Bon, Philippe, PEIT, Dorian

Volltext

Towards a System for Cloud Service Discovery and Composition Based on Ontology von Guerfel, Rawand, Sbaï, Zohra, Ayed, Rahma Ben

Volltext

Modeling security as a dependability attribute: a refinement-based approach von Mili, Ali, Sheldon, Frederick, Jilani, Lamia Labed, Vinokurov, Alex, Thomasian, Alex, Ayed, Rahma Ben

Volltext

Speeding up the large-scale consensus fuzzy clustering for handling Big Data von Sassi Hidri, Minyar, Zoghlami, Mohamed Ali, Ben Ayed, Rahma

Volltext

Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing von Guerfel, Rawand, Sbaï, Zohra, Ayed, Rahma Ben

Volltext

B Formal Validation of ERTMS/ETCS Railway Operating Rules von Ayed, Rahma Ben, Collart-Dutilleul, Simon, Bon, Philippe, Idani, Akram, Ledru, Yves

Volltext

Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol von Zayani, Hafedh, Barkaoui, Kamel, Ayed, Rahma Ben

Volltext

Uniform verification of workflow soundness von Barkaoui, Kamel, Ben Ayed, Rahma

Volltext

Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation von Idani, Akram, Ledru, Yves, Ait Wakrime, Abderrahim, Ben Ayed, Rahma, Bon, Philippe

Volltext

Abstract 2174: Evaluation of extracellular vesicles (EVs) as potential predictors of response to immunotherapy (IO) in triple negative early and advanced breast cancer (BC): prelim... von Martini, Veronica, Stella, Arianna, Ayed, Rahma Ben, Branni, Carmen, Tassone, Andrea, Keivan, Nazanin, Saggia, Chiara, D'Avanzo, Francesca, Rossi, Valentina, Platini, Francesca, Romaniello, Incoronata, Giacobino, Elena, Guarneri, Valentina, Boldorini, Renzo Luciano, Mercalli, Francesca, Dodaro, Ivan, Gambaro, Anna, Pinato, David James, Gennari, Alessandra

Volltext

Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications von Bougacha, Racem, Laleau, Régine, Bon, Philippe, Collart-Dutilleul, Simon, Ben Ayed, Rahma

Volltext

A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules von Ledru, Yves, Idani, Akram, Ben Ayed, Rahma, Ait Wakrime, Abderrahim, Bon, Philippe

Volltext

A CPN/B method transformation framework for railway safety rules formal validation von Boudi, Zakaryae, Ben-Ayed, Rahma, El Koursi, El Miloudi, Collart-Dutilleul, Simon, Nolasco, Thomas, Haloua, Mohamed

Volltext

Towards a Method for the Decomposition by Refinement in Event-B von Kraibi, Kenza, Ben Ayed, Rahma, Rehm, Joris, Collart-Dutilleul, Simon, Bon, Philippe, Petit, Dorian

Volltext

Implementation of ERTMS: A Methodology Based on Formal Methods and Simulation with Respect to French National Rules von Ferlin, Antoine, Ben-Ayed, Rahma, Sun, Pengfei, Collart-Dutilleul, Simon, Bon, Philippe

Volltext

Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B von Ait Wakrime, Abderrahim, Ben Ayed, Rahma, Collart-Dutilleul, Simon, Ledru, Yves, Idani, Akram

Volltext