Person J.F. Groote

Expertise The description, design and analysis of computer controlled systems, the properties being analysed are to guarantee that systems always operate withing certain safety bounds, meet deadlines, cannot been broken into or eavesdropped; Distributed systems; Process algebra; Modal logic; Real time; Encryption; Semantics; Automata
Expertise (NL) Het beschrijven, ontwerpen en analyseren van computergestuurde systemen, bij dit laatste moet gedacht worden aan het garanderen dat deze systemen altijd veilig opereren, deadlines halen, inbraak en aftapvrij zijn; Gedistribueerde systemen; Proces algebra; Modale logica; Real time; Encryptie; Semantiek; Automaten; falende ict, ict-fouten, informatica, computers, computergestuurde systemen (bruggen, sluizen, treinen, auto's). historie van de informatica, theorie van de informatica. veiligheid en falende computersystemen
Digital Author ID info:eu-repo/dai/nl/075010259
ISNI ISNI 0000 0001 0949 9571

Active as

Organisation Section of Model Driven Software Engineering (TU/e)
Chair (EN) Embedded systems
Chair (NL) Embedded systemen
Phone +31-40-2475003
Email j. f. groote -at- tue. nl


Enhanced publications

Completed research projects


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