Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

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

3 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

33 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

13 Citations (Scopus)

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
2 Citations (Scopus)
330 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
6 Citations (Scopus)
248 Downloads (Pure)

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

6 Citations (Scopus)

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
2 Citations (Scopus)
3 Downloads (Pure)

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

10 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

5 Citations (Scopus)

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

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