Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

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)

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Aceto, L. (ed.), Bacci, G. (ed.), Bacci, G. (ed.), Ingolfsdottir, A. (ed.), Larsen, K. G. (ed.), Legay, A. (ed.) & Mardare, R. I. (ed.), 2017, Springer. 1 p. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Vol. 10460).

Research output: Book/ReportAnthology

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Margaria, T. (ed.), Graf, S. (ed.) & Larsen, K. G. (ed.), 2019, Springer Publishing Company. (Theoretical Computer Science and General Issues, Vol. 11200).

Research output: Book/ReportAnthologyResearchpeer-review

Models for Embedded Real-Time Systems

Lime, D., Roux, O. H. & Srba, J., 2009, Communicating Embedded Systems - Software and Design. Roux, O. H. & Jard, C. (eds.). Wiley, p. 1-38 38 p.

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

Models for Real-Time Embedded Systems

Lime, D., Roux, O. H. & Srba, J., 13 Feb 2013, Communicating Embedded Systems: Software and Design: Formal Methods. Jard, C. & H. Roux, O. (eds.). Wiley, p. 1-37 37 p.

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

Model Verification Through Dependency Graphs

Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19). Biondi, F., Given-Wilson, T. & Legay, A. (eds.). Springer, p. 1-19 19 p. (Lecture Notes in Computer Science, Vol. 11636).

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

Modular Markovian logic

Cardelli, L., Larsen, K. G. & Mardare, R., 1 Jan 2011, In : Lecture Notes in Computer Science. 6756 LNCS, p. 380-391 12 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

10 Citations (Scopus)

Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic

Bulychev, P., David, A., Larsen, K. G., Legay, A., Guangyuan, L., Poulsen, D. B. & Stainer, A., 2012, Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings. Berlin: Springer, Vol. 7180. p. 168-182 (Lecture Notes in Computer Science, Vol. 7180).

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

22 Citations (Scopus)

Monitoring Dynamical Signals While Testing Timed Aspects of a System

Frehse, G., Larsen, K. G., Mikucionis, M. & Nielsen, B., 1 Jan 2011, In : Lecture Notes in Computer Science. 7019 LNCS, p. 115-130 16 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)

Monitoring Indoor Temperature and Humidity for Pig Stables

Hansen, J. A., Nielsen, T. D. & Schiøler, H., 2006.

Research output: Contribution to conference without publisher/journalPosterResearch

Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols

Delzanno, G., Esparza, J. & Srba, J., 2006, Automated Technology for Verification and Analysis: Proceedings of the 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. IEEE Computer Society Press, p. 415-429 15 p. (Lecture Notes in Computer Science; No. 4218).

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

Montague-semantik

Hüttel, H. & Skovsmose, O., 2000, Syntaks og semantik. Hüttel, H. (ed.). Aalborg: Aalborg Universitet

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

Moving from Specifications to Contracts in Component-based Design

Bauer, S., David, A., Hennicker, R., Larsen, K. G., Legay, A., Nyman, U. & Wasowski, A., 2012, Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Springer, Vol. 7212. p. 43-58 15 p. (Lecture Notes in Computer Science, Vol. 7212).

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

Open Access
File
68 Citations (Scopus)
482 Downloads (Pure)

Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction

Laarman, A., Olesen, M. C., Dalsgaard, A., Larsen, K. G. & Pol, J. V. D., 2013, Proceedings of the 25th International Conference on Computer Aided Verification (CAV). Springer Publishing Company, Vol. 8044. p. 968-983 16 p. (Lecture Notes in Computer Science, Vol. 8044).

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

Open Access
File
18 Citations (Scopus)
362 Downloads (Pure)

Multi-core reachability for timed automata

Dalsgaard, A. E., Laarman, A., Larsen, K. G., Olesen, M. C. & Van De Pol, J., 2012, Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Jurdzinski, M. & Nickovic, D. (eds.). Springer Publishing Company, p. 91-106 16 p. (Lecture Notes in Computer Science, Vol. 7595).

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

13 Citations (Scopus)

Multi-criteria decision analysis in Bayesian networks-Diagnosing ecosystem service trade-offs in a hydropower regulated river

Barton, D. N., Sundt, H., Adeva Bustos, A., Fjeldstad, H-P., Hedger, R., Forseth, T., köhler, B., Aas, Ø., Alfredsen, K. & Madsen, A. L., 2019, In : Environmental Modelling & Software. 124, 104604.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
11 Downloads (Pure)

Mutation-Based Test-Case Generation with Ecdar

Larsen, K. G., Lorber, F., Nielsen, B. & Nyman, U. M., 13 Apr 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. IEEE, p. 319-328 10 p. 7899077

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

8 Citations (Scopus)

Nash Equilibria in Concurrent Priced Games

Klimos, M., Larsen, K. G., Stefanak, F. & Thaarup, J., 2012, Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. Berlin: Springer, Vol. 7183. p. 363-376 (Lecture Notes in Computer Science, Vol. 7183).

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

9 Citations (Scopus)

Nested Semantics over Finite Trees are Equationally Hard

Aceto, L., Fokkink, W. J., van Glabeek, R. J. & Ingolfsdottir, A., 2003.

Research output: Working paperResearch

Nested Semantics over Finite Trees are Equationally Hard

Aceto, L., Fokkink, W., Glabbeek, van, R. & Ingolfsdottir, A., 2004, In : Information and Computation. 191, 2, p. 203-232

Research output: Contribution to journalJournal articleResearchpeer-review

18 Citations (Scopus)

Nested Semantics over Finite Trees are Equationally Hard (Invited Talk)

Aceto, L., 2003, Proceedings of EXPRESS'03: Electronic Notes in Theoretical Computer Science. Corradini, F. & Nestmann, U. (eds.). 96 ed. Pergamon Press, p. 5-6 2 p.

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

NetCo: Reliable Routing with Unreliable Routers

Feldmann, A., Heyder, P., Kreutzer, M., Schmid, S., Seifert, J. P., Shulman, H., Thimmaraju, K., Waidner, M. & Sieberg, J., 22 Sep 2016, Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016. IEEE, p. 128-135 8 p. 7575362

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

4 Citations (Scopus)

NetSlicer: Automated and Traffic-Pattern Based Application Clustering in Datacenters

Schiff, L., Ziv, O., Jaeger, M. & Schmid, S., 7 Aug 2018, Big-DAMA 2018 - Proceedings of the 2018 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks, Part of SIGCOMM 2018. Association for Computing Machinery, p. 21-26 6 p.

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

2 Citations (Scopus)

Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies

Schiøler, H., Jessen, J. J., Nielsen, J. F. D. & Larsen, K. G., 2005, Computers and Their Applications (CATA-2005).

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

10 Citations (Scopus)

New Results for Constraint Markov Chains

Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2012, In : Performance Evaluation. 69, 7-8, p. 379-401

Research output: Contribution to journalJournal articleResearchpeer-review

2 Citations (Scopus)

New Results on Abstract Probabilistic Automata

Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., 2011, In : Proceedings of the International Conference on Application of Concurrency to System Design. p. 118-127

Research output: Contribution to journalConference article in JournalResearchpeer-review

16 Citations (Scopus)

New Results on Timed Specifications

Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U. & Wasowski, A., 23 Feb 2012, Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Mossakowski, T. & Kreowski, H-J. (eds.). Springer, p. 175-192 18 p. (Lecture Notes in Computer Science, Vol. 7137).

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

Open Access
File
4 Citations (Scopus)
368 Downloads (Pure)

New UPPAAl Architecture

David, A., Behrmann, G., Larsen, K. G. & Yi, W., 2002, Proceedings of the 2nd Workshop on Real-Time Tools (RT-TOOLS 2002), August 1, 2002, Copenhagen, Denmark.

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

Nonfinitely Based Tropical Semirings

Aceto, L., Esik, Z. & Ingolfsdottir, A., 2001, Proceedings of the Workshop on Max-Plus Algebra and Their Applications to Discrete-Event Systems : Theoretical Computer Science, and Optimization, August 27-29 2001, Prague, Czech Republic. Gaubert, S. : Loiseau, J. J. (eds.) (ed.). Elsevier, p. 29-34

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

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/ReportReport

Objects, Types and Modal Logics

Andersen, D. S., Hüttel, H., Kleist, J. & Pedersen, L. H., 1997, Proceedings of FOOL4.

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

Objects as Mobile Processes

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

Research output: Book/ReportReport

On a Question of A. Salomaa: the Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitely Based

Aceto, L., Fokkink, W. & Ingolfsdottir, A., 1998, In : Theoretical Computer Science. 209, 1-2, p. 163-178

Research output: Contribution to journalJournal articleResearchpeer-review

7 Citations (Scopus)

On a Question of A Salomaa: the Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitely based

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 1996, Århus: Department of Computer Science, Aarhus University. (BRICS Report Series; No. RS-96-36).

Research output: Book/ReportBookResearch

On Collapsing Prefix Normal Words

Fleischmann, P., Kulczynski, M., Nowotka, D. & Poulsen, D. B., 2020, Language and Automata Theory and Applications: 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (eds.). Springer, p. 412-424 13 p. (Lecture Notes in Computer Science (LNCS), Vol. 12038).

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

On Counting the Number of Consistent Genotype Assignments for Pedigrees

Srba, J., 2005, Proceedings of FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Ramanujam, R. & Sen, S. (eds.). IEEE Computer Society Press, (Lecture Notes in Computer Science; No. 3821).

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

On decidability of recursive weighted logics

Larsen, K. G., Mardare, R. & Xue, B., 2018, In : Soft Computing. 22, 4, p. 1085-1102

Research output: Contribution to journalJournal articleResearchpeer-review

1 Citation (Scopus)

On Determinism in Modal Transition Systems

Benes, N., Kretinsky, J., Larsen, K. G. & Srba, J., 15 Sep 2009, In : Theoretical Computer Science. 410, 41, p. 4026-4043 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

27 Citations (Scopus)

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

Online Aggregation of the Forwarding Information Base: Accounting for Locality and Churn

Bienkowski, M., Sarrar, N., Schmid, S. & Uhlig, S., 1 Feb 2018, In : IEEE/ACM Transactions on Networking. 26, 1, p. 591-604 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
2 Citations (Scopus)
1 Downloads (Pure)

Online and Compositional Learning of Controllers with Application to Floor Heating

Larsen, K. G., Mikučionis, M., Muniz, M., Srba, J. & Taankvist, J. H., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer, p. 244-259 15 p. (Lecture Notes in Computer Science, Vol. 9636).

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

22 Citations (Scopus)

Online Balanced Repartitioning

Avin, C., Loukas, A., Pacut, M. & Schmid, S., 2016, Distributed Computing: 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings. Gavoille, C. & Ilcinkas, D. (eds.). Springer, p. 243-256 (Lecture Notes in Computer Science, Vol. 9888).

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

1 Citation (Scopus)

Online On-the-Fly Testing of Real-time Systems

Mikucionis, M., Larsen, K. G. & Nielsen, B., 2003, September ed. Århus University: BRICS. 14 p. (BRICS RS; No. RS-03-49).

Research output: Book/ReportBookResearch

Online Testing of Real-time Systems using Uppaal: Status and Future Work

Larsen, K. G., Mikucionis, M. & Nielsen, B., 2004, Dagstuhl Seminar Proceedings: Perspectives of Model-Based Testing. Brinksma, Grieskamp, Tretmans & Weyuker (eds.). IBFI gem. GmbH, Schloss Dagstuhl, Vol. 04371.

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

Online Testing of Real-time Systems Using Uppaal

Larsen, K. G., Mikucionis, M. & Nielsen, B., 2005, Formal Approaches to Testing of Software (FATES 2004) Proceedings. Grabowski, J. & Nielsen, B. (eds.). Springer, p. 79-94 (Lecture Notes in Computer Science; No. 3395).

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

79 Citations (Scopus)

Online tree caching

Bienkowski, M., Marcinkowski, J., Pacut, M., Schmid, S. & Spyra, A., 24 Jul 2017, SPAA 2017 - Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, Vol. Part F129316. p. 329-338 10 p.

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

1 Citation (Scopus)

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

On Network Embedding for Machine Learning on Road Networks: A Case Study on the Danish Road Network

Jepsen, T. S., Jensen, C. S., Nielsen, T. D. & Torp, K., 2018, Proceedings of the 2018 IEEE International Conference on Big Data. IEEE, p. 3421-3430 10 p.

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

1 Citation (Scopus)

On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems

Kühnrich, M. & Nestmann, U., 2009, In : Lecture Notes in Computer Science. 5522, p. 198-212

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)

On the axiomatizability of priority

Aceto, L., Chen, T., Fokkink, W. & Ingolfsdottir, A., 2006, Automata, Languages and Programming. p. 480-491

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

8 Citations (Scopus)