Sökning: "Alexandre David"

Hittade 4 avhandlingar innehållade orden Alexandre David.

  1. 1. Practical verification of real-time systems

    Författare :Alexandre David; Wang Yi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : Formal methods are becoming mature enough to be used on nontrivial examples. They are particularly well fitted for real-time systems whose correctness is defined in terms of correct responses at correct times. Most common real-time systems are of reasonable size and can therefore be handled by an automatic verification tool such as Uppaal. LÄS MER

  3. 2. Hierarchical Modeling and Analysis of Real Time Systems

    Författare :Alexandre David; Wang Yi; Purush Iyer; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science with specialization in Real Time Systems; Computer science; Datavetenskap;

    Sammanfattning : UPPAAL is a tool for model-checking real-time systems developed jointly by Uppsala University and Aalborg University. It has been applied successfully in case studies ranging from communication protocols to multimedia applications. The tool is designed to verify systems that can be modeled as networks of timed automata. LÄS MER

  4. 3. Experimental studies of radiation-induced dissolution of UO2 : The effect of intrinsic solid phase properties and external factors

    Författare :Alexandre Barreiro Fidalgo; Mats Jonsson; David Shoesmith; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Oxidation; dissolution; uranium dioxide; gadolinium; bentonite; sulfide; hydrogen; gamma radiation; radiolysis; hydrogen peroxide; hydroxyl radical; repository; Kemi; Chemistry;

    Sammanfattning : Dissolution of the UO2 matrix is one of the potential routes for radionuclide release in a future deep geological repository for spent nuclear fuel. This doctoral thesis focuses on interfacial reactions of relevance in radiation-induced dissolution of UO2 and is divided in two parts:In the first part, we sought to explore the effects of solid phase composition:The impact of surface stoichiometry on the reactivity of UO2 towards aqueous radiolytic oxidants was studied. LÄS MER

  5. 4. Job Loss: Consequences and Labor Market Policy

    Författare :Jonas Cederlöf; Peter Fredriksson; David Seim; Alexandre Mas; Uppsala universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Economics; Nationalekonomi;

    Sammanfattning : Essay I: This paper takes a novel approach to estimating the effects of involuntary job loss on future earnings, wages and employment. Whereas the previous literature has relied on mass layoffs and plant closures for exogenous variation in displacement, I use the fact that who is laid off is often determined by a seniority rule, specifically the last-in-first-out (LIFO) rule. LÄS MER