KNAW

Back to search results
Prof.dr. J.C.M. Baeten Person

Prof.dr. J.C.M. Baeten

Pagina-navigatie:


Update Persondata


Expertise Model based systems engineering; concurrency; process algebra; formal methods
Expertise (NL) Modelgedreven systeemanalyse en -ontwerp; concurrency; procesalgebra; formele methoden
Digital Author ID info:eu-repo/dai/nl/298395584

Active as

Professor
Organisation Group Systems Engineering (TU/e)
Chair (EN) Systems Engineering
Chair (NL) Systems Engineering
Phone +31-40-2472904
Email j. c. m. baeten -at- tue. nl
URL http://www.tue.nl/nc/universiteit/faculteiten/faculteit-werk...
Honorary professor
Organisation Section of Model Driven Software Engineering (TU/e)
Chair (EN) Formal Methods
Chair (NL) Formele Methoden
Phone +31-40-2472675
Email j. c. m. baeten -at- tue. nl
URL http://www.win.tue.nl/~josb/
Management
Organisation Institute for Programming Research and Algorithmics (TU/e)
Email j. c. m. baeten -at- tue. nl

Publications

New Year's Speech of Jos Baeten, January 9, 2012
A process algebra for supervisory coordination
Reactive Turing machines
Computations and interaction
Unguardedness mostly means many solutions
All publications..

Current research

(the most recent research is at the top)
Project leader Process-Theoretic Models for Optimal and Reliable Supervision
Project leader Formal Methods

Completed research projects

(the most recent research is at the top)
Project leader Transmission Control Protocols for the Internet
Researcher Processor sharing
Supervisor Tools and techniques for integrating performance analysis and system verification
Researcher SAMASC - Security Analysis for Multi-Applet Smart Cards
Project leader Modelling and performance analysis of telecommunication systems
All completed research..

Classification

D16300 Theoretical computer science

Go to page top
Go back to contents
Go back to site navigation