Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Sofia Cassel"'
Publikováno v:
Formal Aspects of Computing. 28:233-263
We present a black-box active learning algorithm for inferring extended finite state machines (EFSM)s by dynamic black-box analysis. EFSMs can be used to model both data flow and control behavior of software and hardware components. Different dialect
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f55d64c050d8637265aa2cba7c66d9bb
https://doi.org/10.1007/s00165-016-0355-5
https://doi.org/10.1007/s00165-016-0355-5
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319965611
Machine Learning for Dynamic Software Analysis
Machine Learning for Dynamic Software Analysis
Automata learning is an established class of techniques for inferring automata models by observing how they respond to a sample of input words. Recently, approaches have been presented that extend these techniques to infer extended finite state machi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::69d731815d16eae15b2fb83449337b80
https://doi.org/10.1007/978-3-319-96562-8_6
https://doi.org/10.1007/978-3-319-96562-8_6
Publikováno v:
Cahiers de PréAut. :137-144
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::658b8ab84fcc58aab32caee7a47bd5e5
https://doi.org/10.3917/capre1.010.0137
https://doi.org/10.3917/capre1.010.0137
Autor:
Sofia Cassel, Aletta Nylén
Publikováno v:
FIE
A problem when it comes to evaluating the quality of education in professional competencies, such as writing skills, is being able to detect and measure progression. We have previously defined course level based learning outcomes for academic writing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4168673eb0aac280b4d332fb2afb2e85
https://doi.org/10.1109/fie.2016.7757545
https://doi.org/10.1109/fie.2016.7757545
Autor:
Marie-Christine Laznik, Sandra Maestro, Filippo Muratori, Catherine Saint-Georges, Raquel Sofia Cassel, Mohamed Chetouani, David Cohen
Publikováno v:
Research in Autism Spectrum Disorders
Research in Autism Spectrum Disorders, Elsevier, 2010, 4 (3), pp.355-366. ⟨10.1016/j.rasd.2009.10.017⟩
Research in Autism Spectrum Disorders, 2010, 4 (3), pp.355-366. ⟨10.1016/j.rasd.2009.10.017⟩
Research in Autism Spectrum Disorders, Elsevier, 2010, 4 (3), pp.355-366. ⟨10.1016/j.rasd.2009.10.017⟩
Research in Autism Spectrum Disorders, 2010, 4 (3), pp.355-366. ⟨10.1016/j.rasd.2009.10.017⟩
The current study reviewed all prior studies conducted on family home movies of infants who would be later diagnosed with autism spectrum disorder (ASD). Out of 41 original reports found since 1975, we retained 18 studies (317 films, maximum), sorted
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::38dfcf3222384c06772d39ae2f018274
https://doi.org/10.1016/j.rasd.2009.10.017
https://doi.org/10.1016/j.rasd.2009.10.017
Autor:
Björn Victor, Sofia Cassel
Publikováno v:
FIE
Students in engineering are well trained in solving specified problems, but some have trouble when given problems where there is more than one solution. In their professional life they are much more often confronted with open-ended problems, where th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8f0f88b156fd982994c273f306f2ab29
https://doi.org/10.1109/fie.2015.7344088
https://doi.org/10.1109/fie.2015.7344088
Publikováno v:
FIE
An engineering graduate needs to master a number of important skills: problem solving, critical thinking, communication, collaboration, etc. In this paper we describe how a course in computer security, taught in the Computer and Information Engineeri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::585771dd534928b0424d5cadd982bd91
https://doi.org/10.1109/fie.2014.7044328
https://doi.org/10.1109/fie.2014.7044328
Publikováno v:
2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2014).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0fa325178a0f97364f6c61ff173f9962
https://doi.org/10.1109/asonam.2014.6921685
https://doi.org/10.1109/asonam.2014.6921685
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783319104300
SEFM
SEFM
We present an active learning algorithm for inferring extended finite state machines (EFSM)s, combining data flow and control behavior. Key to our learning technique is a novel learning model based on so-called tree queries. The learning algorithm us
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c9f520665aecff35ece84e495f9e167
https://doi.org/10.1007/978-3-319-10431-7_18
https://doi.org/10.1007/978-3-319-10431-7_18
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783642287558
TACAS
TACAS
We will demonstrate the impact of the integration of our most recently developed learning technology for inferring Register Automata into the LearnLib, our framework for active automata learning. This will not only illustrate the unique power of Regi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e4a3b7b9d85e4be2ee854f9dfa6816b0
https://hal.inria.fr/hal-00767337
https://hal.inria.fr/hal-00767337