Distributed, Embedded and Intelligent Systems

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Søgeresultater

  • Konferenceartikel i proceeding

    O'zapft is: Tap your network algorithm's big data!

    Blenk, A., Kalmbach, P., Kellerer, W. & Schmid, S., 7 aug. 2017, Big-DAMA 2017 - Proceedings of the 2017 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks, Part of SIGCOMM 2017. Association for Computing Machinery, s. 19-24 6 s.

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

    28 Citationer (Scopus)
  • 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, s. 16-25 10 s.

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

    4 Citationer (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, s. 743-750 8 s. (Frontiers in Artificial Intelligence and Applications, Bind 285).

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

    Åben adgang
    1 Citationer (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. (red.). Springer, Bind 8415. s. 84-97 (Lecture Notes in Computer Science).

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

    2 Citationer (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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 77-90 14 s. (Open Access Series in Informatics, Bind 44).

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

    Åben adgang
    Fil
    11 Citationer (Scopus)
    89 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, s. 481-495 (Lecture Notes in Computer Science : Programming and Software Engineering, Bind 10610).

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

    3 Citationer (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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20 s. 40. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 250).

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

    Åben adgang
    Fil
    3 Citationer (Scopus)
    12 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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 140).

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

    Åben adgang
    Fil
    8 Citationer (Scopus)
    53 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. (red.). Springer, s. 51-56 6 s. (Lecture Notes in Computer Science (LNCS), Bind LNCS 13897).

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

  • Pattern Databases for Goal-Probability Maximization in Probabilistic Planning

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

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

    Åben adgang
    2 Citationer (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. (red.). AAAI Press, Bind 32. s. 184-192 9 s.

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

    Åben adgang
    1 Citationer (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. (red.). Springer, s. 225-230 6 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13505 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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 flereRead, 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.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • 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, s. 1-16 16 s. 9505200. (Proceedings of the IEEE Computer Security Foundations Symposium).

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

    Åben adgang
    Fil
    2 Citationer (Scopus)
    73 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 udg. ASAE

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • 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 s.

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

    Åben adgang
  • 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. (red.). Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 142-154 13 s. (Leibniz International Proceedings in Informatics, Bind 42).

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

    Åben adgang
    6 Citationer (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, s. 4119-4126

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

    16 Citationer (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, s. 1799-1807 9 s. (I E E E Infocom. Proceedings).

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

    Åben adgang
    Fil
    16 Citationer (Scopus)
    137 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. (red.). Springer Nature Switzerland AG, s. 180-187 8 s. (Lecture Notes in Computer Science; Nr. 13872).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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. s. 91-96

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

    1 Citationer (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, s. 102-111 10 s.

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

    3 Citationer (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. (red.). ML Research Press, s. 281-292 12 s. (The Proceedings of Machine Learning Research, Bind 138).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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. (red.). Department of Civil Engineering, Aalborg University, 9 s. 691

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

    Åben adgang
  • 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. (red.). Springer, s. 192-211 20 s. (Lecture Notes in Computer Science, Bind LNCS 13115).

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

    1 Citationer (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. (red.). Springer, s. 50-68 19 s. (Lecture Notes in Computer Science, Bind 11429).

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

    Åben adgang
    Fil
    21 Citationer (Scopus)
    31 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, s. 217-227 11 s. (Conference on Emerging Networking EXperiments and Technologies).

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

    27 Citationer (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, s. 296-303 8 s. 7527782

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

    9 Citationer (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. (red.). Springer, s. 162-186 (Lecture Notes in Computer Science; Nr. 3657).

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

    63 Citationer (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, Bind 7940. s. 154-161 (Lecture Notes in Computer Science, Bind 7940).

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

    10 Citationer (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, s. 9-17 9 s. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

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

    7 Citationer (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, Bind 8348 LNCS. s. 1-4 4 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8348 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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, s. 25:1-25:18 18 s. (Leibniz International Proceedings in Informatics, Bind 65).

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

    Åben adgang
    6 Citationer (Scopus)
  • Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05)

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

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

  • Production Scheduling by Reachability Analysis: A Case Study

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

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

    24 Citationer (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, Bind 10580. s. 248-265 18 s. (Lecture Notes in Computer Science).

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

    12 Citationer (Scopus)
  • PtrTracker: Pragmatic pointer analysis

    Bidragets oversatte titel: PtrTracker: Pragmatic pointer analysisBiallas, 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, s. 69-73 5 s. (I E E E International Working Conference on Source Code Analysis and Manipulation. Proceedings).

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

    Åben adgang
    Fil
    6 Citationer (Scopus)
    891 Downloads (Pure)
  • Quality Estimation of Component-Based Embedded Systems

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • 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)
  • 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, s. 700-709 10 s.

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

    48 Citationer (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, s. 75-90 (Lecture Notes in Computer Science).

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

    Åben adgang
    7 Citationer (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, Bind 7841. s. 50-58 (Lecture Notes in Computer Science, Bind 7841).

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

    1 Citationer (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, Bind 7610. s. 290-292 (Lecture Notes in Computer Science, Bind 7610).

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

    1 Citationer (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 maj 2015, CBSE'15, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. Association for Computing Machinery, s. 91-100

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

    Fil
    7 Citationer (Scopus)
    538 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, s. 301-302

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

    1 Citationer (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. (red.). Springer Science+Business Media, s. 149-166 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12863 LNCS).

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

    Åben adgang
    Fil
    1 Citationer (Scopus)
    93 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. (red.). Springer, s. 70-88 19 s. (Lecture Notes in Computer Science, Bind 12153).

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

    Åben adgang
    Fil
    1 Citationer (Scopus)
    210 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.) (red.). 1557 udg. IEEE Computer Society Press, s. 377-387

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

    3 Citationer (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, s. 129-146 (Lecture Notes in Computer Science, Bind 9641).

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

    9 Citationer (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 (red.). Åbo Akademi University

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning