The ordering of storage accesses in asynchronous computing systems

by Logrippo, Luigi.
Published 2012

The ordering of storage accesses in asynchronous computing systems

by Logrippo, Luigi.
Published 2012

Tablet Splitting in Elderly Patients with Dementia: The Case of Quetiapine

by Roberta Ganzetti, Serena Logrippo, Matteo Sestili, Alessandro Caraffa, Marco Cespi, Giuseppe Pelliccioni, Paolo Blasi, Giulia Bonacucina
Published 2021-09-01

Oral drug therapy in elderly with dysphagia: between a rock and a hard place!

by Logrippo S, Ricci G, Sestili M, Cespi M, Ferrara L, Palmieri GF, Ganzetti R, Bonacucina G, Blasi P
Published 2017-01-01

Pre-discharge Cardiorespiratory Monitoring in Preterm Infants. the CORE Study

by Francesco Cresi, Enrico Cocchi, Elena Maggiora, Alice Pirra, Federica Logrippo, Maria Chiara Ariotti, Chiara Peila, Enrico Bertino, Alessandra Coscia
Published 2020-06-01

Potentially Inappropriate Prescribing of Oral Solid Medications in Elderly Dysphagic Patients

by Matteo Sestili, Serena Logrippo, Marco Cespi, Giulia Bonacucina, Letizia Ferrara, Silvia Busco, Iolanda Grappasonni, Giovanni Filippo Palmieri, Roberta Ganzetti, Paolo Blasi
Published 2018-12-01

Feature interaction filtering and detection with use case maps and LOTOS.

by Hassine, Jameleddine.
Published 2009

Formal modeling and test generation automation with Use Case Maps and LOTOS.

by Charfi, Leila.
Published 2009

Formal specification and feature interaction detection in the intelligent network.

by Kamoun, Jalel.
Published 2009

Detecting feature interactions and feature inconsistencies in CPL

by Xu, Yiqun
Published 2013

CNAP specification and validation: A design methodology using LOTOS and UCM.

by Yi, Zhimei.
Published 2009

The feature interaction problem: Automatic filtering of incoherences and generation of validation test suites at the design stage.

by Gorse, Nicolas.
Published 2009

Protocol validation and implementation: A design methodology using LOTOS and ROOM.

by Hart, Neil Darren.
Published 2009

Guided search technique for LOTOS.

by Haj-Hussein, Mazen.
Published 2009

Modeling and derivation of scenarios for a mobile telephony system in LOTOS.

by Tuok, Randall.
Published 2009

Group-based distributed computing: Programming and distributed platform model.

by Farooqui, Kazi.
Published 2009

Specification and validation of telecommunications systems with use case maps and LOTOS.

by Amyot, Daniel
Published 2009

Capture, reuse, and validation of requirements and analysis patterns for mobile systems.

by Andrade, Rossana Maria de Castro.
Published 2009

Developing mobile distributed intelligent network services using RM-ODP.

by Rampal, Gaurav S.
Published 2009

Symbolic execution of LOTOS specifications.

by Ashkar, Pierre.
Published 2009