Sofia Cassel
Sofia Cassel
Postdoctoral researcher, KTH Royal Institute of Technology
Verified email at kth.se
Title
Cited by
Cited by
Year
Inferring canonical register automata
F Howar, B Steffen, B Jonsson, S Cassel
International Workshop on Verification, Model Checking, and Abstractá…, 2012
812012
Active learning for extended finite state machines
S Cassel, F Howar, B Jonsson, B Steffen
Formal Aspects of Computing 28 (2), 233-263, 2016
752016
Inferring canonical register automata
BS Falk Howar, B Jonsson, S Cassel
Proceedings of the 13th international conference on Verification, Modelá…, 2012
462012
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
392011
Learning extended finite state machines
S Cassel, F Howar, B Jonsson, B Steffen
International Conference on Software Engineering and Formal Methods, 250-264, 2014
292014
On handling data in automata learning
F Howar, B Jonsson, M Merten, B Steffen, S Cassel
International Symposium On Leveraging Applications of Formal Methodsá…, 2010
262010
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
212015
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
182012
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
172015
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
122014
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
112012
MaltParser and LIBLINEAR--Transition-based dependency parsing with linear classification for feature model optimization
S Cassel
92009
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, 149-177, 2018
72018
Learning component behavior from tests: theory and algorithms for automata with data
S Cassel
Acta Universitatis Upsaliensis, 2015
72015
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
52018
Determining progress in writing competency by assessing students' argumentation
S Cassel, A NylÚn
2016 IEEE Frontiers in Education Conference (FIE), 1-6, 2016
22016
A structured approach to training open-ended problem solving
S Cassel, B Victor
2015 IEEE Frontiers in Education Conference (FIE), 1-4, 2015
12015
Enhanced learning by promoting engineering competencies
S Cassel, A NylÚn, B Victor
2014 IEEE Frontiers in Education Conference (FIE) Proceedings, 1-6, 2014
12014
Project Final Report Final Publishable Summary Report
E Grousset, V Issarny, A Bennaceur, A Bertolino, D Mulas, I Matteucci, ...
12012
Automata+ Learning reading group
S Cassel
Uppsala University, Sweden, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–20