Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks.

A. Boudjadar, A. David, J. Kim, K. Larsen, M. Mikucionis, U. Nyman, und A. Skou. TASE, Seite 126-130. IEEE Computer Society, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Alexandre Waquet University of Stuttgart

Dr. Marie Davidova University of Stuttgart

David Inkermann

David Briesenick University of Stuttgart

David Gudnason University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

UPPAAL 4.0.G. Behrmann, A. David, K. Larsen, J. Håkansson, P. Pettersson, W. Yi, und M. Hendriks. QEST, Seite 125-126. IEEE Computer Society, (2006)Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks.A. Boudjadar, A. David, J. Kim, K. Larsen, M. Mikucionis, U. Nyman, und A. Skou. TASE, Seite 126-130. IEEE Computer Society, (2014)Statistical and exact schedulability analysis of hierarchical scheduling systems.A. Boudjadar, A. David, J. Kim, K. Larsen, M. Mikucionis, U. Nyman, und A. Skou. Sci. Comput. Program., (2016)Testing Real-Time Systems under Uncertainty.A. David, K. Larsen, S. Li, M. Mikucionis, und B. Nielsen. FMCO, Volume 6957 von Lecture Notes in Computer Science, Seite 352-371. Springer, (2010)Rewrite-Based Statistical Model Checking of WMTL.P. Bulychev, A. David, K. Larsen, A. Legay, G. Li, und D. Poulsen. RV, Volume 7687 von Lecture Notes in Computer Science, Seite 260-275. Springer, (2012)Statistical Model Checking for Networks of Priced Timed Automata.A. David, K. Larsen, A. Legay, M. Mikucionis, D. Poulsen, J. van Vliet, und Z. Wang. FORMATS, Volume 6919 von Lecture Notes in Computer Science, Seite 80-96. Springer, (2011)An Autoencoder-based Learned Image Compressor: Description of Challenge Proposal by NCTU.D. Alexandre, C. Chang, W. Peng, und H. Hang. CoRR, (2019)Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed AutomataA. David, K. Larsen, A. Legay, M. Mikucionis, D. Poulsen, J. van Vliet, und Z. Wang. CoRR, (2011)Distributed Parametric and Statistical Model CheckingP. Bulychev, A. David, K. Larsen, M. Mikucionis, und A. Legay. PDMC, Volume 72 von EPTCS, Seite 30-42. (2011)A Forward Reachability Algorithm for Bounded Timed-Arc Petri NetsA. David, L. Jacobsen, M. Jacobsen, und J. Srba. SSV, Volume 102 von EPTCS, Seite 125-140. (2012)