Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

2010

Present and Absent Sets: Abstraction for Data Intensive Systems Suited for Testing

Olsen, P., Larsen, K. G., Mikucionis, M. & Skou, A., 28 Dec 2010, In : Electronic Notes in Theoretical Computer Science. 264, 3, p. 53-68

Research output: Contribution to journalConference article in JournalResearchpeer-review

Quantitative analysis of weighted transition systems

Fahrenberg, U., Larsen, K. G. & Thrane, C. R., Oct 2010, In : Journal of Logic and Algebraic Programming. 79, 7, p. 689-703

Research output: Contribution to journalJournal articleResearchpeer-review

31 Citations (Scopus)

Quantitative system validation in model driven design

Hermanns, H., Larsen, K. G., Raskin, J-F. & Tretmans, J., 2010, Embedded Systems Week 2010 - Proceedings of the 10th ACM International Conference on Compilers, Architecture and Synthesis for Embedded Systems, EMSOFT'10. Association for Computing Machinery, p. 301-302

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

1 Citation (Scopus)

Quasimodo Year 2 Management Report

Nielsen, B. & Larsen, K. G., 28 Jan 2010, 49 p.

Research output: Working paperResearch

Recent ARC developments: Through modularity to interoperability

Kleist, J., Smirnova, O., Cameron, D., Dóbe, P., Ellert, M., Frågåt, T., Grønager, M., Johansson, D., Jönemo, J., Kocan, M., Konstantinov, A., Konya, B., Márton, I., Möller, S., Mohn, B., Nagy, Z., Nielsen, J., Ould-Saada, F., Qiang, W., Read, A. & 9 others, Rosendahl, P., Roczei, G., Savko, M., Skou Andersen, M., Stefán, P., Szalai, F., Taga, A., Toor, S. & Wäänänen, A., 2010, In : Journal of Physics - Conference Series. 219, 6, 10 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)

Scenario-based analysis and synthesis of real-time systems using Uppaal

Larsen, K. G., Li, S., Nielsen, B. & Pusinskas, S., Mar 2010, Proc. 13th Conference on Design, Automation, and Test in Europe (DATE'10), March 2010, Dresden, Germany.. European Design and Automation Association, EDAA

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

10 Citations (Scopus)

Scenario-based verification of real-time systems using UPPAAL

Li, S., Belaguer, S., David, A., Larsen, K. G., Nielsen, B. & Pusinskas, S., 2010, In : Formal Methods in System Design. 37, 2-3, p. 200-264

Research output: Contribution to journalJournal article

13 Citations (Scopus)

Schedulability Analysis for Java Finalizers

Bøgholm, T., Hansen, R. R., Søndergaard, H., Ravn, A. P. & Thomsen, B., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems: ACM International Conference Proceeding Series. Association for Computing Machinery, 7 p.

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

2 Citations (Scopus)

Schedulability Analysis Using Uppaal: Herschel-Planck Case Study

Mikucionis, M., Larsen, K. G., Nielsen, B., Rasmussen, J. I., Skou, A., Palm, S. U., Pedersen, J. S. & Hougaard, P., Oct 2010, In : Lecture Notes in Computer Science. 6416, 2010, p. 175-190

Research output: Contribution to journalJournal article

26 Citations (Scopus)

Symbolic and Compositional Reachability for Timed Automata

Larsen, K. G., 2010, In : Lecture Notes in Computer Science. 6227, p. 24-28

Research output: Contribution to journalConference article in JournalResearchpeer-review

The HomePort System

Brønsted, J., Madsen, P. P., Skou, A. & Torbensen, R. S., 2010, 2010 7th IEEE Consumer Communications and Networking Conference (CCNC). IEEE Press, 5 p.

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

Open Access
File
6 Citations (Scopus)
995 Downloads (Pure)

The Measurable Space of Stochastic Processes

Cardelli, L. & Mardare, R. I., 2010, Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the. IEEE Press, p. 171-180 10 p.

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

19 Citations (Scopus)

The next-generation ARC middleware

Appleton, O., Cameron, D., Cernak, J., Dóbé, P., Ellert, M., Frågåt, T., Grønager, M., Johansson, D., Jönemo, J., Kleist, J., Kocan, M., Konstantinov, A., Kónya, B., Márton, I., Mohn, B., Möller, S., Müller, H., Nagy, Z., Nielsen, J. K., Saada, F. O. & 14 others, Pajchel, K., Qiang, W., Read, A., Rosendahl, P., Roczei, G., Savko, M., Andersen, M. S., Smirnova, O., Stefán, P., Szalai, F., Taga, A., Toor, S. Z., Wäänänen, A. & Zhou, X., 2010, In : Annales des Telecommunications. 65, 11-12, p. 771-776 6 p.

Research output: Contribution to journalJournal articleResearchpeer-review

11 Citations (Scopus)

Timed automata with observers under energy constraints

Bouyer, P., Fahrenberg, U., Larsen, K. G. & Markey, N., 2010, Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010. Association for Computing Machinery

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

33 Citations (Scopus)

Timed I/O automata: a complete specification theory for real-time systems

David, A., Larsen, K. G., Nyman, U., Legay, A. & Wasowski, A., 2010, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control : HSCC '10. Association for Computing Machinery

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

Open Access
File
122 Citations (Scopus)
271 Downloads (Pure)

Towards sustainability: An interoperability outline for a Regional ARC based infrastructure in the WLCG and EGEE infrastructures

Kleist, J., Fields, L., Grønager, M. & Johansson, D., 2010, In : Journal of Physics - Conference Series. 219, 6, 7 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Transitions and Trees: An Introduction to Structural Operational Semantics

Hüttel, H., 2010, Cambridge University Press. 290 p.

Research output: Book/ReportBookEducationpeer-review

3 Citations (Scopus)

Verification, performance analysis and controller synthesis for real-time systems

Fahrenberg, U., Larsen, K. G. & Thrane, C. R., 2010, In : Lecture Notes in Computer Science. 5961, p. 34-61

Research output: Contribution to journalConference article in JournalResearchpeer-review

6 Citations (Scopus)
2009

A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking

Brunel, J., Doligez, D., Hansen, R. R., Lawall, J. & Mulle, G., 2009, Proceedings of the ACM Symposium on Principles of Programming Languages (POPL'09). Association for Computing Machinery, p. 114-126 13 p.

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

20 Citations (Scopus)

Agile software development and its compatibility with a document-driven approach? A case study

Heeager, L. T. & Nielsen, P. A., 2009, Australasian Conference on Information Systems. Scheepers, H. & Davern, M. (eds.). Monash University Press, p. 205 214 p.

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

Analysing Access Control Specifications

Probst, C. W. & Hansen, R. R., 2009, Proceedings of the Fourth International IEEE Workshop on Systematic Approaches to Digital Forensic Engineering (SADFE-2009). IEEE Computer Society Press, Vol. 4. p. 22-33

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

8 Citations (Scopus)

Analysis of collisions in wireless sensor networks

Vighio, M. S. & Ravn, A. P., 2009, 21st Nordic Workshop on Programming Theory (NWPT 2009), Lyngby, Denmark, 14-16 October 2009. Hansen, M. R. & Brekling, A. (eds.). Technical University of Denmark (DTU), 8 p.

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

Open Access
File
673 Downloads (Pure)

An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata

Byg, J., Jørgensen, K. Y. & Srba, J., 2009, In : Lecture Notes in Computer Science. 5885, p. 698-716 18 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

15 Citations (Scopus)

A predictable Java profile: rationale and implementations

Bøgholm, T., Hansen, R. R., Ravn, A. P., Thomsen, B. & Søndergaard, H., 2009, ACM International Conference Proceeding Series: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems. Association for Computing Machinery, p. 150-159

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

21 Citations (Scopus)

A quantitative characterization of weighted Kripke structures in temporal logic

Fahrenberg, U., Larsen, K. G. & Thrane, C. R., 2009.

Research output: Contribution to conference without publisher/journalPaper without publisher/journalResearchpeer-review

A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic: Best Paper Award

Larsen, K. G., Thrane, C. R. & Fahrenberg, U., 2009, Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Schloss Dagstuhl. Leibniz-Zentrum für Informatik

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

Automated Technology for Verificiation and Analysis: Proceedings 7th International Symposium, ATVA 2009

Liu, Z. (ed.) & Ravn, A. P. (ed.), 2009, Springer. (Lecture Notes in Computer Science, Vol. 5799).

Research output: Book/ReportAnthologyResearch

Automatic Synthesis of Robust and Optimal Controllers: An Industrial Case Study

Cassez, F., Jessen, J. J., Larsen, K. G., Raskin, J-F. & Reynier, P-A., 2009, In : Lecture Notes in Computer Science. 5469, p. 90-114

Research output: Contribution to journalConference article in JournalResearchpeer-review

45 Citations (Scopus)

A Youla-Kucera approach to Gain-Scheduling with Application to Wind Turbine Control

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

Research output: Contribution to journalConference article in JournalResearchpeer-review

14 Citations (Scopus)

Beyond Language Equivalence on Visibly Pushdown Automata

Srba, J., 26 Jan 2009, In : Logical Methods in Computer Science. 5, 1:2, p. 1-22 22 p.

Research output: Contribution to journalJournal articleResearchpeer-review

13 Citations (Scopus)

Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

Benes, N., Kretinsky, J., Larsen, K. G. & Srba, J., 2009, In : Lecture Notes in Computer Science. 5684, p. 112-126

Research output: Contribution to journalConference article in JournalResearchpeer-review

21 Citations (Scopus)

Decidable Fragments of a Higher Order Calculus with Locations

Hüttel, H., Godskesen, J. C., Haagensen, B. & Bundgaard, M., 2009, Proceedings of the 15th Workshop on Expressiveness in Concurrency (EXPRESS 2008). Gorla, D. & Hildebrandt, T. (eds.). Elsevier, p. 113-138 (Electronic Notes in Theoretical Computer Science; No. 242, Vol. 1).

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

2 Citations (Scopus)

Derivation and validation of a coal mill model for control

Niemczyk, P., Andersen, P., Bendtsen, J. D., Pedersen, T. S. & Ravn, A. P., 2009, In : I F A C Workshop Series.

Research output: Contribution to journalConference article in JournalResearch

4 Citations (Scopus)

Design and Verification of Fault-Tolerant Components

Zhang, M., Liu, Z., Ravn, A. P. & Morisset, C., 2009, In : Lecture Notes in Computer Science. 5454, p. 57-84 28 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

9 Citations (Scopus)

Design Verification Patterns

Knudsen, J., 2009, Aalborg: Department of Computer Science, Aalborg University. (Ph.D. thesis; No. 52).

Research output: Book/ReportPh.D. thesisResearch

Discounting in Time

Fahrenberg, U. & Larsen, K. G., Nov 2009, In : Electronic Notes in Theoretical Computer Science. 253, 3, p. 25-31 7 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

5 Citations (Scopus)

Discount-Optimal Infinite Runs in Priced Timed Automata

Fahrenberg, U. & Larsen, K. G., 2009, In : Electronic Notes in Theoretical Computer Science. 239, p. 179-191

Research output: Contribution to journalConference article in JournalResearchpeer-review

13 Citations (Scopus)

Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation

David, A., Larsen, K. G., Chatain, T. & Bulychev, P., 2009, In : Lecture Notes in Computer Science. 5813, p. 73-87

Research output: Contribution to journalConference article in JournalResearchpeer-review

17 Citations (Scopus)

EXPTIME-complete Decision Problems for Modal and Mixed Specifications

Antonik, A., Huth, M., Larsen, K. G., Nyman, U. & Wasowski, A., 2009, In : Electronical Notes in Theoretical Computer Science. 242, 1, p. 19-33

Research output: Contribution to journalConference article in Journal

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

Failure Optimization of Geometrically Linear/Nonlinear Laminated Composite Structures using A Two-Step Hierarchical Model Adaptivity

Johansen, L. S., Lund, E. & Kleist, J., 2009, In : Computer Methods in Applied Mechanics and Engineering. 198, 30-32, p. 2421-2438 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

19 Citations (Scopus)

Fluid Information Systems

Probst, C. W. & Hansen, R. R., 2009, Proceedings of the New Security Paradigms Workshop (NSPW'09). Association for Computing Machinery, 8 p.

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

4 Citations (Scopus)

Formal Model-Driven Design of Distributed Algorithms

Kühnrich, M., 2009, In : Electronical notes in theoretical computer science. 251, C, p. 49-64

Research output: Contribution to journalJournal articleResearchpeer-review

1 Citation (Scopus)

Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains

Kühnrich, M., Schwoon, S., Srba, J. & Kiefer, S., 2009, In : Lecture Notes in Computer Science. 5504, p. 440-455 15 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Model-based analysis of embedded java programs

Bøgholm, T., Ravn, A. P. & Thomsen, B., 2009, In : RWTH Aachen, Dept. of Computer Science. 14, p. 17-19

Research output: Contribution to journalConference article in JournalResearchpeer-review

Model-based Framework for Schedulability Analysis Using Uppaal 4.1

David, A., Rasmussen, J. I., Larsen, K. G. & Skou, A., 2009, Model-Based Design for Embedded Systems. Nicolescu, G. & J. Mosterman, P. (eds.). 1 ed. CRC Press, p. 93-119 32 p. (Computational Analysis, Synthesis, and Design of Dynamic Systems).

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

Model-Based GUI Testing Using Uppaal at Novo Nordisk

H. Hjort, U., Rasmussen, J. I., Larsen, K. G., A. Petersen, M. & Skou, A., 2009, In : Lecture Notes in Computer Science. 5850, p. 814-818

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)

Models for Embedded Real-Time Systems

Lime, D., Roux, O. H. & Srba, J., 2009, Communicating Embedded Systems - Software and Design. Roux, O. H. & Jard, C. (eds.). Wiley, p. 1-38 38 p.

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

On Determinism in Modal Transition Systems

Benes, N., Kretinsky, J., Larsen, K. G. & Srba, J., 15 Sep 2009, In : Theoretical Computer Science. 410, 41, p. 4026-4043 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

27 Citations (Scopus)

On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems

Kühnrich, M. & Nestmann, U., 2009, In : Lecture Notes in Computer Science. 5522, p. 198-212

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)

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)