Active learning for extended finite state machines S Cassel, F Howar, B Jonsson, B Steffen Formal aspects of computing 28 (2), 233-263, 2016 | 146 | 2016 |
Inferring canonical register automata F Howar, B Steffen, B Jonsson, S Cassel Verification, Model Checking, and Abstract Interpretation: 13th …, 2012 | 136 | 2012 |
A succinct canonical register automaton model S Cassel, F Howar, B Jonsson, M Merten, B Steffen International Symposium on Automated Technology for Verification and …, 2011 | 45 | 2011 |
Learning extended finite state machines S Cassel, F Howar, B Jonsson, B Steffen International Conference on Software Engineering and Formal Methods, 250-264, 2014 | 43 | 2014 |
RALib: A LearnLib extension for inferring EFSMs S Cassel, F Howar, B Jonsson DIFTS. hp://www. faculty. ece. vt. edu/chaowang/di s2015/papers/paper 5, 2015 | 42 | 2015 |
On Handling Data in Automata Learning: Considerations from the CONNECT Perspective F Howar, B Jonsson, M Merten, B Steffen, S Cassel Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010 | 30 | 2010 |
A succinct canonical register automaton model S Cassel, F Howar, B Jonsson, M Merten, B Steffen Journal of Logical and Algebraic Methods in Programming 84 (1), 54-66, 2015 | 28 | 2015 |
Demonstrating learning of register automata M Merten, F Howar, B Steffen, S Cassel, B Jonsson Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012 | 21 | 2012 |
Extending automata learning to extended finite state machines S Cassel, F Howar, B Jonsson, B Steffen Machine Learning for Dynamic Software Analysis: Potentials and Limits …, 2018 | 18 | 2018 |
Activity profiles in online social media MF Atig, S Cassel, L Kaati, A Shrestha 2014 IEEE/ACM International Conference on Advances in Social Networks …, 2014 | 16 | 2014 |
A succinct canonical register automaton model for data domains with binary relations S Cassel, B Jonsson, F Howar, B Steffen International Symposium on Automated Technology for Verification and …, 2012 | 16 | 2012 |
Tuning permissiveness of active safety monitors for autonomous systems L Masson, J Guiochet, H Waeselynck, K Cabrera, S Cassel, M Törngren NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018 | 12 | 2018 |
Learning component behavior from tests: theory and algorithms for automata with data S Cassel Acta Universitatis Upsaliensis, 2015 | 9 | 2015 |
Maltparser and liblinear: Transitionbased dependency parsing with linear classification for feature model optimization S Cassel Master’s thesis, Uppsala University, 2009 | 9 | 2009 |
A structured approach to training open-ended problem solving S Cassel, B Victor 2015 IEEE Frontiers in Education Conference (FIE), 1-4, 2015 | 4 | 2015 |
Enhanced learning by promoting engineering competencies S Cassel, A Nylén, B Victor 2014 IEEE Frontiers in Education Conference (FIE) Proceedings, 1-6, 2014 | 3 | 2014 |
Determining progress in writing competency by assessing students' argumentation S Cassel, A Nylén 2016 IEEE Frontiers in Education Conference (FIE), 1-6, 2016 | 2 | 2016 |
Further development of learning techniques A Bertolino, A Calabro, S Cassel, YF Chen, F Howar, B Jonsson, ... | 2 | 2011 |
Project Final Report Final Publishable Summary Report E Grousset, V Issarny, A Bennaceur, A Bertolino, D Mulas, I Matteucci, ... | 1 | 2012 |
Automata+ Learning reading group S Cassel Uppsala University, Sweden, 2016 | | 2016 |