„multi-threaded programs“

Suchergebnisse

12 Treffer

• 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
• Context-Bounded Analysis of Concurrent Programs (Invited Talk)
  Baumann, Pascal ; Ganardi, Moses ; Majumdar, Rupak ; Thinniyam, Ramanathan S. ; Zetzsche, Georg 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of Asynchronous Programs with Nested Locks
  Atig, Mohamed Faouzi ; Bouajjani, Ahmed ; Narayan Kumar, K. ; Saivasan, Prakash 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width
  La Torre, Salvatore ; Parlato, Gennaro 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Runtime Data Race Detection in Multi-Threaded Programs – Methods and Tools
  Mühlenfeld, Arndt 2012 AV Akademikerverlag
• Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction
  Herdt, Vladimir ; Le, Hoang M. ; Große, Daniel ; Drechsler, Rolf
• A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker
  Beyer, Dirk ; Friedberger, Karlheinz 2016 Ludwig-Maximilians-Universität München
• On interleaving space exploration of multi-threaded programs
  Chen, Dongjie ; Jiang, Yanyan ; Xu, Chang ; Ma, Xiaoxing
• Model-checking multi-threaded distributed Java programs
  Stoller, Scott D.
• Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)
  Chaki, Sagar ; Gurfinkel, Arie ; Strichman, Ofer
• Runtime data race detection in multi-threaded programs – methods and tools
  Mühlenfeld, Arndt 2008 VDM Verlag Dr. Müller
• Complexity and information flow analysis for multi-threaded programs
  Ngo, Tri Minh ; Huisman, Marieke