Sofia Cassel

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 6

Top Venues

FIE

VMCAI

J. Log. Algebraic Methods Program.

Formal Aspects Comput.

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

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

Sofia Cassel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sofia Cassel