Follow
Sofia Cassel
Sofia Cassel
Postdoctoral researcher, KTH Royal Institute of Technology
Verified email at kth.se
Title
Cited by
Cited by
Year
Active learning for extended finite state machines
S Cassel, F Howar, B Jonsson, B Steffen
Formal Aspects of Computing 28 (2), 233-263, 2016
1352016
Inferring canonical register automata
F Howar, B Steffen, B Jonsson, S Cassel
Verification, Model Checking, and Abstract Interpretation: 13th …, 2012
1302012
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
452011
Learning extended finite state machines
S Cassel, F Howar, B Jonsson, B Steffen
International Conference on Software Engineering and Formal Methods, 250-264, 2014
432014
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
412015
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
302010
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
252015
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
202012
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
172018
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
162014
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
162012
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
112018
Maltparser and liblinear: Transitionbased dependency parsing with linear classification for feature model optimization
S Cassel
Master’s thesis, Uppsala University, 2009
102009
Learning component behavior from tests: theory and algorithms for automata with data
S Cassel
Acta Universitatis Upsaliensis, 2015
92015
Enhanced learning by promoting engineering competencies
S Cassel, A Nylén, B Victor
2014 IEEE Frontiers in Education Conference (FIE) Proceedings, 1-6, 2014
32014
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
22015
Further development of learning techniques
A Bertolino, A Calabro, S Cassel, YF Chen, F Howar, B Jonsson, ...
22011
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