Old Web
English
Sign In
Acemap
>
authorDetail
>
DerrickJohn
DerrickJohn
Computer science
Software engineering
Software
Linearizability
Automated theorem proving
5
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures
2014
SchellhornGerhard
DerrickJohn
WehrheimHeike
Show All
Source
Cite
Save
Citations (0)
Mechanically verified proof obligations for linearizability
2011
ACM Transactions on Programming Languages and Systems
DerrickJohn
SchellhornGerhard
WehrheimHeike
Show All
Source
Cite
Save
Citations (0)
Using formal specifications to support testing
2009
ACM Computing Surveys
M HieronsRobert
BogdanovKirill
P BowenJonathan
CleavelandRance
DerrickJohn
DickJeremy
GheorgheMarian
HarmanMark
KapoorKalpesh
KrausePaul
LüttgenGerald
J H SimonsAnthony
VilkomirSergiy
R WoodwardMartin
ZedanHussein
Show All
Source
Cite
Save
Citations (0)
Model checking stochastic automata
2003
BryansJeremy
BowmanHoward
DerrickJohn
Show All
Source
Cite
Save
Citations (0)
1