Center for Data-Intensive Cyber-Physical Systems

  • 3 Article in proceeding
  • 1 Journal article
  • 1 Conference article in Journal
Filter
Article in proceeding

Search results

  • 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
    661 Downloads (Pure)

  • 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
    8 Citations (Scopus)
    360 Downloads (Pure)

  • Synthesis for Multi-weighted Games with Branching-Time Winning Conditions

    Kaufmann, I., Larsen, K. G. & Srba, J., 2020, Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Proceedings. Janicki, R., Sidorova, N. & Chatain, T. (eds.). Springer VS, p. 46-66 21 p. (Lecture Notes in Computer Science, Vol. 12152).

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