Last 7 days
![]() Vigano, Enrico ![]() ![]() ![]() in Proceedings of the 45th International Conference on Software Engineering (ICSE ’23) (in press) We present DaMAT, a tool that implements data- driven mutation analysis. In contrast to traditional code-driven mutation analysis tools it mutates (i.e., modifies) the data ex- changed by components ... [more ▼] We present DaMAT, a tool that implements data- driven mutation analysis. In contrast to traditional code-driven mutation analysis tools it mutates (i.e., modifies) the data ex- changed by components instead of the source of the software under test. Such an approach helps ensure that test suites appropriately exercise components interoperability — essential for safety-critical cyber-physical systems. A user-provided fault model drives the mutation process. We have successfully evalu- ated DaMAT on software controlling a microsatellite and a set of libraries used in deployed CubeSats. A demo video of DaMAT is available at https://youtu.be/s5M52xWCj84 [less ▲] Detailed reference viewed: 59 (0 UL)![]() ; Pastore, Fabrizio ![]() in IEEE Transactions on Software Engineering (in press) Security testing aims at verifying that the software meets its security properties. In modern Web systems, however, this often entails the verification of the outputs generated when exercising the system ... [more ▼] Security testing aims at verifying that the software meets its security properties. In modern Web systems, however, this often entails the verification of the outputs generated when exercising the system with a very large set of inputs. Full automation is thus required to lower costs and increase the effectiveness of security testing. Unfortunately, to achieve such automation, in addition to strategies for automatically deriving test inputs, we need to address the oracle problem, which refers to the challenge, given an input for a system, of distinguishing correct from incorrect behavior (e.g., the response to be received after a specific HTTP GET request). In this paper, we propose Metamorphic Security Testing for Web-interactions (MST-wi), a metamorphic testing approach that integrates test input generation strategies inspired by mutational fuzzing and alleviates the oracle problem in security testing. It enables engineers to specify metamorphic relations (MRs) that capture many security properties of Web systems. To facilitate the specification of such MRs, we provide a domain-specific language accompanied by an Eclipse editor. MST-wi automatically collects the input data and transforms the MRs into executable Java code to automatically perform security testing. It automatically tests Web systems to detect vulnerabilities based on the relations and collected data. We provide a catalog of 76 system-agnostic MRs to automate security testing in Web systems. It covers 39% of the OWASP security testing activities not automated by state-of-the-art techniques; further, our MRs can automatically discover 102 different types of vulnerabilities, which correspond to 45% of the vulnerabilities due to violations of security design principles according to the MITRE CWE database. We also define guidelines that enable test engineers to improve the testability of the system under test with respect to our approach. We evaluated MST-wi effectiveness and scalability with two well-known Web systems (i.e., Jenkins and Joomla). It automatically detected 85% of their vulnerabilities and showed a high specificity (99.81% of the generated inputs do not lead to a false positive); our findings include a new security vulnerability detected in Jenkins. Finally, our results demonstrate that the approach scale, thus enabling automated security testing overnight. [less ▲] Detailed reference viewed: 33 (0 UL)![]() ![]() Börnchen, Stefan ![]() in Bay, Hansjörg; Hamann, Christof; Osthues, Julian (Eds.) et al Handbuch Literatur und Reise (in press) Detailed reference viewed: 7 (0 UL)![]() ; ; et al Scientific Conference (in press) Detailed reference viewed: 28 (5 UL)![]() ![]() ; Wille, Christian ![]() in Nesselhauf, Jonas; Weber, Florian (Eds.) Handbuch Kulturwissenschaftliche Studies (in press) Detailed reference viewed: 40 (1 UL)![]() Wille, Christian ![]() Presentation (2023, March 23) Detailed reference viewed: 36 (0 UL)![]() Pavlou, Maria Angeliki ![]() ![]() in Cells (2023), 12(6), 948 Astrocytes arise from multipotent neural stem cells (NSCs) and represent the most abundant cell type of the central nervous system (CNS), playing key roles in the developing and adult brain. Since the ... [more ▼] Astrocytes arise from multipotent neural stem cells (NSCs) and represent the most abundant cell type of the central nervous system (CNS), playing key roles in the developing and adult brain. Since the differentiation of NSCs towards a gliogenic fate is a precisely timed and regulated process, its perturbation gives rise to dysfunctional astrocytic phenotypes. Inflammation, which often underlies neurological disorders, including neurodevelopmental disorders and brain tumors, disrupts the accurate developmental process of NSCs. However, the specific consequences of an inflammatory environment on the epigenetic and transcriptional programs underlying NSCs’ differentiation into astrocytes is unexplored. Here, we address this gap by profiling in mice glial precursors from neural tissue derived from early embryonic stages along their astrocytic differentiation trajectory in the presence or absence of tumor necrosis factor (TNF), a master pro-inflammatory cytokine. By using a combination of RNA- and ATAC-sequencing approaches, together with footprint and integrated gene regulatory network analyses, we here identify key differences during the differentiation of NSCs into astrocytes under physiological and inflammatory settings. In agreement with its role to turn cells resistant to inflammatory challenges, we detect Nrf2 as a master transcription factor supporting the astrocytic differentiation under TNF exposure. Further, under these conditions, we unravel additional transcriptional regulatory hubs, including Stat3, Smad3, Cebpb, and Nfkb2, highlighting the interplay among pathways underlying physiological astrocytic developmental processes and those involved in inflammatory responses, resulting in discrete astrocytic phenotypes. Overall, our study reports key transcriptional and epigenetic changes leading to the identification of molecular regulators of astrocytic differentiation. Furthermore, our analyses provide a valuable resource for understanding inflammation-induced astrocytic phenotypes that might contribute to the development and progression of CNS disorders with an inflammatory component. [less ▲] Detailed reference viewed: 13 (2 UL)![]() ; Schafer, Valerie ![]() Presentation (2023, March 20) Avant de constituer une ‘archive’ ou ‘collection’ se déroule une pratique en apparence banale : celle du stockage. C'est à la fois une pratique triviale et technique, qui relève d’usages individuels ... [more ▼] Avant de constituer une ‘archive’ ou ‘collection’ se déroule une pratique en apparence banale : celle du stockage. C'est à la fois une pratique triviale et technique, qui relève d’usages individuels (stockage de musique, de photos personnelles, de données…) mais aussi collectifs (stockage par les médias eux-mêmes, les institutions patrimoniales…). Katharina Niemeyer et Valérie Schafer reviendront sur le numéro spécial qu’elles ont récemment coordonné et qui analyse la question du stockage dans une perspective historique, médiatique et matérielle. La problématique de la rencontre entre l’analogique et le numérique est ici au cœur de la réflexion : quelles répercussions de ce contexte renouvelé du stockage pour les usagers, pour les industries médiatiques, pour les institutions patrimoniales ou encore pour l’écriture de cette histoire ? Quels défis se présentent aux archivistes ? Comment se négocie le passage entre analogique et numérique, entre continuités et ruptures ? En présentant des exemples (CD-Rom, stockage pair-à-pair, etc.) qui couvrent le stockage par, dans et pour les médias, la rencontre souhaite également engager un échange sur une pratique transversale aux médias et usages médiatiques et sur un sujet inépuisable. [less ▲] Detailed reference viewed: 20 (0 UL)![]() Scuto, Denis ![]() Article for general public (2023) Detailed reference viewed: 45 (0 UL)![]() Cuniberti, Gilles ![]() Report (2023) Detailed reference viewed: 16 (0 UL)![]() Del Sol Mesa, Antonio ![]() in Aging Cell (2023) Detailed reference viewed: 13 (0 UL)![]() Gubenko, Stanislav ![]() Presentation (2023, March 15) The presentation gives an overview of the EU and China discourses on the legal aspects of the Global Gateway and the Belt and Road initiatives in Serbia. Then it discusses some practical approaches of the ... [more ▼] The presentation gives an overview of the EU and China discourses on the legal aspects of the Global Gateway and the Belt and Road initiatives in Serbia. Then it discusses some practical approaches of the EU and China to investment legal matters in Serbia and finally concludes with the impact of the two initiatives on Serbia’s commitment to European integration. [less ▲] Detailed reference viewed: 20 (0 UL)![]() Schafer, Valerie ![]() Scientific Conference (2023, March 13) L’équipe de ResPaDon organise une journée d’échange autour des résultats et des perspectives de ce projet débuté en mars 2021. Des conditions d’accès aux collectes collaboratives, des enjeux juridiques à ... [more ▼] L’équipe de ResPaDon organise une journée d’échange autour des résultats et des perspectives de ce projet débuté en mars 2021. Des conditions d’accès aux collectes collaboratives, des enjeux juridiques à la coopération entre acteurs nationaux et établissements de proximité, le Réseau de Partenaires pour l’exploration et l’analyse de données numériques (ResPaDon) propose de partager les résultats de sa démarche pour développer les usages scientifiques de la collection des archives du dépôt légal du web. [less ▲] Detailed reference viewed: 31 (0 UL)![]() Schmitz, Sandra ![]() in Onwubiko, Cyril; Rosati, Pierangelo; Rege, Aunshul (Eds.) et al Proceedings of the International Conference on Cybersecurity, Situational Awareness and Social Media (2023, March 08) Detailed reference viewed: 36 (0 UL)![]() van Zweel, Karl Nicolaus ![]() Doctoral thesis (2023) The general scope of the PhD research project falls within the framework of developing integrated catchment hydro-biogeochemical theories in the context of the Critical Zone (CZ). Significant advances in ... [more ▼] The general scope of the PhD research project falls within the framework of developing integrated catchment hydro-biogeochemical theories in the context of the Critical Zone (CZ). Significant advances in the understanding of water transit time theory, subsurface structure controls, and the quantification of catchment scale weathering rates have resulted in the convergence of classical biogeochemical and hydrological theories. This will potentially pave the way for a more mechanistic understanding of CZ because many challenges still exist. Perhaps the most difficult of all is a unifying hydro-biogeochemical theory that can compare catchments across gradients of climate, geology, and vegetation. Understanding the processes driving the evolution of chemical tracers as they move through space and time is of cardinal importance to validating mixing hypotheses and assisting in determining the residence time of water in CZ. The specific aim of the study is to investigate what physical and biogeochemical processes are driving variations in observable endmembers in stream discharge as a function of the hydrological state at headwater catchment scale. This requires looking beyond what can be observed in the stream and what is called ”unseen flowlines” in this thesis. The Weierbach Experimental Catchment (WEC) in Luxembourg provides a unique opportunity to study these processes, with an extensive biweekly groundwater chemistry dataset spanning over ten years. Additionally, WEC has been the subject of numerous published works in the domain of CZ science, adding to an already detailed hydrological and geochemical understanding of the system. Multivariate analysis techniques were used to identify the unseen flowlines in the catchment. Together with the excising hydrological perception model and a geochemical modelling approach, these flowlines were rigorously investigated to understand what processes drive their respective manifestations in the system. The existing perceptual model for WEC was updated by the new findings and tested on 27 flood events to assess if it could adequately explain the c − Q behaviour observed during these periods. The novelty of the study lies in the fact that it uses both data-driven modelling approaches and geochemical processbased modelling to look beyond what can be observed in the near-stream environment of headwaters. [less ▲] Detailed reference viewed: 26 (1 UL)![]() Scuto, Denis ![]() Article for general public (2023) Detailed reference viewed: 40 (0 UL)![]() Muwanigwa, Mudiwa Nathasia ![]() Doctoral thesis (2023) Neurodegenerative diseases are one of the leading causes of disability and mortality, affecting millions of people worldwide. Parkinson’s disease (PD) is the second most common neurodegenerative disease ... [more ▼] Neurodegenerative diseases are one of the leading causes of disability and mortality, affecting millions of people worldwide. Parkinson’s disease (PD) is the second most common neurodegenerative disease globally, and while it was first described over 200 years ago, curative treatments remain elusive. One of the main challenges in developing effective therapeutic strategies for PD is the complex molecular pathophysiology of the disease has not been well recapitulated in classically used animal models systems, and studies using post-mortem tissue from patients only represents the end point of disease. Human derived brain organoid models have revolutionized the field of neurological disease modeling, as they are able to recapitulate key cellular and physiological features reminiscent of the human brain. This thesis describes the use of human midbrain organoids (hMO) to model and gain a deeper understanding of genetic forms of PD. In the first manuscript, patient-specific hMO harboring a triplication in the SNCA gene (3xSNCA hMO) were able to recapitulate the key neuropathological hallmarks of PD. We observed the progressive loss and dysfunction of midbrain dopaminergic neurons in 3xSNCA hMO, and the accumulation of pathological α-synuclein including elevated levels of pS129 α-synuclein and the presence of α-synuclein aggregates. We also identified a phenotype indicative of senescence in the 3xSNCA hMO, which represents a mechanism that has recently gained more attention as a driving factor in PD pathogenesis and progression. The second manuscript of this thesis investigated the pathogenic role of LRRK2-G2019S in astrocytes using a combination of post-mortem brain tissue, induced pluripotent stem cell derived astrocytes and hMO. The iPSC derived astrocytes and organoids recapitulated the phenotypes seen in the post-mortem tissue, emphasizing the validity of these models in reflecting the in vivo situation. Interestingly, single-cell RNA sequencing of the hMO revealed that astrocytes from the LRRK2-G2019S organoids showed a senescent-like phenotype. Thus, this thesis highlights the relevance of senescence as a converging mechanism in PD. Finally, this thesis explores the future development of organoid models as they are combined with technologies such as microfluidic devices as in Manuscript III to improve their complexity and reproducibility. Ultimately, this will lead to the development of more representative models that can better recapitulate and model PD as well as other neurodegenerative disorders. [less ▲] Detailed reference viewed: 36 (0 UL)![]() Sagrillo, Damien François ![]() in Losert, Martin; Eschen, Andreas (Eds.) Gute Musik? Ästhetische Qualitäten von Musik im Unterricht (2023) This article focuses on a historical overview, criticism of solfège teaching and more accomplishable approaches to music education. When Guido of Arezzo came up with the invention of the line system and ... [more ▼] This article focuses on a historical overview, criticism of solfège teaching and more accomplishable approaches to music education. When Guido of Arezzo came up with the invention of the line system and derived tone syllables from the first letters of St John's hymn just under a millennium ago, he laid the foundation for a new approach to musical education: he replaced stubborn memorisation of (church) chants with a learnable, mechanical reading technique. He probably could not have foreseen that after almost a thousand years, 'his' idea would still be relevant. This article is based on several lectures and previous publications. It is intended to show the extent to which Solfège is situated in terms of music aesthetics on the one hand. However, on the other hand, this method of mechanical readability, when it is applied without any claim to music aesthetics, is increasingly causing headaches for music educators. Two years ago, the Kodály concept was recognised as an intangible cultural heritage of humanity. This mainly brought the preservation of the diverse Hungarian folk music heritage into focus and only secondarily the pedagogical idea associated with it. It should not be forgotten that the latter is based on Guido von Arezzo's predecessor concept and would be inconceivable without it. As a logical consequence, the Solfège should also be included in the list of intangible cultural assets. Its influence is based on a musical pedagogical concept that is more than a thousand years old and still has a decisive effect on musical education in many European countries. The Solfège system is not without controversy, but where is it written that an intangible cultural property must be based on consensus on content? Is not the discourse of musicology or music education the salt in the soup that could stimulate the discussion about the inclusion of cultural property in the UNESCO List [less ▲] Detailed reference viewed: 25 (1 UL)![]() Saintes, Laetitia ![]() in Romantisme (2023), 199(1), 16-25 In 1821 Paul-Louis Courier, accused of outrages to public morality because of his Simple discours (1821) and Pierre-Jean de Béranger, prosecuted for having outraged, with his Chansons (1821), public and ... [more ▼] In 1821 Paul-Louis Courier, accused of outrages to public morality because of his Simple discours (1821) and Pierre-Jean de Béranger, prosecuted for having outraged, with his Chansons (1821), public and religious morality and social mores, and insulted the king, appeared before the Assizes court of the Seine. These two famous trials inspired both Courier and Béranger to write respectively the Procès de Paul-Louis Courier (The Trial of Paul-Louis Courier) and the Procès fait aux chansons de P.-J. de Béranger (The Trial against the Songs of P.-J. de Béranger). This paper aims to study through the lens of these texts the manner in which Courier and Béranger understand and appropriate, within texts that need to be considered as both aesthetic declarations and political professions of faith, the judicial eloquence manifested during their respective trials. [less ▲] Detailed reference viewed: 75 (1 UL)![]() Monzon Baeza, Victor ![]() E-print/Working paper (2023) Multiple access is the base for increasing the capacity in multi-user communication networks. However, the growing demand for higher data rates and the number of users who requires communication services ... [more ▼] Multiple access is the base for increasing the capacity in multi-user communication networks. However, the growing demand for higher data rates and the number of users who requires communication services has led to the scarcity of orthogonal resources in current wireless communications. On the other hand, integrating the satellite within terrestrial networks as an initiative of 3GPP since its Release 15 entails the need for new forms of multiple access between terrestrial and non-terrestrial users. This paper studies constellation schemes as a new domain to enhance the state-of-the-art multiple-access techniques for future communication technologies employing non-coherent communications with massive MIMO. In addition, we propose a hybrid model between the classic access methods such as Time Division Multiple Access (TDMA) or Frequency Division Multiple Access (FDMA), the emerging models of non-orthogonal multiple access (NOMA) and the proposed domain of the constellation based on non-coherent massive multiple-input multiple-output (MIMO) schemes. This model is discussed for different scenarios in satellite communications that help increase the system's capacity and avoid interference between terrestrial and non-terrestrial users. [less ▲] Detailed reference viewed: 68 (3 UL) |
||