Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Oleg Travkin, Heike Wehrheim |
Handling TSO in Mechanized Linearizability Proofs. |
Haifa Verification Conference |
2014 |
DBLP DOI BibTeX RDF |
|
20 | John Derrick, Graeme Smith 0001, Lindsay Groves, Brijesh Dongol |
Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures. |
Haifa Verification Conference |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Yang Liu 0003, Wei Chen 0013, Yanhong A. Liu, Jun Sun 0001, Shao Jie Zhang, Jin Song Dong |
Verifying Linearizability via Optimized Refinement Checking. |
IEEE Trans. Software Eng. |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Alexey Gotsman, Hongseok Yang |
Linearizability with Ownership Transfer. |
Log. Methods Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Xingwu Chen, Wentao Huang, Valery G. Romanovski, Weinian Zhang |
Linearizability and local bifurcation of critical periods in a cubic Kolmogorov system. |
J. Comput. Appl. Math. |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Cezara Dragoi, Ashutosh Gupta 0001, Thomas A. Henzinger |
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Kiran Adhikari, James Street, Chao Wang 0001, Yang Liu 0003, Shao Jie Zhang |
Verifying a Quantitative Relaxation of Linearizability via Refinement. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Sagar Chordia, Sriram K. Rajamani, Kaushik Rajan, Ganesan Ramalingam, Kapil Vaswani |
Asynchronous Resilient Linearizability. |
DISC |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Hongjin Liang 0001, Xinyu Feng 0001 |
Modular verification of linearizability with non-fixed linearization points. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Oleg Travkin, Annika Mütze, Heike Wehrheim |
SPIN as a Linearizability Checker under Weak Memory Models. |
Haifa Verification Conference |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis |
Aspect-Oriented Linearizability Proofs. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Lu Zhang 0035, Arijit Chattopadhyay, Chao Wang 0001 |
Round-up: Runtime checking quasi linearizability of concurrent data structures. |
ASE |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Waleed Aziz, Colin Christopher |
Local integrability and linearizability of three-dimensional Lotka-Volterra systems. |
Appl. Math. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Hong-Gi Lee, Jin-Man Hong |
Discrete-Time Observer Error Linearizability via Restricted Dynamic Systems. |
IEEE Trans. Autom. Control. |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Yusen Wu, Cui Zhang, Luju Liu |
Linearizability Problem of Resonant Degenerate Singular Point for Polynomial Differential Systems. |
J. Appl. Math. |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Oleg Travkin, Heike Wehrheim, Gerhard Schellhorn |
Proving Linearizability of Multiset with Local Proof Obligations. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Bengt Jonsson 0001 |
Using refinement calculus techniques to prove linearizability. |
Formal Aspects Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Oualid Hammi, Sung-Chan Jung, Fadhel M. Ghannouchi |
Design for linearizability of GaN based multi-carrier Doherty power amplifier through bias optimization. |
ICECS |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Rachid Guerraoui, Viktor Kuncak, Giuliano Losa |
Speculative linearizability. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Alexey Gotsman, Hongseok Yang |
Linearizability with Ownership Transfer. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Jaume Giné, Zhibek Kadyrsizova, Yirong Liu, Valery G. Romanovski |
Linearizability conditions for Lotka-Volterra planar complex quartic systems having homogeneous nonlinearities. |
Comput. Math. Appl. |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan, Wolfgang Reif |
Proving linearizability with temporal logic. |
Formal Aspects Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
20 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Mechanically verified proof obligations for linearizability. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Shao Jie Zhang |
Scalable automatic linearizability checking. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Kristijan Dragicevic |
An execution trace verification method on linearizability. |
|
2011 |
RDF |
|
20 | Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur |
Model Checking of Linearizability of Concurrent List Implementations. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Viktor Vafeiadis |
Automatically Proving Linearizability. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Yehuda Afek, Guy Korland, Eitan Yanovsky |
Brief Announcement: Quasi-Linearizability: Relaxed Consistency for Improved Concurrency. |
DISC |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran |
Simplifying Linearizability Proofs with Reduction and Abstraction. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Yehuda Afek, Guy Korland, Eitan Yanovsky |
Quasi-Linearizability: Relaxed Consistency for Improved Concurrency. |
OPODIS |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Viktor Vafeiadis |
Shape-Value Abstraction for Verifying Linearizability. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Maurice Herlihy |
Linearizability. |
Encyclopedia of Algorithms |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Issa Amadou Tall, Witold Respondek |
On linearizability of strict feedforward systems. |
ACC |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Witold Respondek, Issa Amadou Tall |
Feedback linearizability of strict feedforward systems. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Diana Dolicanin, Gradimir V. Milovanovic, Valery G. Romanovski |
Linearizability conditions for a cubic system. |
Appl. Math. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Jörg Hähner, Christian Becker 0001, Pedro José Marrón, Kurt Rothermel |
Maintaining update-linearizability for replicated information in MANETs. |
COMSWARE |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Costas Busch, Marios Mavronicolas, Paul G. Spirakis |
An Application of the Monotone Linearizability Lemma. |
Bull. EATCS |
2005 |
DBLP BibTeX RDF |
|
20 | Miroslav Krstic |
Feedback linearizability and explicit integrator forwarding controllers for classes of feedforward systems. |
IEEE Trans. Autom. Control. |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Ji-Hoon Kang, Ki-Hyung Hong, Kyu-Young Whang, Jung Wan Cho |
Generalization of ZYT-linearizability for bilinear datalog programs. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Jörg Hähner, Kurt Rothermel, Christian Becker 0001 |
Update-linearizability: a consistency concept for the chronological ordering of events in MANETs. |
MASS |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Bernadette Charron-Bost, Robert Cori |
A Note on Linearizability and the Global Time Axiom. |
Parallel Process. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Martin Guay |
On the linearizability of nonisothermal continuous stirred-tank reactors. |
Autom. |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Michel Raynal |
Sequential Consistency as Lazy Linearizability. |
EurAsia-ICT |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Nancy A. Lynch, Nir Shavit, Alexander A. Shvartsman, Dan Touitou |
Timing Conditions for Linearizability in Uniform Counting Networks. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Maria Eleftheriou, Marios Mavronicolas |
Linearizability in the Presence of Drifting Clocks and Under Different Delay Assumptions. |
DISC |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Gil Neiger |
Set-Linearizability. |
PODC |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Hagit Attiya, Jennifer L. Welch |
Sequential Consistency Versus Linearizability (Extended Abstract). |
SPAA |
1991 |
DBLP DOI BibTeX RDF |
|
16 | David Dice, Oleksandr Otenko |
Brief announcement: multilane - a concurrent blocking multiset. |
SPAA |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine |
Heap Decomposition for Concurrent Shape Analysis. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Byung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz |
Attested append-only memory: making adversaries stick to their word. |
SOSP |
2007 |
DBLP DOI BibTeX RDF |
attested append-only memory, equivocation, replicated state machines, shared storage, byzantine-fault tolerance |
16 | Gregory V. Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber |
Proving Atomicity: An Assertional Approach. |
DISC |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Gregory V. Chockler, Seth Gilbert, Vincent Gramoli, Peter M. Musial, Alexander A. Shvartsman |
Reconfigurable Distributed Storage for Dynamic Networks. |
OPODIS |
2005 |
DBLP DOI BibTeX RDF |
atomic objects, performance, Distributed algorithms, reconfiguration |
16 | Michel Raynal, Matthieu Roy, Ciprian Tutu |
A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations. |
AINA |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Garth R. Goodson, Jay J. Wylie, Gregory R. Ganger, Michael K. Reiter |
Efficient Byzantine-Tolerant Erasure-Coded Storage. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
16 | William N. Scherer III, Michael L. Scott |
Nonblocking Concurrent Data Structures with Condition Synchronization. |
DISC |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Charles P. Fry, Michael K. Reiter |
Nested Objects in a Byzantine Quorum-Replicated System. |
SRDS |
2004 |
DBLP DOI BibTeX RDF |
Fault tolerance, Distributed systems, Replication, Byzantine failures, Quorum systems |
16 | Roman Vitenberg, Roy Friedman |
On the Locality of Consistency Conditions. |
DISC |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Maria Gradinariu |
Normality versus system mobility. |
ICPADS |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Damián Arregui, François Pacull, Michel Riviere |
Heterogeneous Component Coordination: The CLF Approach. |
EDOC |
2000 |
DBLP DOI BibTeX RDF |
heterogeneous component coordination, CLF approach, Java/Jini, Corba 3.0, Object Management Group, Coordination Language Facility, two-phase commit protocol, showcase application, heterogeneous components, Java, serializability, distributed object management, distributed transactions, Enterprise JavaBeans |
16 | Foto N. Afrati, Manolis Gergatsoulis, Maria Katzouraki |
On Transformations into Linear Database Logic Programs. |
Ershov Memorial Conference |
1996 |
DBLP DOI BibTeX RDF |
Datalog programs, program transformations, deductive databases, program optimization |
16 | Rachid Guerraoui, André Schiper |
Fault-Tolerance by Replication in Distributed Systems. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Tomás Feder, Yatin P. Saraiya |
Decidability and Undecidability of Equivalence for Linear Datalog with Applications to Normal-Form Optimizations. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Yatin P. Saraiya |
Polynomial-Time Program Transformations in Deductive Databases. |
PODS |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Kurt-Ulrich Witt |
On Linearizing Graphs. |
WG |
1980 |
DBLP DOI BibTeX RDF |
|