Concepedia

Konrad Slind

KS

Statistics

Publications

14

Citations

689

H-Index

13

Active since

1987

Affiliations

University of Utah(Current)

University of Cambridge

Brigham Young University

Rockwell Automation (United States)

Kansas State University

Konrad Slind is an author at University of Utah specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationProgram AnalysisSoftware AnalysisAutomated ReasoningSystem SoftwareComputer Engineering

Publications per year

1987–2022

14

Publications

14

Monitoring distributed systems

Jeffrey J. Joyce, Greg Lomow, Konrad Slind et al. · ACM Transactions on Computer Systems · 1987 · 249 citations · Full text

Software Maintenance, Engineering, Service Monitoring +18

Nemos: a framework for axiomatic and executable specifications of memory consistency models

Yue Yang, G. Gopalakrishnan, Gary Lindstrom et al. · 2004 · 88 citations

Engineering, Verification, Computer Architecture +18

Machine-Code Verification for Multiple Architectures - An Application of Decompilation into Logic

Magnus O. Myreen, Michael J. C. Gordon, Konrad Slind · 2008 · 59 citations

Engineering, Hardware Verification Language, Machine Code +23

Reasoning about Terminating Functional Programs

Konrad Slind · mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich) · 1999 · 50 citations · Full text

Induction Theorems, Engineering, Program Analysis +15

Andrew Gacek, John Backes, Darren Cofer et al. · 2014 · 42 citations

Engineering, Verification, Software Engineering +16

1–5 of 14