Sofia Cassel

Sofia Cassel

Royal Institute of Technology - Stockholm / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 1083248
KTH Royal Institute of Technology
person_outline Sofia Cassel's MOST POPULAR ARTICLES
1-) Active learning for extended finite state machinesS Cassel, F Howar, B Jonsson, B SteffenFormal Aspects of Computing 28 (2), 233-263, 20161222016
2-) Inferring canonical register automataF Howar, B Steffen, B Jonsson, S CasselVerification, Model Checking, and Abstract Interpretation: 13th …, 20121222012
3-) A succinct canonical register automaton modelS Cassel, F Howar, B Jonsson, M Merten, B SteffenInternational Symposium on Automated Technology for Verification and …, 2011452011
4-) Learning extended finite state machinesS Cassel, F Howar, B Jonsson, B SteffenInternational Conference on Software Engineering and Formal Methods, 250-264, 2014432014
5-) RALib: A LearnLib extension for inferring EFSMsS Cassel, F Howar, B JonssonDIFTS. hp://www. faculty. ece. vt. edu/chaowang/di s2015/papers/paper 5, 2015422015