Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2020

489 Downloads (Pure)

20 Years of Modal and Mixed Specifications

Antonik, A., Huth, M., Larsen, K. G., Nyman, U. & Wasowski, A., 2008, In : Bulletin of the European Association for Theoretical Computer Science. 95

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Specifications

20 Years of Real Real Time Model Validation

Larsen, K. G., Lorber, F. & Nielsen, B., 2018, Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Springer, Vol. 10951. p. 22--36 (Lecture Notes in Computer Science, Vol. 10951).

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

4 Citations (Scopus)

20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond

Larsen, K. G., Lorber, F. & Nielsen, B., 9 Nov 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Springer, p. 212-229 (Lecture Notes in Computer Science, Vol. 11247).

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

Industry
10 Citations (Scopus)

2-Nested Simulation is not Finitely Equationally Axiomatizable

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 2001, STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15 - 17, 2001 : Proceedings: Lecture Notes in Computer Science. Ferreira, A. : Reichel, H. (eds.) (ed.). 2010 ed. IEEE Computer Society Press, p. 39-50

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

2 Citations (Scopus)
1 Downloads (Pure)

Abstract Dependency Graphs and Their Application to Model Checking

Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19). Zhang, L. & Vojnar, T. (eds.). Springer, p. 316-333 18 p. (Lecture Notes in Computer Science, Vol. 11427).

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

Open Access
File
Model checking
Concretes
6 Citations (Scopus)

Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions

Sloth, C. & Wisniewski, R., 2010, In : I E E E Conference on Decision and Control. Proceedings. p. 3760-3765

Research output: Contribution to journalConference article in JournalResearchpeer-review

Lyapunov functions
Lyapunov Function
Dynamical systems
Dynamical system
Timed Automata
6 Citations (Scopus)
223 Downloads (Pure)

Abstraction of Dynamical Systems by Timed Automata

Wisniewski, R. & Sloth, C., 2011, In : Modeling, Identification and Control (Online Edition). 32, 2, p. 79-90 12 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
Timed Automata
Equivalence classes
Dynamical systems
State Space
Dynamical system
2 Citations (Scopus)
303 Downloads (Pure)

Abstractions for Mechanical Systems

Sloth, C. & Wisniewski, R., 2012, Lagrangian and Hamiltonian Methods for Non Linear Control. 1 ed. Elsevier, Vol. 4. p. 96-101 6 p. (I F A C Workshop Series).

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

Open Access
File
Formal verification
12 Citations (Scopus)

Abstract probabilistic automata

Delahaye, B., Katoen, J. P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wa̧sowski, A., 4 Nov 2013, In : Information and Computation. 232, p. 66-116 51 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Probabilistic Automata
Specifications
Specification
Explosions
Uncertainty
33 Citations (Scopus)

Abstract Probabilistic Automata

Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., 2011, In : Lecture Notes in Computer Science. 6538, p. 324-339

Research output: Contribution to journalConference article in JournalResearchpeer-review

3 Citations (Scopus)

A Characterization of Finitary Bisimulation

Aceto, L. & Ingolfsdottir, A., 1997, In : Information Processing Letters. 64, 3, p. 127-141

Research output: Contribution to journalJournal articleResearchpeer-review

3 Citations (Scopus)

A Characterization of Finitary Bisimulation

Aceto, L. & Ingolfsdottir, A., 1997, Århus: Department of Computer Science, Aarhus University. (BRICS Report Series; No. RS-97-26).

Research output: Book/ReportBookResearch

A combinatorial wind field model

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

Research output: Book/ReportReportCommissionedpeer-review

Farms
Lyapunov functions
2 Citations (Scopus)
105 Downloads (Pure)

A Complete Approximation Theory for Weighted Transition Systems

Hansen, M., Larsen, K. G., Mardare, R. I., Pedersen, M. R. & Xue, B., 2016, Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. Fränzle, M., Kapur, D. & Zhan, N. (eds.). Springer, p. 213-228 (Lecture Notes in Computer Science, Vol. 9984).

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

Open Access
File
Bisimulation
Approximation Theory
Transition Systems
Logic
Finite Models

A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours

Aceto, L. & Jeffrey, A. S. A., 1994, Århus : Daimi: Department of Computer Science, Aarhus University. 18 p. (BRICS Report Series; No. RS-94-43).

Research output: Book/ReportBookResearch

12 Citations (Scopus)

A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours

Aceto, L. & Jeffrey, A. S. A., 1995, In : Theoretical Computer Science. 152, p. 251-268

Research output: Contribution to journalJournal articleResearchpeer-review

4 Citations (Scopus)

A Complete Equational Axiomatization for MPA with String Iteration

Aceto, L. & Groote, J. F., 1999, In : Theoretical Computer Science. 211, 1-2, p. 339-374

Research output: Contribution to journalJournal articleResearchpeer-review

A Complete Equational Axiomatization for MPA with String Iteration

Aceto, L. & Groote, J. F., 1997, Amsterdam: Centrum voor Wiskunde en Informatica. (Report; No. SEN-R9708).

Research output: Book/ReportBookCommunication

A Complete Equational Axiomatization for MPA with String Iteration

Aceto, L. & Groote, J. F., 1995, Århus : Daimi: Department of Computer Science, Aarhus University. 39 p. (BRICS Report Series; No. RS-95-28).

Research output: Book/ReportBookResearch

A Complete Equational Axiomatization for Prefix Iteration with Silent Steps

Aceto, L. & Ingolfsdottir, A., 1995, Århus : Daimi: Department of Computer Science, Aarhus University. 27 p. (BRICS Report Series; No. RS-95-5).

Research output: Book/ReportBookResearch

Open Access
Axiomatization
Deduction
Markov processes
Markov chain
Equational Logic
1 Citation (Scopus)

A component framework as an enabler for industrial cyber physical systems

Neto, L., Madsen, A. L., Søndberg-Jeppesen, N., Silva, R., Reis, J., McIntyre, P. & Gonçalves, G., 15 Jun 2018, Proceedings - 2018 IEEE Industrial Cyber-Physical Systems, ICPS 2018. IEEE, p. 339-344 6 p.

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

Sensors
Dispensers
Bayesian networks
Fault detection
Software engineering
1 Citation (Scopus)
53 Downloads (Pure)

A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems

Han, P., Zhai, Z., Nielsen, B. & Nyman, U. M., 26 Jun 2018, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design. Bliudze, S. & Bensalem, S. (eds.). p. 39-51 13 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 272).

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

Open Access
File
7 Citations (Scopus)
805 Downloads (Pure)

A Context-Aware User Interface for Wireless Personal-Area Network Assistive Environments

Poul, B., Marcombes, S., David, A., Struijk, L. N. S. A. & Le Moullec, Y., 2013, In : Wireless Personal Communications. 69, 1, p. 427-447 21 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

A Coock's Tour of Equational Axiomatizations for Prefix Iteration

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 1998, Foundations of Software Science and Computation Structures : Proceedings of the 1st International Conference, FoSSaCS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998: Lecture Notes in Computer Science. Steffen, B. (ed.) (ed.). 1378 ed. IEEE Computer Society Press, p. 20-34

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

5 Citations (Scopus)

A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing

Aceto, L., Larsen, K. G., Morichetta, A. & Tiezzi, F., 29 Jan 2016, Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Springer, Vol. 9539. p. 66-85 20 p. (Lecture Notes in Computer Science, Vol. 9539).

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

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

2 Citations (Scopus)

Action Investment Energy Games

Larsen, K. G., Laursen, S. & Srba, J., 2013, Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers. Kučera, A., Henzinger, T. A., Nešetřil, J., Vojnar, T. & Antoš, D. (eds.). Netherlands: Springer Publishing Company, Vol. 7721. p. 155-167 13 p. (Lecture Notes in Computer Science, Vol. 7721).

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

Costs
12 Citations (Scopus)

Actions speak louder than words: Proving bisimilarity for context-free processes

Hüttel, H. & Stirling, C., Aug 1998, In : Journal of Logic and Computation. 8, 4, p. 485-509 25 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Context free grammars
Tableau
Bisimulation
Acoustic waves
Equivalence
76 Citations (Scopus)

Active and Passive Fault-Tolerant LPV Control of Wind Turbines

Sloth, C., Esbensen, T. & Stoustrup, J., 2010, In : American Control Conference (ACC). 2010, p. 4640-4646

Research output: Contribution to journalConference article in JournalResearchpeer-review

Wind turbines
Controllers
Control systems
Linear matrix inequalities
Failure analysis
2 Citations (Scopus)
457 Downloads (Pure)

Active Diagnosis of MLD Systems using Distinguishable Steady Outputs

Tabatabaeipour, S. M., Ravn, A. P., Izadi-Zamanabadi, R. & Bak, T., 4 Jul 2010, 10th IEEE International symposium on Industrial Electronics. IEEE Press, p. 52-57

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

Open Access
File

Adaptable Value-Set Analysis for Low-Level Code

Brauer, J., Hansen, R. R., Kowalewski, S., Larsen, K. G. & Olesen, M. C., Jul 2012, 6th International Workshop on Systems Software Verification (SSV 2011). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Vol. 24. 12 p.

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

34 Citations (Scopus)

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

1 Citation (Scopus)

Adaptive Task Automata with Earliest-Deadline-First Scheduling

Hatvani, L., David, A., Seceleanu, C. & Pettersson, P., 2014, In : Electronic Communications of the EASST. 70, p. 1-15 15 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
4 Citations (Scopus)

Adaptive User-Oriented Direct Load-Control of Residential Flexible Devices

Frazzetto, D., Neupane, B., Pedersen, T. B. & Nielsen, T. D., 12 Jun 2018, e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems. Association for Computing Machinery, p. 1-11 11 p.

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

Quality of service
Scheduling
Energy utilization
Uncertainty
34 Citations (Scopus)

Adding Action-Tefinement to a Finite Process Algebra

Aceto, L. & Hennesy, M., 1994, In : Information and Computation. 115, p. 179-247

Research output: Contribution to journalJournal articleResearchpeer-review

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

2 Citations (Scopus)

A decidable recursive logic forweighted transition systems

Larsen, K. G., Mardare, R. & Xue, B., 1 Jan 2014, Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Springer, Vol. 8687. p. 460-476 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

Syntactics
Real time systems
Costs

A Decidable Recursive Logic for Weighted Transition Systems

Xue, B., Larsen, K. G. & Mardare, R. I., 2014, Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (eds.). Springer Publishing Company, Vol. 8687. p. 460-476 17 p. (Lecture Notes in Computer Science).

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

Syntactics
Real time systems
Costs
3 Citations (Scopus)

A delay-robust touristic plan recommendation using real-world public transportation information

Ayala, V. A. A., Alzogbi, A., Gülsen, K. C., Färber, M., Muñiz, M. & Lausen, G., 1 Jan 2017, In : CEUR Workshop Proceedings. 1906, p. 9-17 9 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Recommender systems
Experiments
5 Citations (Scopus)

Adequacy and Complete Axiomatization for Timed Modal Logic

Jaziri, S., Larsen, K. G., Mardare, R. I. & Xue, B., 2014, Electronic Notes in Theoretical Computer Science: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX). Jacobs, B., Silva, A. & Staton, S. (eds.). Ithaca, New York: Elsevier, Vol. 308. p. 183-210 28 p. (Electronic Notes in Theoretical Computer Science, Vol. 308).

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

Open Access

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs

Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jensen, P. G., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2018, In : Fundamenta Informaticae. 161, 4, p. 351-381

Research output: Contribution to journalJournal articleResearchpeer-review

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

15 Citations (Scopus)

A distributed storage system with dCache

Behrmann, G., Fuhrmann, P., Grønager, M. & Kleist, J., 2008, In : Journal of Physics - Conference Series. 10 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

wide area networks
bandwidth
recommendations
maintenance
resources
2 Citations (Scopus)

A Distributed Tier-1

Fischer, L., Grønager, M., Kleist, J. & Smirnova, O., 2008, In : Journal of Physics - Conference Series. 11 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

resources

Adopting quality assurance technology in customer-vendor relationships: A case study of how interorganizational relationships influence the process

Heeager, L. T. & Tjørnehøj, G., 2011, Information Systems Development: Asian Experiences. Song, W. W., Wan, C., Wojtkowski, W., Linger, H., Xu, S., Zhong, Y. & Wojtkowski, G. (eds.). Springer Science+Business Media, p. 535-546

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

3 Citations (Scopus)

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

17 Citations (Scopus)

A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL

Ravn, A. P., Srba, J. & Vighio, S., 2010, In : Lecture Notes in Computer Science. 6415, p. 579-593

Research output: Contribution to journalConference article in JournalResearchpeer-review

Formal Analysis
Web services
Web Services
Transactions
Network protocols

A Formalization of Linkage Analysis

Ingolfsdottir, A., Christensen, A. I., Hansen, J. A., Johnsen, J., Knudsen, J. & Rasmussen, J. I., 2002, Århus: BRICS - Aarhus University. (B R I C S Report Series; No. RS-02-7).

Research output: Book/ReportBookResearch

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

David, A., Jacobsen, L., Jacobsen, M. & Srba, J., 2012, In : Electronic Proceedings in Theoretical Computer Science. 102, p. 125-140 16 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Petri nets
Extrapolation