Files in this item



application/pdfrosu-2017-tr.pdf (810kB)
(no description provided)PDF


Title:Open Problems and Challenges 2017
Author(s):Roşu, Grigore
matching logic
reachability logic
runtime verification
Abstract:Here is a 2017 update of the list of open problems and challenges that I (Grigore Rosu) am interested in solving, in no particular order. While we are doing our best to keep this list actual, it may well be the case that some of the problems have been solved in the meanwhile or that we have found a different way to approach them. In case you are interested in working on any of these problems, please send me a note at ( to make sure that the problem is still actual and nobody is already working on it. The reason I decided to create and maintain this list of challenges is not only that it helps me keep track of them, but more importantly, that is also helps my students understand these topics better and put things at their place in the big picture. There are more problems here than one person can finish in a life-time. If you choose to work on a problem and believe that I can help, please let me know and we may work together on it. If you are a student in my FSL group, then you are actually expected to work together with me, and possibly other students, on one or more of these problems.
Issue Date:2017-03-27
Genre:Technical Report
Working / Discussion Paper
Date Available in IDEALS:2017-03-28

This item appears in the following Collection(s)

Item Statistics