Concepedia

Tim A. C. Willemse

TA

24

Publications

643

Citations

15

H-Index

2003

Active since

Affiliations

Eindhoven University of Technology(Current)

Radboud University Nijmegen

Vrije Universiteit Amsterdam

National Institute for Subatomic Physics

Newcastle University

Tim A. C. Willemse is an author at Eindhoven University of Technology specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsFormal VerificationComputer ScienceVerificationAutomated ReasoningSystems EngineeringProgram AnalysisSoftware AnalysisSystem Software

Publications per year

2003–2024

24

Publications

24

Test Generation Based on Symbolic Specifications

Lars Frantzen, Tim A. C. Willemse · Lecture notes in computer science · 2005 · 84 citations

Engineering, Automated Reasoning, Program Analysis +10

Guidelines for a graduate curriculum on embedded software and systems

P. Caspi, Alberto Sangiovanni‐Vincentelli, Lúıs Almeida et al. · ACM Transactions on Embedded Computing Systems · 2005 · 69 citations

Engineering, Graduate Curriculum, Embedded Design +19

Parameterised boolean equation systems

Jan Friso Groote, Tim A. C. Willemse · Theoretical Computer Science · 2005 · 68 citations

Mathematical Programming, Constraint Solving, Engineering +6

Model-checking processes with data

Jan Friso Groote, Tim A. C. Willemse · Science of Computer Programming · 2004 · 56 citations · Full text

Engineering, Model-checking Processes, Automated Reasoning +9

Semantics and verification in process algebras with data and timing

Tim A. C. Willemse · Data Archiving and Networked Services (DANS) · 2003 · 51 citations · Full text

Process Algebras, Formal Specification, Engineering +11

Rows per page

1–5 of 24