KNAW

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

Prof.dr. J.C.M. Baeten

Pagina-navigatie:
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://w3.wtb.tue.nl/nl/people_pages/?no_cache=1&script=show...
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)

Publications

A basic parallel process as a parallel pushdown automaton
Automated model-based testing of hybrid systems
Security matters:privacy in voting ang fairness in digital exchange
Preface (Special issue on the IFIP WG1.8 Workshop on Applying Concurrency Research in Industry)
Model-based integration and testing of high-tech multi-disciplinary systems
All publications..

Current research

(the most recent research is at the top)
Project leader Formal Methods
Project leader Transmission Control Protocols for the Internet

Completed research projects

(the most recent research is at the top)
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
Project leader Modelling, Simulation and Verification of Hybrid Systems
All completed research..

Classification

D16300 Theoretical computer science
Update this data

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