„Programmanalyse“

Suchergebnisse

1.000+ Treffer

• Proactive Energy-Aware Computing
  Hönig, Timo ; Schröder-Preikschat, Wolfgang 2017 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Software Engineering and Formal Methods – 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
  Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario 2014 Springer International Publishing
• Abendvolkshochschulen – Materialbasierte Analysen zur Vielfalt ihrer Institutionalisierung in der Weimarer Republik
  Dinkelaker, Jörg ; Ebner von Eschenbach, Malte ; Stimm, Maria 2024 Verlag Julius Klinkhardt
• Programm- und Angebotsentwicklung – in der Erwachsenen- und Weiterbildung
  Fleige, Marion ; Gieseke, Wiltrud ; Hippel, Aiga ˜vonœ ; Käpplinger, Bernd ; Robak, Steffi 2025 utb GmbH
• On improving automated program analysis to secure software systems
  Pawlowski, Andre ; Holz, Thorsten ; Bos, Herbert 2020 Ruhr-Universität Bochum
• Reasoning about software security via synthesized behavioral substitutes
  Blazytko, Tim ; Holz, Thorsten ; Rieck, Konrad 2020 Ruhr-Universität Bochum
• From mobile to security – towards secure smartphones
  Hoffmann, Johannes ; Holz, Thorsten ; Freiling, Felix C. 2014 Ruhr-Universität Bochum
• Grundlagenforschung für vertrauenswürdige Software
  He, Jifeng 2025 Springer Vieweg
• E- und U-Musik im Radio – Faktoren und Konsequenzen funktionsbedingter Kategorien im Programm ; Musik-Programmanalyse beim Westdeutschen Rundfunk
  Wernsing, Andreas Arthur 1995 Lang
• Strategieverbesserungsalgorithmen für exakte Programmanalysen
  Gawlitza, Thomas Martin 2009 Verlag Dr. Hut
• Optimierung objektorientierter Programme – Übersetzungstechniken, Analysen und Transformationen
  Trapp, Martin 2001 Springer Berlin Heidelberg
• Automated program analysis – reproducibility, flexibility requirements, and risks
  Schloegel, Moritz ; Holz, Thorsten ; Kruegel, Christopher ; Böhme, Marcel 2024 Ruhr-Universität Bochum
• 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
• Witness-based validation of verification results with applications to software-model checking
  Dangl, Matthias ; Beyer, Dirk 2022 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Program analysis of WebAssembly binaries
  Lehmann, Daniel ; Pradel, Michael 2022 Universitätsbibliothek der Universität Stuttgart
• MENTALESE - an architecture-agnostic analysis framework for binary executables
  Garmany, Behrad ; Holz, Thorsten ; Rieck, Konrad 2021 Ruhr-Universität Bochum
• Neue Ansätze zur Speicherzugriffsanalyse paralleler Anwendungen mit gemeinsam genutztem Adressraum
  Krzikalla, Olaf ; Nagel, Wolfgang E. ; Kranzlmüller, Dieter 2019 Technische Universität Dresden
• Analysis and retrofitting of security properties for proprietary software systems
  Hund, Ralf ; Holz, Thorsten ; Freiling, Felix C. 2013 Ruhr-Universität Bochum
• Dachmarke Literatur – Die Literaturvermittlungsinstitution Literaturhaus in Deutschland und Skandinavien
  Löher, Carolin ; Hoff, Karin ; Winko, Simone ; Johannsen, Anja 2020 Niedersächsische Staats- und Universitätsbibliothek Göttingen