Jürgen Ruf is an author at University of Tübingen specializing in computer science, software verification, and systems engineering.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2000–2020
7
7
Structured English for Model Checking Specification.
Stephan Flake, Wolfgang Müller, Jürgen Ruf · 2000 · 23 citations
Verification of temporal properties in automotive embedded software
Djones Lettnin, Pradeep K. Nalla, Jürgen Ruf et al. · 2008 · 17 citations
Engineering, Hardware Verification Language, Verification +22
Bounded Property Checking with Symbolic Simulation.
Jürgen Ruf, Prakash Peranandam · 2003 · 16 citations
Coverage Driven Verification applied to Embedded Software
Djones Lettnin, Markus Winterholer, Axel Braun et al. · 2007 · 14 citations
Engineering, Hardware Verification Language, Verification +21
Rows per page
1–5 of 7