From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “static analysis” 82

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Comparison between static analysis and model checking in the design of automation systems
2026 Control Engineering Practice article Computer Science Formal Methods in Verification Open access

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

0

citations
Comparison between static analysis and model checking in the design of automation systems
2026 Control Engineering Practice article Computer Science Formal Methods in Verification Open access

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

0

citations
Expressing OpenMP Threading Concepts in the SPMD IR for Hybrid Static Analysis
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Semih Burak, Felix Tomski, William S. Moses, Jens Domke, Matthias Mueller

0

citations
A novel PD-HSDT application for the mechanical response of laminated and sandwich composite plates under static loading
2026 Mechanics of Advanced Materials and Structures article Engineering Composite Structure Analysis and Optimization

Yonca Bab, Mehmet Dördüncü, Akif Kutlu, Bernd A. Markert

1

citations
Numerical investigation of micromechanical stress redistribution during quasi-static and fatigue-induced damage in continuous fibre-reinforced plastics
2026 RWTH Publications (RWTH Aachen) dissertation Engineering Mechanical Behavior of Composites Open access

Nicolas Rozo Lopez

0

citations
A novel hybrid surrogate model for the stability and post-failure analysis of spatially variable slopes using a smoothed sequential limit analysis
2026 Journal of Rock Mechanics and Geotechnical Engineering article Engineering Geotechnical Engineering and Analysis Open access

Huifang Xu, M. Nazem, X. He, R.L. Sousa, J. Kowalski

1

citations
Extension of the Lemaitre Damage Model to Account for Static and Dynamic Recrystallization Behavior
2026 Materials science forum article Engineering Metallurgy and Material Forming Open access

Moritz Gouverneur, David Benjamin Bailly, Junhe Lian

0

citations
Material Flow Analysis of Titanium Metal in European Aviation: Circular Economy Strategies for reduced import dependence
2026 Zenodo (CERN European Organization for Nuclear Research) article Environmental Science Sustainability and Ecological Systems Analysis Open access

Stefano Ghirlandi, Tim Hoff, Catrin Böcher, Ahmad Ali Pohya, Benjamin Sprecher, David Peck

0

citations
From assumption to application: Aligning techno-economic analysis models with operational realities in RO desalination
2026 Desalination and Water Treatment article Environmental Science Membrane Separation Technologies Open access

Mohammad Tajik, Peter Desmond

1

citations
Evaluating Time Step Effects in Shifted-Frequency Analysis for Converter-Dominated Power Systems
2026 Open Source Modelling and Simulation of Energy Systems (OSMSES) conference-paper Engineering Real-time simulation and control systems Open access

Georgii Tishenin, Armin Teskeredžić, Antonello Monti

0

citations
Immunotherapy and targeted therapies in animal models of cancer: a systematic approach from static reviews to living evidence synthesis
2026 RWTH Publications (RWTH Aachen) dissertation Veterinary Animal testing and alternatives Open access

Yalda Mirzaei

0

citations
Time-weighted lactate and glucose–lactate ratio outperform static values in ICU mortality prediction after traumatic brain injury: a retrospective cohort study
2026 Journal of Intensive Care article Medicine Traumatic Brain Injury and Neurovascular Disturbances Open access

Matthias Manfred Deininger, Magdalena Ralser, Nico Haehn, Marius Huehn, Dmitrij Ziles, Marx Gernot, +3 more

1

citations
Time-weighted lactate and glucose–lactate ratio outperform static values in ICU mortality prediction after traumatic brain injury: a retrospective cohort study
2026 Figshare other Medicine Traumatic Brain Injury and Neurovascular Disturbances Open access

Matthias Manfred Deininger, Magdalena Ralser, Nico Haehn, Marius Huehn, Dmitrij Ziles, Gernot Marx, +3 more

0

citations
Time-weighted lactate and glucose–lactate ratio outperform static values in ICU mortality prediction after traumatic brain injury: a retrospective cohort study
2026 Figshare other Medicine Traumatic Brain Injury and Neurovascular Disturbances Open access

Matthias Manfred Deininger, Magdalena Ralser, Nico Haehn, Marius Huehn, Dmitrij Ziles, Gernot Marx, +3 more

0

citations
Analysis and design of anchorages and laps of reinforcing steel in tension
2026 RWTH Publications (RWTH Aachen) dissertation Engineering Structural Behavior of Reinforced Concrete Open access

Benjamin Camps

0

citations
Longterm Temporal Dynamics of Suicidal Ideation: A Dynamic Time Warping Analysis of Depression, Anxiety, Worry, and Mastery
2026 medRxiv preprint Psychology Suicide and Self-Harm Studies Open access

Mandy WM Gijzen, Abe J C van der Slot, Merijn Eikelenboom, Derek Paul De Beurs, Brenda Wjh Penninx, Erik J. Giltay

0

citations
Respiratory physiology after resupination following prone ventilation to predict 28-day mortality in mechanically ventilated patients: a machine learning analysis
2026 Scientific Reports article Medicine Respiratory Support and Mechanisms Open access

Lada Lijović, Tariq A. Dam, Moon Seong Baek, Tae Wan Kim, Gyungah Kim, Pwg Elbers, +39 more

0

citations
Just the Races: Speeding Up Data Race Detection by Concentrating on Instrumentation
2026 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques

Tim Jammer, Simon Schwitanski, Jan Braun, Christian Bischof

0

citations
Retinal vessel imaging in inflammatory disease: From endothelial dysfunction to clinical evidence and translation
2026 Progress in Retinal and Eye Research article Medicine Retinal Imaging and Analysis Open access

Timon Wallraven, Roman Günthner, Andrea Ribeiro, Momin S. Alnemer, Konstantin E. Kotliar, Maciej Lech, +7 more

1

citations
Dynamic water-mediated hydrogen-bond networks of receptors and transporters
2026 RWTH Publications (RWTH Aachen) dissertation Biochemistry, Genetics and Molecular Biology Receptor Mechanisms and Signaling Open access

Éva Bertalan

0

citations
Bayesian experimental design in production engineering: a comprehensive performance and robustness study
2026 Frontiers in Manufacturing Technology article Decision Sciences Optimal Experimental Design Methods Open access

Lars Leyendecker, Ana Maria Gonzalez Degetau, Katharina Bata, Jessica Emonts, Angela Schmitz, Robert Heinrich Schmitt

0

citations
Adhesively bonded steel patches for retrofitting orthotropic bridge decks
2026 Procedia Structural Integrity article Engineering Structural Engineering and Materials Analysis Open access

Björn Abeln, Achim Geßler, Elisabeth Stammen, Markus Feldmann

0

citations
Heterogeneous dynamics in a polymer solution revealed through measurement of ultraslow convection
2026 Newton article Materials Science Material Dynamics and Properties Open access

Thomas P. Chaney, Samuel D. Marks, Dylan M. Ladd, Andrei Fluerasu, Federico Zontone, Yuriy Chushkin, +6 more

2

citations
Augmenting distance protection with a data-based approach to fault classification under uncertainty
2026 Electric Power Systems Research article Engineering Power Systems Fault Detection Open access

Sarah Anhaus, Arlind Damjani, Willem Leterme

0

citations
Projecting temperature-related mortality impacts at urban scale under climate scenarios: A methodological review
2026 Sustainable Cities and Society article Environmental Science Climate Change and Health Impacts Open access

Kedi Liu, Ranran Wang, Arnold Tukker, Samir KC, Rutger Hoekstra

0

citations