Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg


Research Output 1989 2020


Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings.

Larsen, K. G. (ed.) & Willemse, T. (ed.), 2019, Springer Publishing Company. (Lecture Notes in Computer Science, Vol. 11687).

Research output: Book/ReportAnthologyResearchpeer-review

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Margaria, T. (ed.), Graf, S. (ed.) & Larsen, K. G. (ed.), 2019, Springer Publishing Company. (Theoretical Computer Science and General Issues, Vol. 11200).

Research output: Book/ReportAnthologyResearchpeer-review


Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Aceto, L. (ed.), Bacci, G. (ed.), Bacci, G. (ed.), Ingolfsdottir, A. (ed.), Larsen, K. G. (ed.), Legay, A. (ed.) & Mardare, R. I. (ed.), 2017, Springer. 1 p. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Vol. 10460).

Research output: Book/ReportAnthologyResearchpeer-review


Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Probst, C. W. (ed.), Hankin, C. (ed.) & Hansen, R. R. (ed.), 2016, Springer. (Lecture Notes in Computer Science, Vol. 9560).

Research output: Book/ReportAnthologyResearchpeer-review

643 Downloads (Pure)

Proceedings of the ICTSS 2012 Ph.D. Workshop

Weise, C. (ed.) & Nielsen, B. (ed.), 19 Nov 2012, Aalborg.

Research output: Book/ReportAnthologyResearchpeer-review

Open Access

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

Nielsen, B. (ed.) & Weise, C. (ed.), Nov 2012, Springer Publishing Company. (Lecture Notes in Computer Science, Vol. 7641).

Research output: Book/ReportAnthologyResearchpeer-review


Automated Technology for Verificiation and Analysis: Proceedings 7th International Symposium, ATVA 2009

Liu, Z. (ed.) & Ravn, A. P. (ed.), 2009, Springer. (Lecture Notes in Computer Science, Vol. 5799).

Research output: Book/ReportAnthologyResearch


Proceedings of the Workshop on Structural Operational Semantics, (SOS 2004), London, England, August 30, 2004

Aceto, L. (ed.), Fokkink, W. (ed.) & Ulidowski, I. (ed.), 2005, Pergamon Press. 122 p. (Electronic Notes in Theoretical Computer Science; No. 1, Vol. 128).

Research output: Book/ReportAnthologyResearch


Proceedings of 4th International Workshop on Formal Approaches to Software Testing

Grabowski, J. (ed.) & Nielsen, B. (ed.), 2004, 1 ed. Germany: Springer. 227 p.

Research output: Book/ReportAnthologyResearch