Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2020

Filter
Anthology
2019

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

2017

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

2016

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

2012
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
File

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

2009

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

2005

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

2004

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