Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

2005

On Counting the Number of Consistent Genotype Assignments for Pedigrees

Srba, J., 2005, Proceedings of FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Ramanujam, R. & Sen, S. (eds.). IEEE Computer Society Press, (Lecture Notes in Computer Science; No. 3821).

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

Online Testing of Real-time Systems Using Uppaal

Larsen, K. G., Mikucionis, M. & Nielsen, B., 2005, Formal Approaches to Testing of Software (FATES 2004) Proceedings. Grabowski, J. & Nielsen, B. (eds.). Springer, p. 79-94 (Lecture Notes in Computer Science; No. 3395).

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

78 Citations (Scopus)

Optimal Conditional Reachability for Multi-Priced Timed Automata

Larsen, K. G. & Rasmussen, J. I., 2005, Proceedings of Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Sassone, V. (ed.). IEEE Computer Society Press, p. 234-249 (Lecture Notes in Computer Science; No. 3441).

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

31 Citations (Scopus)

Optimal scheduling using priced timed automata

Behrmann, G., Larsen, K. G. & Rasmussen, J. I., 2005, In : SIGMETRICS Performance Evaluation Review - Measurement and Evaluation. 32, 4, p. 34-40

Research output: Contribution to journalJournal articleResearch

1 Citation (Scopus)

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 proceedingPreface/Introduction/postscriptResearch

Priced Timed Automata: Decidability Results, Algorithms and Applications

Behrmann, G., Larsen, K. G. & Rasmussen, J. I., 2005, Revised Lectures of the Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004. de Boer, F., Bonsangue, M., Graf, S. & de Roever, W-P. (eds.). Springer, p. 162-186 (Lecture Notes in Computer Science; No. 3657).

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

44 Citations (Scopus)

Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05)

Srba, J. (ed.) & Smolka, S. A. (ed.), 2005, 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). NS-05-4 ed. BRICS, p. 1-70 70 p.

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

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

Process Algebra: Guest editors' foreword

Aceto, L., Esik, Z., Fokkink, W. & Ingolfsdottir, A., 2005, In : Theoretical Computer Science. 335, 2-3, p. 127-129 3 p.

Research output: Contribution to journalJournal articleResearchpeer-review

1 Citation (Scopus)

Production Scheduling by Reachability Analysis: A Case Study

Behrmann, G., Brinksma, E., Hendriks, M. & Mader, A., 2005, IPDPS 2005. IEEE Computer Society Press

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

22 Citations (Scopus)

Recursion Versus Replication in Simple Cryptographic Protocols

Hüttel, H. & Srba, J., 2005, SOFSEM 2005 : Theory and Practice of Computer Science: Proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Vojtáš, P., Bieliková, M., Charron-Bost, B. & Sýkora, O. (eds.). IEEE Computer Society Press, p. 178-187 10 p. (Lecture Notes in Computer Science; No. 3381).

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

5 Citations (Scopus)

Recursion vs. Replication in Simple Cryptographic Protocols

Huttel, H. & Srba, J., 2005, Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'05). p. 175-184 10 p.

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

File
282 Downloads (Pure)

Report on the Icelandic Centre of Excellence in Theoretical Computer Science

Aceto, L., Halldorsson, M. M. & Ingolfsdottir, A., 2005, Bulletin of the EATCS volume 86 (June 2005). Sassone, V. (ed.). EATCS, Vol. 86. p. 262-263 2 p. (Bulletin of the EATCS).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterCommunication

Scheduling lacquer production by reachability analysis: A case study

Behrmann, G., Brinksma, E., Hendriks, M. & Mader, A., 2005, IFAC World Congress. Elsevier

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

5 Citations (Scopus)

Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge

Aceto, L., Fokkink, W., Ingolfsdottir, A. & Luttik, B., 2005, In : Logical Methods in Computer Science. 1, 1, p. 1-12

Research output: Contribution to journalJournal articleResearchpeer-review

2 Citations (Scopus)

Staying Alive as Cheaply as Possible

Bouyer, P., Brinksma, E. & Larsen, K. G., 2005, In : Special issue of Formal Methods in System Design from HSCC 2004. 2993

Research output: Contribution to journalJournal articleResearch

Synthesis of Optimal Strategies Using HyTech

Bouyer, P., Cassez, F., Larsen, K. G. & Fleury, E., 2005, Proceedings of the Workshop on Games in Design and Verification. Elsevier, p. 11-31 (Electronic Notes of Theoretical Computer Science; No. 1, Vol. 119).

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

10 Citations (Scopus)

Testing Real-Time Embedded Software using UppAal-TRON: an industrial case study

Mikucionis, M., Larsen, K. G., Nielsen, B. & Skou, A., 2005, Fifth ACM International Conference on Embedded Software (EMSOFT). Association for Computing Machinery, p. 299-306 8 p.

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

107 Citations (Scopus)

The Distributed-SDF Domain

Cuadrado, D. L., Ravn, A. P. & Koch, P., 2005, The Sixth Biennial Ptolemy Miniconference Proceedings. EECS Department, University of California

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

The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems

Aceto, L. & Fokkink, W., 2005, Århus. 6 p. (B R I C S Notes Series; No. NS-05-3).

Research output: Book/ReportBookCommunication

Timed-Arc Petri Nets vs. Networks of Timed Automata

Srba, J., 2005.

Research output: Contribution to conference without publisher/journalPosterResearch

26 Citations (Scopus)

Tools for Verification and Validation

Larsen, K. G. & Nielsen, B., 2005, Embedded Systems Design: The ARTIST Roadmap for Research and Development. Bouyssounouse, B. & Sifakis, J. (eds.). Berlin / Heidelberg: IEEE Computer Society Press, p. 72 (Lecture Notes in Computer Science, Vol. 3436).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

Types for Access Control in a Calculus of Mobile Resources

Hüttel, H. & Kühnrich, M., 2005, Electronic Notes in Theoretical Computer Science: Proceedings of SecCo'05. 13 p.

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

Using UPPAAL to Analyze an MPEG-2 Algorithm

Cambronero, M. E., Ravn, A. P. & Valero, V., 2005, Proceedings of the VII Workshop Brasileiro de Tempo Real. p. 73-82 6 p.

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

What is Theoretical Computer Science? (Preliminary Version)

Aceto, L. & Ingolfsdottir, A., 2005, Århus: BRICS. 13 p. (B R I C S Notes Series; No. NS-05-1).

Research output: Book/ReportBookCommunication

2004

An Approach to Quality Estimation in Model-Based Development

Holmegaard, J. P., Koch, P. & Ravn, A. P., 2004, IProceedings of Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2004): TUCS General Publication. 29 ed. Turku Centre for Computer Science, p. 81-92

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

An MTIDD based firewall: Using decision diagrams for packet filtering

Christiansen, M. & Fleury, E., 2004, In : Telecommunications Systems. 27, 2-4, p. 297-319 22 p.

Research output: Contribution to journalJournal articleResearchpeer-review

9 Citations (Scopus)

A Tutorial on UPPAAL

Behrmann, G., David, A. & Larsen, K. G., 2004, Formal Methods for the Design of Real-Time Systems: Lecture Notes in Computer Science (revised lectures). Marco Bernardo, Flavio Corradini (eds.) (ed.). 3185 ed. Springer, p. 200-237

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

853 Citations (Scopus)

Bisimilarity is not Finitely Based over BPA with Interrupt

Aceto, L., Fokkink, W., Ingolfsdottir, A. & Nain, S., 2004.

Research output: Working paperResearch

Color-blind Behavioral Specifications for Transformations of Reactive Synchronous Programs

Larsen, U., Larsen, K. G. & Wasowski, A., 2004, Proceedings of the 16th Nordic Workshop on Programming Theory: Technical report. Pettersson, P. & Yi, W. (eds.). 2004-041 ed. Uppsala Sweden, p. 22-24

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

Completeness Results for Undecidable Bisimilarity Problems

Srba, J., 2004, Proccedings of the 5th International Workshop on Verification of Infinite-State Systems (INFINITY'03): ENTCS. 98 ed. Netherlands, p. 5-19

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

6 Citations (Scopus)

Connectivity testing through model-checking

Godskesen, J. C., Nielsen, B. & Skou, A., 2004, Formal Techniques for Networked and Distributed Systems - Forte 2004, Proceedings. Vol. 3235. p. 167-184

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

1 Citation (Scopus)

Danfoss EKC Trial Project Deliverables

Nielsen, B., Larsen, K. G., Larsen, U., Skou, A. & Andrzej, W., 2004, p. 52.

Research output: Working paperResearch

Directed homology

Fahrenberg, U., 2004, CONCUR 2003: CMCIM and GETCO. Hildebrandt, T., Kurz, A., Goubault, E. & Fahrenberg, U. (eds.). p. 111-125

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

7 Citations (Scopus)

Formal Modeling and Analysis of Timed Systems

Larsen, K. G. & Niebert, P., 2004, Springer. 281 p. (Lecture Notes in Computer Science; No. 2791).

Research output: Book/ReportBookResearch

Guest editors' introduction: Special issue on structural operational semantics

Aceto, L. & Fokkink, W., 2004, In : Journal of Logic and Algebraic Programming. 60-61, p. 1-2 2 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Highly Undecidable Questions for Process Algebras

Srba, J. & Jancar, P., 2004, Proceedings of 3rd IFIP International Conference on Theoretical Computer Science (TCS'04). Kluwer Academic Publishers, p. 507-520

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

5 Citations (Scopus)

Integrating an UML tool in an Industrial Development Process: a Case Study

Knudsen, J., Gøttler, R., Jacobsen, M., Jensen, M. W., Rye-Andersen, J. G. & Ravn, A. P., 2004, UML'04 satellite workshop proceedings. Jürens, J., Fernandez, E. B., France, R. & Rumpe, B. (eds.).

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

Open Access
File
361 Downloads (Pure)

Intelligent Sensory Using Compact Data Structures and Bayesian Networks

Hansen, J. A., 2004, Proceeding of the 16th Nordic Workshop on Programming Theory. 16 ed. Department of Information Tecnology, Uppsala University, p. 99-102 4 p.

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

I takt med Tiden

Behrmann, G., Nielsen, B. & Mikucionis, M., 2004, Rundt om CISS. Larsen, K., Vestergaard, L. & Bang, N. (eds.).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

Lower and Upper Bounds in Zone Based Abstractions of Timed Automata

Behrmann, G., Bouyer, P., Larsen, K. G. & Pelánek, R., 2004, Proceedings of TACAS 2004: Lecture Notes in Computer Scinece. Jensen, K. & Podelski, A. (eds.). 2988 ed. Springer, p. 312-326 15 p.

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

31 Citations (Scopus)

Minimal DBM substraction

Larsen, K. G., David, A., Håkansson, J. & Pettersson, P., 2004, Proceedings of 16th Nordic Workshop on Programming Theory: Uppsala Technical Report. Pettersson, P. & Yi, W. (eds.). 2004-041 ed. p. 17-21 5 p.

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

Minimal DBM Substraction

David, A., Håkansson, J., G. Larsen, K. & Pettersson, P., 2004, ITU Copenhagen, p. 4.

Research output: Working paperResearch

Open Access
File
153 Downloads (Pure)

Modeling and Verifiying Parallel Processes

Larsen, K. G., 2004, Proceedings of MOVEP 2004. Raskin, J-F. (ed.).

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

Modelling and Verification of Real Time Systems

Larsen, K. G., 2004.

Research output: Contribution to conference without publisher/journalPaper without publisher/journalResearch

Nested Semantics over Finite Trees are Equationally Hard

Aceto, L., Fokkink, W., Glabbeek, van, R. & Ingolfsdottir, A., 2004, In : Information and Computation. 191, 2, p. 203-232

Research output: Contribution to journalJournal article

18 Citations (Scopus)

Online Testing of Real-time Systems using Uppaal: Status and Future Work

Larsen, K. G., Mikucionis, M. & Nielsen, B., 2004, Dagstuhl Seminar Proceedings: Perspectives of Model-Based Testing. Brinksma, Grieskamp, Tretmans & Weyuker (eds.). IBFI gem. GmbH, Schloss Dagstuhl, Vol. 04371.

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

On the Computational Complexity of Bisimulation, Redux

Moller, F., Smolka, S. & Srba, J., 2004, In : Information and Computation. 192, 2, p. 129-143 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

3 Citations (Scopus)

On the Construction of Connectivity Test Cases in the Setting of UppAal

Nielsen, B., Jens. Chr., G. & Skou, A., 2004, Formal Techniques for Networked and Distributed Systems - FORTE 2004. Springer, Vol. 3235.

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

Optimal Scheduling and Priced Timed Automata

Larsen, K. G., 2004, Proceedings of 16th Nordic Workshop on Programming Theory: Uppsala technical report. Pettersson, P. & Yi, W. (eds.). 2004-041 ed. p. 93-94 2 p.

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

31 Citations (Scopus)