Terug naar zoekresultaat

Persoon

Prof.dr. J.C.M. Baeten

Pagina-navigatie:

Wijzig persoonsdata

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

Werkzaam als

Hoogleraar
Organisatie	Sectie Systems Engineering (TU/e)
Leeropdracht (NL)	Systems Engineering
Leeropdracht (EN)	Systems Engineering
Telefoon	+31-40-2472904
Email	j. c. m. baeten -at- tue. nl
URL	http://www.tue.nl/nc/universiteit/faculteiten/faculteit-werk...

Onbezoldigd hoogleraar
Organisatie	Sectie Model Driven Software Engineering (TU/e)
Leeropdracht (NL)	Formele Methoden
Leeropdracht (EN)	Formal Methods
Telefoon	+31-40-2472675
Email	j. c. m. baeten -at- tue. nl
URL	http://www.win.tue.nl/~josb/

Directie / Management
Organisatie	Onderzoekschool IPA, Instituut voor Programmatuurkunde en Algoritmiek (TU/e)
Email	j. c. m. baeten -at- tue. nl

Publicaties

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

Alle publicaties

Lopende onderzoeksactiviteiten

(de meest recente activiteit is bovenaan geplaatst)
Projectleider	Process-Theoretic Models for Optimal and Reliable Supervision
Projectleider	Formal Methods

Afgesloten onderzoeksactiviteiten

(de meest recente activiteit is bovenaan geplaatst)
Projectleider	Transmission Control Protocols for the Internet
Onderzoeker	Componenten en component connectoren
Promotor	Hulpmiddelen en technieken voor het integreren van prestatieanalyse en systeemverificatie
Onderzoeker	SAMASC - Security Analysis for Multi-Applet Smart Cards
Projectleider	Modelling and performance analysis of telecommunication systems

Alle afgesloten onderzoeksactiviteiten..

Classificatie

D16300	Theoretische informatica

Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie