Avant-propos

in Boggiani, J.; Caldognetto, M. L.; Cicotti, C. (Eds.) et al Rêves d'Italie, Italies de rêve. Imaginaires et réalités autour de la présence italienne au Luxembourg et dans la Grande Région (2008)

Avant-propos

in Margue, Michel (Ed.) Sépulture, mort et représentation du pouvoir au moyen âge. Tod: Grabmal und Herrschaftsrepräsentation im Mittelalter. Actes des 11es Journées Lotharingiennes, 26-9 septembre 2000 (2006)

Avant-propos à Le discours rapporté… une question de temps

in Barthelmebs-Raguin, Hélène; Komur-Thilloy, Greta; Marnette, Sophie (Eds.) et al Le discours rapporté… une question de temps (2018)

Avant-propos in Malaise dans la ville

in Freyermuth, Sylvie; Bonnot, Jean-François Pierre (Eds.) Malaise dans la ville (2014)

Avant-propos. Habiter l’espace post-yougoslave

in Revue d'Etudes Comparatives Est-Ouest (2015), 46(4), 7-34

Die Avantgarde als Nullpunkt der Moderne

in Demuth, Marion; Hiekel, Jörn Peter (Eds.) Freiräume und Spannungsfelder. Reflexionen zur Musik heute (2009)

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures

in Proceedings of 18th International Conference "Tools and Algorithms for the Construction and Analysis of Systems", as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. (2012)

The AVANTSSAR Platform is an integrated toolset for the formal specification and automated validation of trust and security of service-oriented architectures and other applications in the Internet of ... [more ▼]

The AVANTSSAR Platform is an integrated toolset for the formal specification and automated validation of trust and security of service-oriented architectures and other applications in the Internet of Services. The platform supports application-level specification languages (such as BPMN and our custom languages) and features three validation backends (CL-AtSe, OFMC, and SATMC), which provide a range of complementary automated reasoning techniques (including service orchestration, compositional reasoning, model checking, and abstract interpretation). We have applied the platform to a large number of industrial case studies, collected into the AVANTSSAR Library of validated problem cases. In doing so, we unveiled a number of problems and vulnerabilities in deployed services. These include, most notably, a serious flaw in the SAML-based Single Sign-On for Google Apps (now corrected by Google as a result of our findings). We also report on the migration of the platform to industry. [less ▲]

AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations

in The 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER-2019) (2019, February 24)

Fix pattern-based patch generation is a promising direction in Automated Program Repair (APR). Notably, it has been demonstrated to produce more acceptable and correct patches than the patches obtained ... [more ▼]

Fix pattern-based patch generation is a promising direction in Automated Program Repair (APR). Notably, it has been demonstrated to produce more acceptable and correct patches than the patches obtained with mutation operators through genetic programming. The performance of pattern-based APR systems, however, depends on the fix ingredients mined from fix changes in development histories. Unfortunately, collecting a reliable set of bug fixes in repositories can be challenging. In this paper, we propose to investigate the possibility in an APR scenario of leveraging code changes that address violations by static bug detection tools. To that end, we build the AVATAR APR system, which exploits fix patterns of static analysis violations as ingredients for patch generation. Evaluated on the Defects4J benchmark, we show that, assuming a perfect localization of faults, AVATAR can generate correct patches to fix 34/39 bugs. We further find that AVATAR yields performance metrics that are comparable to that of the closely-related approaches in the literature. While AVATAR outperforms many of the state-of-the-art pattern-based APR systems, it is mostly complementary to current approaches. Overall, our study highlights the relevance of static bug finding tools as indirect contributors of fix ingredients for addressing code defects identified with functional test cases. [less ▲]

AVEC BNT - Analysis and Comparison of European and Chinese Design Codes - B. Script & Examples

Book published by BNT (2018)

In recent years, half of the newly constructed building floor areas in the world are built in China, thus it is important and interesting to know the Chinese design codes for buildings and compare them ... [more ▼]

In recent years, half of the newly constructed building floor areas in the world are built in China, thus it is important and interesting to know the Chinese design codes for buildings and compare them with Eurocodes, which are one of the most advanced design codes in the world. Funded by “Erasmus+ Strategic Partnerships” the project “AVEC BNT” was started in 2016 to compare the design codes mainly related to concrete structures and composite structures. This script is the main intellectual outputs from this project. It comprises codes background analysis, direct codes terms comparison and design examples. The script covers most of the design topics related to design of concrete structures and composite structure for building design as well as the design basics such as safety concept. It is a common achievements of students, researchers and professors from different universities and instructions of different countries. The main work is done at University of Luxembourg especially for the design basics part and the design of composite structure of steel and concrete. For design of concrete structure part, University of Applied Science Trier (Germany) and Thei (Hong Kong, China) has offered great helps and contributed many parts. To conform with the goals of Erasmus+ to promote the cooperation and mobility with the EU’ partner countries and to promote the sustainable development of its partners in the field of higher education and contribute to achieving the objectives of the EU Youth Strategy, the script involves many student’s work. The students could participate in the project through either joining special courses offered by the project partners, as well as, doing a student project, bachelor or master thesis related to this project. Further more the students participated within the transnational teaching activity weeks. With the guidance, the students were able to learn and compare difference design methods by EuroCodes and Chinese design codes and to cooperate with their colleges from different countries. To achieve good quality of the final script, which can be used as additional information and learn material for other students and engineers to learn about Eurocodes and Chinese codes for structural design. Also the work was edited into a uniform formatting to make it constant in style and easy to read. Although, besides the contribution from students, many other topics were added to make the documents complete, it was not possible to cover every topic in the codes due to the limited time and resources. Thus, topics such as fire design, seismic design, bridge design, pre-stressed structures and others are not within the scope of the work. The scripts are divided into 7 sub chapters and many small topics. Each topic has two main documents for Eurocodes and Chinese codes. The main documents have same list of contents, which allows readers to compare the design aspects from the two codes systems easily side by side. Besides that, each topic is also provided with a general summary of comparison, which points out the most important difference and general overview of the design. In the documents not only the content of the codes but also the background information is discussed, which will help students and engineers to understand not only the difference of design but also the reasons behind it. [less ▲]

Avec le bonjour de Napoléon et de Jean-Théodore Laurent

Article for general public (2015)

Weekly column on contemporary history ("L'histoire du temps présent") in Luxembourg newspaper Tageblatt, here on history of relations between Catholic Church and State in Luxembourg (19th-21st century)