| Active learning for extended finite state machines S Cassel, F Howar, B Jonsson, B Steffen Formal aspects of computing 28 (2), 233-263, 2016 | 156 | 2016 |
| Inferring canonical register automata F Howar, B Steffen, B Jonsson, S Cassel International Workshop on Verification, Model Checking, and Abstract …, 2012 | 143 | 2012 |
| RALib: A LearnLib extension for inferring EFSMs S Cassel, H Falk, B Jonsson DIFTS, 2015 | 50 | 2015 |
| Learning extended finite state machines S Cassel, F Howar, B Jonsson, B Steffen International Conference on Software Engineering and Formal Methods, 250-264, 2014 | 47 | 2014 |
| 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 |
| On Handling Data in Automata Learning: Considerations from the CONNECT Perspective F Howar, B Jonsson, M Merten, B Steffen, S Cassel International Symposium On Leveraging Applications of Formal Methods …, 2010 | 31 | 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 | 30 | 2015 |
| Demonstrating learning of register automata M Merten, F Howar, B Steffen, S Cassel, B Jonsson International Conference on Tools and Algorithms for the Construction and …, 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 | 19 | 2018 |
| 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 | 17 | 2012 |
| 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 |
| 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 Symposium, 333-348, 2018 | 13 | 2018 |
| MaltParser and LIBLINEAR-transition-based dependency parsing with linear classification for feature model optimization S Cassel Master’s thesis, Uppsala University, 2009 | 11 | 2009 |
| Learning component behavior from tests: theory and algorithms for automata with data S Cassel Acta Universitatis Upsaliensis, 2015 | 9 | 2015 |
| 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 |
| Graph-Based Algorithms for Boolean Function Manipulation S Cassel | 2 | 2012 |
| 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 |
Falk HowarTU DortmundVerified email at tu-dortmund.de
