Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

2009

On the Specification of Full Contracts

Okika, J., Ravn, A. P., Fenech, S., Pache, G. & Schneider, G., 2009, Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009). Elsevier, Vol. 253. p. 39-55 (Electronic Notes in Theoretical Computer Science; No. 253, Vol. 1).

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

4 Citations (Scopus)

Parametrised Constants and Replication for Spatial Mobility

Hüttel, H. & Haagensen, B., 2009, In : Lecture Notes in Computer Science. 5521, p. 123-142

Research output: Contribution to journalConference article in JournalResearchpeer-review

Playing Games with Timed Games

David, A., Larsen, K. G. & Chatain, T., 2009, In : I F A C Workshop Series. 3, 1

Research output: Contribution to journalConference article in JournalResearchpeer-review

7 Citations (Scopus)

Priced Timed Automata:  Theory and Tools

Larsen, K. G., 2009, In : Dagstuhl Seminar Proceedings. p. 417-425 9 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Quasimodo Year 1 Management Report

Nielsen, B. & Larsen, K. G., 2009, 41 p.

Research output: Working paperResearch

Refinement and verification in component-based model-driven design

Chen, Z., Liu, Z., Ravn, A. P., Stolz, V. & Zhan, N., 2009, In : Science of Computer Programming. 74, 4, p. 168-196 29 p.

Research output: Contribution to journalJournal articleResearchpeer-review

36 Citations (Scopus)

Resource bound analysis for database queries

Cheney, J. & Dahl, M., 2009, Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security. Association for Computing Machinery, p. 67-78

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

Robust LMI-Based Control of Wind Turbines with Parametric Uncertainties

Sloth, C., Esbensen, T., Niss, M. O. K., Stoustrup, J. & Odgaard, P. F., 2009, In : I E E E Conference on Control Applications. Proceedings. 2009, p. 776-781 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

36 Citations (Scopus)

Semantics for Communicating Actors with Interdependent Real-Time Deadlines

Knoll, I., Ravn, A. P. & Skou, A., 2009, Proceedings of Third IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009.. IEEE Computer Society Press, p. 29-35

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

TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets

Byg, J., Jørgensen, K. Y. & Srba, J., 2009, In : Lecture Notes in Computer Science. 5799, p. 84-89 6 p.

Research output: Contribution to journalConference article in Journal

14 Citations (Scopus)

Teaching Concurrency: Theory in Practice

Aceto, L., Ingolfsdottir, A., Larsen, K. G. & Srba, J., 2009, In : Lecture Notes in Computer Science. 5846, p. 158-175 18 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Test af Software: Test af indlejret og teknisk software

Skou, A. (ed.), Nielsen, B. (ed.) & Biegel, J. (ed.), 2009, Aalborg: CISS, Aalborg Universitet. 85 p.

Research output: Book/ReportBookCommunication

Timed Testing under Partial Observability

David, A., Larsen, K. G., Li, S. & Nielsen, B., 2009, Proceedings of 2009 International Conference on Software Testing Verification and Validation. IEEE Computer Society Press, p. 61-70 10 p.

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

Open Access
File
18 Citations (Scopus)
368 Downloads (Pure)

Tools for Model-Checking Timed Systems

David, A., Rasmussen, J. I., Larsen, K. G., Behrmann, G., Bulychev, P., Byg, J., Chatain, T., Pettersson, P., Srba, J., Yi, W., Jørgensen, K. Y., Lime, D., Magnin, M., Roux, O. H. & Traonouez, L-M., Oct 2009, Communicating Embedded Systems for Computer Science. Roux, O. H. & Jard, C. (eds.). Wiley, p. 165-225

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Type inference for correspondence types

Hüttel, H., Gordon, A. & Hansen, R. R., 2009, Proceedings of the 6th Workshop on Security Issues in Concurrency (SecCo'08). Elsevier, p. 21-36 15 p. (Electronic Notes in Theoretical Computer Science; No. 242, Vol. 3).

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

1 Citation (Scopus)

Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariatnts

Jacobsen, M., Jacobsen, L. & Møller, M. H., Dec 2009, In : OpenAccess Series in Informatics. 12, 8 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
199 Downloads (Pure)

Undecidable equivalences for basic parallel processes

Hüttel, H., Kobayashi, N. & Suto, T., 1 Jul 2009, In : Information and Computation. 207, 7, p. 812-829 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
4 Citations (Scopus)

Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

Fahrenberg, U., Larsen, K. G. & Thrane, C. R., 2009, Engineering Methods and Tools for Software Safety and Security: NATO Science for Peace and Security Series - D: Information and Communication Security. Broy, M., Sitou, W. & Hoare, T. (eds.). IOS Press, Vol. 22. 28 p. (NATO Science for Peace and Security Series - D: Information and Communication Security; No. 22).

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

Verification and Performance Analysis for Embedded Systems

Larsen, K. G., 2009, TASE 2009: Third IEEE International Symposium on Theoretical Aspects of Software Engineering. Wei-Ngan, C. & Shengchao, Q. (eds.). IEEE Computer Society Press, Vol. 3. p. 3-4 2 p. (TASE).

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

3 Citations (Scopus)

Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks

Hüttel, H., Kühnrich, M. & Godskesen, J. C., 2009, Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2008). 229 ed. Elsevier, Vol. 2. p. 77-93 16 p. (Electronic Notes in Theoretical Computer Science; No. 229, Vol. 2).

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

Verifying real-time systems against scenario-based requirements

Larsen, K. G., Li, S., Nielsen, B. & Pusinskas, S., 2009, In : Lecture Notes in Computer Science. 5850, p. 676-691 15 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
4 Citations (Scopus)
430 Downloads (Pure)

WCET Analysis of ARM Processors using Real-Time Model Checking

Toft, M., Olesen, M. C., Dalsgaard, A., Larsen, K. G. & Hansen, R. R., 2009, In : RWTH Aachen, Dept. of Computer Science. 14, p. 4-6

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
302 Downloads (Pure)

WYSIWYB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code

Lawall, J., Lawall, J., Palix, N., Hansen, R. R. & Muller, G., 2009, Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'09). IEEE Computer Society Press, p. 43-52 10 p.

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

2008

20 Years of Modal and Mixed Specifications

Antonik, A., Huth, M., Larsen, K. G., Nyman, U. & Wasowski, A., 2008, In : Bulletin of the European Association for Theoretical Computer Science. 95

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
489 Downloads (Pure)

A distributed storage system with dCache

Behrmann, G., Fuhrmann, P., Grønager, M. & Kleist, J., 2008, In : Journal of Physics - Conference Series. 10 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

15 Citations (Scopus)

A Distributed Tier-1

Fischer, L., Grønager, M., Kleist, J. & Smirnova, O., 2008, In : Journal of Physics - Conference Series. 11 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

2 Citations (Scopus)

A game-theoretic approach to real-time system testing

David, A., Larsen, K. G., Li, S. & Nielsen, B., 2008, In : Design, Automation and Test in Europe. p. 443-448 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
8 Citations (Scopus)
364 Downloads (Pure)

ALICE-ARC integration

Anderlik, C., Gregersen, A. R., Kleist, J., Peters, A. & Siaz, P., 2008, In : Journal of Physics - Conference Series. 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

An extensible analysable system model

Probst, C. W. & Hansen, R. R., 2008, In : Information Security Technical Report. 13, 4, p. 235-246

Research output: Contribution to journalJournal articleResearchpeer-review

31 Citations (Scopus)

Approches formelles des systèmes embarqués communicants

David, A., Behrmann, G., Larsen, K. G., Rasmussen, J. I., BÉRARD, B., GIRARD, A., HADDAD, S., CASSEZ, F., JARD, C., DANG, T., LE GERNIC, C., DONATELLI, S., LIME, D., ELLOY, J-P., MAGNIN, M., FREHSE, G., MARKEY, N., PETTERSSON, P., TRIPAKIS, S., Yi, W. & 1 others, H. ROUX, O., 2008, Hermés Science Publications. 268 p.

Research output: Book/ReportBookResearch

A Practical Approach to Mode Change in Real-Time Systems

Søndergaard, H., Ravn, A. P., Thomsen, B. & Schoeberl, M., 2008, Aalborg: Department of Computer Science, Aalborg University. 11 p. (Technical Report; No. 08-001).

Research output: Book/ReportReportResearch

Open Access
File
632 Downloads (Pure)

A Semantics for a Real-Time Actor Language

Knoll, I., Ravn, A. P. & Skou, A., 2008, 20th Nordic Workshop on Programming TheoryNWPT 2008: Abstracts. Department of Computer Science, Tallinn University of Technology, p. 60-62 3 p.

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

ATLAS DDM integration in ARC

Behrmann, G., Cameron, D., Ellert, M., Kleist, J. & Taga, A., 2008, In : Journal of Physics - Conference Series. 8 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

2 Citations (Scopus)

Classification of SOA Contract Specification Languages

Okika, J. C. & Ravn, A. P., 2008, Proceedings of the 2008 IEEE International Conference on Web Services - Volume 00. 00 ed. IEEE Computer Society Press, p. 433-440

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

8 Citations (Scopus)

Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets

Srba, J., 2008, Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Springer, p. 15-32 (Lecture Notes in Computer Science; No. 5215).

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

25 Citations (Scopus)

Complexity of decision problems for mixed and modal specifications

Antonik, A., Huth, M., Larsen, K. G., Nyman, U. & Wasowski, A., 2008, Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings. Amadio, R. (ed.). Springer, p. 112-126 (Lecture Notes in Computer Science; No. 4962).

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

Open Access
File
19 Citations (Scopus)
284 Downloads (Pure)

Consistency Checking of Web Service Contracts

Cambronero, M. E., Okika, J. C. & Ravn, A. P., 2008, In : International Journal on Advances in Systems and Measurements. 1, 1, p. 29-39

Research output: Contribution to journalJournal articleResearchpeer-review

Contract-oriented software development for internet services

Giambiagi, P., Owe, O., Ravn, A. P. & Schneider, G., 2008, In : ERCIM News. 72, p. 47-48

Research output: Contribution to journalJournal articleCommunication

Cooperative Testing of Uncontrollable Timed Systems

David, A., Larsen, K. G., Li, S. & Nielsen, B., Dec 2008, In : Electronic Notes in Theoretical Computer Science. 220, 1, 14 p.

Research output: Contribution to journalConference article in Journal

Open Access
File
5 Citations (Scopus)
257 Downloads (Pure)

CTL as an intermediate language

Jones, N. D. & Hansen, R. R., 2008, Verification, Model Checking, and Abstract Interpretation. Springer, p. 4- (Lecture Notes in Computer Science; No. 4905).

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

Documenting and Automating Collateral Evolutions in Linux Device Drivers

Padioleau, Y., Lawall, J. L., Hansen, R. R. & Muller, G., 2008, Proceedings of the European Conference on Computer Systems 2008 (EuroSys 2008). Association for Computing Machinery, p. 247-260

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

70 Citations (Scopus)

Fast directed model checking via russian doll abstraction

Kupferschmid, S., Hoffmann, J. & Larsen, K. G., 2008, Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Springer, p. 203-217 (Lecture Notes in Computer Science; No. 4963).

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

11 Citations (Scopus)

From Flow Logic to Static Type Systems for Coordination Languages

De Nicola, R., Gorla, D., Hansen, R. R., Nielson, F., Nielson, H. R., Probst, C. W. & Pugliese, R., 2008, Proceedings of the 10th International Conference on Coordination Models and Languages (Coordination'08). Springer, p. 100-116 (Lecture Notes in Computer Science; No. 5052).

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

5 Citations (Scopus)

Hardware Objects for Java

Schoeberl, M., Thalinger, C., Korsholm, S. & Ravn, A. P., 2008, 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC). IEEE Computer Society Press, p. 445-452

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

27 Citations (Scopus)

How to pull back open maps along semantics functors

Fahrenberg, U., 2008.

Research output: Contribution to conference without publisher/journalConference abstract for conferenceResearchpeer-review

Infinite Runs in Weighted Timed Automata with Energy Constraints

Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N. & Srba, J., 2008, 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08). Springer, p. 33-47 15 p. (Lecture Notes in Computer Science; No. 5215).

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

116 Citations (Scopus)

Interoperability between ARC and gLite - Understanding the Grid-Job Life Cycle

Grønager, M., Fields, L., Happonen, K., Kleist, J., Linden, T., Johansson, D., Søttrup, C., Qing, D. & Wäänänen, A., 2008, IEEE Fourth International Conference on eScience, 2008. eScience '08. IEEE, p. 493-500

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

6 Citations (Scopus)

Interrupt Handlers in Java

Korsholm, S., Schoeberl, M. & Ravn, A. P., 2008, 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC). IEEE Computer Society Press, p. 453-457

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

4 Citations (Scopus)

Matching Systems for Concurrent Calculi

Haagensen, B., Maffeis, S. & Phillips, I., 2008, In : Electronical notes in theoretical computer science. 194, 2, p. 85-99

Research output: Contribution to journalJournal articleResearchpeer-review

5 Citations (Scopus)

Modal Transition Systems as the Basis for Interface Theories and Product Lines

Nyman, U., 2008, Aalborg: Aalborg Universitet. (Ph.D. thesis; No. 45).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
493 Downloads (Pure)