Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

2004

Optimal Strategies in Priced Timed Game Automata

Larsen, K. G., Bouyer, P., Cassez, F. & Fleury, E., 2004, FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: Lecture Notes in Computer Science. 3328 ed. Springer, p. 148-160 13 p.

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

63 Citations (Scopus)

Performance of the NorduGrid ARC and the Dulcinea Executor in ATLAS Data Challenge 2

Kleist, J., Eerola, P., Ekelöf, T., Smirnova, O., Ellert, M., Hansen, J. R., Konstantinov, A., Kónya, B., Nielsen, J. L., Ould-Saada, F., Wäänänen, A., Sturrock, R., Jensen, H. T., Kalici, D., Teras, A., Heller, H., Kennedy, J., Duckeck, G., Mycklebust, J. F., Pajchel, K. & 13 others, Read, A., Riiser, H., Hanshaugen, M., Sunde, S., Filipic, A., Tadel, M., Nixon, L., Lindemann, J., Malinowsky, L., Smeds, N., Sandgren, A., Wadenstein, M. & Haeberli, C., 2004, Proceedings of CHEP'04.

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

Proceedings of 4th International Workshop on Formal Approaches to Software Testing

Grabowski, J. (ed.) & Nielsen, B. (ed.), 2004, 1 ed. Germany: Springer. 227 p.

Research output: Book/ReportAnthologyResearch

Proceedings of the Workshop on Structural Operational Semantics: London, England (August 30, 2004)

Aceto, L., Fokkink, W. & Ulidowski, I., 2004.

Research output: Working paperResearch

Quality Estimation of Component-Based Embedded Systems

Holmegaard, J. P., Ravn, A. P. & Koch, P., 2004, Proceedings of Euromicro Work in Progress.

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

Recursive Ping-Pong Protocols

Huttel, H. & Srba, J., 2004, Proceedings of 4th International Workshop on Issues in the Theory of Security. p. 129-140 12 p.

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

Resource-Optimal Scheduling Using Priced Timed Automata

Larsen, K. G., Rasmussen, J. I. & Subramani, K., 2004, Proceedings of Tools and Algorithms for the Construction and Analysis of Systems,: Lecture Notes in Computer Science. Jensen, Kurt ; Podelski, Andreas (eds.) (ed.). 2988 ed. Sringer Verlag, p. 220-235

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

31 Citations (Scopus)

Roadmap of Infinite Results

Srba, J., 2004, In : Current Trends in Theoretical Computer Science, The Challenge of the New Century. 2, 1, p. 337-350

Research output: Contribution to journalJournal articleResearchpeer-review

Some of My Favourite Results in Classic Process Algebra

Aceto, L., 2004, Current Trends in Theoretical Computer Science: The Challenge of the New Century, Vol. 2: Formal Models and Semantics. Paun, G., Rozenberg, G. & Salomaa, A. (eds.). World Scientific

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

Special issue of Journal of Logic and Algebraic Programming on Structural Operational Semantics

Aceto, L. & Fokkink, W., 2004, Pergamon Press. 463 p. (Journal of Logic and Algebraic Programming; No. vols. 60-61).

Research output: Book/ReportBookResearch

Staying Alive as Cheaply as Possible

Larsen, K. G., Bouyer, P. & Brinksma, E., 2004, Proceedings of the 7th International Conference on Hybrid Systems: Computation and Control: Lecture Notes in Computer Science. 2993 ed. Springer, p. 203-218 16 p.

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

43 Citations (Scopus)

The Complexity of Checking Consistency of Pedigree Information and Related Problems

Aceto, L., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2004, In : Journal of Computer Science and Technology. 19, 1, p. 42-59

Research output: Contribution to journalJournal articleResearchpeer-review

19 Citations (Scopus)

T-UPPAAL: Online Model-based Testing of Real-Time Systems.

Mikucionis, M., Larsen, K. G. & Nielsen, B., 2004, 19th IEEE International Conference on Automated Software Engineering (ASE 2004) Proceedings. Grunbacher, P. (ed.). IEEE Computer Society Press, p. 396-397 3 p.

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

54 Citations (Scopus)

Unifying proof methodologies of duration calculus and timed linear temporal logic

Liu, Z., Ravn, A. P. & Li, X., 2004, In : Formal Aspects of Computing. 16, 2, p. 140-154 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

5 Citations (Scopus)

Updatable timed automata

Bouyer, P., Dufourd, C., Fleury, E. & Petit, A., 2004, In : Theoretical Computer Science. 321, 2-3, p. 291-345 55 p.

Research output: Contribution to journalJournal articleResearchpeer-review

62 Citations (Scopus)

Using AsmL as an executable specification language: Synhchronous Dataflow Schedulers in Ptolemy II

Lázaro Cuadrado, D., Koch, P. & Ravn, A. P., 2004, Proceedings of Workshop on Abstract State Machines ASM 2004, Short Presentations. Dept. of Comp. Science Martin Luther Universität Halle-Wittenberg, p. 19-28

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

2003

Adding symmetry reduction to UPPAAL

Martijn, H., Behrmann, G., Larsen, K. G. & Frits, V., 2003, Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03).

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

A Note on an Expressiveness Hierarchy for Multi-exit Iteration

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 2003, In : Information Processing Letters. 87, 1, p. 17-23

Research output: Contribution to journalJournal articleResearchpeer-review

A semantic theory for value-passing processes based on the late approach

Ingolfsdottir, A., 2003, In : Information and Computation. 184, 1, p. 1-44

Research output: Contribution to journalJournal articleResearchpeer-review

AsmL Specification of a Ptolemy II Scheduler

Lázaro Cuadrado, D., Koch, P. & Ravn, A. P., 2003, Abstract State Machines 2003 (ASM 2003): LNCS. Börger, E. : Gargantini, A. : Riccobene, E. (eds.) (ed.). 2589 ed. Springer, p. 417

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

A Tool Architecture for the Next Generation of Uppaal

Behrmann, G., David, A., Larsen, K. G. & Wang, Y., 2003, UNU/IIST 10th Anniversary Colloquium. Formal Methods at the Cross Roads: From Panacea to Foundational Support: LNCS. <Forlag uden navn>

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

9 Citations (Scopus)

A Tool Architecture for the Next Generation of Uppaal

Behrmann, G., David, A., Larsen, K. G. & Wang, Y., 2003, Uppsala University. (Reports; No. 2003-011).

Research output: Book/ReportBookResearch

9 Citations (Scopus)

CCS with Hennessy's Merge has no Finite Equational Axiomatization

Aceto, L., Fokkink, W. J., Ingolfsdottir, A. & Luttik, B., 2003, p. 37.

Research output: Working paperResearch

Compact data structures and state-space reduction for model-checking real-time systems

Larsen, K. G., Larsson, F., Pettersson, P. & Yi, W., 2003, In : Real-Time Systems. 25, 2-3, p. 255-275

Research output: Contribution to journalJournal articleResearchpeer-review

19 Citations (Scopus)

Danfoss {EKC} Trial Project Deliverables

Larsen, K. G., Larsen, U., Nielsen, B., Skou, A. & Wasowski, A., 2003, December ed. Århus University: BRICS. 53 p. (BRICS RS; No. RS-03-48).

Research output: Book/ReportBookResearch

Data Structures and Algorithms for the Analysis of Real Time Systems

Behrmann, G., 2003, Aalborg Universitet: Department of Computer Sciences. 179 p. (Ph.D. Thesis).

Research output: Book/ReportPh.D. thesisResearch

Distributed Reachability Analysis in Timed Automata

Behrmann, G., 2003, In : Software Tools for Technology Transfer.

Research output: Contribution to journalJournal articleResearchpeer-review

Efficient and Orderly Co-simulation of Heterogeneous Computational Models

Lázaro Cuadrado, D., Koch, P. & Ravn, A. P., 2003, The Fifth Biennial Ptolemy Miniconference, May 2003, EECS Department, University of California, Berkeley, USA.

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

Equational theories of tropical sernirings

Aceto, L., Esik, Z. & Ingolfsdottir, A., 2003, In : Theoretical Computer Science. 298, 3, p. 417-469

Research output: Contribution to journalJournal articleResearchpeer-review

5 Citations (Scopus)

Foreword to Special Issue on "The Difference between Concurrent and Sequential Computation'' of Mathematical Structures

Aceto, L., Longo, G. & Victor, B., 2003, In : Mathematical Structures in Computer Science. 13, 4, p. 481-484

Research output: Contribution to journalJournal articleResearchpeer-review

Hybrid Action Systems

Rönnkö, M., Ravn, A. P. & Sere, K., 2003, In : Theoretical Computer Science. 290, 190, p. 937-973

Research output: Contribution to journalJournal articleResearchpeer-review

33 Citations (Scopus)

Hybrid Control Design for a Wheeled Mobile Robot

Bak, T., Bendtsen, J. D. & Ravn, A. P., 2003, Hybrid Systems: Computation and Control, HSCC 2003: Lecture Notes in Computer Science. Oded Maler, Amir Pnueli (eds.) (ed.). 2623 ed. Springer, p. 50-65

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

11 Citations (Scopus)

Hybrid Control Design for a Wheeled Mobile Robot

Bak, T., Bendtsen, J. D. & Ravn, A. P., 2003, In : Lecture Notes in Computer Science. 2623, p. 50-65

Research output: Contribution to journalJournal articleResearchpeer-review

File
11 Citations (Scopus)
769 Downloads (Pure)

Hybrid Control Design for a Wheeled Mobile Robot

Bak, T., Bendtsen, J. D. & Ravn, A. P., 2003, <Forlag uden navn>.

Research output: Working paperResearch

Open Access
File
11 Citations (Scopus)
374 Downloads (Pure)
Open Access
File
72 Downloads (Pure)

Impact of Scheduling Policies on Control System Performance

Schiøler, H., Ravn, A. P. & Nielsen, J. F. D., 2003, EuroMicro 03 Satelite Event on CoDesign in Real Time Systems (CERTS), Porto, Portugal, July 2003.

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

Imperative objects as mobile processes

Kleist, J. & Sangiorgi, D., 2003, In : Science of Computer Programming. 44, 3, p. 293-342

Research output: Contribution to journalJournal articleResearchpeer-review

3 Citations (Scopus)

Nested Semantics over Finite Trees are Equationally Hard

Aceto, L., Fokkink, W. J., van Glabeek, R. J. & Ingolfsdottir, A., 2003.

Research output: Working paperResearch

Nested Semantics over Finite Trees are Equationally Hard (Invited Talk)

Aceto, L., 2003, Proceedings of EXPRESS'03: Electronic Notes in Theoretical Computer Science. Corradini, F. & Nestmann, U. (eds.). 96 ed. Pergamon Press, p. 5-6 2 p.

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

Online On-the-Fly Testing of Real-time Systems

Mikucionis, M., Larsen, K. G. & Nielsen, B., 2003, September ed. Århus University: BRICS. 14 p. (BRICS RS; No. RS-03-49).

Research output: Book/ReportBookResearch

Real-time system testing on-the-fly

Larsen, K. G., Mikucionis, M. & Nielsen, B., 2003, The 15th Nordic Workshop on Programming Theory (NWPT’03). Kaisa Sere and Marina Walden and Anna Karlsson (ed.). Åbo Akademi University

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

Regular languages definable by Lindstrom quantifiers

Esik, Z. & Larsen, K. G., 2003, In : Informatique théorique et applications (En ligne). 37, 3, p. 179-241

Research output: Contribution to journalJournal articleResearchpeer-review

14 Citations (Scopus)

Regular languages deinable bt Lindström quantifiers

Esik, Z. & Larsen, K. G., 2003, In : Informatique théorique et applications (Imprimé). 34, p. 179-242

Research output: Contribution to journalJournal articleResearchpeer-review

Resource-Efficient Scheduling for Real Time Systems

Larsen, K. G., 2003, Proceedings of the 3rd Internatilnal Conference in Embedded Software (EMSOFT 2003): Lecture Notes in Computer Science. Vol. 2855. p. 16-19

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

6 Citations (Scopus)

Single Point Algorithms in Genetic Linkage Analysis

Gudbjartsson, D., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2003, Revised Selected Papers: Lecture Notes in Computer Science. 2809 ed. p. 372-383

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

1 Citation (Scopus)

Some of My Favourite Results in Classic Process Algebra

Aceto, L., 2003, The Concurrency Column. (L. Aceto ed.) (ed.). p. 90-108 (Bulletin of the EATCS; No. 81).

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

Special Issue on ``The Difference between Concurrent and Sequential Computation

Aceto, L., Longo, G. & Victor, B., 2003, In : Mathematical Structures in Computer Science. 13, 4-5, p. 482-798

Research output: Contribution to journalJournal articleResearchpeer-review

The Complexity of Checking Consistency of Pedigree Information and Related Problems

Aceto, L., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2003, Proceedings of the Eighth Italian Conference on Theoretical Computer Science (ICTCS'03). University Center Bertinoro, Italy, 13-15 October 2003: Lecture Notes in Computer Science. Carlo Blundo and Cosimo Laneve (eds.) (ed.). 2841 ed. Springer, p. 174-187

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

1 Citation (Scopus)

The geometry of timed PV programs

Fahrenberg, U., 2003, Proceedings of the Fourth Workshop on Geometric and Topological Methods in Concurrency: Electronic Notes in Computer Science. Vol. 81 ed. Pergamon Press, p. 14

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

2 Citations (Scopus)