Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

2006

Computer Science - Research Evaluation: 2001 - 2005

Kleist, J. (ed.), 2006, Aalborg: Aalborg Universitet. 113 p.

Research output: Book/ReportReportCommunication

Contract-based Internet Service Software Development: A Proposal

Giambiagi, P., Owe, O., Schneider, G. & Ravn, A. P., 2006, Oslo, Norway: Department of Informatics, University of Oslo. (Report-UiO; No. 333).

Research output: Book/ReportReportResearch

CyNC: A method for real time analysis of systems with cyclic data flows

Jessen, J. J., Schiøler, H., Nielsen, J. F. D. & Larsen, K. G., 2006, In : Journal of Embedded Computing. 2, 3, p. 347-360 13 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Decidability Issues for Extended Ping-Pong Protocols

Huttel, H. & Srba, J., 2006, In : Journal of Automated Reasoning. 36, 1-2, p. 125-147 23 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2 Citations (Scopus)

Design Patterns for Control Systems

Knudsen, J., Ravn, A. P. & Skou, A., 2006, Proceedings of the NWUML'06: The 4th Nordic Workshop on UML and Software Modelling. Prinz, A. & Skjelten Tveit, M. (eds.). Høgskolen i Agder

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

Developing a TTCN-3 Test Harness for Legacy Software

Okika, J. C., Ravn, A. P., Siddalingaiah, L. & Liu, Z., 2006, Proceedings of the 2006 international workshop on Automation of software test: AST '06. Association for Computing Machinery, p. 104-110 7 p.

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

6 Citations (Scopus)

Formalization in Component Based Development

Holmegaard, J. P., Knudsen, J., Makowski, P. & Ravn, A. P., 2006, Mathematical Frameworks for Component Software. Liu, Z. & He, J. (eds.). World Scientific, p. 255-281 27 p. (Component-Based Software Development; No. 2).

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

Formal Methods for Abstract Specifications – A Comparison of Concepts

Instenberg, M., Schneider, A., Schnetter, S., Heinkel, U., Larsen, K. G. & Behrmann, G., 2006, Technical Report. IEEE Press, 6 p.

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

Harnessing Theories for Tool Support

Liu, Z., Mencl, V., Ravn, A. P. & Yang, L., 2006, Proceedings of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: ISoLA 2006. University of Cyprus, 12 p.

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

7 Citations (Scopus)

Interface Input/Output Automata

Larsen, K. G., Nyman, U. & Wasowski, A., 2006, FM 2006: Formal Methods: 14th International Symposium on Formal MethodsHamilton, Canada, August 21-27, 2006 Proceedings. Misra, J., Nipkow, T. & Sekerinski, E. (eds.). Springer, Vol. Springer. p. 82-97 16 p.

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

Open Access
File
25 Citations (Scopus)
334 Downloads (Pure)

Interface Input/Output Automata: Splitting Assumptions from Guarantees

Larsen, K. G., Nyman, U. & Wasowski, A., 2006.

Research output: Working paperResearch

File
94 Downloads (Pure)

Introducing Synchronisation in Deterministic Network Models

Schiøler, H., Jessen, J. J., Nielsen, J. F. D. & Larsen, K. G., 2006, Computer Applications in Industry and Engineering (CAINE-2006), 19th Int'l. Conference. Phillip, T. (ed.). Denmark., 8 p.

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

1 Citation (Scopus)

Language-based support for service oriented architectures: Future directions

Giambiagi, P., Owe, O., Ravn, A. P. & Schneider, G., 2006, Proceedings of ICSOFT. Filipe, J., Shishkov, B. & Helfert, M. (eds.). Institute for Systems and Technologies of Information, Control and Communication, Vol. 1. p. 339-344 5 p.

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

7 Citations (Scopus)

Model Checking Timed Automata with Priorities using DBM Subtraction

David, A., Larsen, K. G., Pettersson, P. & Håkansson, J., 2006, Proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06). Asarin, E. & Bouyer, P. (eds.). Springer, p. 128-142 15 p. (Lecture Notes in Computer Science; No. 4202).

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

22 Citations (Scopus)

Monitoring Indoor Temperature and Humidity for Pig Stables

Hansen, J. A., Nielsen, T. D. & Schiøler, H., 2006.

Research output: Contribution to conference without publisher/journalPosterResearch

Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols

Delzanno, G., Esparza, J. & Srba, J., 2006, Automated Technology for Verification and Analysis: Proceedings of the 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. IEEE Computer Society Press, p. 415-429 15 p. (Lecture Notes in Computer Science; No. 4218).

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

One Clock Priced Timed Automata: Model Checking and Optimal Strategies

Bouyer, P., Laroussinie, F., Larsen, K. G. & Markey, N., 2006, 10 p.

Research output: Book/ReportReportResearch

On the axiomatizability of priority

Aceto, L., Chen, T., Fokkink, W. & Ingolfsdottir, A., 2006, Automata, Languages and Programming. p. 480-491

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

8 Citations (Scopus)

On using priced timed automata to achieve optimal scheduling

Rasmussen, J. I., Larsen, K. G. & Subramani, K., 2006, In : Formal Methods in System Design. 29, 1, p. 97-114 18 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

17 Citations (Scopus)

Prosoft: procesforbedring under udvikling af indlejret og teknisk software

Skou, A. (ed.), Nielsen, B., Skou, A., Aaen, I., Nielsen, P. A., Knudsen, J. & Biegel, J. (ed.), 2006, Aalborg: CISS, Aalborg Universitet. 150 p.

Research output: Book/ReportReportCommunication

Reparametrizations of continuous paths

Fahrenberg, U. & Raussen, M., 2006, Department of Mathematical Sciences, Aalborg University. 20 p. (Research Report Series; No. R-2006-22).

Research output: Book/ReportReportResearch

Open Access
File
103 Downloads (Pure)

Roadmap for the ARC Grid Middleware

Kleist, J., Eerola, P., Ekelöf, T., Ellert, M., Grønager, M., Renner Hansen, J., Haug, S., Konstantinov, A., Kónya, B., Ould-Saada, F., Smirnova, O., Szalai, F. & Wäänänen, A., 2006, Ikke angivet. Springer, Vol. 4699. p. 471-479 (Lecture Notes in Computer Science; No. 4699).

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

Sandboxing in a Distributed Pi-Calculus

Hüttel, H. & Kühnrich, M., 2006, WITS 2006. Gollmann, D. & Jürjens, J. (eds.). p. 114-128 15 p.

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

File
271 Downloads (Pure)

Sensor Fusion using Dynamic Bayesian Networks in Livestock Production Buildings

Hansen, J. A., Nielsen, T. D. & Schiøler, H., 2006, Int. Conf. on Computational Intelligence for Modelling Control and Automation, CIMCA'06. Mohammadian, M. (ed.). IEEE Computer Society Press, 7 p.

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

2 Citations (Scopus)

Undecidability Results for Bisimilarity on Prefix Rewrite Systems

Jancar, P. & Srba, J., 2006, Foundations of Software Science and Computation Structures: Proceedings of the 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. IEEE Computer Society Press, p. 277-291 15 p. (Lecture Notes in Computer Science; No. 3921).

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

1 Citation (Scopus)

UPPAAL 4.0

David, A., Larsen, K. G., Behrmann, G., Håkansson, J., Pettersson, P., Yi, W. & Hendriks, M., 2006, Third International Conference on the Quantitative Evaluation of SysTems (QEST) 2006. IEEE Computer Society Press, p. 125-126 2 p.

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

UPPAAL-Tiga: Timed Games for Everyone

David, A., Larsen, K. G., Behrmann, G., Fleury, E., Lime, D. & Cougnard, A., 2006, Proceedings of the 18th Nordic Workshop on Programming Theory. Aceto, L. & Ingolfdottir, A. (eds.). University of Reykjavik, 4 p.

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

Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation

Srba, J., 2006, Computer Science Logic: Proceedings of 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. IEEE Computer Society Press, p. 89-103 15 p. (Lecture Notes in Computer Science; No. 4207).

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

12 Citations (Scopus)
2005

A framework for job management in the NorduGrid ARC middleware

Jensen, H. T., Kleist, J. & Ryge Leth, J., 2005, Advances in Grid Computing - EGC 2005. Sloot, P. M. A., Hoekstra, A. G., Priol, T., Reinefeld, A. & Bubak, M. (eds.). IEEE Computer Society Press, p. 861-871 (Lecture Notes in Computer Science; No. 3470).

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

1 Downloads (Pure)

Allegro Version 2

Ingolfsdottir, A., Gudbjartsson, D. F., Thorvaldsson, T., Kong, A. & Gunnarsson, G., 2005, In : Nature Genetics. 37, 10, p. 1015-1016

Research output: Contribution to journalJournal articleResearchpeer-review

142 Citations (Scopus)

An Algebraic Theory Of Boundary Crossing Transitions

Skou, A., Ray, A. & Cleaveland, R., 2005, In : Electronical Notes in Theoretical Computer Science. p. 69-88 19 p., 115.

Research output: Contribution to journalJournal articleResearchpeer-review

1 Citation (Scopus)

An approach to handle Real Time and Probabilistic behaviors in e-commerce: Validating the SET Protocol

Diaz, G., Larsen, K. G., Pardo, J. & Valero, V., 2005, Proceedings of The 20th Annual ACM Symposium on Applied Computing, E-Coomerce Track. New Mexico Institute of Mining and Technology, Socorro, NM

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

Beyond Liveness: Efficient Parameter Synthesis for Timed Bounded Liveness

Behrmann, G., Larsen, K. G. & Rasmussen, J. I., 2005, International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05). IEEE Computer Society Press

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

Bisimilarity is not finitely based over BPA with interrupt

Aceto, L., Fokkink, W., Ingolfsdottir, A. & Nain, S., 2005, Proceedings of Algebra and Coalgebra in Computer Science, 1st Conference, CALCO 2005. Luiz Fiadeiro, J., Harman, N., Roggenbach, M. & Rutten, J. (eds.). IEEE Computer Society Press, p. 54-68 (Lecture Notes in Computer Science; No. 3629).

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

4 Citations (Scopus)

Bisimulation for Higher-Dimensional Automata. A Geometric Interpretation

Fahrenberg, U., 2005, Dept. of Mathematical Sciences: Aalborg Universitetsforlag. 22 p. (Research Report Series; No. R-2005-01).

Research output: Book/ReportReportResearch

Open Access
File
211 Downloads (Pure)

CCS with Hennessy's merge has no finite-equational axiomatization

Aceto, L., Fokkink, W., Ingolfsdottir, A. & Luttik, B., 2005, In : Theoretical Computer Science. 330, 9, p. 377-405

Research output: Contribution to journalJournal articleResearchpeer-review

16 Citations (Scopus)

Color-blind Specifications for Transformations of Reactive Synchronous Programs

Larsen, K. G., Larsen, U. & Wasowski, A., 2005, Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. Cerioli, M. (ed.). IEEE Computer Society Press, (Lecture Notes in Computer Science; No. 3442).

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

Open Access
File
3 Citations (Scopus)
348 Downloads (Pure)

CyNC - a method for Real Time Analysis of Systems with Cyclic Data Flows

Schiøler, H., Nielsen, J. F. D., Larsen, K. G. & Jessen, J. J., 2005, Proceedings of 13 th. RTS Conference on Embedded Systems.

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

CyNC - towards a General Tool for Performance Analysis of Complex Distributed Real Time Systems

Schiøler, H., Jessen, J. J., Nielsen, J. F. D. & Larsen, K. G., 2005, Proccedings of 17th Euromicro Conference on Real-Time Systems (ECRTS 05).

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

Dyrevelfærd starter i computeren

Hansen, J. A. & Jessen, J. J., 2005, In : Aktuel Naturvidenskab. 2

Research output: Contribution to journalJournal articleCommunication

Efficient On-the-fly Algorithms for the Analysis of Timed Games

Cassez, F., David, A., Fleury, E., Larsen, K. G. & Lime, D., 2005, Proceedings of CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Abadi, M. & de Alfaro, L. (eds.). IEEE Computer Society Press, p. 66-80 15 p. (Lecture Notes in Computer Science; No. 3653).

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

158 Citations (Scopus)

Finite equational bases in process algebra: Results and open questions

Aceto, L., Fokkink, W., Ingolfsdottir, A. & Luttik, B., 2005, Processes, Terms and Cycles: Steps on the Road to Infinity. p. 338-367

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

32 Citations (Scopus)

Foreword

Aceto, L., Esik, Z., Fokkink, W. & Ingolfsdottir, A., 2005, Theoretical Computer Science, Special Issue on Process Algebra. Aceto, L., Esik, Z., Fokkink, W. & Ingolfsdottir, A. (eds.). Pergamon Press, p. 127-129 (Theoretical Computer Science; No. 335(2-3)).

Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

Foreword

Srba, J. & Smolka, S. A., 2005, Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). Srba, J. & Smolka, S. A. (eds.). ENTCS ed. Springer

Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearchpeer-review

Genetic linkage analysis algorithms and their implementation

Ingolfsdottir, A. & Gudbjartsson, D., 2005, Transactions on Computational Systems Biology III: Lecture Notes in Computer Science / Lecture Notes in Bioinformatics. Priami, C., Merelli, E., Gonzalez, P. P. & Omicini, A. (eds.). IEEE Computer Society Press, p. 123-144 (Lecture Notes in Computer Science; No. 3737).

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

4 Citations (Scopus)

Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata

Behrmann, G., Bouyer, P., Larsen, K. G. & Pelánek, R., 23 Sep 2005, In : International Journal on Software Tools for Technology Transfer. 8, 3, p. 204-215

Research output: Contribution to journalJournal article

56 Citations (Scopus)

Merging {DBMs} Efficiently

David, A., 2005, 17th Nordic Workshop on Programming Theory, NWPT'05. DIKU, University of Copenhagen, p. 54-56 3 p.

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

Mid-term self evaluation report for SNF project no. 21-03-0243: "Danish Center for Grid Computing"

Jul, E., Kleist, J., Vinter, B., Hansen, J. S., Sharp, R. & Elgaard Larsen, N., 2005, 19 p.

Research output: Book/ReportReportResearch

Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies

Schiøler, H., Jessen, J. J., Nielsen, J. F. D. & Larsen, K. G., 2005, Computers and Their Applications (CATA-2005).

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

9 Citations (Scopus)