„linearizability“

Suchergebnisse

1.000+ Treffer

• A compositional proof method for linearizability applied to a wait-free multiset
  Tofan, Bogdan ; Schellhorn, Gerhard ; Reif, Wolfgang ; Albert, Elvira ; Sekerinski, Emil 2014 Universität Augsburg
• An execution trace verification method on linearizability
  Dragičević, Kristijan
• Compositional Concurrent Program Verification with RGITL
  Tofan, Bogdan ; Reif, Wolfgang 2014 Universität Augsburg
• Symmetric Integrability and Linearizability of Weak Saddles in Planar Cubic Differential Systems
  Wu, Yusen ; Li, Yangtao ; Li, Xinli ; Wang, Xiangyu
• Proving linearizability with temporal logic
  Bäumler, Simon ; Schellhorn, Gerhard ; Tofan, Bogdan ; Reif, Wolfgang 2011 Universität Augsburg
• Local rely-guarantee conditions for linearizability and lock-freedom
  Tofan, Bogdan ; Schellhorn, Gerhard ; Reif, Wolfgang ; Beckert, Bernhard ; Damiani, Ferruccio ; Gurov, Dilian 2011 Universität Augsburg
• Strong Linearizability Without Compare&Swap: The Case of Bags
  Ellen, Faith ; Sela, Gal 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Brief Announcement: Time, Fences and the Ordering of Events in TSO
  Nataf, Raïssa ; Moses, Yoram 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Proving linearizability of multiset with local proof obligations
  Travkin, Oleg ; Wehrheim, Heike ; Schellhorn, Gerhard 2012 Universität Augsburg
• Relaxed Queues and Stacks from Read/Write Operations
  Castañeda, Armando ; Rajsbaum, Sergio ; Raynal, Michel 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Embedding Rely-Guarantee Reasoning in Temporal Logic
  Tofan, Bogdan ; Schellhorn, Gerhard ; Bäumler, Simon ; Reif, Wolfgang 2010 Universität Augsburg
• Proving Linearizability with Temporal Logic
  Bäumler, Simon ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard 2008 Universität Augsburg
• Verifying Linearizability and Lock-Freedom with Temporal Logic
  Tofan, Bogdan ; Bäumler, Simon ; Schellhorn, Gerhard ; Reif, Wolfgang 2009 Universität Augsburg
• Brief Announcement: Concurrent Aggregate Queries
  Sela, Gal ; Petrank, Erez 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Communication Requirements for Linearizable Registers
  Nataf, Raïssa ; Moses, Yoram 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Hyperproperty-Preserving Register Specifications
  Ben Shimon, Yoav ; Lahav, Ori ; Shoham, Sharon 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verifying Lock-Free Search Structure Templates
  Patel, Nisarg ; Shasha, Dennis ; Wies, Thomas 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Strongly Linearizable Linked List and Queue
  Hwang, Steven Munsu ; Woelfel, Philipp 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verifying Lock-Free Search Structure Templates (Artifact)
  Patel, Nisarg ; Shasha, Dennis ; Wies, Thomas
• Atomic Register Abstractions for Byzantine-Prone Distributed Systems
  Kowalski, Vincent ; Mostéfaoui, Achour ; Perrin, Matthieu 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik