Self Energy-Supporting Autonomous Computation

Research output

Research output per year 2014 2015 2017

• 6 Article in proceeding
• 3 Book chapter
• 2 Journal article
• 1 Report
• 1 More
  • 1 Conference article in Journal

Research output per year

Research output per year

Search results

• 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, p. 21:1--21:14 14 p. (Leibniz International Proceedings in Informatics, Vol. 59).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  Open Access

  • Bisimilarity Distances 100%
  • Axiomatization 100%
  • Markov Chain 100%
  • Labelled Markov Chains 50%
  • Deductive System 50%
  6 Citations (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. (eds.). Springer, p. 163-178 16 p. (Lecture Notes in Computer Science, Vol. 9984).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  File

  • Timed Automaton 100%
  • Importance Sampling 100%
  • Stochastics 100%
  • Experimental Result 50%
  • Symbolic Simulation 50%
  8 Citations (Scopus)

  403 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, p. 159-169 17. (Linköping Electronic Conference Proceedings; No. 118).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  Open Access

  File

  • Mock-up 100%
  • SpaceEx 100%
  • Simulation Engine 50%
  • Composite Model 50%
  • Model Checking 50%
  676 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, p. 287-294

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
  3 Citations (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. (eds.). London, UK: Springer, p. 206-211 6 p. (Lecture Notes in Computer Science; No. 9035).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Stratego 100%
  • Usage Scenario 100%
  • Model Checking 100%
  • Query Language 100%
  • Stochastics 100%
  122 Citations (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. (eds.). Springer Publishing Company, Vol. 8803. p. 208-222 (Lecture Notes in Computer Science).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
  14 Citations (Scopus)