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 EDBT 2026 / reviewers in the wild / expert

Mike Seager

dblp:120/5186 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
0since 2021 · last 1995
—ORCID · none

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

Security and privacy · 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
1 paper
Operating systems · 33% Requirements engineering and software design · 33% Program verification · 33%

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

TopicWeightPapersLastEvidence papers
Requirements engineering and software design
formal specification		 0.011995
Formal methods in the THETA kernel · S&P 1995
Program verification › system verification
kernel verification		 0.011995
Formal methods in the THETA kernel · S&P 1995
Operating systems › system security › operating system security › secure operating system
secure operating system kernel		 0.011995
Formal methods in the THETA kernel · S&P 1995

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

theorem proving · 0.0formal specification · 0.0
YearPublicationVenuePosition
1995 Formal methods in the THETA kernel
abstract
THETA is a secure distributed operating system designed to run on a variety of hardware platforms. We are currently undertaking an effort to formally specify and implement a new THETA kernel to improve its security properties and to increase its portability. We used a number of "formal methods" tools in developing the specification and analyzing its implementation. The report presents an overview of the THETA kernel architecture, then discusses the methods and tools that we used to develop it. We include a critique of the tools and a discussion of the relative merits of using Ada and C to implement complex secure systems.>
Mike Seager, David Guaspari, Matthew Stillerman, Carla Marceau
 S&P1