Munich University of Applied Sciences

Are you a researcher?

Create a profile to get free access to personal recommendations for colleagues and new articles.
Munich University of Applied Sciences
Short name
HM
Country, city
Germany, Munich
Publications
4 362
Citations
71 445
h-index
95
Top-3 organizations
Top-3 foreign organizations
Linnaeus University
Linnaeus University (17 publications)
Lund University
Lund University (12 publications)
University of Innsbruck
University of Innsbruck (12 publications)

Most cited in 5 years

Carlucci S., De Simone M., Firth S.K., Kjærgaard M.B., Markovic R., Rahaman M.S., Annaqeeb M.K., Biandrate S., Das A., Dziedzic J.W., Fajilla G., Favero M., Ferrando M., Hahn J., Han M., et. al.
Building and Environment scimago Q1 wos Q1
2020-05-01 citations by CoLab: 148 Abstract  
In the last four decades several methods have been used to model occupants' presence and actions (OPA) in buildings according to different purposes, available computational power, and technical solutions. This study reviews approaches, methods and key findings related to OPA modeling in buildings. An extensive database of related research documents is systematically constructed, and, using bibliometric analysis techniques, the scientific production and landscape are described. The initial literature screening identified more than 750 studies, out of which 278 publications were selected. They provide an overarching view of the development of OPA modeling methods. The research field has evolved from longitudinal collaborative efforts since the late 1970s and, so far, covers diverse building typologies mostly concentrated in a few climate zones. The modeling approaches in the selected literature are grouped into three categories (rule-based models, stochastic OPA modeling, and data-driven methods) for modeling occupancy-related target functions and a set of occupants’ actions (window, solar shading, electric lighting, thermostat adjustment, clothing adjustment and appliance use). The explanatory modeling is conventionally based on the model-based paradigm where occupant behavior is assumed to be stochastic, while the data-driven paradigm has found wide applications for the predictive modeling of OPA, applicable to control systems. The lack of established standard evaluation protocols was identified as a scientifically important yet rarely addressed research question. In addition, machine learning and deep learning are emerging in recent years as promising methods to address OPA modeling in real-world applications.
Reuten R., Zendehroud S., Nicolau M., Fleischhauer L., Laitala A., Kiderlen S., Nikodemus D., Wullkopf L., Nielsen S.R., McNeilly S., Prein C., Rafaeva M., Schoof E.M., Furtwängler B., Porse B.T., et. al.
Nature Materials scimago Q1 wos Q1
2021-01-25 citations by CoLab: 127 Abstract  
The basement membrane (BM) is a special type of extracellular matrix and presents the major barrier cancer cells have to overcome multiple times to form metastases. Here we show that BM stiffness is a major determinant of metastases formation in several tissues and identify netrin-4 (Net4) as a key regulator of BM stiffness. Mechanistically, our biophysical and functional analyses in combination with mathematical simulations show that Net4 softens the mechanical properties of native BMs by opening laminin node complexes, decreasing cancer cell potential to transmigrate this barrier despite creating bigger pores. Our results therefore reveal that BM stiffness is dominant over pore size, and that the mechanical properties of ‘normal’ BMs determine metastases formation and patient survival independent of cancer-mediated alterations. Thus, identifying individual Net4 protein levels within native BMs in major metastatic organs may have the potential to define patient survival even before tumour formation. The ratio of Net4 to laminin molecules determines BM stiffness, such that the more Net4, the softer the BM, thereby decreasing cancer cell invasion activity. The basement membrane stiffness is shown to be a more dominant determinant than pore size in regulating cancer cell invasion, metastasis formation and patient survival. This stiffness is now known to be affected by the ratio of netrin-4 to laminin, with more netrin-4 leading to softer basement membranes.
Gössling S., Humpe A., Bausch T.
Journal of Cleaner Production scimago Q1 wos Q1 Open Access
2020-09-01 citations by CoLab: 117 Abstract  
‘Flight shame’ describes an unease about the climate implications of air travel, and bears evidence of a change in social norms that have so far associated flying with social status. This paper discusses whether Fridays for Future demonstrations and ensuing flight shame have influenced social norms regarding the desirability of air travel, and whether this is measurable in a decline in air travel, or policy support for measures curbing emissions from aviation. These aspects are discussed on the basis of German flight statistics and an online panel survey (n = 1002) conducted in August 2019 in Germany. Results show that, against a background of falling domestic air transport demand, respondents do not report a significant change in travel behaviour. However, a two-third majority of respondents indicate support for market-based measures increasing the cost of flying, as well as policies forcing airlines to reduce emissions and legislation abolishing subsidies. These findings point at an ongoing change in social norms, which could be reinforced if policymakers took advantage of public support for ambitious climate policies. • Investigates flight shame debates’ influence on social norms and policy support. • Finds strong evidence of a heightened awareness of air travel implications. • Suggests that social practice change is already visible in declining passenger numbers. • Affirms support for far-reaching climate policies to curb emissions from aviation.
Heidrich L., Bae S., Levick S., Seibold S., Weisser W., Krzystek P., Magdon P., Nauss T., Schall P., Serebryanyk A., Wöllauer S., Ammer C., Bässler C., Doerfler I., Fischer M., et. al.
Nature Ecology and Evolution scimago Q1 wos Q1
2020-07-13 citations by CoLab: 114 Abstract  
The habitat heterogeneity hypothesis predicts that biodiversity increases with increasing habitat heterogeneity due to greater niche dimensionality. However, recent studies have reported that richness can decrease with high heterogeneity due to stochastic extinctions, creating trade-offs between area and heterogeneity. This suggests that greater complexity in heterogeneity–diversity relationships (HDRs) may exist, with potential for group-specific responses to different facets of heterogeneity that may only be partitioned out by a simultaneous test of HDRs of several species groups and several facets of heterogeneity. Here, we systematically decompose habitat heterogeneity into six major facets on ~500 temperate forest plots across Germany and quantify biodiversity of 12 different species groups, including bats, birds, arthropods, fungi, lichens and plants, representing 2,600 species. Heterogeneity in horizontal and vertical forest structure underpinned most HDRs, followed by plant diversity, deadwood and topographic heterogeneity, but the relative importance varied even within the same trophic level. Among substantial HDRs, 53% increased monotonically, consistent with the classical habitat heterogeneity hypothesis but 21% were hump-shaped, 25% had a monotonically decreasing slope and 1% showed no clear pattern. Overall, we found no evidence of a single generalizable mechanism determining HDR patterns. An analysis across multiple species groups and different facets of stand-level heterogeneity in temperate forests from Central Europe reveals that heterogeneity–diversity relationships are not generalizable and predictable as modelling approaches suggest, varying even between ecologically similar species groups.
Gössling S., Balas M., Mayer M., Sun Y.
Tourism Management scimago Q1 wos Q1
2023-04-01 citations by CoLab: 111 Abstract  
Tourism needs to reduce emissions in line with other economic sectors, if the international community's objective of staying global warming at 1.5°-2.0 °C is to be achieved. This will require the industry to half emissions to 2030, and to reach net-zero by mid-century. Mitigation requires consideration of four dimensions, the Scales, Scopes, Stakeholders and Strategies of carbon management. The paper provides a systematic review of these dimensions and their interrelationships, with a focus on emission inventory comprehensiveness; allocation principles at different scales; clearly defined responsibilities for decarbonization; and the identification of significant mitigation strategies. The paper concludes that without mitigation efforts, tourism will deplete 40% of the world's remaining carbon budget to 1.5 °C. Yet, the most powerful decarbonization measures face major corporate, political and technical barriers. Without worldwide policy efforts at the national scale to manage the sector's emissions, tourism will turn into one of the major drivers of climate change.
Day J.K., McIlvennie C., Brackley C., Tarantini M., Piselli C., Hahn J., O'Brien W., Rajus V.S., De Simone M., Kjærgaard M.B., Pritoni M., Schlüter A., Peng Y., Schweiker M., Fajilla G., et. al.
Building and Environment scimago Q1 wos Q1
2020-07-01 citations by CoLab: 107 Abstract  
In recent years, research has emerged to quantitatively and qualitatively understand occupants' interactions with buildings. However, there has been surprisingly little research on building interfaces and how their design, context (e.g., location), and underlying logic impact their usability and occupants’ perceived control, as well as the resulting comfort and energy performance. Research is needed to better understand how occupants interact with building interfaces in both commercial and residential applications; both applications are important to address as there are many differences in interface types, level of control and understanding, and even expectations of engagement. This paper provides a cursory review and discussion of select common building interfaces: windows, window shades/blinds, thermostats, and lighting controls. The goal of this paper is to review literature related to these human-building interfaces to explore interface characteristics, current design and use challenges, and relationships between building interfaces and occupants. Human-building interface interactions are complex, more research is needed to understand design, use, and characteristics. Common themes emerged throughout the literature review to explain occupant interactions (or lack of interactions) with building interfaces, which included thermal and visual comfort, ease and access of control, interface/control placement, poor interface/control design, lack of understanding, and social-behavioral dynamics. • Understanding control interfaces and use of building systems is critical. • Literature indicates drivers of occupant interactions with building interfaces. • Well-designed building interfaces can lead to energy savings and occupant comfort.
Hughes L.H., Marcos D., Lobry S., Tuia D., Schmitt M.
2020-11-01 citations by CoLab: 106 Abstract  
SAR and optical imagery provide highly complementary information about observed scenes. A combined use of these two modalities is thus desirable in many data fusion scenarios. However, any data fusion task requires measurements to be accurately aligned. While for both data sources images are usually provided in a georeferenced manner, the geo-localization of optical images is often inaccurate due to propagation of angular measurement errors. Many methods for the matching of homologous image regions exist for both SAR and optical imagery, however, these methods are unsuitable for SAR-optical image matching due to significant geometric and radiometric differences between the two modalities. In this paper, we present a three-step framework for sparse image matching of SAR and optical imagery, whereby each step is encoded by a deep neural network. We first predict regions in each image which are deemed most suitable for matching. A correspondence heatmap is then generated through a multi-scale, feature-space cross-correlation operator. Finally, outliers are removed by classifying the correspondence surface as a positive or negative match. Our experiments show that the proposed approach provides a substantial improvement over previous methods for SAR-optical image matching and can be used to register even large-scale scenes. This opens up the possibility of using both types of data jointly, for example for the improvement of the geo-localization of optical satellite imagery or multi-sensor stereogrammetry.
Hackl C.M., Landerer M.
2020-03-01 citations by CoLab: 103 Abstract  
This article proposes modified second-order generalized integrators (mSOGIs) for a fast estimation of all harmonic components of arbitrarily distorted single-phase signals, such as voltages or currents in power systems. The estimation is based on the internal model principle leading to an overall observer consisting of parallelized mSOGIs. The observer is tuned by pole placement. For a constant fundamental frequency, the observer is capable of estimating all harmonic components with prescribed settling time by choosing the observer poles appropriately. For time-varying fundamental frequencies, the harmonic estimation is combined with a modified frequency locked loop (mFLL) with gain normalization, sign-correct antiwindup, and rate limitation. The estimation performances of the proposed parallelized mSOGIs with and without mFLL are illustrated and validated by measurement results. The results are compared to standard approaches such as parallelized standard SOGIs (sSOGIs) and adaptive notch filters (ANFs).
Rashkovetsky D., Mauracher F., Langer M., Schmitt M.
2021-06-30 citations by CoLab: 102 Abstract  
Deriving the extent of areas affected by wildfires is critical to fire management, protection of the population, damage assessment, and better understanding of the consequences of fires. In the past two decades, several algorithms utilizing data from Earth observation satellites have been developed to detect fire-affected areas. However, most of these methods require the establishment of complex functional relationships between numerous remote sensing data parameters. In contrast, more recently, deep learning has found its way into the application, having the advantage of being able to detect patterns in complex data by learning from examples automatically. In this article, a workflow for the detection of fire-affected areas from satellite imagery acquired in the visible, infrared, and microwave domains is described. Using this workflow, the fire detection potentials of four sources of freely available satellite imagery were investigated: the C-SAR instrument on board Sentinel-1, the multispectral instrument on board Sentinel-2, the sea and land surface temperature instrument on board Sentinel-3, and the MODIS instrument on board Terra and Aqua. For each of them, a single-input convolutional neural network based on the well-known U-Net architecture was trained on a newly created dataset. The performance of the resulting four single-instrument models was evaluated in presence of clouds and in clear conditions. In addition, the potential of combining predictions from pairs of single-instrument models was investigated. The results show that fusion of Sentinel-2 and Sentinel-3 data provides the best detection rate in clear conditions, whereas the fusion of Sentinel-1 and Sentinel-2 data shows a significant benefit in cloudy weather.
Materano M., Mittmann T., Lomenzo P.D., Zhou C., Jones J.L., Falkowski M., Kersch A., Mikolajick T., Schroeder U.
2020-10-23 citations by CoLab: 89 Abstract  
Although some years have passed since the discovery of the ferroelectric phase in HfO2 and ZrO2 and their solid solution system HfxZr1–xO2, the details of the emergence of this phase are still unde...
Ramos M.R., Goerigk S., Aparecida da Silva V., Cavendish B.A., Pinto B.S., Papa C.H., Resende J.V., Klein I., Carneiro A.M., de Sousa J.P., Vidal K.S., Valiengo L.D., Razza L.B., Aparício L.M., Martins L., et. al.
JAMA Psychiatry scimago Q1 wos Q1
2025-03-05 citations by CoLab: 0 Abstract  
ImportanceIntermittent theta-burst stimulation (iTBS) is an established treatment for treatment-resistant depression (TRD). Sessions conducted more than once daily (ie, accelerated TBS [aTBS]) may enhance antidepressant effects. However, evidence is limited to small trials, and protocols are time-consuming and can require neuroimaging-based targeting.ObjectiveTo evaluate the efficacy and safety of a pragmatic aTBS protocol for TRD.Design, Setting, and ParticipantsThis triple-blinded, sham-controlled randomized clinical trial was conducted at a single center in São Paulo, Brazil, from July 2022 to June 2024, with a subsequent open-label phase. Patients aged 18 to 65 years with major depression, experiencing a TRD episode, and with a Hamilton Depression Rating Scale, 17-item (HDRS-17) score of 17 or higher were eligible for inclusion. Exclusion criteria were other psychiatric disorders (except anxiety), neurological conditions, and TBS contraindications.InterventionsParticipants received 45 active or sham stimulation sessions over 15 weekdays, with 3 iTBS sessions (1200 pulses each) per day, spaced 30 minutes apart and targeting the left dorsolateral prefrontal cortex using a craniometric approach. In the open-label phase, additional aTBS sessions were offered to achieve a response (≥50% HDRS-17 score improvement) if needed.Main Outcomes and MeasuresThe primary outcome was change in HDRS-17 score at week 5.ResultsOf 431 volunteers screened, 100 participants were enrolled and randomized to either sham or active aTBS. Mean (SD) participant age was 41.7 (8.8) years, and 84 participants (84%) were female. A total of 89 patients completed the study. In the intention-to-treat analysis, the mean change in HDRS-17 scores from baseline to the study end point was 5.57 (95% CI, 3.99-7.16) in the sham group and 9.68 (95% CI, 8.11-11.25) in the active group, corresponding to 31.87% and 54.7% score reductions, respectively, and a medium-to-large effect size (Cohen d, 0.65; 95% CI, 0.29-1.00; P < .001). Response and remission rates were also higher in the active group. Both interventions were well tolerated, but scalp pain was more frequent in the active group than the sham group (17.4% vs 4.4%). During the open-label phase, approximately 75% of patients received additional sessions.Conclusions and RelevanceIn this triple-blinded, sham-controlled randomized clinical trial, a pragmatic aTBS protocol using only 3 iTBS sessions per day and a nonexpensive, non-neuronavigated approach was found to be safe and effective for TRD.Trial RegistrationClinicalTrials.gov Identifier: NCT05388539
Alpaslan F., Firgo M.
Tourism Economics scimago Q1 wos Q1
2025-02-21 citations by CoLab: 0 Abstract  
This paper examines the impact of the 2015-2016 national security events on inbound tourism in Turkey. Using the Synthetic Control Method (SCM), the study reveals significant and persistent causal effects on tourism metrics: Between 2015 and 2019, international tourist arrivals were 36% lower, overnight stays 41% lower, and expenditures 18% lower, on average, than in a “synthetic” Turkey constructed as a counterfactual. Although increased security stabilization from 2018 onwards helped Turkey’s tourism recover, tourism activities were still far below their counterfactuals even in 2019. This highlights a substantial negative long-term impact of severe security incidents on international tourism.
Berlak J.
2025-02-18 citations by CoLab: 0 Abstract  
Bei der Herstellung von Bauteilen mittels Additive Manufacturing (AM) wird der eingesetzte Pulverwerkstoff nicht vollständig verfestigt und unverbrauchtes Material kann je nach Zustand wiederverwendet werden. Da die Pulverzusammensetzung aber im Wesentlichen für die Produkteigenschaften verantwortlich ist, wird die Nachverfolgung über die Prozesskette von vor- und nachgelagerten Schritten immer notwendiger. Ein hierauf zugeschnittenes Manufacturing Execution System (Additive-MES) ermöglicht die auftrags- und behälterbasierte Nachverfolgung zusammen mit der Anlagenüberwachung durch Maschinenzustands- und Prozessdaten.
Müller J.G.
Applied Sciences (Switzerland) scimago Q2 wos Q2 Open Access
2025-02-05 citations by CoLab: 0 PDF Abstract  
This paper is concerned with the problem of assigning, in a physically transparent way, value to automotive transport services and their related environmental impacts. We discuss the idea that the transport value of an automotive service can be measured in units of physical action, i.e., in terms of the physical entity that measures the effect of work performed within a specified physical process. It is further argued that from this action-based transport value, two dimensionless figures of merit (FOM), TV and ETV, can be derived, which can be used as cost factors in algorithms designed to optimize transport services and logistic networks.
Strotmann A., Jungwirth J.
Beton- und Stahlbetonbau scimago Q2 wos Q4
2025-02-05 citations by CoLab: 5 Abstract  
AbstractDer Bedarf an effizienten Verstärkungskonzepten für alternde Infrastrukturen nimmt in Deutschland zu, da die Verkehrslasten und deren Häufigkeit in den letzten Jahrzenten erheblich gestiegen sind. Des Weiteren verursacht der Chloridangriff im Laufe der Lebenszeit des Bauwerks Schäden, welche einen erhöhten Instandsetzungsbedarf nach sich ziehen. Ultra‐Hochleistungs‐Faserbeton (UHFB) bietet durch seine optimierten mechanischen Eigenschaften eine vielversprechende Lösung. Zusätzlich verbessert das Material die Dauerhaftigkeit des verstärkten Stahlbetons durch seine spezifischen Eigenschaften. An der Hochschule für angewandte Wissenschaften München konnte gezeigt werden, dass UHFB auch als Spritzbeton (UHFSB) unter Einsatz konventioneller Gerätetechnik verwendet werden kann, wobei er die typischen Materialeigenschaften von UHFB behält. Untersuchungen an UHFSB‐Stahlbeton‐Verbundbalken ergaben, dass die UHFSB‐Verstärkungsschicht die im vorgeschädigten Stahlbeton vorhandenen Makrorisse effektiv überbrücken und die Tragfähigkeit im Grenzzustand der Tragfähigkeit (GZT) erhöhen kann. Weitere Betrachtungen an UHFSB‐Stahlbeton‐Verbundbauteilen zeigen das Rissbildungs‐ und das Tragverhalten auf. In einem Pilotprojekt konnte die Anwendbarkeit des Konzepts unter realen Bedingungen gezeigt werden. Hierbei wurden Unterzüge an der Unterseite im Bereich der Biegezugeinwirkung verstärkt bzw. instand gesetzt.
Steininger T., Öttl V., Franken L.E., Frank C., Ohland P., Lopez Ferreiro M., Klostermann S., Fritsch J., Hirschauer E., Sandmeir A., Hilgenfeld L.D., Semmelmann F., Dürr M., Konkel F., Pechmann G., et. al.
2025-02-04 citations by CoLab: 0 PDF Abstract  
In the dynamic field of gene therapy, recombinant adeno-associated viruses (rAAVs) have become leading viral vectors due to their safety, long-term expression, and wide-ranging cell and tissue tropism. With numerous FDA approvals and commercial products underscoring their potential, there is a critical need for efficient production processes to achieve high vector titers and quality. A major challenge in rAAV production is the efficient packaging of the genome into the viral capsid, with empty or partially filled capsids often representing over 90% of the produced material. To tackle this issue, we engineered the replication and packaging proteins of an AAV (Rep) to boost their functionality and improve vector titers. We subjected a complex Rep library derived from the AAV serotypes 1–13 to directed evolution in an AAV producer cell line. After each round of selection, single clones were analyzed, showing enrichment of specific hybrid Rep domains. Comparative analysis of these selected clones revealed considerable differences in their ability to package AAV2-based viral genomes, with hybrid Rep proteins achieving up to a 2.5-fold increase in packaging efficiency compared to their parental counterparts. These results suggest that optimizing rep gene variants through directed evolution is an effective strategy to enhance rAAV production efficiency.
Wunderwald F., Xu B., Kersch A., Holsgrove K.M., Kao Y., Richter C., Enghardt S., Mikolajick T., Schroeder U.
Small scimago Q1 wos Q1
2025-02-03 citations by CoLab: 0 Abstract  
AbstractHfxZr1‐xO2 thin films have excellent complementary metal–oxide semiconductor compatibility and scalability compared to other ferroelectric materials. This makes them a promising candidate for non‐volatile memory applications. However, the polymorphism of the materials presents a challenge in stabilizing the ferroelectric properties. Since the wake‐up free non‐volatile memory applications require the presence of ferroelectric properties in the pristine state of the films without additional electric field cycling, it is necessary to understand how to promote the ferroelectric orthorhombic phase formation. In this work, the interaction between in‐plane tensile strain and phase formation of atomic layer deposition grown HfxZr1‐xO2 thin films with different thicknesses and different compositions is demonstrated. By combining the biaxial in‐plane tensile strain with the electric switching field and remanent polarization, it is observed that the best ferroelectric properties correlated with an in‐plane tensile strain range of 0.4–0.6%. Moreover, the observed correlation between strain and phase formation indicates that strain exerts an influence on phase formation in the pristine state, and that phase formation, in turn, affects strain during electrical field cycling. This work is expected to be helpful to improve the ferroelectric properties in HfxZr1‐xO2 films, which can be processed for different memory devices with specialized requirements.
Jakob D., Wilhelm S., Gerl A., Ahrens D., Wahl F.
2025-01-31 citations by CoLab: 0 PDF Abstract  
This study investigates the integration, usability, and learning patterns associated with voice assistant technology among older adults, focusing on the “Amazon Echo Show 10, 3rd generation” as a case study. Conducted with 32 participants aged 55 and above in senior and complementary households, this research employs a mixed-method approach, incorporating qualitative interviews and quantitative voice command logging over a twelve-week period. Our findings reveal a high level of learnability and usability of the voice assistant, with 90% of participants finding the device easy to learn and use. The study further explores the patterns of voice assistant use, highlighting a preference for listening to music and seeking information, predominantly on weekends. Despite initial reservations, participants reported a high satisfaction level, with most not feeling monitored by the device. Key recommendations for manufacturers include prioritizing the design and user experience to cater to older adults’ needs, aiming to enhance their digital inclusion and participation. This study contributes to the human–computer interaction (HCI) field by providing insights into older adults’ interactions with voice assistant technology, emphasizing the importance of designing accessible and user-friendly digital solutions for the aging population.
Aigner S., Hauser S., Schmitt A.
Sensors scimago Q1 wos Q2 Open Access
2025-01-28 citations by CoLab: 0 PDF Abstract  
Sinkholes are significant geohazards in karst regions that pose risks to landscapes and infrastructure by disrupting geological stability. Usually, sinkholes are mapped by field surveys, which is very cost-intensive with regard to vast coverages. One possible solution to derive sinkholes without entering the area is the use of high-resolution digital terrain models, which are also expensive with respect to remote areas. Therefore, this study focusses on the mapping of sinkholes in arid regions from open-access remote sensing data. The case study involves data from the Sentinel missions over the Mangystau region in Kazakhstan provided by the European Space Agency free of cost. The core of the technique is a multi-scale curvature filter bank that highlights sinkholes (and takyrs) by their very special illumination pattern in Sentinel-2 images. Marginal confusions with vegetation shadows are excluded by consulting the newly developed Combined Vegetation Doline Index based on Sentinel-1 and Sentinel-2. The geospatial analysis reveals distinct spatial correlations among sinkholes, takyrs, vegetation, and possible surface discharge. The generic and, therefore, transferable approach reached an accuracy of 92%. However, extensive reference data or comparable methods are not currently available.
Laadhar A., Acharya N., Wagner J., Ley M.
2025-01-27 citations by CoLab: 1 Abstract  
This leads to inefficiency in accessing necessary product data by company departments, detrimental to decisionmaking and competitiveness.
Krahl M., Güdemann M., Wallentowitz S.
2025-01-27 citations by CoLab: 0 Abstract  
Formal verification of embedded system software can profoundly influence both safety and security, and has the potential to alter the development process substantially. However, the complexity of formal verification, along with stringent time-to-market and resource constraints of embedded systems, has posed significant barriers to its adoption. Moreover, ensuring the accessibility of formal methods in the design and implementation of embedded systems remains a major challenge. In our paper, we evaluate formal methods and demonstrate the accessibility and benefits within a critical area of many industries: IEEE754 floating-point values are widely used and due to their fixed size, they can only approximate real numbers. For the most part, their behavior aligns with programmer expectations; however, certain corner cases exist in which they are susceptible to value cancellation, rounding errors, and deviations from standard mathematical rules. Such discrepancies can be problematic when calculated results diverge from software developer expectations, potentially leading to fatal errors. We propose SafeFloatZone which allows for the identification of safe domains for algorithms utilizing IEEE754 floating-point numbers. The approach is rooted in formal verification, leveraging modern, efficient Satisfiability Modulo Theories (SMT) solvers to deduce preconditions for functions, thereby providing stronger guarantees of correctness. In this work we demonstrate how SafeFloatZone can readily benefit embedded system developers and show that it is transferable to a variety of algorithms based on IEEE754 floating-point numbers.
Schaffner T., Altenberg J., Wallentowitz S.
2025-01-27 citations by CoLab: 0 Abstract  
Currently, the market is witnessing the introduction of the first RISC-V development boards capable of running Linux. In the embedded sector, these boards could serve as alternatives to the commonly used ARM or x86-based platforms. Ongoing efforts are being made to enhance the real-time capabilities of the Linux kernel, allowing it to handle both time-critical and non-time-critical tasks with complex software stacks in so called Mixed-Criticality Systems (MCS). One project that may merge into the Linux kernel soon is PREEMPT_RT. PREEMPT_RT is a patch for the Linux kernel source code that enables low-latency real-time execution directly within the kernel. At the time of writing, RISC-V support has just been merged into the PREEMPT_RT patch series. The paper presents a comprehensive analysis of this new release on a RISC-V platform, utilizing an extensive collection of long-term measurement data generated for this study. It compares the Worst Case Latencies (WCL) to the results on a common ARM platform having the same configuration. The measurement environment is thoroughly described, providing a detailed explanation of all the necessary information for replicating the results, including tuning procedures.

Since 1878

Total publications
4362
Total citations
71445
Citations per publication
16.38
Average publications per year
29.67
Average authors per publication
2.92
h-index
95
Metrics description

Top-30

Fields of science

100
200
300
400
500
600
Inorganic Chemistry, 593, 13.59%
General Medicine, 527, 12.08%
General Chemistry, 491, 11.26%
General Physics and Astronomy, 446, 10.22%
Physical and Theoretical Chemistry, 373, 8.55%
Nuclear and High Energy Physics, 257, 5.89%
Biochemistry, 252, 5.78%
Industrial and Manufacturing Engineering, 238, 5.46%
Mathematical Physics, 217, 4.97%
Condensed Matter Physics, 212, 4.86%
General Materials Science, 182, 4.17%
Electrical and Electronic Engineering, 163, 3.74%
Electronic, Optical and Magnetic Materials, 154, 3.53%
Mechanical Engineering, 135, 3.09%
Biotechnology, 133, 3.05%
Food Science, 125, 2.87%
Materials Chemistry, 120, 2.75%
General Chemical Engineering, 108, 2.48%
Plant Science, 106, 2.43%
Mechanics of Materials, 94, 2.15%
Soil Science, 90, 2.06%
General Engineering, 88, 2.02%
Analytical Chemistry, 83, 1.9%
Building and Construction, 82, 1.88%
Applied Mathematics, 80, 1.83%
Molecular Biology, 76, 1.74%
Organic Chemistry, 70, 1.6%
Clinical Biochemistry, 67, 1.54%
Atomic and Molecular Physics, and Optics, 66, 1.51%
Metals and Alloys, 65, 1.49%
100
200
300
400
500
600

Journals

50
100
150
200
250
300
350
400
50
100
150
200
250
300
350
400

Publishers

200
400
600
800
1000
1200
1400
1600
200
400
600
800
1000
1200
1400
1600

With other organizations

50
100
150
200
250
50
100
150
200
250

With foreign organizations

2
4
6
8
10
12
14
16
18
2
4
6
8
10
12
14
16
18

With other countries

20
40
60
80
100
120
140
USA, 132, 3.03%
United Kingdom, 79, 1.81%
Austria, 58, 1.33%
Switzerland, 53, 1.22%
Canada, 46, 1.05%
Italy, 45, 1.03%
Australia, 41, 0.94%
Sweden, 39, 0.89%
Netherlands, 31, 0.71%
France, 29, 0.66%
Norway, 24, 0.55%
China, 23, 0.53%
Japan, 21, 0.48%
Denmark, 20, 0.46%
Spain, 20, 0.46%
Chile, 20, 0.46%
Russia, 18, 0.41%
Poland, 14, 0.32%
Egypt, 11, 0.25%
Czech Republic, 11, 0.25%
Brazil, 9, 0.21%
India, 8, 0.18%
Portugal, 7, 0.16%
Belgium, 7, 0.16%
Mexico, 7, 0.16%
Finland, 7, 0.16%
Greece, 6, 0.14%
New Zealand, 6, 0.14%
Republic of Korea, 5, 0.11%
20
40
60
80
100
120
140
  • We do not take into account publications without a DOI.
  • Statistics recalculated daily.
  • Publications published earlier than 1878 are ignored in the statistics.
  • The horizontal charts show the 30 top positions.
  • Journals quartiles values are relevant at the moment.