Aletta Nylén

Learn More
We consider verification of safety properties for concurrent real-timed systems modelled as timed Petri nets, by performing symbolic forward reachability analysis. We introduce a formalism, called region generators for representing sets of markings of timed Petri nets. Region generators characterize downward closed sets of regions, and provide exact(More)
During the past two years, Massive Open Online Courses (MOOCs) have created wide interest in the academic world raising both enthusiasm for new opportunities for universities and many concerns for the future of university education. The discussion has mainly appeared in non-scientific forums, such as magazine articles, columns and blogs, making it difficult(More)
The emergence of Massive Open Online Courses (MOOCs) in higher education has led to new variations in the social and educational interactions that students have with their peers and teachers. In this paper, we focus on methodological issues and discuss different options for analysis frameworks for forum posts in MOOCs. The ultimate aim of our ongoing(More)