BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Thomas Vogel

Thomas Vogel appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
cond-mat.softSoftware Engineeringphysics.comp-phcond-mat.mtrl-scimath.GTcond-mat.stat-mechmath.SGcond-mat.dis-nncond-mat.mes-hallCryptography and SecurityMachine Learningmath.DS

Catalog footprint

What is connected

29works
12topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

29 published item(s)

preprint2022arXiv

A systematic literature review on counterexample explanation

Context: Safety is of paramount importance for cyber-physical systems in domains such as automotive, robotics, and avionics. Formal methods such as model checking are one way to ensure the safety of cyber-physical systems. However, adoption of formal methods in industry is hindered by usability issues, particularly the difficulty of understanding model checking results. Objective: We want to provide an overview of the state of the art for counterexample explanation by investigating the contexts, techniques, and evaluation of research approaches in this field. This overview shall provide an understanding of current and guide future research. Method: To provide this overview, we conducted a systematic literature review. The survey comprises 116 publications that address counterexample explanations for model checking. Results: Most primary studies provide counterexample explanations graphically or as traces, minimize counterexamples to reduce complexity, localize errors in the models expressed in the input formats of model checkers, support linear temporal logic or computation tree logic specifications, and use model checkers of the Symbolic Model Verifier family. Several studies evaluate their approaches in safety-critical domains with industrial applications. Conclusion: We notably see a lack of research on counterexample explanation that targets probabilistic and real-time systems, leverages the explanations to domain-specific models, and evaluates approaches in user studies. We conclude by discussing the adequacy of different types of explanations for users with varying domain and formal methods expertise, showing the need to support laypersons in understanding model checking results to increase adoption of formal methods in industry.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation

Artifacts support evaluating new research results and help comparing them with the state of the art in a field of interest. Over the past years, several artifacts have been introduced to support research in the field of self-adaptive systems. While these artifacts have shown their value, it is not clear to what extent these artifacts support research on problems in self-adaptation that are relevant to industry. This paper provides a set of guidelines for artifacts that aim at supporting industry-relevant research on self-adaptation. The guidelines that are grounded on data obtained from a survey with practitioners were derived during working sessions at the 17th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. Artifact providers can use the guidelines for aligning future artifacts with industry needs; they can also be used to evaluate the industrial relevance of existing artifacts. We also propose an artifact template.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Supervised and Unsupervised Machine Learning of Structural Phases of Polymers Adsorbed to Nanowires

We identify configurational phases and structural transitions in a polymer nanotube composite by means of machine learning. We employ various unsupervised dimensionality reduction methods, conventional neural networks, as well as the confusion method, an unsupervised neural-network-based approach. We find neural networks are able to reliably recognize all configurational phases that have been found previously in experiment and simulation. Furthermore, we locate the boundaries between configurational phases in a way that removes human intuition or bias. This could be done before only by relying on preconceived, ad-hoc order parameters.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python

Context: Identifying potential vulnerable code is important to improve the security of our software systems. However, the manual detection of software vulnerabilities requires expert knowledge and is time-consuming, and must be supported by automated techniques. Objective: Such automated vulnerability detection techniques should achieve a high accuracy, point developers directly to the vulnerable code fragments, scale to real-world software, generalize across the boundaries of a specific software project, and require no or only moderate setup or configuration effort. Method: In this article, we present VUDENC (Vulnerability Detection with Deep Learning on a Natural Codebase), a deep learning-based vulnerability detection tool that automatically learns features of vulnerable code from a large and real-world Python codebase. VUDENC applies a word2vec model to identify semantically similar code tokens and to provide a vector representation. A network of long-short-term memory cells (LSTM) is then used to classify vulnerable code token sequences at a fine-grained level, highlight the specific areas in the source code that are likely to contain vulnerabilities, and provide confidence levels for its predictions. Results: To evaluate VUDENC, we used 1,009 vulnerability-fixing commits from different GitHub repositories that contain seven different types of vulnerabilities (SQL injection, XSS, Command injection, XSRF, Remote code execution, Path disclosure, Open redirect) for training. In the experimental evaluation, VUDENC achieves a recall of 78%-87%, a precision of 82%-96%, and an F1 score of 80%-90%. VUDENC's code, the datasets for the vulnerabilities, and the Python corpus for the word2vec model are available for reproduction. Conclusions: Our experimental results suggest...

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems

Control theoretical techniques have been successfully adopted as methods for self-adaptive systems design to provide formal guarantees about the effectiveness and robustness of adaptation mechanisms. However, the computational effort to obtain guarantees poses severe constraints when it comes to dynamic adaptation. In order to solve these limitations, in this paper, we propose a hybrid approach combining software engineering, control theory, and AI to design for software self-adaptation. Our solution proposes a hierarchical and dynamic system manager with performance tuning. Due to the gap between high-level requirements specification and the internal knob behavior of the managed system, a hierarchically composed components architecture seek the separation of concerns towards a dynamic solution. Therefore, a two-layered adaptive manager was designed to satisfy the software requirements with parameters optimization through regression analysis and evolutionary meta-heuristic. The optimization relies on the collection and processing of performance, effectiveness, and robustness metrics w.r.t control theoretical metrics at the offline and online stages. We evaluate our work with a prototype of the Body Sensor Network (BSN) in the healthcare domain, which is largely used as a demonstrator by the community. The BSN was implemented under the Robot Operating System (ROS) architecture, and concerns about the system dependability are taken as adaptation goals. Our results reinforce the necessity of performing well on such a safety-critical domain and contribute with substantial evidence on how hybrid approaches that combine control and AI-based techniques for engineering self-adaptive systems can provide effective adaptation.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Bet and Run for Test Case Generation

Anyone working in the technology sector is probably familiar with the question: "Have you tried turning it off and on again?", as this is usually the default question asked by tech support. Similarly, it is known in search based testing that metaheuristics might get trapped in a plateau during a search. As a human, one can look at the gradient of the fitness curve and decide to restart the search, so as to hopefully improve the results of the optimization with the next run. Trying to automate such a restart, it has to be programmatically decided whether the metaheuristic has encountered a plateau yet, which is an inherently difficult problem. To mitigate this problem in the context of theoretical search problems, the Bet and Run strategy was developed, where multiple algorithm instances are started concurrently, and after some time all but the single most promising instance in terms of fitness values are killed. In this paper, we adopt and evaluate the Bet and Run strategy for the problem of test case generation. Our work indicates that use of this restart strategy does not generally lead to gains in the quality metrics, when instantiated with the best parameters found in the literature.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Evolutionary Grammar-Based Fuzzing

A fuzzer provides randomly generated inputs to a targeted software to expose erroneous behavior. To efficiently detect defects, generated inputs should conform to the structure of the input format and thus, grammars can be used to generate syntactically correct inputs. In this context, fuzzing can be guided by probabilities attached to competing rules in the grammar, leading to the idea of probabilistic grammar-based fuzzing. However, the optimal assignment of probabilities to individual grammar rules to effectively expose erroneous behavior for individual systems under test is an open research question. In this paper, we present EvoGFuzz, an evolutionary grammar-based fuzzing approach to optimize the probabilities to generate test inputs that may be more likely to trigger exceptional behavior. The evaluation shows the effectiveness of EvoGFuzz in detecting defects compared to probabilistic grammar-based fuzzing (baseline). Applied to ten real-world applications with common input formats (JSON, JavaScript, or CSS3), the evaluation shows that EvoGFuzz achieved a significantly larger median line coverage for all subjects by up to 48% compared to the baseline. Moreover, EvoGFuzz managed to expose 11 unique defects, from which five have not been detected by the baseline.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures

Self-adaptation can be realized in various ways. Rule-based approaches prescribe the adaptation to be executed if the system or environment satisfies certain conditions. They result in scalable solutions but often with merely satisfying adaptation decisions. In contrast, utility-driven approaches determine optimal decisions by using an often costly optimization, which typically does not scale for large problems. We propose a rule-based and utility-driven adaptation scheme that achieves the benefits of both directions such that the adaptation decisions are optimal, whereas the computation scales by avoiding an expensive optimization. We use this adaptation scheme for architecture-based self-healing of large software systems. For this purpose, we define the utility for large dynamic architectures of such systems based on patterns that define issues the self-healing must address. Moreover, we use pattern-based adaptation rules to resolve these issues. Using a pattern-based scheme to define the utility and adaptation rules allows us to compute the impact of each rule application on the overall utility and to realize an incremental and efficient utility-driven self-healing. In addition to formally analyzing the computational effort and optimality of the proposed scheme, we thoroughly demonstrate its scalability and optimality in terms of reward in comparative experiments with a static rule-based approach as a baseline and a utility-driven approach using a constraint solver. These experiments are based on different failure profiles derived from real-world failure logs. We also investigate the impact of different failure profile characteristics on the scalability and reward to evaluate the robustness of the different approaches.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Towards Bridging the Gap between Control and Self-Adaptive System Properties

Two of the main paradigms used to build adaptive software employ different types of properties to capture relevant aspects of the system's run-time behavior. On the one hand, control systems consider properties that concern static aspects like stability, as well as dynamic properties that capture the transient evolution of variables such as settling time. On the other hand, self-adaptive systems consider mostly non-functional properties that capture concerns such as performance, reliability, and cost. In general, it is not easy to reconcile these two types of properties or identify under which conditions they constitute a good fit to provide run-time guarantees. There is a need of identifying the key properties in the areas of control and self-adaptation, as well as of characterizing and mapping them to better understand how they relate and possibly complement each other. In this paper, we take a first step to tackle this problem by: (1) identifying a set of key properties in control theory, (2) illustrating the formalization of some of these properties employing temporal logic languages commonly used to engineer self-adaptive software systems, and (3) illustrating how to map key properties that characterize self-adaptive software systems into control properties, leveraging their formalization in temporal logics. We illustrate the different steps of the mapping on an exemplar case in the cloud computing domain and conclude with identifying open challenges in the area.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Does Diversity Improve the Test Suite Generation for Mobile Applications?

In search-based software engineering we often use popular heuristics with default configurations, which typically lead to suboptimal results, or we perform experiments to identify configurations on a trial-and-error basis, which may lead to better results for a specific problem. To obtain better results while avoiding trial-and-error experiments, a fitness landscape analysis is helpful in understanding the search problem, and making an informed decision about the heuristics. In this paper, we investigate the search problem of test suite generation for mobile applications (apps) using SAPIENZ whose heuristic is a default NSGA-II. We analyze the fitness landscape of SAPIENZ with respect to genotypic diversity and use the gained insights to adapt the heuristic of SAPIENZ. These adaptations result in SAPIENZ^div that aims for preserving the diversity of test suites during the search. To evaluate SAPIENZ^div, we perform a head-to-head comparison with SAPIENZ on 76 open-source apps.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Magnetic phase transition in coupled spin-lattice systems: A replica-exchange Wang-Landau study

Coupled, dynamical spin-lattice models provide a unique test ground for simulations investigating the finite-temperature magnetic properties of materials under the direct influence of the lattice vibrations. These models are constructed by combining a coordinate-dependent interatomic potential with a Heisenberg-like spin Hamiltonian, facilitating the treatment of both the atomic coordinates and spins as explicit phase variables. Using a model parameterized for bcc iron, we study the magnetic phase transition in these complex systems via the recently introduced, massively parallel replica-exchange Wang-Landau Monte Carlo method. Comparison with the results obtained from rigid lattice (spin only) simulations show that the transition temperature as well as the amplitude of the peak in the specific heat curve is marginally affected by the lattice vibrations. Moreover, the results were found to be sensitive to the particular choice of the interatomic potential.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Accelerating the convergence of replica exchange simulations using Gibbs sampling and adaptive temperature sets

We recently introduced a novel replica-exchange scheme in which an individual replica can sample from states encountered by other replicas at any previous time by way of a global configuration database, enabling the fast propagation of relevant states through the whole ensemble of replicas. This mechanism depends on the knowledge of global thermodynamic functions which are measured during the simulation and not coupled to the heat bath temperatures driving the individual simulations. Therefore, this setup also allows for a continuous adaptation of the temperature set. In this paper, we will review the new scheme and demonstrate its capability. The method is particularly useful for the fast and reliable estimation of the microcanonical temperature T(U) or, equivalently, of the density of states g(U) over a wide range of energies.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Thermodynamics of the Adsorption of Flexible Polymers on Nanowires

Generalized-ensemble simulations enable the study of complex adsorption scenarios of a coarse-grained model polymer near an attractive nanostring, representing an ultrathin nanowire. We perform canonical and microcanonical statistical analyses to investigate structural transitions of the polymer and discuss their dependence on the temperature and on model parameters such as effective wire thickness and attraction strength. The result is a complete hyperphase diagram of the polymer phases, whose locations and stability are influenced by the effective material properties of the nanowire and the strength of the thermal fluctuations. Major structural polymer phases in the adsorbed state include compact droplets attached to or wrapping around the wire, and tubelike conformations with triangular pattern that resemble ideal boron nanotubes. The classification of the transitions is performed by microcanonical inflection-point analysis.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A new paradigm for petascale Monte Carlo simulation: Replica exchange Wang-Landau sampling

We introduce a generic, parallel Wang-Landau method that is naturally suited to implementation on massively parallel, petaflop supercomputers. The approach introduces a replica-exchange framework in which densities of states for overlapping sub-windows in energy space are determined iteratively by traditional Wang-Landau sampling. The advantages and general applicability of the method are demonstrated for several distinct systems that possess discrete or continuous degrees of freedom, including those with complex free energy landscapes and topological constraints.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Diffusion and transformation kinetics of small Helium clusters in bulk Tungsten

The production of energy through nuclear fusion poses serious challenges related to the stability and performance of materials in extreme conditions. In particular, the constant bombardment of the walls of the reactor with high doses of He ions is known to lead to deleterous changes in their microstructures. These changes follow from the aggregation of He into bubbles that can grow and blister, potentially leading to the contamination of the plasma, or to the degradation of their mechanical properties. We computationally study the behavior of small clusters of He atoms in W in conditions relevant to fusion energy production. Using a wide range of techniques, we investigate the thermodynamics of the clusters and their kinetics in terms of diffusivity, growth, and breakup, as well as mutation into nano-bubbles. Our study provides the essential ingredients to model the early stages of He exposure leading up to the nucleation of He bubbles.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Replica-exchange Wang-Landau sampling: Pushing the limits of Monte Carlo simulations in materials sciences

We describe the study of thermodynamics of materials using replica-exchange Wang-Landau (REWL) sampling, a generic framework for massively parallel implementations of the Wang-Landau Monte Carlo method. To evaluate the performance and scalability of the method, we investigate the magnetic phase transition in body-centered cubic (bcc) iron using the classical Heisenberg model parametrized with first principles calculations. We demonstrate that our framework leads to a significant speedup without compromising the accuracy and precision and facilitates the study of much larger systems than is possible with its serial counterpart.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Sampling in the multicanonical ensemble: Small He clusters in W

We carry out generalized-ensemble molecular dynamics simulations of the formation of small Helium (He) clusters in bulk Tungsten (W), a process of practical relevance for fusion energy production. We calculate formation free energies of small Helium clusters at temperatures up to the melting point of W, encompassing the whole range of interest for fusion-energy production. From this, parameters like cluster break-up or formation rates can be calculated, which help to refine models of microstructure evolution in He-irradiated Tungsten.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Scalable replica-exchange framework for Wang-Landau sampling

We investigate a generic, parallel replica-exchange framework for Monte Carlo simulations based on the Wang-Landau method. To demonstrate its advantages and general applicability for massively parallel simulations of complex systems, we apply it to lattice spin models, the self-assembly process in amphiphilic solutions, and the adsorption of molecules on surfaces. While of general, current interest, the latter phenomena are challenging to study computationally because of multiple structural transitions occurring over a broad temperature range. We show how the parallel framework facilitates simulations of such processes and, without any loss of accuracy or precision, gives a significant speedup and allows for the study of much larger systems and much wider temperature ranges than possible with single-walker methods.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A generic, hierarchical framework for massively parallel Wang-Landau sampling

We introduce a parallel Wang-Landau method based on the replica-exchange framework for Monte Carlo simulations. To demonstrate its advantages and general applicability for simulations of complex systems, we apply it to different spin models including spin glasses, the Ising model and the Potts model, lattice protein adsorption, and the self-assembly process in amphiphilic solutions. Without loss of accuracy, the method gives significant speed-up and potentially scales up to petaflop machines.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Exploring new frontiers in statistical physics with a new, parallel Wang-Landau framework

Combining traditional Wang-Landau sampling for multiple replica systems with an exchange of densities of states between replicas, we describe a general framework for simulations on massively parallel Petaflop supercomputers. The advantages and general applicability of the method for simulations of complex systems are demonstrated for the classical 2D Potts spin model featuring a strong first-order transition and the self-assembly of lipid bilayers in amphiphilic solutions in a continuous model.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Uniqueness of the contact structure approximating a foliation

According to a theorem of Eliashberg and Thurston a $C^2$-foliation on a closed 3-manifold can be $C^0$-approximated by contact structures unless all leaves of the foliation are spheres. Examples on the 3-torus show that every neighbourhood of a foliation can contain non-diffeomorphic contact structures. In this paper we show uniqueness up to isotopy of the contact structure in a small neighbourhood of the foliation when the foliation has no torus leaf and is not a foliation without holonomy on parabolic torus bundles over the circle. This allows us to associate invariants from contact topology to foliations. As an application we show that the space of taut foliations in a given homotopy class of plane fields is not connected in general.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Accurate modeling approach for the structural comparison between monolayer polymer tubes and single-walled nanotubes

In a recent computational study, we found highly structured ground states for coarse-grained polymers adsorbed to ultrathin nanowires in a certain model parameter region. Those tubelike configurations show, even at a first glance, exciting morphological similarities to known atomistic nanotubes such as single-walled carbon nanotubes. In order to explain those similarities in a systematic way, we performed additional detailed and extensive simulations of coarse-grained polymer models with various parameter settings. We show this here and explain why standard geometrical models for atomistic nanotubes are not suited to interpret the results of those studies. In fact, the general structural behavior of polymer nanotubes, as well as specific previous observations, can only be explained by applying recently developed polyhedral tube models.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Adsorption of polymers at nanowires

Low-energy structures of a hybrid system consisting of a polymer and an attractive nanowire substrate as well as the thermodynamics of the adsorption transition are studied by means of Monte Carlo computer simulations. Depending on structural and energetic properties of the substrate, we find different adsorbed polymer conformations, amongst which are spherical droplets attached to the wire and monolayer tubes surrounding it. We identify adsorption temperatures and the type of the transition between adsorbed and desorbed structures depending on the substrate attraction strength.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Structural Arrangements of Polymers Adsorbed at Nanostrings

We study ground states of a hybrid system consisting of a polymer and an attractive nanowire by means of computer simulations. Depending on structural and energetic properties of the substrate, we find different adsorbed polymer conformations, amongst which are spherical droplets attached to the wire and monolayer tubes surrounding it. We construct the complete conformational phase diagram and analyze in more detail particularly interesting polymer-tube conformations.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Conformational phase diagram for polymers adsorbed at ultrathin nanowires

We study the conformational behavior of a polymer adsorbed at an attractive nanostring and construct the complete structural phase diagram in dependence of the binding strength and effective thickness of the string. For this purpose, Monte Carlo optimization techniques are employed to identify lowest-energy structures for a coarse-grained hybrid polymer-wire model. Among the representative conformations in the different phases are, for example, compact droplets attached to the string and also nanotube-like monolayer films wrapping the string in a very ordered way. We here systematically analyze low-energy shapes and structural order parameters to elucidate the transitions between the structural phases.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Ground-state properties of tubelike flexible polymers

In this work we investigate structural properties of native states of a simple model for short flexible homopolymers, where the steric influence of monomeric side chains is effectively introduced by a thickness constraint. This geometric constraint is implemented through the concept of the global radius of curvature and affects the conformational topology of ground-state structures. A systematic analysis allows for a thickness-dependent classification of the dominant ground-state topologies. It turns out that helical structures, strands, rings, and coils are natural, intrinsic geometries of such tubelike objects.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Surface effects in the crystallization process of elastic flexible polymers

Investigating thermodynamic properties of liquid-solid transitions of flexible homopolymers with elastic bonds by means of multicanonical Monte Carlo simulations, we find crystalline conformations that resemble ground-state structures of Lennard-Jones clusters. This allows us to set up a structural classification scheme for finite-length flexible polymers and their freezing mechanism in analogy to atomic cluster formation. Crystals of polymers with "magic length" turn out to be perfectly icosahedral.

0 citations0 reviewsNo code linkedOpen access