Concepedia

Tom In der Rieden

TI

Statistics

Publications

4

Citations

104

H-Index

4

Active since

2005

Affiliations

Saarland University(Current)

Tom In der Rieden is an author at Saarland University specializing in computer engineering, system software, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisFormal VerificationComputer EngineeringSoftware AnalysisSystems Engineering

Publications per year

2005–2008

4

Publications

4

Dealing with I/O devices in the context of pervasive system verification

Mark Hillebrand, Tom In der Rieden, W. Paul · 2006 · 41 citations

I/o Devices, Engineering, Pervasive System Verification +26

CVM – A Verified Framework for Microkernel Programmers

Tom In der Rieden, Alexandra Tsyban · Electronic Notes in Theoretical Computer Science · 2008 · 30 citations · Full text

Engineering, Verification, Software Engineering +18

Towards the formal verification of lower system layers in automotive systems

Sven Beyer, Paula Böhm, M. Gerke et al. · 2006 · 20 citations

Engineering, Hardware Verification Language, Verification +23

An approach to the pervasive formal specification and verification of an automotive system

Tom In der Rieden, Steffen Knapp · 2005 · 13 citations

Engineering, System Programming, Verification +26

1–4 of 4