Distributed, Embedded and Intelligent Systems

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Filter
Preface/Introduction/postscript

Search results

  • 2024

    Preface

    Avni, G., Giacobbe, M., Johnson, T. T., Katz, G., Lukina, A., Schilling, C. & Narodytska, N., 2024, AI Verification: First International Symposium, SAIV 2024. Springer, 1 p. (Lecture Notes in Computer Science, Vol. 14846).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

  • 2023

    Preface

    Caltais, G. & Schilling, C., 2023, Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings. Springer, 1 p. (Lecture Notes in Computer Science, Vol. 13872 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

    Open Access
  • 2019

    Preface

    Vojnar, T., Zhang, L., Mikucionis, M., Grosu, R., Beyer, D., Lengál, O. & Hahn, E. M., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II. Springer, Vol. 11428 LNCS. p. vii-ix (Lecture Notes in Computer Science, Vol. 11428).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

    Open Access

  • Preface

    Vojnar, T., Zhang, L., Mikucionis, M., Grosu, R., Beyer, D., Lengal, O. & Hahn, E. M., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I. Springer, Vol. 11427 LNCS. p. vi-viii (Lecture Notes in Computer Science, Vol. 11427).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

    Open Access

  • TACAS Preface

    Vojnar, T., Zhang, L., Mikucionis, M., Grosu, R., Beyer, D., Lengal, O. & Hahn, E. M., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. Springer, Vol. 11429 LNCS. p. vii-ix 3 p. (Lecture Notes in Computer Science, Vol. 11429).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

    Open Access
  • 2013

    Preface

    Larsen, K. G., Legay, A. & Nyman, U., 3 Nov 2013, Proceedings 1st Workshop on Advances in Systems of Systems. Electronic Proceedings in Theoretical Computer Science, Vol. 133. p. 1-1 (Electronic Proceedings in Theoretical Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

  • 2012

    Proceedings of the ICTSS 2012 PhD Workshop - Preface

    Nielsen, B. & Weise, C., 19 Nov 2012, Proceedings of the ICTSS 2012 PhD Workshop - Preface. Aalborg ed. Department of Computer Science, Aalborg University, Vol. 12-201. p. 1

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

    Open Access
    File
    321 Downloads (Pure)

  • Testing Software and Systems - Preface: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings

    Nielsen, B. & Weise, C., Nov 2012, Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings. Nielsen, B. & Weise, C. (eds.). Springer Publishing Company, p. V-VI (Lecture Notes in Computer Science, Vol. 7641).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

  • 2011

    Message from the Chairs

    Wellings, A. & Ravn, A. P., Aug 2011, Proceedings of the 9th The International Workshop on Java Technologies for Real-Time and Embedded Systems. Association for Computing Machinery (ACM), 1 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

  • 2005

    Foreword

    Srba, J. & Smolka, S. A., 2005, Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). Srba, J. & Smolka, S. A. (eds.). ENTCS ed. Springer

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research › peer-review

  • Foreword

    Aceto, L., Esik, Z., Fokkink, W. & Ingolfsdottir, A., 2005, Theoretical Computer Science, Special Issue on Process Algebra. Aceto, L., Esik, Z., Fokkink, W. & Ingolfsdottir, A. (eds.). Pergamon Press, p. 127-129 (Theoretical Computer Science; No. 335(2-3)).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

  • Preface

    Aceto, L., Fokkink, W. & Ulidowski, I., 2005, Proceedings of the Workshop on Structural Operational Semantics (SOS 2004). Pergamon Press, p. 1 (Electronic Notes in Theoretical Computer Science; No. 1, Vol. 128).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research