From

Institution

Field

Type

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

Reset

Papers matching “static analysis” 442

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

A scaled boundary shell formulation in isogeometric analysis for static and dynamic analysis
2024 PAMM article Engineering Advanced Numerical Analysis Techniques Open access

Mathias Reichle, Anna Hellers, Sven Klinkel

0

citations
Assistance for PLC Programming during Development based on Static Analysis
2020 RWTH Publications (RWTH Aachen) book Computer Science Logic, programming, and type systems Open access

Mathias Obster

0

citations
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
2023 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) conference-paper Computer Science Logic, programming, and type systems

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

4

citations
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Logic, programming, and type systems Open access

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

0

citations
The Design and Analysis of a Proportional Solenoid with Experimental Validation of Static and Dynamic Behavior
2024 Applied Sciences article Engineering Hydraulic and Pneumatic Systems Open access

Ercan Düzgün, GÜRSEL ŞEFKAT

6

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
Regional Sensitivity Analysis for Maximum Static Transfer Capability of Power Systems by Dimension-Adaptive Sparse Grid Interpolation
2023 IEEE Transactions on Power Systems article Engineering Power System Optimization and Stability

Xingyu Lin, Sui Peng, Junjie Tang, Ferdinanda Ponci, Antonello Monti, Wenyuan Li

5

citations
SAFEST: The Static and Dynamic Fault Tree Analysis Tool
2023 European Safety and Reliability Conference (ESREL) conference-paper Decision Sciences Risk and Safety Analysis Open access

Matthias Volk, Muzammil Ibne Irshad, Joost-Pieter Katoen, Falak Sher, Mariëlle I. A. Stoelinga, Zafar Ahmad

0

citations
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
2022 arXiv (Cornell University) preprint Decision Sciences Risk and Safety Analysis Open access

Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Mariëlle I. A. Stoelinga

2

citations
Artifact for "BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees"
2022 Zenodo (CERN European Organization for Nuclear Research) dataset Decision Sciences Risk and Safety Analysis Open access

Daniel Basgöze, Joost-Pieter Katoen, Shahid Ali Khan, Mariëlle I. A. Stoelinga

2

citations
Artifact for "BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees"
2022 Zenodo (CERN European Organization for Nuclear Research) dataset Decision Sciences Risk and Safety Analysis Open access

Daniel Basgöze, Joost-Pieter Katoen, Shahid Ali Khan, Mariëlle I. A. Stoelinga

0

citations
Artifact for "BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees"
2022 University of Twente Research Information dataset Decision Sciences Risk and Safety Analysis Open access

Daniel Basgöze, Joost-Pieter Katoen, Shahid Ali Khan, Mariëlle I. A. Stoelinga

0

citations
Static and dynamic analysis of functionally graded magneto-electro-elastic plates and shells
2021 Composite Structures article Engineering Composite Structure Analysis and Optimization

Shunqi Zhang, Yafei Zhao, Xiang Wang, Min Chen, Rüdiger Schmidt

60

citations
A Set of Novel Global Sensitivity Analysis Indices for Probabilistic Static Voltage Stability Assessment With Correlated Uncertainty Sources
2023 IEEE Transactions on Power Systems article Engineering Power System Optimization and Stability

Sui Peng, Xingyu Lin, Junjie Tang, Kaigui Xie, Ferdinanda Ponci, Antonello Monti

13

citations
Theoretical Analysis of Deformation and Internal Forces of Used Piles Due to New Static-Pressure Pile Penetration
2023 Applied Sciences article Engineering Geotechnical Engineering and Soil Mechanics Open access

Jifei Cui, Peihao Ouyang, Jiani Zhang

3

citations
Three-dimensional progressive damage and failure analysis of double-lap composite bolted joints under quasi-static tensile loading
2022 Composite Structures article Engineering Mechanical Behavior of Composites

Jianxia Wang, Tianliang Qin, Narasimha Rao Mekala, Yujun Li, Mohammad Heidari‐Rarani, Kai‐Uwe Schröder

57

citations
An element‐based formulation for ES‐FEM and FS‐FEM models for implementation in standard solid mechanics finite element codes for 2D and 3D static analysis
2022 International Journal for Numerical Methods in Engineering article Engineering Numerical methods in engineering Open access

Slah Drira, Ralf Frotscher, Manfred Staat

5

citations
Leveraging Static Analysis to Accelerate Dynamic Race Detection for Remote Memory Access Programs
2024 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques

Simon Schwitanski, Yussur Mustafa Oraji, Cornelius Pätzold, Joachim Jenke, Matthias Mueller

2

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
Retinal Vessel Flicker Light Responsiveness and Its Relation to Analysis Protocols and Static and Metabolic Data in Healthy Subjects
2025 Biomedicines article Medicine Retinal Imaging and Analysis Open access

Dmitri Artemiev, Christophe Valmaggia, Scott Tschuppert, Konstantin E. Kotliar, Cengiz Türksever, Margarita G. Todorova

1

citations
A mixed smoothed finite element limit analysis formulation for static and seismic collapse loads
2024 Acta Geotechnica article Engineering Geotechnical Engineering and Analysis

Hoang Nguyen, Xue Zhang, Majidreza Nazem

10

citations
Fully coupled modeling for static and dynamic analysis of thermo-magneto-electro-elastic plates
2025 International Journal of Mechanics and Materials in Design book-chapter Engineering Composite Structure Analysis and Optimization

Shunqi Zhang, Shen-Yun Qian, Shen Liu, Chunyan Ling, Songyun Ma

3

citations
A mixed smoothed finite element limit analysis formulation for static and seismic collapse loads
2023 Research Square preprint Engineering Geotechnical Engineering and Analysis Open access

Hoang Nguyen, Xue Zhang, Majidreza Nazem

1

citations
Quasi-static modeling of long-wave axis deviations in planetary gears for transmission error signal analysis
2025 Forschung im Ingenieurwesen article Engineering Gear and Bearing Dynamics Analysis Open access

Simon Nohl, Christian Westphal, Christian Brecher

3

citations
Aeroelastic reduced-order modeling for efficient static aeroelastic analysis considering geometric nonlinearity
2023 Journal of Fluids and Structures article Engineering Aeroelasticity and Vibration Control

Kai Li, Jiaqing Kou, Weiwei Zhang

14

citations