Search Results - "Bernardeschi, C."

Idiopathic linear IgA bullous dermatosis: prognostic factors based on a case series of 72 adults by Gottlieb, J., Ingen‐Housz‐Oro, S., Alexandre, M., Grootenboer‐Mignot, S., Aucouturier, F., Sbidian, E., Tancrede, E., Schneider, P., Regnier, E., Picard‐Dahan, C., Begon, E., Pauwels, C., Cury, K., Hüe, S., Bernardeschi, C., Ortonne, N., Caux, F., Wolkenstein, P., Chosidow, O., Prost‐Squarcioni, C.

“…Summary Background Linear IgA bullous dermatosis (LABD) is a clinically and immunologically heterogeneous, subepidermal, autoimmune bullous disease (AIBD), for…”
Get full text

Did Mona Lisa suffer from postpartum thyroiditis? by Rousset, L., Bernardeschi, C., Halioua, B.

Get full text

Oral contact stomatitis related to toothpaste use: A report of 15 cases by Vinant, M., Agbo‐Godeau, S., Plantier, F., Quilhot, P., Bertolus, C., Bernardeschi, C.

“…Oral contact dermatitis is an inflammatory reaction that is not common in patients but can be caused using certain toothpastes. As a result, patients…”
Get full text

Epidermolysis bullosa acquisita-like eruption with anticollagen VII autoantibodies induced by d-penicillamine in Wilson disease by Ingen-Housz-Oro, S., Grootenboer-Mignot, S., Ortonne, N., Nahon, S., Horvath, J., Bernardeschi, C., Laffitte, E., André, C., Chollet-Martin, S., Wolkenstein, P., Chosidow, O.

Get full text

Dermatological side-effects in hepatitis C infected patients under a triple regimen associating pegylated interferon, ribavirin and telaprevir by Bernardeschi, C., Valeyrie-Allanore, L., Ortonne, N., Gressier, L., Wallet-Faber, N., Bernard, P.-H., Hezode, C., Duclos-Vallée, J.-C., Samuel, D., Mallet, V., Pol, S., Milpied, B., Dupin, N.

Get full text

Using postdomination to reduce space requirements of data flow analysis by Bernardeschi, C., Lettieri, G., Martini, L., Masci, P.

Get full text

Checking secure information flow in Java bytecode by code transformation and standard bytecode verification by Bernardeschi, C., De Francesco, N., Lettieri, G., Martini, L.

“…A method is presented for checking secure information flow in Java bytecode, assuming a multilevel security policy that assigns security levels to the objects…”
Get full text

Using Control Dependencies for Space-Aware Bytecode Verification by Bernardeschi, C, Lettieri, G, Martini, L, Masci, P

“…Java applets run on a Virtual Machine that checks code integrity and correctness before execution using a module called the Bytecode Verifier. Java Card…”
Get full text

Abstract interpretation of operational semantics for secure information flow by Barbuti, R., Bernardeschi, C., De Francesco, N.

“…How abstract interpretation can be applied to the analysis of secure information flow to easily derive sound semantic rules for static program certification is…”
Get full text

Formally Verifying Fault Tolerant System Designs by Bernardeschi, Cinzia, Fantechi, Alessandro, Simoncini, Luca

“…This paper presents an approach for the specification and the verification of the correctness of fault tolerant system designs achieved by the application of…”
Get full text

An abstract semantics tool for secure information flow of stack-based assembly programs by Bernardeschi, C., De Francesco, N., Lettieri, G.

“…We present a tool supporting the verification of programs written in stack-based assembly language against the secure information flow property. First, the…”
Get full text

Formal validation of fault-tolerance mechanisms inside GUARDS by Bernardeschi, C., Fantechi, A., Gnesi, S.

“…In this paper we report the experiments carried out during the specification and validation of the fault-tolerance mechanisms developed in the European project…”
Get full text

An approach to system design based on P/T net simulation by Bernardeschi, C., De Francesco, N., Vaglini, G.

“…This work presents a technique of early simulation in the design phase of concurrent and distributed systems. A P/T net is used to model the system whose…”
Get full text

An industrial application for the JACK environment by Bernardeschi, C., Fantechi, A., Gnesi, S.

“…JACK, Just Another Concurrency Kit, is a new environment integrating a set of formal verification tools, supported by a graphical interface offering facilities…”
Get full text

Accurate simulation of SEUs in the configuration memory of SRAM-based FPGAs by Bernardeschi, C., Cassano, L., Domenici, A., Sterpone, L.

“…SRAM-based FPGAs are more and more relevant in a growing number of applications, ranging from the automotive to the aerospace ones. Designers of…”
Get full text

Bed bug infestation by Bernardeschi, Celine, Le Cleach, Laurence, Delaunay, Pascal, Chosidow, Olivier

“…SUMMARY POINTS Bed bug infestation seems to be re-emerging worldwide The diagnosis of bed bug infestation starts with consultation for clinical reactions to…”
Get full text

Febrile Exanthema Revealing Toxocariasis: A Case Report by BERNARDESCHI, Celine, MONSEL, Gentiane, FRANCES, Camille, BRICAIRE, François, PARIS, Luc, CAUMES, Eric

Get full text

Using standard verifier to check secure information flow in Java bytecode by Bernardeschi, C., De Francesco, N., Lettieri, G.

“…When an applet is sent over the internet, Java Virtual Machine code is transmitted and remotely executed. Because untrusted code can be executed on the local…”
Get full text

Pemphigoïdes des muqueuses (PM) et gliptines : étude de 24 cas by Gaudin, O., Seta, V., Alexandre, M., Bohelay, G., Oro, S., Bernardeschi, C., Schneider, P., Mellottee, B., Caux, F., Prost-Squarcioni, C.

“…L’induction médicamenteuse de pemphigoïdes bulleuses (PB) par les gliptines, commercialisées en France depuis 2007, est supposée depuis 2011. Nous rapportons…”
Get full text

Apport de la réunion de concertation pluridisciplinaire (RCP) du groupe national Bulle dans la prise en charge des cas complexes by Alexandre, M., Prost-Squarcioni, C., Duvert-Lehembre, S., Debarbieux, S., Bernardeschi, C., Seta, V., Pham-Ledard, A., Bouaziz, J.-D., Corbaux, C., Joly, P., Caux, F.

“…Les maladies bulleuses auto-immunes sont rares et leur prise en charge souvent complexe tant au plan diagnostique que thérapeutique. Une RCP du groupe national…”
Get full text