Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context

Kim, J. H., Boudjadar, J., Nyman, U., Mikucionis, M., Larsen, K. G., Skou, A., Lee, I. & Thi Xuan Phan, L., 4 May 2015, CBSE'15, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. Association for Computing Machinery, p. 91-100

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

File
4 Citations (Scopus)
400 Downloads (Pure)

Quantitative system validation in model driven design

Hermanns, H., Larsen, K. G., Raskin, J-F. & Tretmans, J., 2010, Embedded Systems Week 2010 - Proceedings of the 10th ACM International Conference on Compilers, Architecture and Synthesis for Embedded Systems, EMSOFT'10. Association for Computing Machinery, p. 301-302

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

1 Citation (Scopus)

Quantities in Games and Modal Transition Systems

Juhl, L., 2013, Department of Computer Science, Aalborg University. 172 p. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University).

Research output: Book/ReportPh.D. thesis

Open Access
File
594 Downloads (Pure)

Quasimodo

Nielsen, B., 2008, In : ERCIM News. 75, p. 20-21 2 p.

Research output: Contribution to journalJournal articleCommunication

Quasimodo Final Report

Nielsen, B. & Larsen, K. G., 1 Oct 2011, 77 p.

Research output: Working paperResearch

Quasimodo Year 1 Management Report

Nielsen, B. & Larsen, K. G., 2009, 41 p.

Research output: Working paperResearch

Quasimodo Year 2 Management Report

Nielsen, B. & Larsen, K. G., 28 Jan 2010, 49 p.

Research output: Working paperResearch

Quasimodo Year 3 Management Report

Nielsen, B. & Larsen, K. G., 1 Jun 2011, 36 p.

Research output: Working paperResearch

Reachability analysis for timed automata using max-plus algebra

Lu, Q., Madsen, M., Milata, M., Ravn, S., Fahrenberg, U. & Larsen, K. G., 2012, In : Journal of Logic and Algebraic Programming. 81, 3, p. 298-313

Research output: Contribution to journalJournal articleResearchpeer-review

File
10 Citations (Scopus)
404 Downloads (Pure)

Reachability Analysis of Probabilistic Systems

D'Argenio, P. R., Jeanett, B., Jensen, H. E. & Larsen, K. G., 2001, In : Lecture Notes in Computer Science: Process Algebra and Probabilistic Methods, Performance Modelling and Verification. 2165, p. 39-56

Research output: Contribution to journalJournal articleResearch

106 Citations (Scopus)

Reachability-based Impact as a Measrue for Insiderness

Probst, C. W. & Hansen, R. R., Dec 2013, In : Journal of Wireless Mobile Networks, Ubiquitous Computing and Dependable Applications. 4, 4, p. 38-48 11 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

3 Citations (Scopus)

Reachability problems: Special issue

Larsen, K. G., Potapov, I. & Srba, J., 30 Nov 2018, In : Theoretical Computer Science. 750, p. 1

Research output: Contribution to journalEditorialResearchpeer-review

Reactive Systems: Modelling, Specification and Verification

Aceto, L., Ingolfsdottir, A., Larsen, K. G. & Srba, J., 2007, Cambridge: Cambridge University Press. 300 p.

Research output: Book/ReportBookEducation

Real-Time Constraints Through the ProCoS Layers

Ravn, A. P. & Rischel, H., 1999, Correct System Design : Recent Insights and Advances. Olderog, E.-R. : Steffen, B. (eds.) (ed.). Berlin: IEEE Computer Society Press, p. 61-78 (Lecture Notes in Computer Science; No. 1710).

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

Real-Time Layered Video Compression using SIMD Computation

Jensen, M. V. & Nielsen, B., 1999, Parallel Computation : 4th International ACPC Conference Including Special Tracks on Parallel Numerics (ParNum '99) and Parallel Computing in Image Processing, Video Processing, and Multimedia : Salzburg, Austria, February 16-18,1999 : Proceedings: Lecture Notes in Computer Science. Zinterhof, P. : Vajtersic, M. : Uhl,A. (eds.) (ed.). 1557 ed. IEEE Computer Society Press, p. 377-387

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

2 Citations (Scopus)

Real-time specifications

David, A., Larsen, K. G., Legay, A., Nyman, U., Traonouez, L-M. & Wasowski, A., 2015, In : International Journal on Software Tools for Technology Transfer. 17, 1, p. 17-45 29 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
13 Citations (Scopus)
298 Downloads (Pure)

Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization

Jensen, P. G., Larsen, K. G. & Srba, J., 8 Apr 2016, Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer, p. 129-146 (Lecture Notes in Computer Science, Vol. 9641).

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

5 Citations (Scopus)

Real-time system testing on-the-fly

Larsen, K. G., Mikucionis, M. & Nielsen, B., 2003, The 15th Nordic Workshop on Programming Theory (NWPT’03). Kaisa Sere and Marina Walden and Anna Karlsson (ed.). Åbo Akademi University

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

Reasoning About Bounds in Weighted Transition Systems

Hansen, M., Larsen, K. G., Mardare, R. I. & Pedersen, M. R., 26 Nov 2018, In : Logical Methods in Computer Science. 14, 4, 19.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
1 Citation (Scopus)

Reasoning about objects using process calculus techniques

Kleist, J., 2000, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, Aalborg University; No. 7).

Research output: Book/ReportPh.D. thesis

Recent ARC developments: Through modularity to interoperability

Kleist, J., Smirnova, O., Cameron, D., Dóbe, P., Ellert, M., Frågåt, T., Grønager, M., Johansson, D., Jönemo, J., Kocan, M., Konstantinov, A., Konya, B., Márton, I., Möller, S., Mohn, B., Nagy, Z., Nielsen, J., Ould-Saada, F., Qiang, W., Read, A. & 9 others, Rosendahl, P., Roczei, G., Savko, M., Skou Andersen, M., Stefán, P., Szalai, F., Taga, A., Toor, S. & Wäänänen, A., 2010, In : Journal of Physics - Conference Series. 219, 6, 10 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)

Recursion Versus Replication in Simple Cryptographic Protocols

Hüttel, H. & Srba, J., 2005, SOFSEM 2005 : Theory and Practice of Computer Science: Proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Vojtáš, P., Bieliková, M., Charron-Bost, B. & Sýkora, O. (eds.). IEEE Computer Society Press, p. 178-187 10 p. (Lecture Notes in Computer Science; No. 3381).

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

5 Citations (Scopus)

Recursion vs. Replication in Simple Cryptographic Protocols

Huttel, H. & Srba, J., 2005, Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'05). p. 175-184 10 p.

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

File
295 Downloads (Pure)

Recursive Ping-Pong Protocols

Huttel, H. & Srba, J., 2004, Proceedings of 4th International Workshop on Issues in the Theory of Security. p. 129-140 12 p.

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

Reduction and Refinement Strategies for Probalistic Analysis

D'Argenio, P. R., Jeannet, B., Jensen, H. E. & Larsen, K. G., 2002, Process Algebra and Probablistic Methods. Hermanns, H. (ed.) : Sagala R. (ed.) (ed.). Berlin: IEEE Computer Society Press, (Lecture Notes in Computer Science; No. 2399).

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

Reengineering the lifecycle of Arrowhead applications: from skeletons to the client library

Pedersen, T., Albano, M. & Nielsen, B., 17 Oct 2019, Proceedings of the 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 5519-5524 (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

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

Refactoring Real-Time Java Profiles

Søndergaard, H., Thomsen, B., Ravn, A. P., Hansen, R. R. & Bøgholm, T., 28 Mar 2011, Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2011 14th IEEE International Symposium on. IEEE, p. 109 - 116 16 p.

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

3 Citations (Scopus)

Refinement and Difference for Probabilistic Automata

Larsen, K. G., Delahaye, B., Fahrenberg, U. & Legay, A., 28 Feb 2014, In : Logical Methods in Computer Science. 10, 3, p. 1-32

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
2 Citations (Scopus)

Refinement and Difference for Probabilistic Automata

Delahaye, B., Fahrenberg, U., Larsen, K. G. & Legay, A., 2013, Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Springer Publishing Company, Vol. 8054. p. 22-38 (Lecture Notes in Computer Science).

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

2 Citations (Scopus)

Refinement and verification in component-based model-driven design

Chen, Z., Liu, Z., Ravn, A. P., Stolz, V. & Zhan, N., 2009, In : Science of Computer Programming. 74, 4, p. 168-196 29 p.

Research output: Contribution to journalJournal articleResearchpeer-review

38 Citations (Scopus)

Refinement Checking on Parametric Modal Transition Systems

Benes, N., Kretínsky, J., Larsen, K. G., Møller, M. H., Sickert, S. & Srba, J., 2015, In : Acta Informatica. 52, 2, p. 269-297 31 p.

Research output: Contribution to journalJournal articleResearchpeer-review

3 Citations (Scopus)

Refinement of Trace Abstraction for Real-Time Programs

Cassez, F., Jensen, P. G. & Larsen, K. G., 7 Sep 2017, Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings. Springer, p. 42-58 (Lecture Notes in Computer Science, Vol. 10506).

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

4 Citations (Scopus)

Regular languages definable by Lindstrom quantifiers

Esik, Z. & Larsen, K. G., 2003, In : Informatique théorique et applications (En ligne). 37, 3, p. 179-241

Research output: Contribution to journalJournal articleResearchpeer-review

14 Citations (Scopus)

Regular Languages Definable by Lindström Quantifiers (Preliminary Version)

Ésik, Z. & Larsen, K. G., 2002, Århus: BRICS. (B R I C S Report Series; No. RS-02-21).

Research output: Book/ReportBookResearch

Regular languages deinable bt Lindström quantifiers

Esik, Z. & Larsen, K. G., 2003, In : Informatique théorique et applications (Imprimé). 34, p. 179-242

Research output: Contribution to journalJournal articleResearchpeer-review

Relating Semantic Models for the Object Calculus: Preliminary Report

Aceto, L., Hüttel, H., Ingolfsdottir, A. & Kleist, J., 1997, Proceedings of EXPRESS'97.

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

1 Citation (Scopus)

Remote Testing of Timed Specifications

David, A., Larsen, K. G., Mikucionis, M., Nguena-Timo, O. & Rollet, A., 13 Nov 2013, ICTSS: Testing Software and Systems - 25th IFIP WG 6.1 International Conference. Yenigün, H., Yilmaz, C. & Ulrich, A. (eds.). Istanbul, Turkey: Springer Publishing Company, Vol. 8254. p. 65-81 16 p. 5. (Lecture Notes in Computer Science (LNCS), Vol. 8254).

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

8 Citations (Scopus)

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

Reparametrizations of Continuous Paths

Fahrenberg, U. & Raussen, M., 2007, In : Journal of Homotopy and Related Structures. 2, 2, p. 93-117

Research output: Contribution to journalJournal articleResearchpeer-review

Report on the Icelandic Centre of Excellence in Theoretical Computer Science

Aceto, L., Halldorsson, M. M. & Ingolfsdottir, A., 2005, Bulletin of the EATCS volume 86 (June 2005). Sassone, V. (ed.). EATCS, Vol. 86. p. 262-263 2 p. (Bulletin of the EATCS).

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

Resource bound analysis for database queries

Cheney, J. & Dahl, M., 2009, Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security. Association for Computing Machinery, p. 67-78

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

Resource-Efficient Scheduling for Real Time Systems

Larsen, K. G., 2003, Proceedings of the 3rd Internatilnal Conference in Embedded Software (EMSOFT 2003): Lecture Notes in Computer Science. Vol. 2855. p. 16-19

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

6 Citations (Scopus)

Resource-Optimal Scheduling Using Priced Timed Automata

Larsen, K. G., Rasmussen, J. I. & Subramani, K., 2004, Proceedings of Tools and Algorithms for the Construction and Analysis of Systems,: Lecture Notes in Computer Science. Jensen, Kurt ; Podelski, Andreas (eds.) (ed.). 2988 ed. Sringer Verlag, p. 220-235

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

31 Citations (Scopus)

Resource-Parameterized Timing Analysis of Real-Time Systems

Kim, J. H., Legay, A., Larsen, K. G., Mikučionis, M. & Nielsen, B., 2015, Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Piterman, N. (ed.). Springer, p. 190-205 (Lecture Notes in Computer Science; No. 9434).

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

3 Citations (Scopus)

Rewrite-Based Statistical Model Checking of WMTL

Bulychev, P., David, A., Larsen, K. G., Legay, A., Li, G. & Poulsen, D. B., 2013, Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. Qadeer, S. & Tasiran, S. (eds.). Springer Publishing Company, p. 260-275 15 p. (Lecture Notes in Computer Science, Vol. 7687).

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

14 Citations (Scopus)

Riesz Modal logic for Markov processes

Mio, M., Furber, R. & Mardare, R. I., 2018, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 8005091

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

3 Citations (Scopus)

Roadmap for the ARC Grid Middleware

Kleist, J., Eerola, P., Ekelöf, T., Ellert, M., Grønager, M., Renner Hansen, J., Haug, S., Konstantinov, A., Kónya, B., Ould-Saada, F., Smirnova, O., Szalai, F. & Wäänänen, A., 2006, Ikke angivet. Springer, Vol. 4699. p. 471-479 (Lecture Notes in Computer Science; No. 4699).

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

Roadmap of Infinite Results

Srba, J., 2004, In : Current Trends in Theoretical Computer Science, The Challenge of the New Century. 2, 1, p. 337-350

Research output: Contribution to journalJournal articleResearchpeer-review

Robust and Fault-Tolerant Linear Parameter-Varying Control of Wind Turbines

Sloth, C., Esbensen, T. & Stoustrup, J., Jun 2011, In : Mechatronics. 21, 4, p. 645-659 15 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
169 Citations (Scopus)
1331 Downloads (Pure)