Sofia Cassel

15 papers A 1B 5C 3Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2018 — conf
Extending Automata Learning to Extended Finite State Machines.
Machine Learning for Dynamic Software Analysis
Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen
2018 — conf
Tuning Permissiveness of Active Safety Monitors for Autonomous Systems.
NFM
Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren
2016 J jnl
Active learning for extended finite state machines.
Formal Aspects Comput.
Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen
2016 C conf
Determining progress in writing competency by assessing students' argumentation.
FIE
Sofia Cassel, Aletta Nylén
2015 C conf
A structured approach to training open-ended problem solving.
FIE
Sofia Cassel, Björn Victor
2015 J jnl
A succinct canonical register automaton model.
J. Log. Algebraic Methods Program.
Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen
2015 — —
Learning Component Behavior from Tests : Theory and Algorithms for Automata with Data.
Sofia Cassel
2014 B conf
Activity profiles in online social media.
ASONAM
Mohamed Faouzi Atig, Sofia Cassel, Lisa Kaati, Amendra Shrestha
2014 C conf
Enhanced learning by promoting engineering competencies.
FIE
Sofia Cassel, Aletta Nylén, Björn Victor
2014 B conf
Learning Extended Finite State Machines.
SEFM
Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen
2012 B conf
A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations.
ATVA
Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen
2012 A conf
Demonstrating Learning of Register Automata.
TACAS
Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson
2012 B conf
Inferring Canonical Register Automata.
VMCAI
Falk Howar, Bernhard Steffen, Bengt Jonsson, Sofia Cassel
2011 B conf
A Succinct Canonical Register Automaton Model.
ATVA
Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen
2010 — conf
On Handling Data in Automata Learning - Considerations from the CONNECT Perspective.
ISoLA (2)
Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel