„Program Analysis“

Suchergebnisse

7.892 Treffer

• Laser-based logic state analysis in hardware security – threats and opportunities
  Krachenfels, Thilo ; Seifert, Jean-Pierre ; Paar, Christof ; Schaumont, Patrick 2023 Technische Universität Berlin
• Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
  Mohr, Martin ; Snelting, Gregor ; Hammer, Christian 2023 KIT Scientific Publishing
• Policy iteration for value set analysis of PLC programs
  Völker, Marcus ; Kowalewski, Stefan ; Beckert, Bernhard 2023 Universitätsbibliothek der RWTH Aachen
• Design and security analysis of cryptographic hardware primitives
  Aghaie, Anita ; Moradi, Amir ; Güneysu, Tim 2023 Ruhr-Universität Bochum
• Accelerating approximate data analysis with parallel processors
  Kiefer, Martin ; Markl, Volker ; István, Zsolt ; Teubner, Jens ; Tzirita Zacharatou, Eleni 2023 Technische Universität Berlin
• Clique-Related Structures in Mixed-Integer Programming: Analysis, Recognition, and Application
  Gemander, Patrick ; Martin, Alexander ; Zaragoza Martínez, Francisco Javier ; Cacchiani, Valentina 2023 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Automatic computation of continued fraction representations as solutions of explicit differential equations
  Schatz, Henning 2022 Universitätsbibliothek Kassel
• Program analysis of WebAssembly binaries
  Lehmann, Daniel ; Pradel, Michael 2022 Universitätsbibliothek der Universität Stuttgart
• Empirical Analysis of the Adoption of Large-Scale Agile Development Methods
  Uludag, Ömer ; Matthes, Florian ; Rinderle-Ma, Stefanie 2022 Universitätsbibliothek der TU München
• Rabattprobleme aus Konsumentensicht - Eine Online- und Offlineanalyse
  Reißner, Michael ; Lefmann, Hanno ; Goerdt, Andreas 2022 Universitätsverlag Chemnitz
• Comparison of patient-reported outcome measures and mobile and stationary gait analysis systems for evaluating a multidisciplinary biopsychosocial rehabilitation programme for patients with hip and knee osteoarthritis
  Marka, Alexander Wolfgang ; Weigl, Martin 2022 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
  Mohr, Martin ; Snelting, Gregor 2022 KIT-Bibliothek
• The economics of exchanging and adopting plant genetic resources for food and agriculture
  Lüttringhaus, Anna Sophia ; Lotze-Campen, Hermann ; Qaim, Matin 2022 Humboldt-Universität zu Berlin
• Logical Analysis of Biological Data
  Becker, Katinka 2021 Freie Universität Berlin
• Analysis of cognitive models in constraint handling rules
  Gall, Daniel 2021 Universität Ulm
• Analysis of the effectiveness of Non Governmental Organizations (NGOs) in HIV and AIDS Service Delivery – the case of Antiretroviral Therapy (ART) programme in Malawi
  Lembani, Martina Esinala ; Löwenstein, Wilhelm ; Hartmann, Christof 2013 Ruhr-Universität Bochum
• Towards complete methods for automatic complexity and termination analysis of (probabilistic) programs
  Hark, Marcel ; Giesl, Jürgen ; Kovács, Laura 2021 Universitätsbibliothek der RWTH Aachen
• Deep learning-enhanced side-channel analysis of cryptographic implementations
  Hettwer, Benjamin ; Güneysu, Tim ; Batina, Lejla 2021 Ruhr-Universität Bochum
• MENTALESE - an architecture-agnostic analysis framework for binary executables
  Garmany, Behrad ; Holz, Thorsten ; Rieck, Konrad 2021 Ruhr-Universität Bochum
• Development, verification and analysis of a fault injection tool for improving dependability of FPGA systems
  Khatri, Abdul Rafay 2021 Universitätsbibliothek Kassel