Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2020

Filter
Report
2016

Towards a Smart City: Recommendations on smart specialization within embedded systems for smart cities

Thiel, C., Murillo, C., De Colvenaer, M., Skou, A. J., Nielsen, P. A. & Nielsen, A. B., 31 Aug 2016, 24 p.

Research output: Book/ReportReportResearch

Open Access
2014
264 Downloads (Pure)

HomePort ZigBee Adapter: Internal Milestone Report

Pedersen, T., Smedegaard, J. H. & Hansen, R., 18 Aug 2014, Aalborg: Institut for Datalogi, Aalborg Universitet. 8 p. (R : Department of Computer Science, Aalborg University; No. 12).

Research output: Book/ReportReportResearch

Open Access
File
Zigbee
Computer keyboards
Middleware
Network protocols
2012

D2.3 - ENCOURAGE platform reference architecture

Ferreira, L. L., Pinho, L. M., Albano, M., Ramiro, M., Faria, E., Ferreira, R., Gaylard, E., Roarke, E., Dueñas, L. P., Cano Gimeno, N., Le Guilly, T., Madsen, P. P., Jorquera, D., Lux, D. & Los, M., 10 May 2012, 101 p.

Research output: Book/ReportReportResearchpeer-review

2010

A combinatorial wind field model

Soleimanzadeh, M., Wisniewski, R. & Sloth, C., 2010, 22 p.

Research output: Book/ReportReportCommissionedpeer-review

Farms
Lyapunov functions
2008
630 Downloads (Pure)

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
2006
446 Downloads (Pure)

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
Chemical analysis

Computer Science - Research Evaluation: 2001 - 2005

Kleist, J. (ed.), 2006, Aalborg: Aalborg Universitet. 113 p.

Research output: Book/ReportReportCommunication

Contract-based Internet Service Software Development: A Proposal

Giambiagi, P., Owe, O., Schneider, G. & Ravn, A. P., 2006, Oslo, Norway: Department of Informatics, University of Oslo. (Report-UiO; No. 333).

Research output: Book/ReportReportResearch

Software engineering
Internet
Service oriented architecture (SOA)
Interoperability
Industry

One Clock Priced Timed Automata: Model Checking and Optimal Strategies

Bouyer, P., Laroussinie, F., Larsen, K. G. & Markey, N., 2006, 10 p.

Research output: Book/ReportReportResearch

Prosoft: procesforbedring under udvikling af indlejret og teknisk software

Skou, A. (ed.), Nielsen, B., Skou, A., Aaen, I., Nielsen, P. A., Knudsen, J. & Biegel, J. (ed.), 2006, Aalborg: CISS, Aalborg Universitet. 150 p.

Research output: Book/ReportReportCommunication

102 Downloads (Pure)

Reparametrizations of continuous paths

Fahrenberg, U. & Raussen, M., 2006, Department of Mathematical Sciences, Aalborg University. 20 p. (Research Report Series; No. R-2006-22).

Research output: Book/ReportReportResearch

Open Access
File
2005
210 Downloads (Pure)

Bisimulation for Higher-Dimensional Automata. A Geometric Interpretation

Fahrenberg, U., 2005, Dept. of Mathematical Sciences: Aalborg Universitetsforlag. 22 p. (Research Report Series; No. R-2005-01).

Research output: Book/ReportReportResearch

Open Access
File
Bisimulation
Automata
High-dimensional
Open Map
Path

Mid-term self evaluation report for SNF project no. 21-03-0243: "Danish Center for Grid Computing"

Jul, E., Kleist, J., Vinter, B., Hansen, J. S., Sharp, R. & Elgaard Larsen, N., 2005, 19 p.

Research output: Book/ReportReportResearch

2000

Laboratory Description: The Mindpass-CDS Laboratory

Behrmann, G., Clausen, T. H. & Kleist, J., 2000

Research output: Book/ReportReportResearch

Project Description: Mindpass Center for Distributed Systems

Mathiassen, L., Pedersen, J., Kleist, J., Thomsen, T. R., Behrmann, G. & Clausen, T. H., 2000

Research output: Book/ReportReportResearch

1998

Migration = cloning; aliasing

Hüttel, H., Kleist, J., Nestmann, U. & Merro, M., 1998, RS-98-34 ed. Århus: BRICS - Basic Research in Computer Science.

Research output: Book/ReportReportResearch

1996

Bisimulations for Asynchronous Mobile Processes

Hansen, M., Hüttel, H. & Kleist, J., 1996, RS-96-8 ed. Århus: BRICS - Basic Research in Computer Science.

Research output: Book/ReportReportResearch

Objects, Types and Modal Logics

Andersen, D. S., Hüttel, H., Kleist, J. & Pedersen, L. H., 1996, RS-96-49 ed. Århus: BRICS - Basic Research in Computer Science.

Research output: Book/ReportReportResearch

Objects as Mobile Processes

Hüttel, H. & Kleist, J., 1996, RS-96-38 ed. Århus: BRICS - Basic Research in Computer Science.

Research output: Book/ReportReportResearch

1994

Process Calculi with Asynchronous Communication: Master's Thesis

Hansen, M. & Kleist, J., 1994, R-94-2028 ed. Aalborg: Department of Computer Science, Aalborg University.

Research output: Book/ReportReportResearch