From

Institution

Field

Type

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

Reset

Papers matching “static analysis” 11

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
Possibilities and drawbacks using arbitrary precision numbers for structural analysis
2021 PAMM article Computer Science Numerical Methods and Algorithms Open access

Simon Klarmann, Jens Wackerfuß

0

citations
Hard-to-Detect Fault Analysis in FinFET SRAMs
2021 IEEE Transactions on Very Large Scale Integration (VLSI) Systems article Computer Science VLSI and Analog Circuit Testing Open access

Guilherme Cardoso Medeiros, Moritz Fieback, Lizhou Wu, Mottaqiallah Taouil, L. M. Bolzani Poehls, Said Hamdioui

15

citations
Symbolic execution formally explained
2021 Formal Aspects of Computing article Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Marcello Bonsangue

13

citations
Application of time series data mining for the prediction of transition times in production
2020 Procedia CIRP article Computer Science Time Series Analysis and Forecasting Open access

Günther Schuh, Andreas Gützlaff, Frederick Sauermann, Theresa Theunissen

9

citations
Bridging Racial and Age Gaps in Face Recognition: A Data-Augmentation Framework for Fair AI
2026 SN Computer Science article Computer Science Face recognition and analysis Open access

Sofoklis Kitharidis, Anthonie Schaap, Thomas Bäck, Bas van Stein

1

citations
A Compositional Semantics of Boolean-Logic Driven Markov Processes
2023 IEEE Transactions on Dependable and Secure Computing article Computer Science Formal Methods in Verification

Shahid Ali Khan, Joost-Pieter Katoen, Marc Bouissou

3

citations
Mining the contribution of intensive care clinical course to outcome after traumatic brain injury
2023 npj Digital Medicine article Computer Science Machine Learning in Healthcare Open access

Shubhayu Bhattacharyay, Pier Francesco Caruso, Cecilia A. I. Åkerlund, Lindsay Wilson, Robert David Stevens, David Krishna Menon, +3 more

21

citations
XYZ Ruby Code: Making a Case for a Three-Colored Graphical Calculus for Quantum Error Correction in Spacetime
2025 PRX Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

Julio C. Magdalena de la Fuente, Josias Old, Alex Townsend-Teague, Manuel Rispler, Jens Eisert, Markus Michael Müller

9

citations
XYZ Ruby Code: Making a Case for a Three-Colored Graphical Calculus for Quantum Error Correction in Spacetime
2025 RWTH Publications (RWTH Aachen) article Computer Science Quantum Computing Algorithms and Architecture Open access

Julio C. Magdalena de la Fuente, Josias Old, Alex Townsend-Teague, Manuel Rispler, Jens Eisert, Markus Müller

0

citations

11 results