A5000206717- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Service-Oriented Architecture and Web Services
- Business Process Modeling and Analysis
- Model-Driven Software Engineering Techniques
- Advanced Database Systems and Queries
- Pharmaceutical Practices and Patient Outcomes
- Access Control and Trust
- Software Engineering Techniques and Practices
- Logic, programming, and type systems
- Healthcare Systems and Practices
- Semantic Web and Ontologies
- Health Systems, Economic Evaluations, Quality of Life
- Health, Medicine and Society
- Security and Verification in Computing
- Software Reliability and Analysis Research
- Intensive Care Unit Cognitive Disorders
- Network Security and Intrusion Detection
- Software System Performance and Reliability
- Virus-based gene therapy research
- Immunotoxicology and immune responses
- Software Engineering Research
- Animal Genetics and Reproduction
- Petri Nets in System Modeling
- Pharmacy and Medical Practices
Hospices Civils de Lyon
2015-2024
Université Paris-Est Créteil
2006-2023
Université Claude Bernard Lyon 1
2021
ideXlab (France)
2015-2021
Hôpital Edouard Herriot
2014-2018
Paris-Est Sup
2006-2016
INSEAD
2008-2013
Département d'Informatique
2006-2012
Université Paris Cité
2008-2011
Laboratoire d'Algorithmique, Complexité et Logique
2005-2011
A comparative characterization of the oral mucosa in various animals is needed to identify best animal model(s) for nonclinical evaluation sublingual immunotherapy products. With this aim, we studied histological characteristics and immune cell infiltrates mucosae from common species.Three regions (i.e. ventral surface tongue, mouth floor cheek) obtained eight species, including rodents mice, rats, hamsters, guinea pigs) non-rodents rabbits, dogs, minipigs monkeys) were characterized by...
With most of formal methods, an initial model can be refined in multiple steps, until the final refinement contains enough details for implementation. Most time, this is built from description obtained by requirements analysis. Unfortunately, transition phase to specification one painful steps and still ambiguous. In fact, building requires a high level competence lot practice, especially as there no well-defined process assist designers. For that purpose, we propose goal-based approach...
Long-term exposure to anticholinergic and sedative drugs could be a modifiable risk factor for cognitive decline. The objective of this study was measure the association between previous cumulative drug (Drug Burden Index)
The 2023 annual scientific meeting of the French Society Toxicologic Pathology (Société Française de Pathologie Toxicologique, SFPT), entitled “mRNA-based technologies: preclinical development and therapeutic applications,” was held in Lyon (France) on May 25 to 26, 2023. aim discuss biology, immunology, messenger RNA (mRNA)-based vaccines therapeutics, including immuno-oncology rare diseases, as well regulatory aspect COVID-19 an overview principles applications situ hybridization...
In older patients with advanced chronic kidney disease (CKD), the decision of transplantation (KT) is a challenge for nephrologists. The use comprehensive geriatric assessment (CGA) increasingly gaining interest into process decision-making about treatment modality choice CKD. aim this study was to assess prevalence impairment and frailty in dialysis nondialysis CKD using pretransplant CGA model identify impairments influencing geriatricians' recommendations KT.An observational conducted...
Digital pathology is defined as the ability to examine digitized microscopic slides and generate qualitative quantitative data. The field of digital rapidly evolving has potential revolutionize toxicologic pathology. Techniques such automated 2-D image analysis, whole slide imaging, telepathology are already considered "mature" technologies have been used for decades in exploratory studies; however, many organizations reluctant use regulatory toxicology studies. Innovative using including...
This paper describes an ongoing project on the specification and automatic implementation of functional secu- rity policies. We advocate a clear separation between behavior security requirements. propose formal language to specify are developing techniques by which policy can be automatically implemented. Hence, our approach is highly inspired from model-driven engineering. Furthermore, will enabled us use model checking verify that satisfies desire d properties.
Göttingen Minipigs show several anatomical, physiological, and pathogenetical similarities to humans serve an important role in translational studies for example as large animal models of disease. In recent years, the number transgenic has increased, advanced genetic techniques simplify generation animals with precisely tailored modifications. These modifications are designed replicate alterations responsible human addition serving valuable disease models, also considered promising donors...
EB <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">3</sup> is a trace-based formal language created for the specification of information systems (IS). Attributes, linked to entities and associations an IS, are computed in by recursive functions on valid traces system. We aim at synthesizing relational database transactions that correspond attribute definitions. Each action translated into transaction. definitions analysed determine key values...