Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

1998

A Menagerie of Non-Finitely based Process Semantics over BPA*: From Ready Simulation to Completed Traces

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 1998, In : Mathematical Structures in Computer Science. 8, 3, p. 193-230

Research output: Contribution to journalJournal articleResearchpeer-review

16 Citations (Scopus)

Design and Implementation of an Efficient, Layered Video Codec for Heterogeneous Networks

Jensen, M. V. & Nielsen, B., 1998, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R98-5008).

Research output: Book/ReportBookResearch

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 proceedingArticle in proceedingResearch

1 Citation (Scopus)

Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998

Ravn, A. P. & Rischel, H. E. ., 1998, Berlin: IEEE Computer Society Press. (Lecture Notes in Computer Science; No. 1486).

Research output: Book/ReportBookResearch

From Safety Analysis to Formal Specification

Hansen, K. M., Ravn, A. P. & Stavridou, V., 1998, In : IEEE Transactions on Software Engineering. 24, 7, p. 573-584

Research output: Contribution to journalJournal articleResearchpeer-review

81 Citations (Scopus)

Imperative Objects as Mobile Processes

Kleist, J. & Sangiorgi, D., 1998, Programming Concepts and Methods, PROCOMET '98. Chapman & Hall, p. 285-303

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

Migration = cloning; aliasing

Hüttel, H., Kleist, J., Nestmann, U. & Merro, M., 1998, RS-98-34 ed. Århus: BRICS - Basic Research in Computer Science.

Research output: Book/ReportReportResearch

Model Checking via Reachability Testing for Timed Automata

Aceto, L., Burgueño, A. & Larsen, K. G., 1998, Tools and Algorithms for the Construction and Analysis of Systems : Proc. of the 4th International Conference, TACAS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998: Lecture Notes in Computer Science. Steffen, B. (ed.) (ed.). 1384 ed. IEEE Computer Society Press, p. 263-280

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

49 Citations (Scopus)

On a Question of A. Salomaa: the Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitely Based

Aceto, L., Fokkink, W. & Ingolfsdottir, A., 1998, In : Theoretical Computer Science. 209, 1-2, p. 163-178

Research output: Contribution to journalJournal articleResearchpeer-review

7 Citations (Scopus)

Proceedings of the Workshop on Semantics of Objects as Processes: SOAP'98, July 18, 1998, Aalborg, Denmark

Hüttel, H. E. . & Nestmann, U. E. ., 1998, Århus: Department of Computer Science, Aarhus University. (B R I C S Notes Series; No. NS-98-5).

Research output: Book/ReportBookResearch

Surrogater i Øjeblik: mod migrerering i Obliq

Translated title of the contribution: Surrogates in ØjeblikHüttel, H., Kleist, J., Nestmann, U. & Sangiorgi, D., 1998, Proceedings of the Workshop on Semantics of Objects as Processes: Brics Notes Series. Hüttel, Hans : Nestmann, Uwe (eds.) (ed.). NS-98-5 ed. Department of Computer Science, Aarhus University, p. 43-50

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

Surrogates in Øjeblik: Towards Migration in Obliq

Hüttel, H., Kleist, J., Nestmann, U. & Sangiorgi, D., 1998, Proceeding of FOOL5.

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

The Design and Implementation of ZCRP Zero Copying Reliable Protocol

Christiansen, M., Hagen, J. L., Nielsen, B., Skou, A. & Skov, K. Q., 1998, Aalborg : Aalborg University: Department of Computer Science, Aalborg University. (R : Department of Computer Science, Aalborg University; No. R98-5011).

Research output: Book/ReportBookResearch

The Power of Reachability Testing for Timed Automata

Aceto, L., Bouyer, P., Burgueno, A. & Larsen, K. G., 1998, Foundations of Software Technology and Theoretical Computer Science : Proceedings of the 18th Conference, Chennai, India, December 17-19, 1998: Lecture Notes in Computer Science. Arvind, V. : Ramanujam, R. (eds.) (ed.). 1530 ed. IEEE Computer Society Press, p. 245-256

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

25 Citations (Scopus)

Verifying Duration Properties of Timed Transition Systems

Liu, Z., Ravn, A. P. & Li, X., 1998, Programming Concepts and Methods : PROCOMET '98 : IFIP TC2 WG2.2, 2.3 International Conference in Programming Concepts and Methods 8-12 June 1998, Shelter Island, New York, USA. Gries, D. : Roever, W.-P. de (eds.) (ed.). Kluwer Academic Publishers, p. 327-345

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

1997

A Characterization of Finitary Bisimulation

Aceto, L. & Ingolfsdottir, A., 1997, Århus: Department of Computer Science, Aarhus University. (BRICS Report Series; No. RS-97-26).

Research output: Book/ReportBookResearch

3 Citations (Scopus)

A Characterization of Finitary Bisimulation

Aceto, L. & Ingolfsdottir, A., 1997, In : Information Processing Letters. 64, 3, p. 127-141

Research output: Contribution to journalJournal articleResearchpeer-review

3 Citations (Scopus)

A Complete Equational Axiomatization for MPA with String Iteration

Aceto, L. & Groote, J. F., 1997, Amsterdam: Centrum voor Wiskunde en Informatica. (Report; No. SEN-R9708).

Research output: Book/ReportBookCommunication

Formal Modelling and Analysis of an Audio/Video Protocol: an Industrial Case Study using Uppaal

Havelund, K., Larsen, K. G. & Skou, A., 1997, Proceedings of the 18th IEEE Real-Time Systems Symposium, RTSS'97, San Francisco, Calif., December 3-5, 1997. IEEE Computer Society Press, p. 2-13

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

Model Checking via Reachability Testing for Timed Automata

Aceto, L., Burgueño, A. & Larsen, K. G., 1997, Århus : Daimi: Department of Computer Science, Aarhus University. (BRICS Report Series; No. RS-97-29).

Research output: Book/ReportBookResearch

Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL

Skou, A., Larsen, K. G. & Jensen, H. E., 1997, Proceedings of the DIMACS Workshop SPIN96, the 2nd International Workshop on the SPIN Verification System. American Mathematical Society, p. 33-50 18 p.

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

Objects, Types and Modal Logics

Andersen, D. S., Hüttel, H., Kleist, J. & Pedersen, L. H., 1997, Proceedings of FOOL4.

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

Relating Semantic Models for the Object Calculus: Preliminary Report

Aceto, L., Hüttel, H., Ingolfsdottir, A. & Kleist, J., 1997, Proceedings of EXPRESS'97.

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

1 Citation (Scopus)
1996

A Menagerie of Non-Finitely Based Process Semantics over BPA: From Ready Simulation to Completed Traces

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 1996, Århus : Daimi: Department of Computer Science, Aarhus University. 38 p. (BRICS Report Series; No. RS-96-23).

Research output: Book/ReportBookResearch

An Equational Axiomatization for Multi-Exit Iteration

Aceto, L. & Fokkink, W. J., 1996, In : Information and Computation. 137, 2, p. 121-158

Research output: Contribution to journalJournal articleResearchpeer-review

5 Citations (Scopus)

An Equational Axiomatization for Multi-Exit Iteration

Aceto, L. & Fokkink, W. J., 1996, Århus : Daimi: Department of Computer Science, Aarhus University. 30 p. (BRICS Report Series; No. RS-96-22).

Research output: Book/ReportBookResearch

An Equational Axiomatization of Observation Congruence for Prefix Iteration

Aceto, L. & Ingolfsdottir, A., 1996, Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology, Munich, Germany, 1996. Wirsing, M. : Nivat, M. (eds.) (ed.). IEEE Computer Society Press, p. 195-209

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

10 Citations (Scopus)

Axiomatizing Prefix Iteration with Silent Steps

Aceto, L., Fokkink, W. J., Glabeek, R. J. V. & Ingolfsdottir, A., 1996, In : Information and Computation. 127, p. 26-40

Research output: Contribution to journalJournal articleResearchpeer-review

27 Citations (Scopus)

Bisimulations for Asynchronous Mobile Processes

Hansen, M., Hüttel, H. & Kleist, J., 1996, RS-96-8 ed. Århus: BRICS - Basic Research in Computer Science.

Research output: Book/ReportReportResearch

Objects, Types and Modal Logics

Andersen, D. S., Hüttel, H., Kleist, J. & Pedersen, L. H., 1996, RS-96-49 ed. Århus: BRICS - Basic Research in Computer Science.

Research output: Book/ReportReportResearch

Objects as Mobile Processes

Hüttel, H. & Kleist, J., 1996, RS-96-38 ed. Århus: BRICS - Basic Research in Computer Science.

Research output: Book/ReportReportResearch

On a Question of A Salomaa: the Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitely based

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 1996, Århus: Department of Computer Science, Aarhus University. (BRICS Report Series; No. RS-96-36).

Research output: Book/ReportBookResearch

Specification and Automated Verification of a Real-Time Behaviour: a Case Study

Andersen, J. H., Kristensen, C. H. & Skou, A., 1996, In : Annual Reviews in Control. 20, p. 55-70

Research output: Contribution to journalJournal articleResearchpeer-review

Timing and Causality in Process Algebra

Aceto, L. & Murphy, D., 1996, In : Acta Informatica. 33, p. 317-350

Research output: Contribution to journalJournal articleResearchpeer-review

72 Citations (Scopus)
1995

A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours

Aceto, L. & Jeffrey, A. S. A., 1995, In : Theoretical Computer Science. 152, p. 251-268

Research output: Contribution to journalJournal articleResearchpeer-review

12 Citations (Scopus)

A Complete Equational Axiomatization for MPA with String Iteration

Aceto, L. & Groote, J. F., 1995, Århus : Daimi: Department of Computer Science, Aarhus University. 39 p. (BRICS Report Series; No. RS-95-28).

Research output: Book/ReportBookResearch

A Complete Equational Axiomatization for Prefix Iteration with Silent Steps

Aceto, L. & Ingolfsdottir, A., 1995, Århus : Daimi: Department of Computer Science, Aarhus University. 27 p. (BRICS Report Series; No. RS-95-5).

Research output: Book/ReportBookResearch

A Fully Abstract Denotational Model for Observational Precongruence

Ingolfsdottir, A. & Schalk, A., 1995, Proceedings of CSL'95 : 9th International Workshop, Paderborn, Germany, September 22-29, 1995: Lecture Notes in Computer Science. Bünung, Hans Kleine (ed.) (ed.). 1092 ed. IEEE Computer Society Press, p. 335-361

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

Axiomatizing Prefix Iteration with Silent Steps

Aceto, L., Fokkink, W. J., Glabeek, R. J. V. & Ingolfsdottir, A., 1995, Århus : Daimi: Department of Computer Science, Aarhus University. 25 p. (BRICS Report Series; No. RS-95-56).

Research output: Book/ReportBookResearch

Bisimulation equivalence is decidable for all context-Free processes

Christensen, S., Hüttel, H. & Stirling, C., Sep 1995, In : Information and Computation. 121, 2, p. 143-148 6 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
78 Citations (Scopus)

Bisimulations for Asynchronous Mobile Processes

Hansen, M., Hüttel, H. & Kleist, J., 1995, Proceedings of Tbilisi Symposium on Language, Logic, and Computation.

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

Experiments with TCP/IP in ATM High-Speed Data Communications

Henriksen, K., Hillemann, R. J., Piatraszek, W., Skou, A. & Aaen, M., 1995, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R95-2026).

Research output: Book/ReportBookResearch

Generality in Design and Compositional Verification using TAV

Børjesson, A., Larsen, K. G. & Skou, A., 1995, In : Formal Methods in System Design. 6, p. 239-258

Research output: Contribution to journalJournal articleResearchpeer-review

9 Citations (Scopus)

Inferring Effect Types in an Applicative Language with Asynchronous Communication

Hüttel, H., Hansen, M., Jensen, B. & Kleist, J., 1995, Proceedings of Second ACM SIGPLAN Workshop on State in Programming Languages. UILI-ENG-95-1702 ed. Dept. of Computer Science, University of Illinois at Urbana-Campaign

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

Late and Early Semantics Coincide for Testing

Ingólfsdóttir, A., 1995, In : Theoretical Computer Science. 146, 1-2, p. 341-349

Research output: Contribution to journalJournal articleResearchpeer-review

2 Citations (Scopus)

On the Finitary Bisimulation

Aceto, L. & Ingolfsdottir, A., 1995, Århus: Department of Computer Science, Aarhus University. 29 p. (BRICS Report Series; No. RS-95-59).

Research output: Book/ReportBookResearch

Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems

Engberg, U. H., Larsen, K. G. & Skou, A., 1995, Århus: Department of Computer Science, Aarhus University. (B R I C S Notes Series; No. NS-95-2).

Research output: Book/ReportBookResearch

Specification and Automated Verification of Real-Time Behaviour: A Case Study

Andersen, J. H., Kristensen, C. H. & Skou, A., 1995, Århus: Department of Computer Science, Aarhus University. (BRICS Report Series; No. RS-95-60).

Research output: Book/ReportBookCommunication

Tools and Algorithms for the Construction and Analysis of Systems

Brinksma, E. E. ., Cleaveland, W. R. E. ., Larsen, K. G., Margari, T. E. ., Skou, A. E. . & Steffen, B. E. ., 1995, Berlin: IEEE Computer Society Press. (Lecture Notes in Computer Science; No. 1019).

Research output: Book/ReportBookResearch

1994

A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours

Aceto, L. & Jeffrey, A. S. A., 1994, Århus : Daimi: Department of Computer Science, Aarhus University. 18 p. (BRICS Report Series; No. RS-94-43).

Research output: Book/ReportBookResearch