2
Publications
125
Citations
2
H-Index
2015
Active since
Affiliations
Sofia Cassel is an author at Uppsala University specializing in formal specification, formal methods, and knowledge discovery.
Top concepts
Data MiningEngineeringData ScienceVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2015–2016
2
2
Active learning for extended finite state machines
Sofia Cassel, Falk Howar, Bengt Jönsson et al. · Formal Aspects of Computing · 2016 · 103 citations
RALib : A LearnLib extension for inferring EFSMs
Sofia Cassel, Howar Falk, Bengt Jönsson · 2015 · 22 citations
Rows per page
1–2 of 2