Model-based Analysis and Testing of Embedded Systems

Publikation

Publikationer pr. år 2013 2014 2015 2015

• 12 Konferenceartikel i proceeding
• 3 Tidsskriftartikel
• 1 Paper uden forlag/tidsskrift
• 1 Working paper

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2015

  Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks

  Boudjadar, J., Kim, J. H., David, A., Larsen, K. G., Mikucionis, M., Nyman, U., Skou, A., Lee, I. & Thi Xuan Phan, L., 2015, 18th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2015. IEEE, s. 74-83 (International Symposium on Object-Oriented Real-Time Distributed Computing).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Fil
  2 Citationer (Scopus)

  683 Downloads (Pure)

• Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context

  Kim, J. H., Boudjadar, J., Nyman, U., Mikucionis, M., Larsen, K. G., Skou, A., Lee, I. & Thi Xuan Phan, L., 4 maj 2015, CBSE'15, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. Association for Computing Machinery, s. 91-100

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Fil
  7 Citationer (Scopus)

  570 Downloads (Pure)

• Uppaal Stratego

  David, A., Jensen, P. G., Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2015, Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015. Baier, C. & Tinelli, C. (red.). London, UK: Springer, s. 206-211 6 s. (Lecture Notes in Computer Science; Nr. 9035).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Stratego 100%
  • Usage Scenario 100%
  • Model Checking 100%
  • Query Language 100%
  • Stochastics 100%
  121 Citationer (Scopus)

• Widening the Schedulability Hierarchical Scheduling Systems

  Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 2015, Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Lanese, I. & Madelaine, E. (red.). Springer, s. 209-227 18 s. (Lecture Notes in Computer Science; Nr. 8997).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Hierarchical Scheduling Systems 100%
  • Model Checking 100%
  • Scheduling Model 50%
  • Detailed Scheduling 50%
  • Methods Statistical 50%
  11 Citationer (Scopus)

  342 Downloads (Pure)
• 2014

  Compositional Schedulability Analysis of An Avionics System Using UPPAAL

  Boudjadar, J., Larsen, K. G., Kim, J. H. & Nyman, U., 2014, Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014. CEUR Workshop Proceedings, Bind 1294. s. 140-147 8 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil
  8 Citationer (Scopus)

  413 Downloads (Pure)

• Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks

  Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U., Skou, A. & Mikučionis, M., 1 sep. 2014, Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE Computer Society Press, s. 126-130 5 s. (TASE).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Sporadic Tasks 100%
  • Mixed-criticality Real-time Systems 100%
  • Criticality 100%
  • Task Arrival 33%
  • Mixed-criticality Scheduling 33%
  10 Citationer (Scopus)

  552 Downloads (Pure)

• Expressing best practices in (risk) analysis and testing of safety-critical systems using patterns

  Herzner, W., Sieverding, S., Kacimi, O., Böde, E., Bauer, T. & Nielsen, B., 2014, Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, s. 299-304 6 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Fil
  4 Citationer (Scopus)

  1304 Downloads (Pure)

• Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

  Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 13 jun. 2014, Proceedings of Formal Aspects of Component Software (FACS), 2013. Fiadeiro, J. L., Liu, Z. & Xue, J. (red.). Springer Publishing Company, Bind 8348. s. 61-78 18 s. 6. (Lecture Notes in Computer Science).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Scheduling Policy 100%
  • Hierarchical Scheduling 100%
  • Avionics System 50%
  • Task Behavior 50%
  • Compositional Scheduling 50%
  17 Citationer (Scopus)

  662 Downloads (Pure)

• Model Checking Process Algebra of Communicating Resources for Real-time Systems

  Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, Proceedings of ECRTS 2014. IEEE Press, s. 51-60 (Euromicro Conference on Real-Time Systems. Proceedings).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil
  495 Downloads (Pure)

• Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems

  Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U. & Skou, A., 2014, Proceedings of ERTS2 2014. s. 1-4 4 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Fil
  913 Downloads (Pure)
• 2013

  Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction

  Bidragets oversatte titel: Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion AbstractionLaarman, A., Olesen, M. C., Dalsgaard, A., Larsen, K. G. & Pol, J. V. D., 2013, Proceedings of the 25th International Conference on Computer Aided Verification (CAV). Springer Publishing Company, Bind 8044. s. 968-983 16 s. (Lecture Notes in Computer Science, Bind 8044).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil
  25 Citationer (Scopus)

  614 Downloads (Pure)

• Remote Testing of Timed Specifications

  David, A., Larsen, K. G., Mikucionis, M., Nguena-Timo, O. & Rollet, A., 13 nov. 2013, ICTSS: Testing Software and Systems - 25th IFIP WG 6.1 International Conference. Yenigün, H., Yilmaz, C. & Ulrich, A. (red.). Istanbul, Turkey: Springer Publishing Company, Bind 8254. s. 65-81 16 s. 5. (Lecture Notes in Computer Science (LNCS), Bind 8254).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Communication Latency 100%
  • Test Setup 100%
  • Observability 100%
  • Controller Synthesis 100%
  • Testability 100%
  7 Citationer (Scopus)