|Adress:||Avdelningen för datorteknik
Institutionen för informationsteknologi
751 05 Uppsala
|Besök:||ITC hus 1, våning 4, rum 1422|
|Telefon:||018 - 471 6203|
|Fax:||018 - 511925|
I'm working on automata models: Finite automata are widely used in specification, verification and testing. Currently, my research is focused on register automata, which is a kind of automaton that operates on an infinite domain of data values, comparing them, e.g., for equality.
I have also been involved in the CONNECT Project (2009-12) where we attempted to automatically learn register automata in order to model 'connectors' between networked systems.
A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations. S. Cassel, B. Jonsson, F. Howar, B. Steffen; ATVA 2012
Demonstrating Learning of Register Automata. M. Merten, F. Howar, B. Steffen, S. Cassel, B. Jonsson; TACAS 2012
Inferring Canonical Register Automata. F. Howar, B. Steffen, S. Cassel, B. Jonsson; VMCAI 2012
A Succinct Canonical Register Automaton Model. S. Cassel, F. Howar, B. Jonsson, M. Merten, B. Steffen; ATVA 2011
On Handling Data in Automata Learning - Considerations from the CONNECT Perspective. F. Howar, B. Jonsson, M. Merten, B. Steffen, S. Cassel; ISoLa 2010
I'm involved in the CS-WEd project for improving the writing capabilities of students in computer science
During the 2012/13 academic year, I'm the chair of TNDR (the faculty's PhD student council) and a member of the faculty board.