Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

1994

Adding Action-Tefinement to a Finite Process Algebra

Aceto, L. & Hennesy, M., 1994, In : Information and Computation. 115, p. 179-247

Research output: Contribution to journalJournal articleResearchpeer-review

34 Citations (Scopus)

Automatic Verification of Real-Time Systems Using Epsilon

Godskesen, J. C., Larsen, K. G. & Skou, A., 1994, Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94. Voung, S.-T. : Chanson, S.-T. (Eds.) (ed.). Chapman & Hall, p. 232-330

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Process Calculi with Asynchronous Communication: Master's Thesis

Hansen, M. & Kleist, J., 1994, R-94-2028 ed. Aalborg: Department of Computer Science, Aalborg University.

Research output: Book/ReportReport

Undecidable equivalences for basic process algebra

Groote, J. F. & Hüttel, H., Dec 1994, In : Information and Computation. 115, 2, p. 354-371 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
38 Citations (Scopus)

Verification of Real-Time Applications Using the Epsilon System

Godskesen, J. C., Larsen, K. G. & Skou, A., 1994, Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.. Technical University of Denmark (DTU), p. 41-52

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

1992

Bisimulation equivalence is decidable for context-free processes

Christensen, S., Hüttel, H. & Stifling, C., 1 Jan 1992, CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. Cleaveland, W. R. (ed.). Physica-Verlag, p. 138-147 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 630 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

48 Citations (Scopus)

Testing and Verification of Probabilistic Processes

Larsen, K. G. & Skou, A., 1992, NSDCS'92. Heegaard, Poul : Helvik, Bjarne (eds.) (ed.). NTH, p. 235-250

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

1991

Bisimulation through Probabilistic Testing

Larsen, K. G. & Skou, A., 1991, In : Information and Computation. 94, 1, p. 1-28

Research output: Contribution to journalJournal articleResearchpeer-review

701 Citations (Scopus)

Silence is golden: Branching bisimilarity is decidable for context-free processes

Hüttel, H., 1991, Computer Aided Verification - 3rd Intenational Workshop, CAV 1991, Proceedings. Larsen, K. G. & Skou, A. (eds.). Physica-Verlag, p. 2-12 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 575 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
8 Citations (Scopus)
1989

Bisimulation Through Probabilistic Testing (Preliminary Report)

Larsen, K. G. & Skou, A., 1989, Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages. <Forlag uden navn>, p. 344-352

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

The use of static constructs in a model process logic

Hüttel, H. & Larsen, K. G., 1 Jan 1989, Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings. Meyer, A. R. & Taitslin, M. A. (eds.). Physica-Verlag, p. 163-180 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 363 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

45 Citations (Scopus)

Validation of Concurrent Processes with Emphasis on Testing

Skou, A., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 1989 : R 89-46).

Research output: Book/ReportBookCommunication