Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

2008

Model checking embedded and real time systems

Larsen, K. G., 2008, WODES'08: Proceedings of the 9th International Workshop on Discrete Event Systems. Lennartson, B., Fabian, M., Akesson, K., Giua, A. & Kumar, R. (eds.). IEEE, p. 260

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

Model Checking One-Clock Priced Timed Automata

Bouyer, P., Larsen, K. G. & Markey, N., 2008, In : Logical Methods in Computer Science. 4, 2

Research output: Contribution to journalJournal articleResearchpeer-review

19 Citations (Scopus)

Model-Driven Development of Embedded Real-Time Systems

Nielsen, B. & David, A., 2008, In : ERCIM News. 75, p. 19-20

Research output: Contribution to journalJournal article

Modelling with Relational Calculus of Object and Component Systems - rCOS

Chen, Z., Hannousse, A. H., Hung, D. V., Knoll, I., LI, X., Liu, Z., Liu, Y., Nan, Q., Okika, J. C., Ravn, A. P., Stolz, V., Yang, L. & Zhan, N., 2008, The Common Component Modeling Example: Comparing Software Component Models. Rausch, A., Reussner, R., Mirandola, R. & Plasil, F. (eds.). Berlin/Heidelberg: Springer, p. 116-145 (Lecture Notes in Computer Science; No. 5153).

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

8 Citations (Scopus)

Optimal infinite scheduling for multi-priced timed automata

Bouyer, P., Brinksma, E. & Larsen, K. G., 2008, In : Formal Methods in System Design. 1, 3 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

49 Citations (Scopus)

Optimal Reachability for Multi-Priced Timed Automata

Larsen, K. G. & Rasmussen, J. I., 2008, In : Theoretical Computer Science. 390, 2-3, p. 197-213

Research output: Contribution to journalJournal article

26 Citations (Scopus)

Playing Games with Timed Games

David, A., Larsen, K. G. & Chatain, T., 2008, Playing Games with Timed Games. Cachan, France: Laboratoire Spécification et Vérification, Vol. LSV-08-34. 15 p.

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

Quasimodo

Nielsen, B., 2008, In : ERCIM News. 75, p. 20-21 2 p.

Research output: Contribution to journalJournal article

Secrecy in Mobile Ad-hoc Networks

Hüttel, H. & Rafnsson, W., 2008, 20th Nordic Workshop on Programming Theory NWPT 2008. Institute of Cybernetics at Tallinn University of Technology, p. 54-56 3 p.

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

Slicing for Uppaal

Thrane, C. R. & Sørensen, U., 2008, 2008 Annual IEEE Student Paper Conference Proceedings. IEEE, p. 27-31

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

2 Citations (Scopus)

Static validation of licence conformance policies

Hansen, R. R., Nielson, F., Nielson, H. R. & Probst, C. W., 2008, ARES 2008: Proceedings of the Third International Conference on Availability, Security and Reliability. IEEE Computer Society Press, p. 1104-1111

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

9 Citations (Scopus)

Testing Real-Time Systems Using UPPAAL

Hessel, A., Larsen, K. G., Mikucionis, M., Nielsen, B., Pettersson, P. & Skou, A., 2008, Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers. Berlin Heidelberg: Springer, p. 77-117 (Lecture Notes in Computer Science; No. 4949).

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

147 Citations (Scopus)

Type inference for a correspondence certifying type system

Hüttel, H. & Dahl, M., 2008, 20th Nordic Workshop on Programming Theory NWPT 2008. Alfapress, p. 22-24 3 p.

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

Undecidability of Bisimilarity by Defender's Forcing

Jancar, P. & Srba, J., 2008, In : Journal of the ACM. 55, 1

Research output: Contribution to journalJournal articleResearchpeer-review

20 Citations (Scopus)
2007

ALICE - ARC integration

Anderlik, C., Gregersen, A. R., Kleist, J., Peters, A. & Siaz, P., 2007. 1 p.

Research output: Contribution to conference without publisher/journalPosterResearch

Open Access
File
196 Downloads (Pure)

Almost Optimal Strategies in One Clock Priced Timed Automata

Bouyer, P., Larsen, K. G., Markey, N. & Rasmussen, J. I., 2007, Logical Foundations of Computer Science. Springer, Vol. 4514. (Lecture Notes in Computer Science; No. 4514).

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

A Logical Characterisation of Static Equivalence

Hüttel, H. & Pedersen, M. D., 2007, Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIII). Fiore, M. (ed.). Pergamon Press, p. 139-159 (Electronic Notes in Theoretical Computer Science; No. 173).

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

4 Citations (Scopus)

Analyzing Web Service Contracts: an aspect oriented approach

Cambronero, M. -E., Okika, J. C. & Ravn, A. P., 2007, Proceedings of the International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies: UBICOMM'2007. IEEE Computer Society Press, p. 149-154

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

3 Citations (Scopus)

A Peer-to-Peer Indexing Service for Data Grids

Jensen, H. T. & Kleist, J., 2007, Advances in Grid and Pervasive Computing: Second International Conference, GPC07. Cérin, C. & Li, K-C. (eds.). IEEE Computer Society Press, p. 507-518 12 p. (Lecture Notes in Computer Science; No. 4459).

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

A Profile for Safety Critical Java

Schoeberl, M., Søndergaard, H., Thomsen, B. & Ravn, A. P., 2007, Proceedings of 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. IEEE Computer Society Press, p. 94-101 8 p.

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

27 Citations (Scopus)

A refinement driven component-based design

Chen, Z., Liu, Z., Ravn, A. P., Stolz, V. & Yang, L., 2007, Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems: ICECCS07. IEEE Computer Society Press, p. 277-289

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

5 Citations (Scopus)

ATLAS DDM integration in ARC

Behrmann, G., Cameron, D., Ellert, M., Kleist, J. & Tage, A., 2007. 1 p.

Research output: Contribution to conference without publisher/journalPosterResearch

Open Access
File
291 Downloads (Pure)

Automated Distributed Simulation in Ptolemy II

Lázaro Cuadrado, D., Ravn, A. P. & Koch, P., 2007, Proceedings of IASTED International Conference on Parallel and Distributed Computing and Networks: PDCN 2007. Burkhart, H. (ed.). ACTA Press, p. 139-144

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

4 Citations (Scopus)

Automatic Abstraction Refinement for Timed Automata

Larsen, K. G., kupferschmid, S. & Dierks, H., 2007, Formal Modeling and Analysis of Timed Systems. IEEE Computer Society Press, p. 114-129 15 p. (Lecture Notes in Computer Science; No. 4763).

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

35 Citations (Scopus)

Complexity in Simplicity: Flexible Agent-based State Space Exploration

Rasmussen, J. I. & Larsen, K. G., 2007, In : Lecture Notes in Computer Science. p. 231-245

Research output: Contribution to journalConference article in JournalResearchpeer-review

5 Citations (Scopus)

Compositionality and Compatibility of Service Contracts

Okika, J. C. & Ravn, A. P., 2007, NWPT'07/FLACOS'07 Workshop Proceeding. Johansen, E. B., Owe, O. & Schneider, G. (eds.). Department of Informatics, University of Oslo, p. 101-103 3 p. (Research Report; No. 366).

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

Design Verifikation Patterns

Knudsen, J., Ravn, A. P. & Skou, A., 2007, Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Jones, C., Liu, Z. & Woodcock, J. (eds.). Berlin /Heidelberg: Springer, p. 399-413 (Lecture Notes in Computer Science, Vol. 4700).

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

Editorial: Hybrid Systems

Olderog, E-R. & Ravn, A. P., 2007, In : Acta Informatica. 43, 7, p. 449-450

Research output: Contribution to journalEditorialResearch

Guest editors' foreword

Aceto, L. & Bravetti, M., 2007, In : Journal of Logic and Algebraic Programming. 72, 1, p. 1-2 2 p.

Research output: Contribution to journalEditorialResearch

Guided Controller Synthesis for Climate Controller Using UPPAAL-TIGA

David, A., Jessen, J. J., Rasmussen, J. I. & Larsen, K. G., 2007, Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings. 4763 ed. Springer, p. 227-240 14 p. (Lecture Notes in Computer Science; No. 4763).

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

32 Citations (Scopus)

Height-Deterministic Pushdown Automata

Nowotka, D. & Srba, J., 2007, 32nd International Symposium on Mathematical Foundations of Computer Science (MFCS'07), LNCS. 4708 ed. Springer, Vol. LNCS. p. 125-134 10 p.

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

26 Citations (Scopus)

How do exhibition visitors describe aesthetic qualities?

Thomsen, B. D. & Ravn, A. P., 2007, International Conference on Computing, Communications and Control Technologies  CCCT 2007: Interactive Communication Design of Information Systems. 1 ed. International Institute of Informatics and Cybernetics, Vol. III. p. 155-160 6 p. (The CCCT07).

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

Open Access
File
699 Downloads (Pure)

Modal I/O Automata for Interface and Product Line Theories

Larsen, K. G., Nyman, U. & Wasowski, A., 2007, Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007Braga, Portugal, March/April 2007, Proceedings. De Nicola, R. (ed.). IEEE Computer Society Press, p. 64-79 16 p. (Lecture Notes in Computer Science; No. 4421).

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

Open Access
File
172 Citations (Scopus)
373 Downloads (Pure)

Model-Checking One-Clock Priced Timed Automata

Bouyer, P., Larsen, K. G. & Markey, N., 2007, In : Lecture Notes in Computer Science. p. 108-122 14 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

19 Citations (Scopus)

Modeling software product lines using color-blind transition systems

Larsen, K. G., Nyman, U. & Wasowski, A., 2007, In : International Journal on Software Tools for Technology Transfer. 9, 5-6, p. 471 487 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
9 Citations (Scopus)
556 Downloads (Pure)

On Modal Refinement and Consistency

Nyman, U., Larsen, K. G. & Wasowski, A., 2007, CONCUR 2007 – Concurrency Theory. IEEE Computer Society Press, p. 105-119 15 p. (Lecture Notes in Computer Science; No. 4703).

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

Open Access
File
48 Citations (Scopus)
344 Downloads (Pure)

Reactive Systems: Modelling, Specification and Verification

Aceto, L., Ingolfsdottir, A., Larsen, K. G. & Srba, J., 2007, Cambridge: Cambridge University Press. 300 p.

Research output: Book/ReportBookEducation

Reparametrizations of Continuous Paths

Fahrenberg, U. & Raussen, M., 2007, In : Journal of Homotopy and Related Structures. 2, 2, p. 93-117

Research output: Contribution to journalJournal articleResearchpeer-review

Special issue - Algebraic process calculi: The first twenty five years and beyond - Guest editors' foreword

Aceto, L., Bravetti, M., Fokkink, W. & Gordon, A. D., 2007, In : Journal of Logic and Algebraic Programming. 70, 2, p. 119-120 2 p.

Research output: Contribution to journalEditorialResearch

The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer

Jones, N. D. & Hansen, R. R., 2007, Programming Languages and Systems: 5th Asian Symposium, APLAS 2007. Shao, Z. (ed.). Springer, p. 303-318 (Lecture Notes in Computer Science; No. 4807).

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

2 Citations (Scopus)

Timed Control with Observation Based and Stuttering Invariant Strategies

David, A., Larsen, K. G., Cassez, F., Lime, D. & Raskin, J-F., 2007, Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings. Springer, p. 192-206 (Lecture Notes in Computer Science; No. 4762).

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

27 Citations (Scopus)

UPPAAL-TIGA: Time for Playing Games!

David, A., Behrmann, G., Cougnard, A., Fleury, E., Larsen, K. G. & Lime, D., 2007, Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings. Springer, p. 121-125 (Lecture Notes in Computer Science; No. 4590).

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

2006

A COTS Framework for Sensor Fusion Using Dynamic Bayesian Networks in Livestock Production

Hansen, J. A., Nielsen, T. D. & Schiøler, H., 2006, Computer Applications in Industry and Engineering (CAINE-2006), 19th Int'l. Conference. Philip, T. (ed.). Denmark., p. 41-48 7 p.

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

Adapting an AI planning heuristic for directed model checking

Kupferschmid, S., Hoffmann, J., Dierks, H. & Behrmann, G., 2006, Model Checking Software, Proceedings. p. 35-52

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

33 Citations (Scopus)

A Distributed Pi-Calculus with anonymous moves

Hüttel, H., Godskesen, J. C. & Kühnrich, M., 2006, Proceedings of the 18th Nordic Workshop on Programming Theory (NWPT'06). Háskólinn í Reykjavík

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

A finite equational base for CCS with left merge and communication merge

Aceto, L., Fokkink, W., Ingolfsdottir, A. & Luttik, B., 2006, Automata, Languages and Programming, Pt 2. p. 492-503

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

3 Citations (Scopus)

An Interface Theory for Input/Output Automata

Larsen, K. G., Nyman, U. & Wasowski, A., 2006, RS-06-10 ed. Århus: BRICS. 40 p.

Research output: Book/ReportReportResearch

Open Access
File
462 Downloads (Pure)

A Ravenscar-Java profile implementation

Thomsen, B., Ravn, A. P. & Søndergaard, H., 2006, ACM International Conference Proceeding Series: JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems. Association for Computing Machinery, Vol. 177. p. 38-47 10 p.

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

10 Citations (Scopus)

Bisimilarity is not finitely based over BPA with interrupt

Aceto, L., Fokkink, W., Ingolfsdottir, A. & Nain, S., 2006, In : Theoretical Computer Science. 366, 1-2, p. 60-81

Research output: Contribution to journalJournal articleResearchpeer-review

7 Citations (Scopus)