David Basin
10 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
The Complete Guide to SCION
Laurent Chuat and others (2022) · Springer
Data Plane
Laurent Chuat and others (2022) · The Complete Guide to SCION · Springer Nature
Extensions for the Control Plane
Laurent Chuat and others (2022) · The Complete Guide to SCION · Springer International Publishing
The TAMARIN Prover for the Symbolic Analysis of Security Protocols
Simon Meier and others (2013) · Lecture notes in computer science · Springer Science+Business Media
Annotated rewriting in inductive theorem proving
David Basin and others (1996) · Journal of Automated Reasoning
A calculus for and termination of rippling
David Basin and others (1996) · Journal of Automated Reasoning
Modeling a hardware synthesis methodology in isabelle
David Basin and others (1996) · Theorem Proving in Higher Order Logics · Springer Berlin Heidelberg
Experiments in automating hardware verification using inductive proof planning
Francisco J. Cantú-Ortiz and others (1996) · Lecture notes in computer science · Springer Science+Business Media
Hardware verification using monadic second-order logic
David Basin and others (1995) · Proceedings of the Conputer Aided Verification Conference, LNCS 939 · Springer-Verlag
Difference unification
David Basin and others (1993) · Proc. 13th Intern