„Symbolic Execution“

Suchergebnisse

1.000+ Treffer

• Proactive Energy-Aware Computing
  Hönig, Timo ; Schröder-Preikschat, Wolfgang 2017 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Towards Automated Refinement of TLM Properties to RTL
  Herdt, Vladimir ; Le, Hoang M. ; Große, Daniel ; Drechsler, Rolf 2018 Universitätsbibliothek Tübingen
• Accurate binary-level symbolic execution of embedded firmware
  Tempel, Sören ; Drechsler, Rolf ; Baccelli, Emmanuel 2024 Staats- und Universitätsbibliothek Bremen
• Engineering of Reliable and Secure Software via Customizable Integrated Compilation Systems
  Scherer, Oliver ; Hagenmeyer, V. 2021 KIT-Bibliothek
• Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
  Dernehl, Christian Michael ; Kowalewski, Stefan ; Moormann, Dieter 2019 Universitätsbibliothek der RWTH Aachen
• Symbolic execution and program synthesis – a general methodology for software verification
  Ströder, Thomas ; Giesl, Jürgen ; Rubio, Albert 2019 Universitätsbibliothek der RWTH Aachen
• Towards formal explainability – Faithful distillation of deep neural networks into interpretable surrogate models
  Schlüter, Maximilian ; Steffen, Bernhard ; Jansen, Nils 2025 Universitätsbibliothek Dortmund
• Verifying Concurrent Systems with Symbolic Execution – Temporal Reasoning is Symbolic Execution with a Little Induction
  Balser, Michael 2006 Shaker
• Integrated Module Testing and Module Verification
  Mangels, Tatiana ; Peleska, Jan ; Drechsler, Rolf 2013 Staats- und Universitätsbibliothek Bremen
• Symbolic Execution of Distributed Systems
  Sasnauskas, Raimondas 2013 Shaker
• Verifying concurrent systems with symbolic execution – temporal reasoning is symbolic execution with a little induction
  Balser, Michael
• NASA Formal Methods – 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
  Goodloe, Alwyn E. ; Person, Suzette 2012 Springer Berlin Heidelberg
• Interactive verification of concurrent systems using symbolic execution
  Bäumler, Simon ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Rudnicki, Piotr ; Sutcliffe, Geoff ; Konev, Boris ; Schmidt, Renate ; Schulz, Stephan 2008 Universität Augsburg
• Compositional proofs with symbolic execution
  Bäumler, Simon ; Nafz, Florian ; Balser, Michael ; Reif, Wolfgang ; Beckert, Bernhard ; Klein, Gerwin 2008 Universität Augsburg
• KDAlloc – The KLEE Deterministic AllocatorDeterministic Memory Allocation during Symbolic Execution and Test Case Replay
  Schemmel, Daniel ; Büning, Julian ; Busse, Frank ; Nowack, Martin ; Cadar, Cristian 2023 Universitätsbibliothek der RWTH Aachen
• symQV – Automated Symbolic Verification of Quantum Programs
  Bauer-Marquart, Fabian ; Leue, Stefan ; Schilling, Christian 2023 KOPS Universität Konstanz
• Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
  Schemmel, Daniel ; Büning, Julian ; Rodríguez, César ; Laprell, David ; Wehrle, Klaus 2020 Universitätsbibliothek der RWTH Aachen
• Verifying concurrent systems with symbolic execution
  Balser, Michael ; Duelli, Christoph ; Reif, Wolfgang ; Schellhorn, Gerhard 2002 Universität Augsburg
• Dynamic Symbolic Execution with Scalable Interpolation Based Path Merging
  Ibing, Andreas ; Eckert, Claudia ; Pretschner, Alexander 2017 Universitätsbibliothek der TU München
• Java program analysis by symbolic execution
  Otto, Carsten ; Giesl, Jürgen ; Spoto, Fausto 2015 Universitätsbibliothek der RWTH Aachen