Sofia Cassel

According to our database, Sofia Cassel authored at least 14 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Tuning Permissiveness of Active Safety Monitors for Autonomous Systems.

Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Extending Automata Learning to Extended Finite State Machines.

Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen

Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

2016

Active learning for extended finite state machines.

Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen

Formal Aspects Comput., 2016

Determining progress in writing competency by assessing students' argumentation.

Sofia Cassel, Aletta Nylén

Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

2015

Learning Component Behavior from Tests : Theory and Algorithms for Automata with Data.

Sofia Cassel

PhD thesis, 2015

A succinct canonical register automaton model.

Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen

J. Log. Algebraic Methods Program., 2015

A structured approach to training open-ended problem solving.

Sofia Cassel, Björn Victor

Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

2014

Learning Extended Finite State Machines.

Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Enhanced learning by promoting engineering competencies.

Sofia Cassel, Aletta Nylén, Björn Victor

Proceedings of the IEEE Frontiers in Education Conference, 2014

Activity profiles in online social media.

Mohamed Faouzi Atig, Sofia Cassel, Lisa Kaati, Amendra Shrestha

Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2014

2012

Inferring Canonical Register Automata.

Falk Howar, Bernhard Steffen, Bengt Jonsson, Sofia Cassel

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Demonstrating Learning of Register Automata.

Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations.

Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen

Proceedings of the Automated Technology for Verification and Analysis, 2012

2010

On Handling Data in Automata Learning - Considerations from the CONNECT Perspective.

Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010