Distributed, Embedded and Intelligent Systems

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Search results

  • Article in proceeding

    P4Fuzz: Compiler Fuzzer forDependable Programmable Dataplanes

    Agape, A. A., Danceanu, M. C., Hansen, R. R. & Schmid, S., 5 Jan 2021, ICDCN 2021 - Proceedings of the 2021 International Conference on Distributed Computing and Networking. Association for Computing Machinery, p. 16-25 10 p.

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

    4 Citations (Scopus)

  • Parallel Filter-Based Feature Selection Based on Balanced Incomplete Block Designs

    Salmerón, A., Madsen, A. L., Jensen, F., Langseth, H., Nielsen, T. D., Ramos-López, D., Martinez, A. M. & Masegosa, A., 2016, ECAI 2016: 22nd European Conference on Artificial Intelligence. IOS Press, p. 743-750 8 p. (Frontiers in Artificial Intelligence and Applications, Vol. 285).

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

    Open Access
    1 Citation (Scopus)

  • Parametric and Quantitative Extensions of Modal Transition Systems

    Fahrenberg, U., Larsen, K. G., Legay, A. & Traonouez, L-M., 14 Feb 2014, From Programs to Systems.: The Systems perspective in Computing. Bensalem, S., Lakhneck, Y. & Legay, A. (eds.). Springer, Vol. 8415. p. 84-97 (Lecture Notes in Computer Science).

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

    2 Citations (Scopus)

  • Parametric Verification of Weighted Systems

    Christoffersen, P., Hansen, M., Mariegaard, A., Ringsmose, J. T., Larsen, K. G. & Mardare, R. I., 1 Nov 2015, 2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015. Andre, E. & Frehse, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 77-90 14 p. (Open Access Series in Informatics, Vol. 44).

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

    Open Access
    File
    11 Citations (Scopus)
    91 Downloads (Pure)

  • Pareto Optimal Reachability Analysis for Simple Priced Timed Automata

    Nielsen, B., Zhang, Z., Larsen, K. G., Nies, G., Hermanns, H. & Stenger, M., 2017, Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. Springer, p. 481-495 (Lecture Notes in Computer Science : Programming and Software Engineering, Vol. 10610).

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

    3 Citations (Scopus)

  • Parikh Automata over Infinite Words

    Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., 1 Dec 2022, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022. Dawar, A. & Guruswami, V. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20 p. 40. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 250).

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

    Open Access
    File
    4 Citations (Scopus)
    16 Downloads (Pure)

  • Partial order reduction for reachability games

    Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 140).

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

    Open Access
    File
    8 Citations (Scopus)
    58 Downloads (Pure)

  • Patient Event Sequences for Predicting Hospitalization Length of Stay

    Hansen, E. R., Nielsen, T. D., Larsen, T. M., Strausholm, M. N., Sagi, T. & Hose, K., 7 Jun 2023, Artificial Intelligence in Medicine: 21st International Conference on Artificial Intelligence in Medicine, AIME 2023, Portorož, Slovenia, June 12–15, 2023, Proceedings. Juarez, J. M., Marcos, M., Stiglic, G. & Tucker, A. (eds.). Springer, p. 51-56 6 p. (Lecture Notes in Computer Science (LNCS), Vol. LNCS 13897).

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

  • Pattern Databases for Goal-Probability Maximization in Probabilistic Planning

    Klößner, T., Hoffmann, J., Steinmetz, M. & Torralba, A., 17 May 2021, Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling . AAAI Press, p. 201-209 8 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 31).

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

    Open Access
    2 Citations (Scopus)

  • Pattern Selection Strategies for Pattern Databases in Probabilistic Planning

    Klößner, T., Steinmetz, M., Torralba, A. & Hoffmann, J., 13 Jun 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (eds.). AAAI Press, Vol. 32. p. 184-192 9 p.

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

    Open Access
    1 Citation (Scopus)

  • PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems

    Jensen, P. G., Schmid, S., Schou, M. K. & Srba, J., 2022, Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer, p. 225-230 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13505 LNCS).

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

  • Performance of the NorduGrid ARC and the Dulcinea Executor in ATLAS Data Challenge 2

    Kleist, J., Eerola, P., Ekelöf, T., Smirnova, O., Ellert, M., Hansen, J. R., Konstantinov, A., Kónya, B., Nielsen, J. L., Ould-Saada, F., Wäänänen, A., Sturrock, R., Jensen, H. T., Kalici, D., Teras, A., Heller, H., Kennedy, J., Duckeck, G., Mycklebust, J. F., Pajchel, K., & 13 othersRead, A., Riiser, H., Hanshaugen, M., Sunde, S., Filipic, A., Tadel, M., Nixon, L., Lindemann, J., Malinowsky, L., Smeds, N., Sandgren, A., Wadenstein, M. & Haeberli, C., 2004, Proceedings of CHEP'04.

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

  • Performing Security Proofs of Stateful Protocols

    Hess, A. V., Mödersheim, S., Brucker, A. D. & Schlichtkrull, A., 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF). IEEE, p. 1-16 16 p. 9505200. (Proceedings of the IEEE Computer Security Foundations Symposium).

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

    Open Access
    File
    2 Citations (Scopus)
    77 Downloads (Pure)

  • Planning and Operation of an Autonomous Vehicle

    Sørensen, C. G., Olsen, H. J., Ravn, A. P. & Makowski, P., 2002, Proc. 2002 ASAE / CIGR XVth World Congress, Chicago, USA, July 29 - August 1 2002: ASAE Technical Library. 021177 ed. ASAE

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

  • Planning in the Browser

    Tran, N., Speicher, P., Kuennemann, R., Backes, M., Torralba, A. & Hoffmann, J., 2020, System Demonstration at the 30th International Conference on Automated Planning and Scheduling (ICAPS'20), October 2020. 3 p.

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

    Open Access

  • Polynomial Time Decidability of Weighted Synchronization under Partial Observability

    Kretínsky, J., Larsen, K. G., Laursen, S. & Srba, J., 2015, 26th International Conference on Concurrency Theory (CONCUR 2015). Aceto, L. & de Frutos Escrig, D. (eds.). Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 142-154 13 p. (Leibniz International Proceedings in Informatics, Vol. 42).

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

    Open Access
    6 Citations (Scopus)

  • Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning

    Lauer, P., Torralba, A., Fišer, D., Höller, D., Wichlacz, J. & Hoffmann, J., Jul 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. IJCAI-21. International Joint Conferences on Artificial Intelligence, p. 4119-4126

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

    17 Citations (Scopus)

  • Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks

    Schmid, S. & Srba, J., 2018, IEEE INFOCOM 2018 - IEEE Conference on Computer Communications. IEEE, p. 1799-1807 9 p. (I E E E Infocom. Proceedings).

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

    Open Access
    File
    16 Citations (Scopus)
    138 Downloads (Pure)

  • Potency-Based Heuristic Search with Randomness for Explicit Model Checking

    Henriksen, E. G., Mozafar Khorsid, A., Nielsen, E., Risager, T., Srba, J., Stück, A. M. & Sørensen, A. S., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer Nature Switzerland AG, p. 180-187 8 p. (Lecture Notes in Computer Science; No. 13872).

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

  • Power efficient service differentiation based on traffic-aware survivable elastic optical networks

    Kleist, J., Turus, I., Dittman, L., Morea, A. & Verchere, D., 2014, Reliable Networks Design and Modeling (RNDM), 2014 6th International Workshop on. p. 91-96

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

    1 Citation (Scopus)

  • Practical controller synthesis for MTL0,∞

    Li, G., Jensen, P. G., Larsen, K. G., Legay, A. & Poulsen, D. B., 13 Jul 2017, SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, p. 102-111 10 p.

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

    3 Citations (Scopus)

  • Prediction of High Risk of Deviations in Home Care Deliveries

    Madsen, A. L., Olesen, K. G., Løvschall, H. L., Søndberg-Jeppesen, N., Jensen, F., Lindblad, M., Mogensen, M. L. & Christensen, T. S., 2020, Proceedings of the 10th International Conference on Probabilistic Graphical Models, PMLR. Jaeger, M. & Dyhre Nielsen, T. (eds.). ML Research Press, p. 281-292 12 p. (The Proceedings of Machine Learning Research, Vol. 138).

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

  • Preliminary Report: Controller Prototyping and Validation for Photo-Voltaic Comfort Cooling

    Agesen, M. K., Skou, A. J. & Pedersen, K. L., 2016, CLIMA 2016 : proceedings of the 12th REHVA World Congress, 22-25 May 2016, Aalborg, Denmark. Heiselberg, P. K. (ed.). Department of Civil Engineering, Aalborg University, 9 p. 691

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

    Open Access

  • 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 proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Presentation of the 9th Edition of the Model Checking Contest

    Amparore, E., Berthomieu, B., Ciardo, G., Dal Zilio, S., Gallà, F., Hillah, L. M., Hulin-Hubard, F., Jensen, P. G., Jezequel, L., Kordon, F., Le Botlan, D., Liebke, T., Meijer, J., Miner, A., Paviot-Adet, E., Srba, J., Thierry-Mieg, Y., van Dijk, T. & Wolf, K., 1 Jan 2019, International Conference on Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems. Kordon, F., Huisman, M., Steffen, B. & Beyer, D. (eds.). Springer, p. 50-68 19 p. (Lecture Notes in Computer Science, Vol. 11429).

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

    Open Access
    File
    21 Citations (Scopus)
    37 Downloads (Pure)

  • P-Rex: fast verification of MPLS networks with multiple link failures

    Jensen, J. S., Krøgh, T. B., Madsen, J. S., Schmid, S., Srba, J. & Thorgersen, M. T., 2018, Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies . Association for Computing Machinery, p. 217-227 11 p. (Conference on Emerging Networking EXperiments and Technologies).

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

    28 Citations (Scopus)

  • PRI: Privacy Preserving Inspection of Encrypted Network Traffic

    Schiff, L. & Schmid, S., 1 Aug 2016, Proceedings - 2016 IEEE Symposium on Security and Privacy Workshops, SPW 2016. IEEE, p. 296-303 8 p. 7527782

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

    9 Citations (Scopus)

  • Priced Timed Automata: Decidability Results, Algorithms and Applications

    Behrmann, G., Larsen, K. G. & Rasmussen, J. I., 2005, Revised Lectures of the Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004. de Boer, F., Bonsangue, M., Graf, S. & de Roever, W-P. (eds.). Springer, p. 162-186 (Lecture Notes in Computer Science; No. 3657).

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

    63 Citations (Scopus)

  • Priced Timed Automata and Statistical Model Checking

    Larsen, K. G., 2013, Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Springer Publishing Company, Vol. 7940. p. 154-161 (Lecture Notes in Computer Science, Vol. 7940).

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

    10 Citations (Scopus)

  • Private memory allocation analysis for safety-critical java

    Dalsgaard, A. E., Hansen, R. R. & Schoeberl, M., 2012, JTRES '12 Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, p. 9-17 9 p. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

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

    7 Citations (Scopus)

  • Probabilistic modal specifications (invited extended abstract)

    Larsen, K. G. & Legay, A., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8348 LNCS. p. 1-4 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8348 LNCS).

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

  • Probabilistic Mu-Calculus: Decidability and Complete Axiomatization

    Larsen, K. G., Mardare, R. I. & Xue, B., 2016, 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2016, December 13-15, 2016, Chennai, India. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 25:1-25:18 18 p. (Leibniz International Proceedings in Informatics, Vol. 65).

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

    Open Access
    6 Citations (Scopus)

  • Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05)

    Srba, J. (ed.) & Smolka, S. A. (ed.), 2005, 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). NS-05-4 ed. BRICS, p. 1-70 70 p.

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

  • Production Scheduling by Reachability Analysis: A Case Study

    Behrmann, G., Brinksma, E., Hendriks, M. & Mader, A., 2005, IPDPS 2005. IEEE Computer Society Press

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

    24 Citations (Scopus)

  • PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing

    Jensen, P. G., Larsen, K. G. & Srba, J., 2017, Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17). Springer, Vol. 10580. p. 248-265 18 p. (Lecture Notes in Computer Science).

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

    12 Citations (Scopus)

  • PtrTracker: Pragmatic pointer analysis

    Biallas, S., Olesen, M. C., Cassez, F. & Huuck, R., 2013, Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 2013. IEEE Computer Society Press, p. 69-73 5 p. (I E E E International Working Conference on Source Code Analysis and Manipulation. Proceedings).

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

    Open Access
    File
    6 Citations (Scopus)
    898 Downloads (Pure)

  • Quality Estimation of Component-Based Embedded Systems

    Holmegaard, J. P., Ravn, A. P. & Koch, P., 2004, Proceedings of Euromicro Work in Progress.

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

  • 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 proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • Quantitative Algebraic Reasoning

    Mardare, R. I., Panangaden, P. & Plotkin, G., 2016, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science: LICS'16, New York, NY, USA, July 5-8, 2016. Association for Computing Machinery, p. 700-709 10 p.

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

    48 Citations (Scopus)

  • Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata

    Hansen, R. R., Jensen, P. G., Larsen, K. G., Legay, A. & Poulsen, D. B., 2017, Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers. Springer, p. 75-90 (Lecture Notes in Computer Science).

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

    Open Access
    7 Citations (Scopus)

  • Quantitative Modal Transition Systems

    Larsen, K. G. & Legay, A., 2013, Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Springer Publishing Company, Vol. 7841. p. 50-58 (Lecture Notes in Computer Science, Vol. 7841).

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

    1 Citation (Scopus)

  • Quantitative Modeling and Analysis

    Katoen, J-P. & Larsen, K. G., 2012, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Berlin: Springer, Vol. 7610. p. 290-292 (Lecture Notes in Computer Science, Vol. 7610).

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

    1 Citation (Scopus)

  • Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context

    Kim, J. H., Boudjadar, J., Nyman, U., Mikucionis, M., Larsen, K. G., Skou, A., Lee, I. & Thi Xuan Phan, L., 4 May 2015, CBSE'15, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. Association for Computing Machinery, p. 91-100

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

    File
    7 Citations (Scopus)
    547 Downloads (Pure)

  • Quantitative system validation in model driven design

    Hermanns, H., Larsen, K. G., Raskin, J-F. & Tretmans, J., 2010, Embedded Systems Week 2010 - Proceedings of the 10th ACM International Conference on Compilers, Architecture and Synthesis for Embedded Systems, EMSOFT'10. Association for Computing Machinery, p. 301-302

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

    1 Citation (Scopus)

  • Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems

    Kiviriga, A., Larsen, K. G. & Nyman, U., 2021, Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Proceedings. Lluch Lafuente, A. & Mavridou, A. (eds.). Springer Science+Business Media, p. 149-166 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12863 LNCS).

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

    Open Access
    File
    1 Citation (Scopus)
    96 Downloads (Pure)

  • Randomized Refinement Checking of Timed I/O Automata

    Kiviriga, A., Larsen, K. G. & Nyman, U., 9 Nov 2020, Proceedings of SETTA 2020: Dependable Software Engineering. Theories, Tools, and Applications. Pang, J. & Zhang, L. (eds.). Springer, p. 70-88 19 p. (Lecture Notes in Computer Science, Vol. 12153).

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

    Open Access
    File
    1 Citation (Scopus)
    217 Downloads (Pure)

  • Real-Time Layered Video Compression using SIMD Computation

    Jensen, M. V. & Nielsen, B., 1999, Parallel Computation : 4th International ACPC Conference Including Special Tracks on Parallel Numerics (ParNum '99) and Parallel Computing in Image Processing, Video Processing, and Multimedia : Salzburg, Austria, February 16-18,1999 : Proceedings: Lecture Notes in Computer Science. Zinterhof, P. : Vajtersic, M. : Uhl,A. (eds.) (ed.). 1557 ed. IEEE Computer Society Press, p. 377-387

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

    3 Citations (Scopus)

  • Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization

    Jensen, P. G., Larsen, K. G. & Srba, J., 8 Apr 2016, Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer, p. 129-146 (Lecture Notes in Computer Science, Vol. 9641).

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

    9 Citations (Scopus)

  • Real-time system testing on-the-fly

    Larsen, K. G., Mikucionis, M. & Nielsen, B., 2003, The 15th Nordic Workshop on Programming Theory (NWPT’03). Kaisa Sere and Marina Walden and Anna Karlsson (ed.). Åbo Akademi University

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

  • Recursion Versus Replication in Simple Cryptographic Protocols

    Hüttel, H. & Srba, J., 2005, SOFSEM 2005 : Theory and Practice of Computer Science: Proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Vojtáš, P., Bieliková, M., Charron-Bost, B. & Sýkora, O. (eds.). IEEE Computer Society Press, p. 178-187 10 p. (Lecture Notes in Computer Science; No. 3381).

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

    6 Citations (Scopus)