↓ Direkt till sidans innehåll
↓ Direkt till sidans sekundära innehåll (sidomenyn)

Träfflista för sökning "WFRF:(Leucker Martin) srt2:(2001-2004)"

Search: WFRF:(Leucker Martin) > (2001-2004)

Result 1-12 of 12

Sort/group result

Sort by: Hits per page:

Enumeration	Reference	Cover	Find
1.	Baier, Christel, et al. (author) Controller Synthesis for Probabilistic Systems 2004 In: IFIP TCS 2004. - 1402081405 ; , s. 493-506 Conference paper (peer-reviewed)
2.	Berg, Therese, et al. (author) Insights to Angluin's Learning 2003 Reports (other academic/artistic)
3.	Berg, Therese, et al. (author) Insights to Angluin's Learning 2003 Reports (other academic/artistic)abstract Among other domains, learning finite-state machines is important for obtaining a model of a system under development, so that powerful formal methods such as model checking can be applied. A prominent algorithm for learning such devices was developed by Angluin. We have implemented this algorithm in a straightforward way to gain further insights to practical applicability. Furthermore, we have analyzed its performance on randomly generated as well as real-world examples. Our experiments focus on the impact of the alphabet size and the number of states on the needed number of membership queries. Additionally, we have implemented and analyzed an optimized version for learning prefix-closed regular languages. Memory consumption is one major obstacle when we attempted to learn large examples. We see that prefix-closed languages are relatively hard to learn compared to arbitrary regular languages. The optimization, however, shows positive results.
4.	Bollig, Benedikt, et al. (author) Deciding LTL over Mazurkiewicz traces 2003 In: Data & Knowledge Engineering. - 0169-023X. ; 44:2, s. 221-240 Journal article (peer-reviewed)
5.	Bollig, Benedikt, et al. (author) Message-Passing Automata Are Expressively Equivalent to EMSO Logic 2004 In: CONCUR 2004. - 354022940X ; , s. 146-160 Conference paper (peer-reviewed)
6.	Bollig, Benedikt, et al. (author) Model checking probabilistic distributed systems 2003 In: ASIAN 2003. - 3540206329 ; , s. 291-304 Conference paper (peer-reviewed)
7.	Bollig, Benedikt, et al. (author) Verifying Qualitative Properties of Probabilistic Programs 2004 In: Validation of Stochastic Systems. - : Springer. - 3540222650 ; , s. 124-146 Book chapter (peer-reviewed)
8.	Grinchtein, Olga, et al. (author) Learning of event-recording automata 2004 In: FORMATS/FTRTFT 2004. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 3540231676 ; , s. 379-396 Conference paper (peer-reviewed)
9.	Grinchtein, Olga, et al. (author) Network invariants for real-time systems 2004 In: 5th International Workshop on Verification of Infinite-State Systems. ; , s. 57-74 Conference paper (peer-reviewed)
10.	Leucker, Martin, et al. (author) Dynamic Message Sequence Charts 2002 In: FSTTCS 2002. - 3540002251 ; , s. 253-264 Conference paper (peer-reviewed)
11.	Leucker, Martin, et al. (author) Parallel model checking for LTL, CTL* and Lmu2 2003 In: PDMC 2003. ; , s. 4-16 Conference paper (peer-reviewed)
12.	Leucker, Martin (author) Prefix-recognizable graphs and monadic second order logic 2001 In: Automata, Logics, and Infinite Games. - : Springer. - 3540003886 ; , s. 263-284 Book chapter (peer-reviewed)

Skapa referenser, mejla, bekava och länka

Permalink

Result 1-12 of 12

Refine your search

Type of publication: conference paper (7); reports (2); book chapter (2); journal article (1)

Type of content: peer-reviewed (10); other academic/artistic (2)

Author/Editor: Leucker, Martin (12); Bollig, Benedikt (5); Jonsson, Bengt (3); Saksena, Mayank (2); Grinchtein, Olga (2); Berg, Therese (2); show more...; Baier, Christel (1); Weber, Michael (1); Mukhopadhyay, Suprat ... (1); Grösser, Marcus (1); Ciesinski, Frank (1); Somla, Rafał (1); Madhusudan, Parthasa ... (1); show less...

University: Uppsala University (12)

Language: English (9); Swedish (3)

Research subject (UKÄ/SCB): Natural sciences (7)

Year

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - National Library Systems
LIBRIS.kb.se

pil uppåt

Close

Copy and save the link in order to return to this view