Early-Stopped Technique for BCH Decoding Algorithm Under Tolerant Fault Probability

Report (2023)

In this paper, a technique for the Berlekamp Massey(BM) algorithm is provided to reduce the latency of decoding and save decoding power by early termination or early stopped checking. We investigate the ... [more ▼]

In this paper, a technique for the Berlekamp Massey(BM) algorithm is provided to reduce the latency of decoding and save decoding power by early termination or early stopped checking. We investigate the consecutive zero discrepan cies during the decoding iteration and decide to early stop the decoding process. This technique is subject to decoding failure in exchange for the decoding latency. We analyze our propose d technique by considering the weight distribution of BCH code and estimating the bounds of undetected error probability as the event of enormous stop checking. The proposed method is effective in numerical results and the probability of decoding failure is lower than 10 −119 for decoding 16383 code length of BCH codes. Furthermore, the complexity compared the conventional early termination method with the proposed approach for decoding the long BCH code. The proposed approach reduces the complexity of the conventional approach by up to 80%. As a result, the FPGA testing on a USB device validates the reliability of the proposed method [less ▲]

QRNG Entropy as a Service(EaaS) Platform for Quantum-Safe Entropy and key Delivery

Report (2023)

Random numbers [1] are widely used in numerical computing, statistical simulation, random sampling, etc. The security of random numbers is getting more attention. In addition to random numbers ... [more ▼]

Random numbers [1] are widely used in numerical computing, statistical simulation, random sampling, etc. The security of random numbers is getting more attention. In addition to random numbers, information and network environment security [2] are also very important in real life, such as the generation of verification code for login, QR code for online payment, etc. All random numbers that involve important identity information must have extremely high security to protect personal privacy from being leaked or illegally stolen. At present, the mechanism for generating random numbers by computers is at risk of being attacked which is subject that the generated random numbers may be predicted in some cases. Random number generation (RNG) [3] has always been one of the biggest problems. The problem with classic random number generators, i.e., pseudorandom number generators, consists in the possibility to know the deterministic process of pseudorandom generation by unwanted persons. This may result, in the case of cryptography, in compromising a myth of security. Another problem may be the incorrect handling of the generated sequence—mostly in cryptographic uses, the generated random sequence is applied once. Its multiple usage may lead to a security breach (e.g., in the case of the OTP cipher, a sufficiently long key should be truly random and used once in that protocol, otherwise it will be possible to break the code). [less ▲]

Bildungserfahrungen in non-formalen Settings. Eine Jugendstudie über das Potenzial und den Wert bildungsorientierter Jugendarbeit

Report (2022)

REPORT OF DATA FUSION AND EVALUATION

Report (2022)

The third deliverable for the SCRIPT Project

Absolute Gravity Measurements at the Alpine Research Centre in Obergurgl (Austria) in September 2021

Report (2022)

Forschungsbericht 2: Ergebnisse der Studie "Social Work Labour Market in Luxembourg" - Übergänge in den Arbeitsmarkt und berufliche Werdegänge der BSSE-Absolvent*innen der Universität Luxemburg.

Report (2022)

Report 2019-2021, Europe Direct Information Centre at the University of Luxembourg

Report (2022)

Following its participation in the European Commission call for proposals in 2017, the University of Luxembourg was selected as a partner to run a Europe Direct Information Centre (EDIC) for the period ... [more ▼]

Following its participation in the European Commission call for proposals in 2017, the University of Luxembourg was selected as a partner to run a Europe Direct Information Centre (EDIC) for the period 2018-2021. The agreement establishing EDIC University of Luxembourg was signed on 28 March 2019 by Prof. Dr Stéphane Pallage, Rector of the University, and Yuriko Backes, Head of the European Commission Representation in Luxembourg. EDIC University of Luxembourg is geared towards a broad audience, with the aim of informing students, researchers, teachers and the general public about issues related to the European Union’s history and current affairs, as well as reflecting on potential future challenges. 29 Marc 2019 to 30 April 2021, EDIC University of Luxembourg had organized wide range of of lectures, seminars, discussions and exhibitions in cooperation with numerous partners from Luxembourg and worldwide. In the meantime, it had offered a vast variety of information about the history of European integration, the EU institutions, the workings and policies of a united Europe, as well as the place of Luxembourg and its key figures in the European integration history. Based in the Luxembourg Learning Centre (LLC) on Belval Campus, EDIC University of Luxembourg is managed by Dr Elena Danescu, a Research Scientist at the Luxembourg Centre for Contemporary and Digital History (C2DH) - the third interdisciplinary centre of the University of Luxembourg. [less ▲]

Ad-hoc childcare at University of Luxembourg-events. A guidance

Report (2022)

Ad-hoc childcare at the University of Luxembourg is possible! The following document is based on the experiences gained from the planning of a large-scale conference at the Faculty of Humanities ... [more ▼]

Ad-hoc childcare at the University of Luxembourg is possible! The following document is based on the experiences gained from the planning of a large-scale conference at the Faculty of Humanities, Education and Social Sciences and can be used as a checklist how to proceed to implement ad-hoc childcare for events at the University of Luxembourg. [less ▲]

SEMKIS-DSL: a Domain-Specific Language for Specifying Neural Networks’ Key-Properties

Report (2021)

Neural networks are becoming increasingly part of today’s software systems. These neural networks are simplified models of the human brain that are mainly capable of learning from large datasets to ... [more ▼]

Neural networks are becoming increasingly part of today’s software systems. These neural networks are simplified models of the human brain that are mainly capable of learning from large datasets to compute some function based on recognized data. Engineering these datasets and these neural network-based software systems is a complicated and challenging task. Software engineers require methods and tools to engineer these datasets and neural networks for their customers and to satisfy their requirements. In general, they lack methods and tools to support the engineering of dataset and neural networks that satisfy the customer’s requirements. They follow traditional approaches consisting of time-consuming, imprecise and manual activities. Typically, these approaches are not supported by any tool that precisely analyse and specify the neural network’s recognition skills. In our previous work, we have introduced the notion of key-properties for describing the neural network’s recognition skills. In this paper, we define a domain-specific language to support our SEMKIS software engineering methodology for the dataset augmentation to improve network’s key-properties. We present the SEMKIS-DSL for the specification of the key-properties of a neural network. We illustrate the concepts of our DSL with a running example specifying a neural network for recognizing a digital meter counter state. This running example demonstrates a specification of the neural network’s key-properties using the SEMKIS-DSL and a successful improvement of the neural network’s recognition skills. [less ▲]

REPORT OF DATA SOURCES

Report (2021)

Data science meets computational mechanics

Report (2021)

DIGSKILLS – Rapport Quantitatif : Analyse des Besoins en Compétences Digitales pour la Fonction Publique Luxembourgeoise

Report (2021)

Low SLA violation and Low Energy consumption using VM Consolidation in Green Cloud Data Centers

Report (2020)

Virtual Machines (VM) consolidation is an efficient way towards energy conservation in cloud data centers. The VM consolidation technique is applied to migrate VMs into lesser number of active Physical ... [more ▼]

Virtual Machines (VM) consolidation is an efficient way towards energy conservation in cloud data centers. The VM consolidation technique is applied to migrate VMs into lesser number of active Physical Machines (PMs), so that the PMs which have no VMs can be turned into sleep state. VM consolidation technique can reduce energy consumption of cloud data centers because of the energy consumption by the PM which is in sleep state. Because of VMs sharing the underlying physical resources, aggressive consolidation of VMs can lead to performance degradation. Furthermore, an application may encounter an unexpected resources requirement which may lead to increased response times or even failures. Before providing cloud services, cloud providers should sign Service Level Agreements (SLA) with customers. To provide reliable Quality of Service (QoS) for cloud providers is quite important of considering this research topic. To strike a tradeoff between energy and performance, minimizing energy consumption on the premise of meeting SLA is considered. One of the optimization challenges is to decide which VMs to migrate, when to migrate, where to migrate, and when and which servers to turn on/off. To achieve this goal optimally, it is important to predict the future host state accurately and make plan for migration of VMs based on the prediction. For example, if a host will be overloaded at next time unit, some VMs should be migrated from the host to keep the host from overloading, and if a host will be underloaded at next time unit, all VMs should be migrated from the host, so that the host can be turned off to save power. The design goal of the controller is to achieve the balance between server energy consumption and application performance. Because of the heterogeneity of cloud resources and various applications in the cloud environment, the workload on hosts is dynamically changing over time. It is essential to develop accurate workload prediction models for effective resource management and allocation. The disadvantage of VM consolidation process in cloud data centers is that they only concentrate on primitive system characteristics such as CPU utilization, memory and the number of active hosts. When originating their models and approaches as the decisive factors, these characteristics ignore the discrepancy in performance-to-power efficiency between heterogeneous infrastructures. Therefore, this is the reason that leads to unreasonable consolidation which may cause redundant number of VM migrations and energy waste. Advance artificial intelligence such as reinforcement learning can learn a management strategy without prior knowledge, which enables us to design a model-free resource allocation control system. For example, VM consolidation could be predicted by using artificial intelligence rather than based on the current resources utilization usage [less ▲]

Absolute Gravity Measurements At The Alpine Research Centre in Obergurgl (Austria) in June 2019

Report (2019)

DevOps and its Philosophy : Education Matters!

Report (2019)

DevOps processes comply with principles and offer practices with main objective to support efficiently the evolution of IT systems. To be efficient a DevOps process relies on a set of integrated tools ... [more ▼]

DevOps processes comply with principles and offer practices with main objective to support efficiently the evolution of IT systems. To be efficient a DevOps process relies on a set of integrated tools. DevOps is among the first competencies together with Agile method required by the industry. As a new approach it is necessary to develop and offer to the academy and to the industry training programs to prepare our engineers in the best possible way. In this chapter we present the main aspects of the educational effort made in the recent years to educate to the concepts and values of the DevOps philosophy. This includes principles, practices, tools and architectures, primarily the microservices architectural style, which shares many aspects of DevOps approaches especially the modularity and flexibility which enables continuous change and delivery. Two experiences have been made, one at academic level as a master program course and the other, as an industrial training. Based on those two experiences, we provide a comparative analysis and some proposals in order to develop and improve DevOps education for the future. [less ▲]

Absolute Gravity Measurements at the Alpine Research Centre In Obergurgl (Austria) In September 2018

Report (2018)

MUSTI: Dynamic Prevention of Invalid Object Initialization Attacks

Report (2018)

The D²Rwanda Study: March 2018 Report

Report (2018)

The Community- and MHealth-Based Integrated Management of Diabetes in Primary Healthcare in Rwanda: the D²Rwanda Study (which stands for Digital Diabetes Study in Rwanda) is a twin PhD project, developed ... [more ▼]

The Community- and MHealth-Based Integrated Management of Diabetes in Primary Healthcare in Rwanda: the D²Rwanda Study (which stands for Digital Diabetes Study in Rwanda) is a twin PhD project, developed in collaboration with Aarhus University (AU) and the University of Luxembourg (UL), and under the auspices of the University of Rwanda and Rwanda Biomedical Centre. The project involves two PhD students, Jean Paul Uwizihiwe (enrolled at AU) and Charilaos Lygidakis (enrolled at UL), and is kindly sponsored by the Karen Elise Jensens Foundation, alongside AU and UL. In this report we wished to narrate what we had been working on for the past two years: from the first steps to understanding better the context and mapping the territory; from obtaining the necessary authorisations to developing the app and translating the questionnaires. [less ▲]

2018 Lab Report Computational Mechanics Legato-team and Z-team

Report (2018)

SEMKIS : Software Engineering Methodology for Knowledge Management of Intelligent Systems

Report (2018)

Today, there is a high demand on intelligent systems (e.g chatbots, ob- ject decetors, translators, etc). Engineers have to develop these systems in a lots of di erent domains (e.g. medicine, nance, car ... [more ▼]

Today, there is a high demand on intelligent systems (e.g chatbots, ob- ject decetors, translators, etc). Engineers have to develop these systems in a lots of di erent domains (e.g. medicine, nance, car industry). More- over, these intelligent systems are trained on data collected from these do- mains using an iterative training process. Et each training iteration, the parameters of such system are updated intuitivly based on the engineer's experience. However, gathering and labelling these data is very costly and time consuming. Moreover, the systems are often complex. It is recom- mended to have a strong mathematical background. Thus, engineers often design these systems based on their own experience and collected informa- tion about the system. We present the road towards a novel methodology, called SEMKIS, for the design ang generation of intelligent systems and synthetic learning data. We use the model-driven engineering approach in our methodology to specify and design our systems. We generate speci - cations, designs and implementation of our intelligent systems. We used the mathematical set theory to de ne the concepts for the speci cation of intelligent systems and data synthetis within a formal conceptual frame- work. The concepts have been used in a small executable illustration that focuses on the recognition of handwritten digits on a picture. The results show that our concepts are usable and that we reduce the complexitiy of specifying and designing intelligent systems. [less ▲]

Modeling Security and Privacy Requirements for Mobile Applications: a Use Case-driven Approach

Report (2017)

Defining and addressing security and privacy requirements in mobile apps is a significant challenge due to the high level of transparency regarding users' (private) information. In this paper, we propose ... [more ▼]

Defining and addressing security and privacy requirements in mobile apps is a significant challenge due to the high level of transparency regarding users' (private) information. In this paper, we propose, apply, and assess a modeling method that supports the specification of security and privacy requirements of mobile apps in a structured and analyzable form. Our motivation is that, in many contexts including mobile app development, use cases are common practice for the elicitation and analysis of functional requirements and should also be adapted for describing security requirements. We integrate and adapt an existing approach for modeling security and privacy requirements in terms of security threats, their mitigations, and their relations to use cases in a misuse case diagram. We introduce new security-related templates, i.e., a mitigation template and a misuse case template for specifying mitigation schemes and misuse case specifications in a structured and analyzable manner. Natural language processing can then be used to automatically detect and report inconsistencies among artifacts and between the templates and specifications. Since our approach supports stakeholders in precisely specifying and checking security threats, threat scenarios and their mitigations, it is expected to help with decision making and compliance with standards for improving security. We successfully applied our approach to industrial mobile apps and report lessons learned and results from structured interviews with engineers. [less ▲]

ANED Country report on Social Protection and Article 28: Luxembourg

Report (2017)

Integration in Luxemburg: Perspektiven, Erfahrungen und Bewältigungsmuster junger Migranten. Abschlussbericht eines qualitativen Forschungsprojekts.

Report (2017)

Evaluation des Pilotprojektes Outreach Youth Work - Maisons des Jeunes. Die Sicht der Jugendlichen auf das Projekt. Workingpaper 5.

Report (2017)

Longitudinal study of LLC student destinations. Phase One: Motivations, experiences and outcomes in the lives of LLC students

Report (2017)

The report investigates the daily experiences of mature students at the University of Leeds, UK.

Two new projects on the Early Cold War period of European Integration

Report (2016)

Core Junior Web Page Announcement

Design of Automotive Road Racing Rim with Aid of Topology Optimization

Report (2016)

A goal of the project was done to develop a new good-looking racing rim of a sports car which would be lighter than existing ones. To achieve the goal, lightweight magnesium alloy Mg ZK60-T5 was applied ... [more ▼]

A goal of the project was done to develop a new good-looking racing rim of a sports car which would be lighter than existing ones. To achieve the goal, lightweight magnesium alloy Mg ZK60-T5 was applied for the rim, and its preliminary shape was developed employing topology op-timisation. The rim was designed for forging technology; this means that it had to have all manu-facturing features required by that production process. Based on a literature review, loads, boundary conditions and structural requirements were established, which are crucial for a further development process. The initial design was created using the topology optimisation, and then a parametric model was developed using a CAD system. As a next step, the first part of validation was done employing FEA in order to meet strength and stiffness targets; some modifications of the CAD model were imposed. As the last step, the final validation was done employing simply fatigue assessment. The optimisation and FEA were completed using Hyperworks 14/ Inspire 2015 software and the CAD model employing Autodesk Inventor 2015. The results show that the rim design meets theoretically all structural requirements and a good-looking shape was reached. The total mass of 7.9 kg of the designed rim is obtained, which means a reduction about 1.8 kg with the comparison with a reference rim. The 3D model and a technical drawing are completed; this means that the rim can be sent to a production phase. The results of the project also show that the topology optimisation technology provided by Hyperworks and the advanced CAD system can be used to generate competitive designs with any design offices without difficulties. [less ▲]

Projet Accompagnement. L'enquête par questionnaire auprès des présidents et des membres de comités d'école.

Report (2016)

Le projet Accompagnement est une courte recherche de six mois (janvier à juin 2016), financée par le MENJE (Ministère de l’Education nationale, de l’Enfance et de la Jeunesse), et plus précisément par la ... [more ▼]

Le projet Accompagnement est une courte recherche de six mois (janvier à juin 2016), financée par le MENJE (Ministère de l’Education nationale, de l’Enfance et de la Jeunesse), et plus précisément par la division du SCRIPT (Service de coordination de la recherche et de l’innovation pédagogiques et technologiques), et conduite par l’Université du Luxembourg. L’étude poursuit quatre objectifs spécifiques : (1) dresser un état des lieux du soutien et de l’accompagnement actuellement proposés au Luxembourg aux écoles fondamentales dans leurs démarches de développement de la qualité scolaire, (2) décrire ce qui est mis en œuvre dans d’autres systèmes scolaires pour poursuivre cet objectif, (3) identifier des éléments intéressants et formuler des perspectives pour, le cas échéant, améliorer le dispositif actuel et (4) examiner l’intérêt et les conditions de réalisation d’études ultérieures en matière d’accompagnement des établissements scolaires au Luxembourg. [less ▲]

Projet Accompagnement. La consultation par entretiens des acteurs-clés de l'accompagnement des écoles au Luxembourg.

Report (2016)

Le projet Accompagnement est une courte recherche de six mois (janvier à juin 2016), financée par le MENJE (Ministère de l’Education nationale, de l’Enfance et de la Jeunesse), et plus précisément par la ... [more ▼]

Le projet Accompagnement est une courte recherche de six mois (janvier à juin 2016), financée par le MENJE (Ministère de l’Education nationale, de l’Enfance et de la Jeunesse), et plus précisément par la division du SCRIPT (Service de coordination de la recherche et de l’innovation pédagogiques et technologiques), et conduite par l’Université du Luxembourg. L’étude poursuit quatre objectifs spécifiques : (1) dresser un état des lieux du soutien et de l’accompagnement actuellement proposés au Luxembourg aux écoles fondamentales dans leurs démarches de développement de la qualité scolaire, (2) décrire ce qui est mis en œuvre dans d’autres systèmes scolaires pour poursuivre cet objectif, (3) identifier des éléments intéressants et formuler des perspectives pour, le cas échéant, améliorer le dispositif actuel et (4) examiner l’intérêt et les conditions de réalisation d’études ultérieures en matière d’accompagnement des établissements scolaires au Luxembourg. [less ▲]

Static Analysis of Android Apps: A Systematic Literature Review

Report (2016)

Context: Static analysis approaches have been proposed to assess the security of Android apps, by searching for known vulnerabilities or actual malicious code. The literature thus has proposed a large ... [more ▼]

Context: Static analysis approaches have been proposed to assess the security of Android apps, by searching for known vulnerabilities or actual malicious code. The literature thus has proposed a large body of works, each of which attempts to tackle one or more of the several challenges that program analyzers face when dealing with Android apps. Objective: We aim to provide a clear view of the state-of-the-art works that statically analyze Android apps, from which we highlight the trends of static analysis approaches, pinpoint where the focus has been put and enumerate the key aspects where future researches are still needed. Method: We have performed a systematic literature review which involves studying around 90 research papers published in software engineering, programming languages and security venues. This review is performed mainly in five dimensions: problems targeted by the approach, fundamental techniques used by authors, static analysis sensitivities considered, android characteristics taken into account and the scale of evaluation performed. Results: Our in-depth examination have led to several key findings: 1) Static analysis is largely performed to uncover security and privacy issues; 2) The Soot framework and the Jimple intermediate representation are the most adopted basic support tool and format, respectively; 3) Taint analysis remains the most applied technique in research approaches; 4) Most approaches support several analysis sensitivities, but very few approaches consider path-sensitivity; 5) There is no single work that has been proposed to tackle all challenges of static analysis that are related to Android programming; and 6) Only a small portion of state-of-the-art works have made their artifacts publicly available. Conclusion: The research community is still facing a number of challenges for building approaches that are aware altogether of implicit-Flows, dynamic code loading features, reflective calls, native code and multi-threading, in order to implement sound and highly precise static analyzers. [less ▲]

GemRBAC-DSL: a High-level Specification Language for Role-based Access Control Policies

Report (2016)

A role-based access control (RBAC) policy restricts a user to perform operations based on her role within an organization. Several RBAC models have been proposed to represent different types of RBAC ... [more ▼]

A role-based access control (RBAC) policy restricts a user to perform operations based on her role within an organization. Several RBAC models have been proposed to represent different types of RBAC policies. However, the expressiveness of these models has not been matched by specification languages for RBAC policies. Indeed, existing policy specification languages do not support all the types of RBAC policies defined in the literature. In this paper we aim to bridge the gap between highly-expressive RBAC models and policy specification languages, by presenting GemRBAC-DSL, a new specification language designed on top of an existing, generalized conceptual model for RBAC. The language sports a syntax close to natural language, to encourage its adoption among practitioners. We also define semantic checks to detect conflicts and inconsistencies among the policies written in a GemRBAC-DSL specification. We show how the semantics of GemRBAC-DSL can be expressed in terms of an existing formalization of RBAC policies as OCL (Object Constraint Language) constraints on the corresponding RBAC conceptual model. This formalization paves the way to define a model-driven approach for the enforcement of policies written in GemRBAC-DSL. [less ▲]

The Case for FIFO Real-Time Scheduling

Report (2016)

Selecting the right scheduling policy is a crucial issue in the development of an embedded real-time application. Whereas scheduling policies are typically judged according to their ability to schedule ... [more ▼]

Selecting the right scheduling policy is a crucial issue in the development of an embedded real-time application. Whereas scheduling policies are typically judged according to their ability to schedule task sets at a high processor utilizations, other concerns, such as predictability and simplicity are often overlooked.In this paper, we argue that FIFO scheduling with offsets is a suitable choice when these concerns play a key role. To this end, we examine the predictability of FIFO, present a schedulability analysis for it and evaluate both, performance and predictability of FIFO scheduling with and without offsets. Our results show that FIFO with offsets exhibits competitive performance for task with regular periods, at an unmatched predictability. [less ▲]

A Representation Theorem for Abstract Cumulative Aggregation

Report (2016)

From any two conditional obligations “X if A” and “Y if B”, cumulative aggregation derives the combined obligation “X ∪ Y if A ∪ (B \ X)”, whereas simple aggregation derives the obligation “X ∪ Y if A ∪ ... [more ▼]

From any two conditional obligations “X if A” and “Y if B”, cumulative aggregation derives the combined obligation “X ∪ Y if A ∪ (B \ X)”, whereas simple aggregation derives the obligation “X ∪ Y if A ∪ B”. We propose FC systems consisting of cumulative aggregation together with factual detachment, and we give a representation result for FC systems, as well as for FA systems consisting of simple aggregation together with factual detachment. We relate FC and FA systems to each other and to input/output logics recently introduced by Parent and van der Torre. [less ▲]

Comment les Épreuves Standardisées sont-elles perçues par les acteurs concernés? : Volume 1: Rapport interne synthétique à la base de la démarche qualité portant sur le dispositif ÉpStan

Report (2015)

Lean Model-Driven Development through Model-Interpretation: the CPAL design flow

Report (2015)

We introduce a novel Model-Driven Development (MDD) flow which aims at more simplicity, more intuitive programming, quicker turnaround time and real-time predictability by leveraging the use of model ... [more ▼]

We introduce a novel Model-Driven Development (MDD) flow which aims at more simplicity, more intuitive programming, quicker turnaround time and real-time predictability by leveraging the use of model-interpretation and providing the language abstractions needed to argue about the timing correctness on a high-level. The MDD flow is built around a language called Cyber-Physical Action Language (CPAL). CPAL serves to describe both the functional behaviour of activities (i.e., the code of the function itself) as well as the functional architecture of the system (i.e., the set of functions, how they are activated, and the data flows among the functions). CPAL is meant to support two use-cases. Firstly, CPAL is a development and design space exploration environment for CPS with main features being the formal description, the editing, graphical representation and simulation of CPS models. Secondly, CPAL is a real-time execution platform. The vision behind CPAL is that a model is executed and verified in simulation mode on a workstation and the same model can be later run on an embedded board with a timing-equivalent run-time time behaviour. [less ▲]

BIX – Der Bibliotheksindex

Report (2015)

Les langues dans les offres d'emploi au Luxembourg (1984-2014)

Report (2015)

Cette étude propose une analyse des demandes linguistiques dans les offres d’emploi au Luxembourg dans deux médias différents : 1) À partir d’un échantillon d’offres du Luxemburger Wort portant sur la ... [more ▼]

Cette étude propose une analyse des demandes linguistiques dans les offres d’emploi au Luxembourg dans deux médias différents : 1) À partir d’un échantillon d’offres du Luxemburger Wort portant sur la période 1984-2014, elle décrit l’évolution des compétences linguistiques exigées ou souhaitées sur le marché du travail du Luxembourg. 2) Pour tenir compte de l’importance croissante des recrutements en ligne, une deuxième étude porte sur un corpus d’offres publiées sur le site Internet Jobs.lu. La prise en compte de ces deux sources permet de montrer une segmentation linguistique entre les différentes branches d’activité et une augmentation des demandes langagières explicites au fil des 30 dernières années. [less ▲]

Model-Driven Security based on A Unified System of Security Design Patterns

Report (2015)

Model-Driven Security (MDS) for secure systems development still has limitations to be more applicable in practice. A recent systematic review of MDS shows that current MDS approaches have not dealt with ... [more ▼]

Model-Driven Security (MDS) for secure systems development still has limitations to be more applicable in practice. A recent systematic review of MDS shows that current MDS approaches have not dealt with multiple security concerns system- atically. Besides, catalogs of security patterns which can address multiple security concerns have not been applied efficiently. This paper presents an MDS approach based on a unified System of Security design Patterns (SoSPa). In SoSPa, security design patterns are collected, specified as reusable aspect models to form a coherent system of them that guides developers in systematically addressing multiple security concerns. SoSPa consists of not only interrelated security design patterns but also a refinement process towards their application. We applied SoSPa to design the security of crisis management systems. The result shows that multiple security concerns in the case study have been addressed by systematically integrating different security solutions. [less ▲]

Computational Mechanics Lab Report 2013-2014

Report (2015)

This is the report of the Computational Mechanics Lab led by Prof. Stéphane Bordas

Gradient Smoothing in Finite Elasticity: near-incompressibility

Report (2015)

A first approach toward log file analyses in educational large-scale assessments: A new window to students’ minds? Internal report to the OECD

Report (2015)

Echo iTEO. Sprachräume

Report (2014)

Error controlled adaptive multiscale method for fracture in polycrystalline materials

Report (2014)

A lack of separation of scales is the major hurdle hampering predictive and computationally tractable simulations of fracture over multiple scales. In this thesis an adaptive multiscale method is ... [more ▼]

A lack of separation of scales is the major hurdle hampering predictive and computationally tractable simulations of fracture over multiple scales. In this thesis an adaptive multiscale method is presented in an attempt to address this challenge. This method is set in the context of FE2 Feyel and Chaboche [2000] for which computational homogenisation breaks down upon loss of material stability (softening). The lack of scale separation due to the coalescence of microscopic cracks in a certain zone is tackled by a full discretisation of the microstructure in this zone. Polycrystalline materials are considered with cohesive cracks along the grain boundaries as a model problem. Adaptive mesh re nement of the coarse region and adaptive initiation and growth of fully resolved regions are performed based on discretisation error and homogenisation error criteria, respectively. In order to follow sharp snap-backs in load-displacement paths, a local arc-length technique is developed for the adaptive multiscale method. The results are validated against direct numerical simulation [less ▲]

Automatically Exploiting Potential Component Leaks in Android Applications

Report (2014)

We present PCLeaks, a tool based on inter- component communication (ICC) vulnerabilities to perform data-flow analysis on Android applications to find potential component leaks (e.g., another component ... [more ▼]

We present PCLeaks, a tool based on inter- component communication (ICC) vulnerabilities to perform data-flow analysis on Android applications to find potential component leaks (e.g., another component can potentially exploit the leak). To evaluate our approach, we run PCLeaks on 2000 apps, randomly selected from Google Play store. PCLeaks reports 986 potential component leaks in 185 apps. For each leak reported by PCLeaks, PCLeaksValidator automatically generates an Android app which tries to exploit the leak. By manually running a subset of the generated apps, we find that 75% of the reported leaks are exploitable leaks. [less ▲]

I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis

Report (2014)

Android applications may leak privacy data carelessly or maliciously. In this work we perform inter-component data-flow analysis to detect privacy leaks between components of Android applications. Unlike ... [more ▼]

Android applications may leak privacy data carelessly or maliciously. In this work we perform inter-component data-flow analysis to detect privacy leaks between components of Android applications. Unlike all current approaches, our tool, called IccTA, propagates the context between the components, which improves the precision of the analysis. IccTA outperforms all other available tools by reaching a precision of 95.0% and a recall of 82.6% on DroidBench. Our approach detects 147 inter-component based privacy leaks in 14 applications in a set of 3000 real-world applications with a precision of 88.4%. With the help of ApkCombiner, our approach is able to detect inter-app based privacy leaks. [less ▲]

A Model-Driven Approach to Offline Trace Checking of Temporal Properties with OCL

Report (2014)

Offline trace checking is a procedure for evaluating requirements over a log of events produced by a system. The goal of this paper is to present a practical and scalable solution for the offline checking ... [more ▼]

Offline trace checking is a procedure for evaluating requirements over a log of events produced by a system. The goal of this paper is to present a practical and scalable solution for the offline checking of the temporal requirements of a system, which can be used in contexts where model-driven engineering is already a practice, where temporal specifications should be written in a domain-specific language not requiring a strong mathematical background, and where relying on standards and industry-strength tools for property checking is a fundamental prerequisite. The main contributions are: the TemPsy language, a domain-specific specification language based on common property specification patterns, and extended with new constructs; a model-driven offline trace checking procedure based on the mapping of requirements written in TemPsy into OCL (Object Constraint Language) constraints on a conceptual model on execution traces, which can be evaluated using an OCL checker; the implementation of this trace checking procedure in the TemPsy-Check tool; the evaluation of the scalability of TemPsy-Check and its comparison to a state-of-the-art alternative technology. The proposed approach has been applied to a case study developed in collaboration with a public service organization, active in the domain of business process modeling for eGovernment. [less ▲]

Sentiment Barometer in Financial News

Report (2014)

This booklet is a collection of project reports written by graduate students, who have participated the course "Machine Learning" in Winter Term 2013/14. Here, we have concerned Financial News Documents ... [more ▼]

This booklet is a collection of project reports written by graduate students, who have participated the course "Machine Learning" in Winter Term 2013/14. Here, we have concerned Financial News Documents regarding the Irish Financial Crisis in the years of 2009 - 2013. We have studied different forms of sentiments, for example with StoryTakes, Alerts, Headlines, authors, and others. [less ▲]

Proceedings of the 2nd GI/ITG KuVS Fachgespräch Inter-Vehicle Communication (FG-IVC 2014)

Report (2014)

Strain smoothing technique in 3D for nearly incompressible neo-Hookean material

Report (2014)

Market-Based Childcare in Luxemburg. Modelle der Wirklichkeiten, Auswertungsbericht im Rahmen des Forschungsprojekts EDUQUA-COM

Report (2014)