-
Arend Rensink, editors, ModelEd, TestEd,
TrustEd -
Essays Dedicated to Ed
Brinksma on the
Occasion of His 60th Birthday, vol. 10500 of
Lecture Notes in Computer...
- (d. 2013) 1997–2004:
Frans van
Vught 2005–2009: Henk Zijm 2009–2016: Ed
Brinksma 2016–2020: Thom
Palstra 2020–present: Tom
Veldkamp Albert van den Berg...
- Zuck,
Lenore D. (2002), "Liveness with (0, 1, ∞)-counter abstraction", in
Brinksma, Ed; L****n, Kim
Guldstrand (eds.),
Computer Aided Verification, 14th International...
-
University obtaining his master's
degree in 1988
under supervision of Ed
Brinksma. He
obtained his PhD
thesis in 1991
under Jan
Bergstra and Jos
Baeten at...
- The
starting point for the
revision of
LOTOS was the PhD
thesis of Ed
Brinksma, who had been the
Rapporteur at ISO of the
LOTOS standard. In 1993, the...
- 2004 2006
Ewout G****ns
Bastiaan van
Diemen 2004 2006 Jon
Karthaus Moes
Brinksma 2004 2006
Sander Jan
Klerk Aaron Zomerkamp 2005 2006
Patrick Martens Mike...
- Klarlund, Nils; Paige, Robert; Rauhe, Theis; Sandholm,
Anders (1995).
Brinksma, E.; Cleaveland, W. R.; L****n, K. G.; Margaria, T.; Steffen, B. (eds.)...
- 1002/2017RG000562. ISSN 8755-1209. McPeters, R.; Kroon, M.; Labow, G.;
Brinksma, E.; Balis, D.; Petropavlovskikh, I.; Veefkind, J. P.; Bhartia, P. K.;...
- (Bionda Kroonenberg)
Ewout G****ns (Bastiaan van Diemen) Jon
Karthaus (Moes
Brinksma)
Patrick Martens (Mike Bosboom)
Monique van der
Werff (Taffie Arends) Sander...
- engineering. It was
founded by
Bernhard Steffen,
Rance Cleaveland, Ed
Brinksma, and Kim L****n. The
first TACAS was held in 1995 in Aarhus,
Denmark followed...
