Schedulability of Herschel revisited using statistical model checking (English)
- New search for: David, Alexandre
- New search for: Larsen, Kim G.
- New search for: Legay, Axel
- New search for: Mikučionis, Marius
- New search for: David, Alexandre
- New search for: Larsen, Kim G.
- New search for: Legay, Axel
- New search for: Mikučionis, Marius
In:
International Journal on Software Tools for Technology Transfer
;
17
, 2
; 187-199
;
2014
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:Schedulability of Herschel revisited using statistical model checking
-
Contributors:David, Alexandre ( author ) / Larsen, Kim G. ( author ) / Legay, Axel ( author ) / Mikučionis, Marius ( author )
-
Published in:International Journal on Software Tools for Technology Transfer ; 17, 2 ; 187-199
-
Publisher:
- New search for: Springer Berlin Heidelberg
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2014
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
- New search for: 83.00 / 54.52$jSoftware engineering / 83.00$jVolkswirtschaft: Allgemeines / 85.00 / 54.52 / 85.00$jBetriebswirtschaft: Allgemeines
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 83.00 Volkswirtschaft: Allgemeines / 54.52$jSoftware engineering / 83.00$jVolkswirtschaft: Allgemeines / 85.00 Betriebswirtschaft: Allgemeines / 54.52 Software engineering / 85.00$jBetriebswirtschaft: Allgemeines -
Source:
Table of contents – Volume 17, Issue 2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 121
-
Runtime verification: the application perspectiveFalcone, Yliès / Zuck, Lenore D. et al. | 2014
- 125
-
On piggyback runtime monitoring of object-oriented programsHallé, Sylvain / Vallet, Jason / Tremblay-Lessard, Raphaël et al. | 2014
- 143
-
Rule-based runtime verification revisitedHavelund, Klaus et al. | 2014
- 171
-
Statistical model checking QoS properties of systems with SBIPNouri, Ayoub / Bensalem, Saddek / Bozga, Marius / Delahaye, Benoit / Jegourel, Cyrille / Legay, Axel et al. | 2014
- 187
-
Schedulability of Herschel revisited using statistical model checkingDavid, Alexandre / Larsen, Kim G. / Legay, Axel / Mikučionis, Marius et al. | 2014
- 201
-
APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilitiesSalva, Sébastien / Zafimiharisoa, Stassia R. et al. | 2014
- 223
-
Model-checking fair dense-time systems with propositions and eventsWang, Farn et al. | 2014