Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Ph.D. Theses
Ph.D. Theses completed
June 1989,
University of Amsterdam:
W.P. Weijland,
Synchrony and asynchrony in process algebra.
(co-promotor)
November 1991,
University of Amsterdam:
J.F. Groote,
Process algebra and structured operational semantics.
(co-promotor)
December 1991,
University of Amsterdam:
S. Mauw,
PSF - a process specification formalism.
(co-promotor)
June 1992,
University of Amsterdam:
A. Ponse,
Process algebras with data.
(second promotor)
December 1993,
Eindhoven University of Technology:
P. Zhou,
Clocks, communications, and correctness.
(second promotor)
December 1993,
Eindhoven University of Technology:
A.S. Klusener,
Models and axioms for a fragment of real time process algebra.
(first promotor)
May 1994,
Eindhoven University of Technology:
J.A.A. Coenen,
Formalisms for program reification and fault tolerance.
(second promotor)
June 1994,
University of Amsterdam:
H.P. Korver,
Protocol verification in muCRL.
(second promotor)
December 1994,
University of Amsterdam:
W.J. Fokkink,
Clocks, trees and stars in process theory.
(second promotor)
December 1994,
Eindhoven University of Technology:
R.J. Huis in 't Veld,
Developing a design framework for communication systems.
(second promotor)
December 1994,
Eindhoven University of Technology:
V.A.J. Borghuis,
Coming to terms with modal logic: on the interpretation of modalities in typed lambda-calculus.
(first promotor)
January 1996,
Eindhoven University of Technology:
J.O. Blanco,
Process algebra with the state operator.
(first promotor)
June 1996,
Eindhoven University of Technology:
P. Severi de Santiago ,
Normalisation in lambda calculus and its relation to type inference.
(first promotor)
July 1996,
Eindhoven University of Technology:
D.R. Dams,
Abstract interpretation and partition refinement for model checking.
(first promotor)
September 1997,
Eindhoven University of Technology:
C.A.J. van Eijk,
Formal methods for the verification of digital circuits
(second promotor)
September 1997,
Eindhoven University of Technology:
T.D.L. Laan,
The evolution of type theory in logic and mathematics.
(first promotor)
October 1997,
Eindhoven University of Technology:
C.J. Bloo,
Preservation of termination for explicit substitution.
(first promotor)
December 1997,
Eindhoven University of Technology:
J.J. Vereijken,
Discrete-time process algebra.
(first promotor)
December 1998,
Eindhoven University of Technology:
A.A. Basten,
In terms of nets (system design with Petri nets and process algebra).
(first promotor)
February 1999,
Eindhoven University of Technology:
G.L.J.M. Janssen,
Logics for digital circuit verification: theory, algorithms and applications.
(second promotor)
June 1999,
Eindhoven University of Technology:
M.A. Reniers,
Message Sequence Chart (syntax and semantics).
(first promotor)
December 2000,
Eindhoven University of Technology:
M.G.J. Franssen,
Cocktail: a tool for deriving correct programs.
(first promotor)
January 2001,
Eindhoven University of Technology:
R.M.C. Ahn,
Agents, objects and events (a computational approach to knowledge, observation and communication).
(second promotor)
May 2001,
Eindhoven University of Technology:
A.G. Engels,
Languages for analysis and testing of event sequences.
(second promotor)
September 2001,
Eindhoven University of Technology:
M.D. Oostdijk,
Generation and presentation of formal mathematical documents.
(first promotor)
September 2001,
Eindhoven University of Technology:
D.A. Chkliaev,
Mechanical verification of concurrency control and recovery protocols.
(second promotor)
November 2001,
Eindhoven University of Technology:
D. Bosnacki,
Enhancing state space reduction techniques for model checking.
(first promotor)
March 2002,
Eindhoven University of Technology:
V. Bos and J.J.T. Kleijn,
Formal specification and analysis of industrial systems.
(first and second promotor)
October 2002,
Eindhoven University of Technology:
M.C.W. Geilen,
Formal techniques for verification of complex real-time systems.
(second promotor)
November 2002,
Eindhoven University of Technology:
S. Andova,
Probabilistic process algebra.
(first promotor)
February 2003,
Eindhoven University of Technology:
T.A.C. Willemse,
Semantics and verification in process algebras with data and timing.
(first promotor)
April 2004,
Eindhoven University of Technology:
G.I. Jojgov,
Incomplete proofs and terms and their use in interactive theorem proving.
(first promotor)
June 2004,
Eindhoven University of Technology:
Y. Qian,
Data synchronization and browsing for home environments.
(second promotor)
June 2004,
Vrije Universiteit Amsterdam:
F. Bartels,
On generalised coinduction and probabilistic specification formats.
(second promotor)
October 2004,
Eindhoven University of Technology:
N. Goga,
Control and selection techniques for the automated testing of reactive systems.,
(second promotor)
December 2004,
Eindhoven University of Technology:
N.J.M. van den Nieuwelaar,
Supervisory machine control by predictive-reactive scheduling.
(second promotor)
March 2005,
Eindhoven University of Technology:
F. Deschesne,
Game, Set and Maths: formal investigations into logic with imperfect information.,
(second promotor)
June 2005,
Eindhoven University of Technology:
H.M.A. van Beek,
Specification and Analysis of Internet Applications.
(first promotor)
November 2005,
Eindhoven University of Technology:
A. Sokolova,
Coalgebraic Analysis of Probabilistic Systems.
(first promotor)
February 2006,
Eindhoven University of Technology:
K.L. Man and R.R.H.Schiffelers,
Formal specification and analysis of hybrid systems.
(first promotor)