| Active learning for extended finite state machines S Cassel, F Howar, B Jonsson, B Steffen Formal Aspects of Computing 28 (2), 233-263, 2016 | 135 | 2016 |
| Inferring canonical register automata F Howar, B Steffen, B Jonsson, S Cassel Verification, Model Checking, and Abstract Interpretation: 13th …, 2012 | 132 | 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 | 41 | 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 | 25 | 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 | 20 | 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 | 17 | 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 |
| Maltparser and liblinear: Transitionbased dependency parsing with linear classification for feature model optimization S Cassel Master’s thesis, Uppsala University, 2009 | 10 | 2009 |
| Learning component behavior from tests: theory and algorithms for automata with data S Cassel Acta Universitatis Upsaliensis, 2015 | 9 | 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 |
| A structured approach to training open-ended problem solving S Cassel, B Victor 2015 IEEE Frontiers in Education Conference (FIE), 1-4, 2015 | 2 | 2015 |
| 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 |
Falk HowarTU DortmundDirección de correo verificada de tu-dortmund.de
