Distributed, Embedded and Intelligent Systems

Postal addressShow on map
Selma Lagerlöfs Vej 300, Cassiopeia
9220 Aalborg
Denmark

16 results

Filter

2014

Model checking process algebra of communicating resources for real-time systems
Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, 10 p.
Research output: Working paper/Preprint › Working paper › Research

Open Access
File

385 Downloads (Pure)
2011

Quasimodo Final Report
Nielsen, B. & Larsen, K. G., 1 Oct 2011, 77 p.
Research output: Working paper/Preprint › Working paper › Research
Quasimodo Year 3 Management Report
Nielsen, B. & Larsen, K. G., 1 Jun 2011, 36 p.
Research output: Working paper/Preprint › Working paper › Research
2010

Quasimodo Year 2 Management Report
Nielsen, B. & Larsen, K. G., 28 Jan 2010, 49 p.
Research output: Working paper/Preprint › Working paper › Research
2009

Quasimodo Year 1 Management Report
Nielsen, B. & Larsen, K. G., 2009, 41 p.
Research output: Working paper/Preprint › Working paper › Research
2007

Quasimodo: Quantitative System Properties in Model-Driven-Design of Embedded Systems. EU FP-7 Application
Nielsen, B., Skou, A. & Larsen, K. G., 2007, 118 p.
Research output: Working paper/Preprint › Working paper › Research
2006
Interface Input/Output Automata: Splitting Assumptions from Guarantees
Larsen, K. G., Nyman, U. & Wasowski, A., 2006.
Research output: Working paper/Preprint › Working paper › Research

File
205 Downloads (Pure)
2004

Bisimilarity is not Finitely Based over BPA with Interrupt
Aceto, L., Fokkink, W., Ingolfsdottir, A. & Nain, S., 2004.
Research output: Working paper/Preprint › Working paper › Research
Danfoss EKC Trial Project Deliverables
Nielsen, B., Larsen, K. G., Larsen, U., Skou, A. & Andrzej, W., 2004, p. 52.
Research output: Working paper/Preprint › Working paper › Research
Minimal DBM Substraction
David, A., Håkansson, J., G. Larsen, K. & Pettersson, P., 2004, ITU Copenhagen, p. 4.
Research output: Working paper/Preprint › Working paper › Research

Open Access
File
242 Downloads (Pure)
Proceedings of the Workshop on Structural Operational Semantics: London, England (August 30, 2004)
Aceto, L., Fokkink, W. & Ulidowski, I., 2004.
Research output: Working paper/Preprint › Working paper › Research
2003

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 paper/Preprint › Working paper › Research
Hybrid Control Design for a Wheeled Mobile Robot
Bak, T., Bendtsen, J. D. & Ravn, A. P., 2003, <Forlag uden navn>.
Research output: Working paper/Preprint › Working paper › Research

Open Access
File

501 Downloads (Pure)
Impact of Scheduling Policies on Control System Performance
Schiøler, H., Ravn, A. P. & Nielsen, J. F. D., 2003, <Forlag uden navn>.
Research output: Working paper/Preprint › Working paper › Research

Open Access
File

108 Downloads (Pure)
Nested Semantics over Finite Trees are Equationally Hard
Aceto, L., Fokkink, W. J., van Glabeek, R. J. & Ingolfsdottir, A., 2003.
Research output: Working paper/Preprint › Working paper › Research
Towards Reliable Integrated Services for Dependable Systems
Schiøler, H., Ravn, A. P., Izadi-Zamanabadi, R., Nielsen, K. M., Madsen, O. B. & Nielsen, J. F. D., 2003, <Forlag uden navn>.
Research output: Working paper/Preprint › Working paper › Research

Open Access
File

148 Downloads (Pure)

Distributed, Embedded and Intelligent Systems

Research output

Search results