Institution
University of Luxembourg
Education•Luxembourg, Luxembourg•
About: University of Luxembourg is a education organization based out in Luxembourg, Luxembourg. It is known for research contribution in the topics: Context (language use) & Computer science. The organization has 4744 authors who have published 22175 publications receiving 381824 citations.
Papers published on a yearly basis
Papers
More filters
••
TL;DR: PSFd (Process Specification Formalism draft) is introduced which can be used to formally express processes in ACP and a combination of initial algebra semantics and operational semantics for concurrent processes is used.
Abstract: Traditional methods for programming sequential machines are inadequate for specifying parallel systems Because debugging of parallel programs is hard, due to eg nondeterministic execution, verification of program correctness becomes an even more important issue The Algebra of Communicating Processes (ACP) is a format theory which emphasizes verification and can be applied to a large domain of problems ranging from electronic circuits to CAM architectures The manual verification of specifications of small size has already been achieved, but this cannot easily be extended to the verification of larger industrially relevant systems To deal with this problem we need computer tools to help with the specification, simulation, verification and implementation The first requirement for building such a set of tools is a specification language In this paper we introduce PSFd (Process Specification Formalism draft) which can be used to formally express processes in ACP In order to meet the modern requirements of software engineering, like reusability of software, PSFd supports the modular construction of specifications and parameterization of modules To be able to deal with the notion of data, ASF (Algebraic Specification Formalism) is embedded in our formalism As semantics for PSFd a combination of initial algebra semantics and operational semantics for concurrent processes is used A comparison with programming languages and other formal description techniques for the spedfication of concurrent systems is included
102 citations
••
TL;DR: In this article, the authors present a database for a range of molecules adsorbed on metal single-crystal surfaces, including noble-gas atoms, conjugated aromatic molecules, carbon nanostructures, and heteroaromatic compounds.
102 citations
••
11 Jan 2016
TL;DR: This paper shows how to overlay a probabilistic model, trained using domain knowledge, on top of static analysis results, in order to triage staticAnalysis results, and introduces a formalism for inferring ICC links based on set constraints.
Abstract: Static analysis has been successfully used in many areas, from verifying mission-critical software to malware detection. Unfortunately, static analysis often produces false positives, which require significant manual effort to resolve. In this paper, we show how to overlay a probabilistic model, trained using domain knowledge, on top of static analysis results, in order to triage static analysis results. We apply this idea to analyzing mobile applications. Android application components can communicate with each other, both within single applications and between different applications. Unfortunately, techniques to statically infer Inter-Component Communication (ICC) yield many potential inter-component and inter-application links, most of which are false positives. At large scales, scrutinizing all potential links is simply not feasible. We therefore overlay a probabilistic model of ICC on top of static analysis results. Since computing the inter-component links is a prerequisite to inter-component analysis, we introduce a formalism for inferring ICC links based on set constraints. We design an efficient algorithm for performing link resolution. We compute all potential links in a corpus of 11,267 applications in 30 minutes and triage them using our probabilistic approach. We find that over 95.1% of all 636 million potential links are associated with probability values below 0.01 and are thus likely unfeasible links. Thus, it is possible to consider only a small subset of all links without significant loss of information. This work is the first significant step in making static inter-application analysis more tractable, even at large scales.
102 citations
••
02 Mar 2015TL;DR: The proposed solution allows existing static analyzers to remove this assumption by combining static and dynamic analysis of applications in order to reveal the hidden/updated behavior and extend static analysis results with this information.
Abstract: Static analysis of Android applications can be hindered by the presence of the popular dynamic code update techniques: dynamic class loading and reflection. Recent Android malware samples do actually use these mechanisms to conceal their malicious behavior from static analyzers. These techniques defuse even the most recent static analyzers that usually operate under the "closed world" assumption (the targets of reflective calls can be resolved at analysis time; only classes reachable from the class path at analysis time are used at runtime). Our proposed solution allows existing static analyzers to remove this assumption. This is achieved by combining static and dynamic analysis of applications in order to reveal the hidden/updated behavior and extend static analysis results with this information. This paper presents design, implementation and preliminary evaluation results of our solution called StaDynA.
102 citations
••
TL;DR: The partially overlapping pathology and inflammatory reaction pattern between AD and PD led us to investigate these polymorphisms in a large sample of 295 German PD patients and 270 healthy controls, and found T in position -511 in the IL-1 beta gene more frequent in patients compared to controls.
101 citations
Authors
Showing all 4893 results
Name | H-index | Papers | Citations |
---|---|---|---|
Jun Wang | 166 | 1093 | 141621 |
Leroy Hood | 158 | 853 | 128452 |
Andreas Heinz | 108 | 1078 | 45002 |
Philippe Dubois | 101 | 1098 | 48086 |
John W. Berry | 97 | 351 | 52470 |
Michael Müller | 91 | 333 | 26237 |
Bart Preneel | 82 | 844 | 25572 |
Bjorn Ottersten | 81 | 1058 | 28359 |
Sander Kersten | 79 | 246 | 23985 |
Alexandre Tkatchenko | 77 | 271 | 26863 |
Rudi Balling | 75 | 238 | 19529 |
Lionel C. Briand | 75 | 380 | 24519 |
Min Wang | 72 | 716 | 19197 |
Stephen H. Friend | 70 | 184 | 53422 |
Ekhard K. H. Salje | 70 | 581 | 19938 |