Self Energy-Supporting Autonomous Computation

Publikation

Publikationer pr. år 2014 2015 2017

• 6 Konferenceartikel i proceeding
• 3 Bidrag til bog/antologi
• 2 Tidsskriftartikel
• 1 Rapport
• 1 Mere
  • 1 Konferenceartikel i tidsskrift

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2016

  Complete Axiomatization for the Bisimilarity Distance on Markov Chains

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 21:1--21:14 14 s. (Leibniz International Proceedings in Informatics, Bind 59).

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

  Åben adgang

  • Complete 100%
  • Probability Distribution 50%
  • Equational System 33%
  • Deductive System 33%
  5 Citationer (Scopus)

• Importance Sampling for Stochastic Timed Automata

  Jegourel, C., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 2016, Dependable Software Engineering: Theories, Tools, and Applications. Fränzle, M., Kapur, D. & Zhan, N. (red.). Springer, s. 163-178 16 s. (Lecture Notes in Computer Science, Bind 9984).

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

  Fil

  • Stochastics 100%
  • State 100%
  • Change 100%
  • Timed Automaton 100%
  • Construction 50%
  8 Citationer (Scopus)

  360 Downloads (Pure)
• 2015

  Co-Simulation of Hybrid Systems with SpaceEx and Uppaal

  Bogomolov, S., Greitschus, M., Jensen, P. G., Larsen, K. G., Mikučionis, M., Strump, T. & Tripakis, S., 2015, 11th International Modelica Conference Proceedings. Linköping University Electronic Press, s. 159-169 17. (Linköping Electronic Conference Proceedings; Nr. 118).

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

  Åben adgang

  Fil

  • Mock-up 100%
  • Hybrid System 100%
  • Simulation Engine 50%
  • Composite Model 50%
  • Model Checking 50%
  661 Downloads (Pure)

• Formal Methods for Modelling and Analysis of Single-Event Upsets

  Hansen, R. R., Larsen, K. G., Olesen, M. C. & Wognsen, E. R., 2015, IEEE International Conference on Information Reuse and Integration (IRI 2015). IEEE, s. 287-294

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  3 Citationer (Scopus)

• 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

  • Algorithms 100%
  • Usage Scenario 100%
  • User 100%
  • Transformations 100%
  • Model Checking 100%
  112 Citationer (Scopus)
• 2014

  Battery-Aware Scheduling of Mixed Criticality Systems

  Wognsen, E. R., Hansen, R. R. & Larsen, K. G., 2014, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Margaria, T. & Steffen, B. (red.). Springer Publishing Company, Bind 8803. s. 208-222 (Lecture Notes in Computer Science).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  13 Citationer (Scopus)