Danny Bøgsted Poulsen

  • Selma Lagerløfs Vej 300, 1-2-36

    9220 Aalborg Ø

    Danmark

20112020

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.
Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2020

    Fluid Model-Checking in UPPAAL for Covid-19

    Jensen, P. G., Jørgensen, K. Y., Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Poulsen, D. B., 2020, (Accepteret/In press) 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • On Collapsing Prefix Normal Words

    Fleischmann, P., Kulczynski, M., Nowotka, D. & Poulsen, D. B., 2020, Language and Automata Theory and Applications: 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (red.). Springer, s. 412-424 13 s. (Lecture Notes in Computer Science (LNCS), Bind 12038).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    1 Citationer (Scopus)
  • Rule-based Word Equation Solving

    Day, J., Kulczynski, M., Manea, F., Nowotka, D. & Poulsen, D. B., 2020, FormaliSE '20: Proceedings of the 8th International Conference on Formal Methods in Software . Association for Computing Machinery, s. 87–97 11 s. 3391556

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • The Power of String Solving: Simplicity of Comparison

    Kulczynski, M., Manea, F., Nowotka, D. & Poulsen, D. B., 2020, AST '20: Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test. Association for Computing Machinery, s. 85–88

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • 2016

    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 proceedingKonferenceartikel i proceedingForskningpeer review

    Fil
    6 Citationer (Scopus)
    187 Downloads (Pure)
  • Modelling Attack-defense Trees Using Timed Automata

    Gadyatskaya, O., Hansen, R. R., Larsen, K. G., Legay, A., Olesen, M. C. & Poulsen, D. B., 2016, Formal Modeling and Analysis of Timed Systems. Springer, s. 35-50 (Lecture Notes in Computer Science, Bind 9884).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    24 Citationer (Scopus)
  • 2014

    Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata

    David, A., Larsen, K. G., Legay, A., Guangyuan, L. & Poulsen, D. B., 2014, 14th International Conference on Application of Concurrency to System Design (ACSD), 2014. IEEE Computer Society Press, s. 32 - 41 (Proceedings of the International Conference on Application of Concurrency to System Design).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    2 Citationer (Scopus)
  • 2013

    Rewrite-Based Statistical Model Checking of WMTL

    Bulychev, P., David, A., Larsen, K. G., Legay, A., Li, G. & Poulsen, D. B., 2013, Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. Qadeer, S. & Tasiran, S. (red.). Springer Publishing Company, s. 260-275 15 s. (Lecture Notes in Computer Science, Bind 7687).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    15 Citationer (Scopus)
  • 2012

    Checking and Distributing Statistical Model Checking

    Bulychev, P. E., David, A., Larsen, K. G., Legay, A., Mikučionis, M. & Poulsen, D. B., 3 apr. 2012, NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Goodloe, A. E. & Person, S. (red.). Springer, Bind 7226. s. 449-463 15 s. (Lecture Notes in Computer Science, Bind 7226).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    28 Citationer (Scopus)
  • Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic

    Bulychev, P., David, A., Larsen, K. G., Legay, A., Guangyuan, L., Poulsen, D. B. & Stainer, A., 2012, Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings. Berlin: Springer, Bind 7180. s. 168-182 (Lecture Notes in Computer Science, Bind 7180).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    23 Citationer (Scopus)
  • Runtime Verification of Biological Systems

    David, A., Larsen, K. G., Legay, A., Mikucionis, M., Poulsen, D. B. & Sedwards, S., 2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Berlin: Springer, Bind 7609. s. 388-404 17 s. (Lecture Notes in Computer Science, Bind 7609).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    23 Citationer (Scopus)
  • Statistical Model Checking for Stochastic Hybrid Systems

    David, A., Du, D., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 3 sep. 2012, Proceedings First International Workshop on Hybrid Systems and Biology. Bartocci, E. & Bortolussi, L. (red.). Newcastle Upon Tyne, s. 122-136 15 s. (Electronic Proceedings in Theoretical Computer Science; Nr. 92).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review