Distributed, Embedded and Intelligent Systems

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Search results

  • Article in proceeding

    Demand-aware network designs of bounded degree

    Avin, C., Mondal, K. & Schmid, S., 1 Oct 2017, 31st International Symposium on Distributed Computing, DISC 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 p. (Leibniz International Proceedings in Informatics, Vol. 91).

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

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

  • Dependable and optimal cyber-physical systems

    Larsen, K. G., 2017, SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. LNCS ed. Springer, Vol. 10139. p. 3-10 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10139 LNCS).

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

  • Designing Through The Stack: The Case for a Participatory Digital Security By Design

    Slesinger, I., Coles-Kemp, L., Panteli, N. & Hansen, R. R., 24 Oct 2022, Proceedings of the 2022 New Security Paradigms Workshop, NSPW 2022. Association for Computing Machinery, p. 45-59 15 p. (ACM International Conference Proceeding Series).

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

  • Design Patterns for Control Systems

    Knudsen, J., Ravn, A. P. & Skou, A., 2006, Proceedings of the NWUML'06: The 4th Nordic Workshop on UML and Software Modelling. Prinz, A. & Skjelten Tveit, M. (eds.). Høgskolen i Agder

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

  • Detection of Mirai by Syntactic and Behavioral Analysis

    Ben Said, N., Biondi, F., Bontchev, V., Decourbe, O., Given-Wilson, T., Legay, A. & Quilbeuf, J., 16 Nov 2018, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018. Ghosh, S., Cukic, B., Poston, R., Natella, R. & Laranjeiro, N. (eds.). IEEE Computer Society Press, p. 224-235 12 p. 8539084. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE, Vol. 2018-October).

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

    17 Citations (Scopus)

  • Developing a TTCN-3 Test Harness for Legacy Software

    Okika, J. C., Ravn, A. P., Siddalingaiah, L. & Liu, Z., 2006, Proceedings of the 2006 international workshop on Automation of software test: AST '06. Association for Computing Machinery, p. 104-110 7 p.

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

    7 Citations (Scopus)

  • Differential Testing of Pushdown Reachability with a Formally Verified Oracle

    Schlichtkrull, A., Schou, M. K., Srba, J. & Traytel, D., Oct 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022. Griggio, A. & Rungta, N. (eds.). TU Wien Academic Press, Vol. 3. p. 369-379 11 p. (Conference Series: Formal Methods in Computer-Aided Design).

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

    Open Access
    File
    26 Downloads (Pure)

  • Directed homology

    Fahrenberg, U., 2004, CONCUR 2003: CMCIM and GETCO. Hildebrandt, T., Kurz, A., Goubault, E. & Fahrenberg, U. (eds.). p. 111-125

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

    10 Citations (Scopus)

  • Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise

    Schou, M. K., Poese, I. & Srba, J., 2023, Proceedings - 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing, PRDC 2023. IEEE, p. 64-70 7 p. (IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)).

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

    Open Access
    File
    36 Downloads (Pure)

  • Distributed Algorithms for Time Optimal Reachability Analysis

    Zhang, Z., Nielsen, B. & Larsen, K. G., 17 Aug 2016, Formal Modeling and Analysis of Timed Systems. Springer, p. 157-176 (Lecture Notes in Computer Science, Vol. 9884).

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

    2 Citations (Scopus)

  • Distributed computation of fixed points on dependency graphs

    Dalsgaard, A. E., Enevoldsen, S., Larsen, K. G. & Srba, J., Nov 2016, Dependable Software Engineering: Theories, Tools, and Applications. Springer, p. 197-212 16 p. (Lecture Notes in Computer Science, Vol. 9984).

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

    9 Citations (Scopus)

  • Distributed Fleet Management in Noisy Environments via Model-Predictive Control

    Bøgh, S., Jensen, P. G., Nyman, U., Larsen, K. G. & Kristjansen, M., 15 Jun 2022, Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling. AAAI Press Association for the Advancement of Artificial Intelligence, p. 565-573 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

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

    File
    4 Citations (Scopus)
    44 Downloads (Pure)

  • Distributed Timed Model Checking: How the Search Order Matters

    Behrmann, G., Hune, T. & Vaandrager, F., 2000, Computer Aided Verification : 12th International Conference, CAV 2000, Chicago, Il., USA, July 15-19, 2000 : Proceedings: Lecture Notes in Computer Science. Emerson, E. : Sistla, A. (eds.) (ed.). 1855 ed. IEEE Computer Society Press, p. 216-231

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

  • Documenting and Automating Collateral Evolutions in Linux Device Drivers

    Padioleau, Y., Lawall, J. L., Hansen, R. R. & Muller, G., 2008, Proceedings of the European Conference on Computer Systems 2008 (EuroSys 2008). Association for Computing Machinery, p. 247-260

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

    92 Citations (Scopus)

  • Documenting Design Refinement

    Olderog, E-R. & Ravn, A. P., 2000, Proceedings of FMSP'00 :the Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA. Heimdahl, M. P. E. (ed.) (ed.). Association for Computing Machinery

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

    2 Citations (Scopus)

  • Don't Let The Opponents Grind You Down: Type Inference for a Correspondence Certifying Type System with Opponent Typing

    Dahl, M. & Hüttel, H., 2010, Foundations of Computer Security - Privacy: Models & Analysis 2010 (FCS-PrivMod '10).

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

  • Dual Balancing of SoC/SoT in Smart Batteries using Reinforcement Learning in Uppaal Stratego

    Kristjansen, M., Kulkarni, A., Jensen, P. G., Teodorescu, R. & Larsen, K. G., 16 Nov 2023, IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 10311828. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

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

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

  • Dual-Priced Modal Transition Systems with Time Durations

    Beneš, N., Kretínsky, J., Larsen, K. G., Møller, M. H. & Srba, J., 2012, Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings . Netherlands: Springer, Vol. LNCS 7180. p. 122-137 15 p. (Lecture Notes in Computer Science, Vol. 7180).

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

    11 Citations (Scopus)

  • d-VMP: Distributed Variational Message Passing

    Masegosa, A., Martinez, A. M., Langseth, H., Nielsen, T. D., Salmerón, A., Ramos-López, D. & Madsen, A. L., 2016, JMLR Workshop and Conference Proceedings: Volume 52: Proceedings of the Eighth International Conference on Probabilistic Graphical Models. p. 321-332 12 p. (JMLR Workshop and Conference Proceedings, Vol. 52).

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

    Open Access
    11 Citations (Scopus)

  • Dynamic Extrapolation in Extended Timed Automata

    Jensen, N. Ø., Jensen, P. G. & Larsen, K. G., 9 Nov 2023, Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings. Li, Y. & Tahar, S. (eds.). Springer, p. 83-99 17 p. (Lecture Notes in Computer Science, Vol. 14308).

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

    3 Downloads (Pure)

  • Dynamic Influence Diagram-Based Deep Reinforcement Learning Framework and Application for Decision Support for Operators in Control Rooms

    Mietkiewicz, J., Abbas, A. N., Amazu, C. W., Madsen, A. L. & Baldissone, G., 2023, Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023). Brito, M. P., Aven, T., Baraldi, P., Čepin, M. & Zio, E. (eds.). Research Publishing, p. 2806-2813 P531

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

  • Eclipse ESCET: The Eclipse Supervisory Control Engineering Toolkit

    Fokkink, W., Goorden, M., Hendriks, D., van Beek, B., Hofkamp, A., Reijnen, F., Etman, P., Moormann, L., van de Mortel-Fronczak, J., Reniers, M. A., Rooda, J., van der Sanden, B., Schiffelers, R., Thuijsman, S., Verbakel, J. & Vogel, H., 2023, Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer, p. 44-52 9 p. (Lecture Notes in Computer Science, Vol. LNCS 13994).

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

    Open Access
    File
    58 Downloads (Pure)

  • Edge Computing Tasks Orchestration: An Energy-Aware Approach

    Thomsen, J. L., Thomsen, K., Schmidt, R. B., Jakobsgaard, S. D., Beregaard, T., Albano, M., Moreschini, S. & Taibi, D., 2023, Proceedings - 2023 IEEE International Conference on Edge Computing and Communications, EDGE 2023. Ardagna, C., Awaysheh, F., Bian, H., Chang, C. K., Chang, R. N., Delicato, F., Desai, N., Fan, J., Fox, G. C., Goscinski, A., Jin, Z., Kobusinska, A. & Rana, O. (eds.). IEEE, p. 115-117 3 p. (Proceedings - IEEE International Conference on Edge Computing, Vol. 2023-July).

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

  • Efficient and Orderly Co-simulation of Heterogeneous Computational Models

    Lázaro Cuadrado, D., Koch, P. & Ravn, A. P., 2003, The Fifth Biennial Ptolemy Miniconference, May 2003, EECS Department, University of California, Berkeley, USA.

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

  • Efficient Estimation of Agent Networks

    Leguizamon Robayo, A. & Tschaikowski, M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning.. Springer, (Lecture Notes in Computer Science, Vol. 13703).

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

    1 Citation (Scopus)

  • Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases

    Gnad, D., Sievers, S. & Torralba, Á., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. Koenig, S., Stern, R. & Vallati, M. (eds.). AAAI Press, p. 138-147 10 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 33).

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

  • Efficient Guiding Towards Cost-Optimality in UPPAAL

    Behrmann, G., Fehnker, A., Hune, T. S., Larsen, K. G., Pettersson, P. & Romijn, J., 2001, Tools and Algorithms for the Construction and Analysis of Systems. Springer, p. 174-188 15 p.

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

    95 Citations (Scopus)

  • Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods

    Bacci, G., Bacci, G., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, p. 1-14 14 p.

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

    4 Citations (Scopus)

  • Efficient On-the-fly Algorithms for the Analysis of Timed Games

    Cassez, F., David, A., Fleury, E., Larsen, K. G. & Lime, D., 2005, Proceedings of CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Abadi, M. & de Alfaro, L. (eds.). IEEE Computer Society Press, p. 66-80 15 p. (Lecture Notes in Computer Science; No. 3653).

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

    205 Citations (Scopus)

  • Efficient service graph embedding: A practical approach

    Nemeth, B., Sonkoly, B., Rost, M. & Schmid, S., 4 May 2017, 2016 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2016. IEEE, p. 19-25 7 p. 7919470

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

    11 Citations (Scopus)

  • Efficient Timed Reachability Analysis using Clock Difference Diagrams

    Behrmann, G., Larsen, K. G., Pearson, J., Weise, C. & Yi, W., 1999, Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : Proceedings: Lecture Notes in Computer Science. Halbwachs, N. : Peled, D. (eds.) (ed.). 1633 ed. IEEE Computer Society Press, p. 341-353

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

    91 Citations (Scopus)

  • Elimination of Detached Regions in Dependency Graph Verification

    Jensen, P. G., Larsen, K. G., Srba, J. & Ulrik, N. J., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer, Vol. LNCS 13872. p. 163-179 17 p. (Lecture Notes in Computer Science).

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

  • ENCOURAGEing results on ICT for energy efficient buildings

    Le Guilly, T., Skou, A. J., Olsen, P., Madsen, P. P., Albano, M., Ferreira, L. L., Pinho, L. M., Pedersen, K. L., Casals, M., Macarulla, M. & Gongolells, M., 2016, Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference. IEEE, 8 p.

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

    2 Citations (Scopus)

  • End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego

    Hasrat, I. R., Jensen, P. G., Larsen, K. G. & Srba, J., 2022, Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Crăciun, F. (eds.). Springer, p. 363-380 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13299 LNCS).

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

    1 Citation (Scopus)

  • Energy-Aware Scheduling of FIR Filter Structures using a Timed Automata Model

    Wognsen, E. R., Hansen, R. R., Larsen, K. G. & Koch, P., 20 Apr 2016, 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). IEEE, p. 163-168 6 p.

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

    File
    2 Citations (Scopus)
    438 Downloads (Pure)

  • Energy Consumption Forecast of Photo-Voltaic Comfort Cooling using UPPAAL Stratego

    Agesen, M. K., Enevoldsen, S., Le Guilly, T., Mariegaard, A., Olsen, P. & Skou, A. J., 19 Aug 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer Publishing Company, p. 603-622 (Lecture Notes in Computer Science, Vol. 10460).

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

  • Engineering of Real-Time Systems with an Experiment in Hybrid Control

    Ravn, A. P., Eriksen, T. J., Holdgaard, M. & Rischel, H., 1998, Lectures on Embedded Systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996: Lecture Notes in Computer Science. Rozenberg, G : Vaandrager, F. (eds.) (ed.). 1494 ed. IEEE Computer Society Press, p. 316-352

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

    1 Citation (Scopus)

  • Enhancing Control Room Operator Decision Making: An Application of Dynamic Influence Diagrams in Formaldehyde Manufacturing

    Mietkiewicz, J. & Madsen, A. L., 2023, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings. Bouraoui, Z. & Vesic, S. (eds.). Springer, p. 15-26 12 p. (Lecture Notes in Computer Science, Vol. LNCS 14294).

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

  • Equational Axioms for Probabilistic Bisimulation

    Aceto, L., Esik, Z. & Ingolfsdottir, A., 2002, Kirchner, H. (ed.) : Ringeissen, C. (ed.): Lecture Notes in Computer Science. 2422 ed. IEEE Computer Society Press, p. 239-253

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

  • ExCHARON: Improved modeling language for cyber-physical systems based on CHARON

    Han, Y., Kang, S. & Kim, J. H., 2013, Proceedings - 16th IEEE International Conference on Computational Science and Engineering, CSE 2013. IEEE Press, p. 734-741 8 p. 6755293

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

    2 Citations (Scopus)

  • EXOGEM: Extending OpenAPI Generator for monitoring of RESTful APIs

    Holtebo, D. F., Sommer, J. L., Mølgaard Lund, M., Tibo, A., Dongo, J. & Albano, M., 2023, Service-Oriented Computing – ICSOC 2022 Workshops: ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 – December 2, 2022 Proceedings. Troya, J., Mirandola, R., Navarro, E., Delgado, A., Segura, S., Fernández, P., Ortiz, G., Pautasso, C., Zirpins, C. & Ruiz-Cortés, A. (eds.). Springer, p. 118-129 12 p. (Lecture Notes in Computer Science, Vol. 13821).

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

  • Exploiting Symmetry of Independence in d-Separation

    Butz, C. J., dos Santos, A. E., Oliveira, J. & Madsen, A. L., 2019, Advances in Artificial Intelligence - 32nd Canadian Conference on Artificial Intelligence, Canadian AI 2019, Proceedings. Meurs, M-J. & Rudzicz, F. (eds.). Cham: Springer, p. 42-54 13 p. (Lecture Notes in Computer Science, Vol. 11489).

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

  • Expressing best practices in (risk) analysis and testing of safety-critical systems using patterns

    Herzner, W., Sieverding, S., Kacimi, O., Böde, E., Bauer, T. & Nielsen, B., 2014, Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, p. 299-304 6 p.

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

    File
    4 Citations (Scopus)
    1284 Downloads (Pure)

  • Extended dependency graphs and efficient distributed fixed-point computation

    Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2017, Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings. Springer, Vol. 10258 LNCS. p. 139-158 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10258 LNCS).

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

    13 Citations (Scopus)

  • Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

    Boudjadar, J., Vaandrager, F., Bodeveix, J-P. & Filali, M., Apr 2013, Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers. Arbab, F. & Sirjani, M. (eds.). Tehran, Iran: Springer Publishing Company, Vol. LNCS Volume 8161. p. 111-132 22 p. (Lecture Notes in Computer Science, Vol. 8161).

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

    11 Citations (Scopus)

  • Fast directed model checking via russian doll abstraction

    Kupferschmid, S., Hoffmann, J. & Larsen, K. G., 2008, Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Springer, p. 203-217 (Lecture Notes in Computer Science; No. 4963).

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

    11 Citations (Scopus)

  • Faster Pushdown Reachability Analysis with Applications in Network Verification

    Jensen, P. G., Schmid, S., Schou, M. K., Srba, J., Vanerio, J. & Duijn, I. V., 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Hou, Z. & Ganesh, V. (eds.). Springer, p. 170-186 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12971 LNCS).

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

    3 Citations (Scopus)

  • Faster Stackelberg Planning via Symbolic Search and Information Sharing

    Torralba, A., Speicher, P., Künnemann, R., Steinmetz, M. & Hoffmann, J., 18 May 2021, Proceedings of the AAAI Conference on Artificial Intelligence. 13 ed. Palo Alto: AAAI Press, Vol. 35. p. 11998-12006

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

    6 Citations (Scopus)

  • Fault Tolerant Horizontal Computation Offloading

    Droob, A., Morratz, D., Jakobsen, F. L., Carstensen, J., Mathiesen, M., Bohnstedt, R., Albano, M., Moreschini, S. & Taibi, D., 2023, Proceedings - 2023 IEEE International Conference on Edge Computing and Communications, EDGE 2023. Ardagna, C., Awaysheh, F., Bian, H., Chang, C. K., Chang, R. N., Delicato, F., Desai, N., Fan, J., Fox, G. C., Goscinski, A., Jin, Z., Kobusinska, A. & Rana, O. (eds.). IEEE, p. 177-182 6 p. (Proceedings - IEEE International Conference on Edge Computing, Vol. 2023-July).

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

    3 Citations (Scopus)

  • FBR: Dynamic Memory-Aware Fast Rerouting

    Johansen, N. S., Kær, L. B., Madsen, A. L., Nielsen, K. Ø., Schmid, S., Srba, J. & Tollund, R. G., 2022, 2022 IEEE 11th International Conference on Cloud Networking (CloudNet). IEEE, p. 55-60

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