Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Publikationer

2009

Parametrised Constants and Replication for Spatial Mobility

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Playing Games with Timed Games

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

7 Citationer (Scopus)

Priced Timed Automata:  Theory and Tools

Larsen, K. G., 2009, I : Dagstuhl Seminar Proceedings. s. 417-425 9 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Quasimodo Year 1 Management Report

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

Publikation: Working paperForskning

Refinement and verification in component-based model-driven design

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

38 Citationer (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, s. 67-78

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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, I : I E E E Conference on Control Applications. Proceedings. 2009, s. 776-781 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

36 Citationer (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, s. 29-35

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

14 Citationer (Scopus)

Teaching Concurrency: Theory in Practice

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Test af Software: Test af indlejret og teknisk software

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

Publikation: Bog/antologi/afhandling/rapportBog

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, s. 61-70 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
18 Citationer (Scopus)
377 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., okt. 2009, Communicating Embedded Systems for Computer Science. Roux, O. H. & Jard, C. (red.). Wiley, s. 165-225

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer 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, s. 21-36 15 s. (Electronic Notes in Theoretical Computer Science; Nr. 242, Bind 3).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citationer (Scopus)

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

Jacobsen, M., Jacobsen, L. & Møller, M. H., dec. 2009, I : OpenAccess Series in Informatics. 12, 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
199 Downloads (Pure)

Undecidable equivalences for basic parallel processes

Hüttel, H., Kobayashi, N. & Suto, T., 1 jul. 2009, I : Information and Computation. 207, 7, s. 812-829 18 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
4 Citationer (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. (red.). IOS Press, Bind 22. 28 s. (NATO Science for Peace and Security Series - D: Information and Communication Security; Nr. 22).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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. (red.). IEEE Computer Society Press, Bind 3. s. 3-4 2 s. (TASE).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (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 udg. Elsevier, Bind 2. s. 77-93 16 s. (Electronic Notes in Theoretical Computer Science; Nr. 229, Bind 2).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Verifying real-time systems against scenario-based requirements

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
4 Citationer (Scopus)
445 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, I : RWTH Aachen, Dept. of Computer Science. 14, s. 4-6

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
307 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, s. 43-52 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2008

20 Years of Modal and Mixed Specifications

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
489 Downloads (Pure)

A distributed storage system with dCache

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

15 Citationer (Scopus)

A Distributed Tier-1

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2 Citationer (Scopus)

A game-theoretic approach to real-time system testing

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
8 Citationer (Scopus)
376 Downloads (Pure)

ALICE-ARC integration

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

An extensible analysable system model

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

32 Citationer (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 flere, H. ROUX, O., 2008, Hermés Science Publications. 268 s.

Publikation: Bog/antologi/afhandling/rapportBogForskning

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 s. (Technical Report; Nr. 08-001).

Publikation: Bog/antologi/afhandling/rapportRapport

Åben adgang
Fil
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, s. 60-62 3 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

ATLAS DDM integration in ARC

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2 Citationer (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 udg. IEEE Computer Society Press, s. 433-440

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

8 Citationer (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, s. 15-32 (Lecture Notes in Computer Science; Nr. 5215).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

25 Citationer (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. (red.). Springer, s. 112-126 (Lecture Notes in Computer Science; Nr. 4962).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
19 Citationer (Scopus)
294 Downloads (Pure)

Consistency Checking of Web Service Contracts

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Contract-oriented software development for internet services

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

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

Cooperative Testing of Uncontrollable Timed Systems

David, A., Larsen, K. G., Li, S. & Nielsen, B., dec. 2008, I : Electronic Notes in Theoretical Computer Science. 220, 1, 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
5 Citationer (Scopus)
265 Downloads (Pure)

CTL as an intermediate language

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

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, s. 247-260

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

72 Citationer (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, s. 203-217 (Lecture Notes in Computer Science; Nr. 4963).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

11 Citationer (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, s. 100-116 (Lecture Notes in Computer Science; Nr. 5052).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

5 Citationer (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, s. 445-452

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

27 Citationer (Scopus)

How to pull back open maps along semantics functors

Fahrenberg, U., 2008.

Publikation: Konferencebidrag uden forlag/tidsskriftKonferenceabstrakt til konferenceForskningpeer 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, s. 33-47 15 s. (Lecture Notes in Computer Science; Nr. 5215).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

118 Citationer (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, s. 493-500

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

6 Citationer (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, s. 453-457

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

4 Citationer (Scopus)

Matching Systems for Concurrent Calculi

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

5 Citationer (Scopus)

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

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil
496 Downloads (Pure)

Model-based schedulability analysis of safety critical hard real-time Java programs

Bøgholm, T., Kragh-Hansen, H., Olsen, P., Thomsen, B. & Larsen, K. G., 2008, Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems. Association for Computing Machinery, Bind 343. s. 106-114

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

37 Citationer (Scopus)