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

    9220 Aalborg Ø

    Denmark

20112023

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Article in proceeding

Search results

  • 2023

    Refinement of Systems with an Attacker Focus

    Larsen, K. G., Legay, A. & Poulsen, D. B., 2023, Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). Springer Science+Business Media, p. 96-112 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14290 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Verified Verifying: SMT-LIB for Strings in Isabelle

    Lotz, K., Kulczynski, M., Nowotka, D., Poulsen, D. B. & Schlichtkrull, A., 10 Aug 2023, Implementation and Application of Automata - 27th International Conference, CIAA 2023, Proceedings. Nagy, B. (ed.). p. 206-217 12 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • 2022

    Importance Splitting in Uppaal

    Larsen, K. G., Legay, A., Mikučionis, M. & Poulsen, D. B., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022. Margaria, T. & Steffen, B. (eds.). p. 433-447 15 p. (Lecture Notes in Computer Science, Vol. 13703).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)
  • Solving String Theories Involving Regular Membership Predicates Using SAT

    Kulczynski, M., Lotz, K., Nowotka, D. & Poulsen, D. B., 23 Aug 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (eds.). 1 ed. Springer, Vol. 13255. p. 134-151 18 p. (Lecture Notes in Computer Science, Vol. 13255).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (Scopus)
  • Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals

    Arora, S., Hansen, R. R., Larsen, K. G., Legay, A. & Poulsen, D. B., 23 Aug 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (eds.). Springer, p. 61-78 18 p. (Lecture Notes in Computer Science, Vol. 13255).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • 2021

    Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code

    Møller, B. H., Søndergaard, J. G., Jensen, K. S., Pedersen, M. W., Bøgedal, T. W., Christensen, A., Poulsen, D. B., Larsen, K. G., Hansen, R. R., Rosted Jensen, T., Juvoll Madsen, H. & Uhrenfeldt, H., 10 Dec 2021, Secure IT Systems: 26th Nordic Conference, NordSec 2021, Virtual Event, November 29–30, 2021, Proceedings. Tuveri, N., Michalas, A. & Brumley, B. B. (eds.). Springer, p. 192-211 20 p. (Lecture Notes in Computer Science, Vol. LNCS 13115).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)
  • 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, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 385-403 19 p. (Lecture Notes in Computer Science, Vol. 12476).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    3 Citations (Scopus)
  • 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. (eds.). Springer, p. 412-424 13 p. (Lecture Notes in Computer Science (LNCS), Vol. 12038).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (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, p. 87–97 11 p. 3391556

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    3 Citations (Scopus)
  • 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, p. 85–88 4 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    9 Citations (Scopus)
  • 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. (eds.). Springer, p. 163-178 16 p. (Lecture Notes in Computer Science, Vol. 9984).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    File
    8 Citations (Scopus)
    340 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, p. 35-50 (Lecture Notes in Computer Science, Vol. 9884).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    40 Citations (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, p. 32 - 41 (Proceedings of the International Conference on Application of Concurrency to System Design).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (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. (eds.). Springer Publishing Company, p. 260-275 15 p. (Lecture Notes in Computer Science, Vol. 7687).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    22 Citations (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. (eds.). Springer, Vol. 7226. p. 449-463 15 p. (Lecture Notes in Computer Science, Vol. 7226).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    29 Citations (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, Vol. 7180. p. 168-182 (Lecture Notes in Computer Science, Vol. 7180).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    32 Citations (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, Vol. 7609. p. 388-404 17 p. (Lecture Notes in Computer Science, Vol. 7609).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    25 Citations (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 Sept 2012, Proceedings First International Workshop on Hybrid Systems and Biology. Bartocci, E. & Bortolussi, L. (eds.). Newcastle Upon Tyne, p. 122-136 15 p. (Electronic Proceedings in Theoretical Computer Science; No. 92).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    51 Citations (Scopus)