Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from SIGIR 2026 / reviewers in the wild / expert

Lawrence Robinson

dblp:82/6128 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
0since 2021 · last 1977
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2Systems, architecture and hardware · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
3 papers
Program verification · 62% Requirements engineering and software design · 38%
Network and information security
2 papers
Systems and software security · 100%

Topics — the 4 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Systems and software security
multilevel security		 0.021977
Proving Multilevel Security of a System Design · SOSP 1977
Software Development and Proofs of Multi-Level Security · ICSE 1976
Systems and software security
secure system design		 0.011977
Proving Multilevel Security of a System Design · SOSP 1977
Requirements engineering and software design › specification
specification methods		 0.011976
Specification techniques · DAC 1976
Requirements engineering and software design
formal specification		 0.011976
Specification techniques · DAC 1976

Methods — techniques the papers use, named apart from their topics

formal verification · 0.0
YearPublicationVenuePosition
1977 Proving Multilevel Security of a System Design
Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson
 SOSP3
1976 Specification techniques
abstract
This paper describes specification techniques related to a hierarchical methodology developed principally by the author for design, implementation, and proof of large software systems. Two kinds of specification techniques are described: those for decomposing the system into a hierarchy of abstract machines, and those for writing formal specifications for each machine. Several examples of the use of the methodology are presented. The basic concepts of the methodology are extended to include an interpretive computational model that is particularly relevant to hardware design. The usefulness of specifications in the software design process is also discussed.
Lawrence Robinson
 DAC1
1976 Software Development and Proofs of Multi-Level Security
Peter G. Neumann, Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson
 ICSE4