Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Petur Olsen" ( http://dblp.L3S.de/Authors/Petur_Olsen )

  Author page on DBLP  Author page in RDF  Community of Petur Olsen in ASPL-2

Publication years (Num. hits)
2008 (1) 2010 (1) 2011 (2)
Publication types (Num. hits)
article(1) inproceedings(3)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(1) ICTSS(1) JTRES(1) NASA Formal Methods(1)
Authors
Petur Olsen(4) Kim Guldstrand Larsen(2) Andreas Engelbredt Dalsgaard(1) Arne Skou(1) Bent Thomsen(1) Henrik Kragh-Hansen(1) Jan Tretmans(1) Jirí Srba(1) Johan Foederer(1) Kenneth Yrke Jørgensen(1) Kim G. Larsen(1) Mads Chr. Olesen(1) René Rydhof Hansen(1) Thomas Bøgholm(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Petur Olsen, Johan Foederer, Jan Tretmans Model-Based Testing of Industrial Transformational Systems. Search on Bibsonomy ICTSS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba opaal: A Lattice Model Checker. Search on Bibsonomy NASA Formal Methods The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Petur Olsen, Kim G. Larsen, Arne Skou Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen Model-based schedulability analysis of safety critical hard real-time Java programs. Search on Bibsonomy JTRES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF real-time systems, model checking, schedulability analysis, software verification, real-time Java, Java processor
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.