Jan Friso Groote

 

 


 

Jan Friso Groote (1965) received an engineering degree in computer science 1988 at Twente University. In 1991 he defended his PhD. thesis at the University of Amsterdam, which was about operational semantics and process algebra. Since 1998 he is a full professor at Eindhoven University of Technology with as major assignment to improve the quality of software controlled systems by modelling and analysing behaviour of software.




Customize your search:

E.g., 2017-06-22
E.g., 2017-06-22
E.g., 2017-06-22
Jun 19th 2017

System Validation is the field that studies the fundamentals of system communication and information processing. It allows automated analysis based on behavioural models of a system to see if a system works correctly. We want to guarantee that the systems does exactly what it is supposed to do.

No votes yet
Jun 12th 2017

Have you ever experienced software systems failing? Websites crash, calendar not synchronising, or even a power blackout. Of course you have! But did you know that many of these errors are the result of communication errors either within a system or between systems? Depending on the system, the impact of software failures can be huge, even resulting in massive economic damage or loss of lives. Software, and in particular the communication between software-intensive systems, is very complex and very difficult to get right. However, we _need_ dependability in the systems we use, directly or indirectly, to support us in our everyday lives.

No votes yet
Jun 12th 2017

System Validation is the field that studies the fundamentals of system communication and information processing. It allows automated analysis based on behavioural models of a system to see if a system works correctly. We want to guarantee that the systems does exactly what it is supposed to do. The techniques put forward in system validation allow to prove the absence of errors. It allows to design embedded system behaviour that is structurally sound and as a side effect enforces you to make the behaviour simple and insightful.

No votes yet
Jun 5th 2017

System Validation is the field that studies the fundamentals of system communication and information processing. It is the next logical step in computer science and improving software development in general. It allows automated analysis based on behavioural models of a system to see if a system works correctly. We want to guarantee that the systems does exactly what it is supposed to do.

No votes yet