Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

Special Issue of the Nordic Journal of Computing devoted to selected papers from EXPRESS'01: 8th International Workshop on Expressiveness in Concurrency

Aceto, L. & Panangaden, P., 2002, In : Nordic Journal of Computing. 9, 2

Research output: Contribution to journalJournal articleResearchpeer-review

Special Issue on ``The Difference between Concurrent and Sequential Computation

Aceto, L., Longo, G. & Victor, B., 2003, In : Mathematical Structures in Computer Science. 13, 4-5, p. 482-798

Research output: Contribution to journalJournal articleResearchpeer-review

Specification and Automated Verification of a Real-Time Behaviour: a Case Study

Andersen, J. H., Kristensen, C. H. & Skou, A., 1996, In : Annual Reviews in Control. 20, p. 55-70

Research output: Contribution to journalJournal articleResearchpeer-review

Specification and Automated Verification of Real-Time Behaviour: A Case Study

Andersen, J. H., Kristensen, C. H. & Skou, A., 1995, Århus: Department of Computer Science, Aarhus University. (BRICS Report Series; No. RS-95-60).

Research output: Book/ReportBookCommunication

Specification and Test of Real-Time Systems

Nielsen, B., 2000, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University; No. 12).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
455 Downloads (Pure)

Specification of asynchronous component systems with modal I/O-Petri nets

Haddad, S., Hennicker, R. & Møller, M. H., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8358 LNCS. p. 219-234 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8358 LNCS).

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

6 Citations (Scopus)

Specification theories for probabilistic systems

Pedersen, M. L., 2011, (Ph.d. theses; No. 67).

Research output: Book/ReportPh.D. thesis

File
1738 Downloads (Pure)

Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge

Aceto, L., Fokkink, W., Ingolfsdottir, A. & Luttik, B., 2005, In : Logical Methods in Computer Science. 1, 1, p. 1-12

Research output: Contribution to journalJournal articleResearchpeer-review

2 Citations (Scopus)

Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muniz, M. & Srba, J., 18 Jul 2018, International Conference on Computer Aided Verification: CAV 2018: Computer Aided Verification. Springer, p. 527-546 (Lecture Notes in Computer Science, Vol. 10981).

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

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

State-of-the-art Tools and Techniques for Quantitative Modeling and Analysis of Embedded Systems

Bozga, M., David, A., Hartmanns, A., Larsen, K. G., Legay, A. & Tretmans, J., 2012, In : A C M / I E E E Design Automation Conference. Proceedings. p. 370-375

Research output: Contribution to journalConference article in JournalResearchpeer-review

9 Citations (Scopus)

Static validation of licence conformance policies

Hansen, R. R., Nielson, F., Nielson, H. R. & Probst, C. W., 2008, ARES 2008: Proceedings of the Third International Conference on Availability, Security and Reliability. IEEE Computer Society Press, p. 1104-1111

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

9 Citations (Scopus)

Statistical and exact schedulability analysis of hierarchical scheduling systems

Boudjadar, A., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 27 May 2016, In : Science of Computer Programming. 127, p. 103-130 28 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
10 Citations (Scopus)
168 Downloads (Pure)

Statistical Model Checking: Past, Present, and Future

Larsen, K. G. & Legay, A., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Springer, p. 3–15 (Lecture Notes in Computer Science, Vol. 9952).

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

15 Citations (Scopus)

Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems

Larsen, K. G., 2012, Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Springer, Vol. 7595. p. 7-10 (Lecture Notes in Computer Science).

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

5 Citations (Scopus)

Statistical Model Checking for Biological Systems

David, A., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 1 Jul 2014, In : International Journal on Software Tools for Technology Transfer. 17, 3, p. 351-367 17 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
20 Citations (Scopus)

Statistical Model Checking for Finite-Set Model Predictive Control Converters: A Tutorial on Modeling and Performance Verification

Novak, M., Nyman, U., Dragicevic, T. & Blaabjerg, F., Sep 2019, In : I E E E Industrial Electronics Magazine. 13, 3, p. 6-15 10 p., 8845791.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
24 Downloads (Pure)

Statistical Model Checking for Networks of Priced Timed Automata

David, A., Larsen, K. G., Mikucionis, M., Poulsen, D. B., Vliet, J. V., Legay, A. & Wang, Z., 1 Jan 2011, In : Lecture Notes in Computer Science. 6919 LNCS, p. 80-96 17 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

88 Citations (Scopus)

Statistical Model Checking for Stochastic Hybrid Systems

David, A., Du, D., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 3 Sep 2012, Proceedings First International Workshop on Hybrid Systems and Biology. Bartocci, E. & Bortolussi, L. (eds.). Newcastle Upon Tyne, p. 122-136 15 p. (Electronic Proceedings in Theoretical Computer Science; No. 92).

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

Statistical model checking of dynamic networks of stochastic hybrid automata

David, A., Larsen, K. G., Legay, A. & Poulsen, D. B., 2014, In : Electronic Communications of the EASST. 66, 15 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access

Statistical model checking past, present, and future (Track Introduction)

Larsen, K. G. & Legay, A., 18 Oct 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8803. p. 135-142 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8803).

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

14 Citations (Scopus)

Statistical model checking QoS properties of systems with SBIP

Bensalem, S., Bozga, M., Delahaye, B., Jegourel, C., Legay, A. & Nouri, A., 2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer Publishing Company, p. 327-341 15 p. (Lecture Notes in Computer Science, Vol. 7609).

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

19 Citations (Scopus)

Statistical model checking the 2018 edition!

Guldstrand Larsen, K. & Legay, A., 1 Jan 2018, ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification. Margaria, T. & Steffen, B. (eds.). Springer, p. 261-270 10 p. (Lecture Notes in Computer Science, Vol. 11245 LNCS).

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

Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter

Novak, M., Nyman, U. M., Dragicevic, T. & Blaabjerg, F., Sep 2018, Proceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe). IEEE Press, p. 1-10 10 p. 8515598

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

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

Staying Alive as Cheaply as Possible

Bouyer, P., Brinksma, E. & Larsen, K. G., 2005, In : Special issue of Formal Methods in System Design from HSCC 2004. 2993

Research output: Contribution to journalJournal articleResearch

Staying Alive as Cheaply as Possible

Larsen, K. G., Bouyer, P. & Brinksma, E., 2004, Proceedings of the 7th International Conference on Hybrid Systems: Computation and Control: Lecture Notes in Computer Science. 2993 ed. Springer, p. 203-218 16 p.

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

43 Citations (Scopus)

Stitching Inter-Domain Paths over IXPs

Kotronis, V., Klöti, R., Rost, M., Georgopoulos, P., Ager, B., Schmid, S. & Dimitropoulos, X., 2016, SOSR '16 Proceedings of the Symposium on SDN Research. Association for Computing Machinery, 12 p. 17

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

7 Citations (Scopus)

Stochastic Pi-calculus Revisited

Cardelli, L. & Mardare, R. I., 2013, Theoretical Aspects of Computing - ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Liu, Z., Woodcock, J. & Zhu, H. (eds.). Springer Berlin Heidelberg: Springer Publishing Company, Vol. 8049. p. 1-21 21 p. (Lecture Notes in Computer Science, Vol. 8049).

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

2 Citations (Scopus)

Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata

David, A., Larsen, K. G., Mikucionis, M., Poulsen, D. B., Vliet, J. V., Legay, A. & Wang, Z., 2011, In : CoRR. abs/1106.3961, 10 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Stone Duality for Markov Processes

Kozen, D., Larsen, K. G., Mardare, R. I. & Panangaden, P., 2013, Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on. IEEE, p. 321-330 (Annual Symposium on Logic in Computer Science).

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

15 Citations (Scopus)

Stone Duality for Markov Processes

Larsen, K. G., Mardare, R. I. & Panangaden, P., 2012. 2 p.

Research output: Contribution to conference without publisher/journalConference abstract for conferenceResearchpeer-review

Strong Completeness for Markovian Logics

Kozen, D., Mardare, R. I. & Panangaden, P., 2013, Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. Chatterjee, K. & Sgall, J. (eds.). Springer Publishing Company, Vol. LNCS 8087. p. 655-666 12 p. (Lecture Notes in Computer Science, Vol. 8087).

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

9 Citations (Scopus)

Structural Operational Semantics

Aceto, L., Fokkink, J. & Verhoef, C., 2001, Handbook of Process Algebra. Bergstra, J. : Ponse, A. : Smolka, S. (eds.) (ed.). Amsterdam: Pergamon Press

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

1 Citation (Scopus)

Structural Operational Semantics

Aceto, L., Fokkink, W. & Verhoef, C., 2000, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBook

Structural Operational Semantics for Continuous State Stochastic Transition Systems

Bacci, G. & Miculan, M., Aug 2015, In : Journal of Computer and System Sciences. 81, 5, p. 834–858

Research output: Contribution to journalJournal articleResearchpeer-review

6 Citations (Scopus)

Structured Linear Parameter Varying Control of Wind Turbines

Adegas, F. D., Sloth, C. & Stoustrup, J., 2012, Control of Linear Parameter Varying Systems with Applications. Mohammadpour, J. & Scherer, C. W. (eds.). Springer Science+Business Media, p. 303-337 35 p.

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

1 Citation (Scopus)

Stubborn versus structural reductions for Petri nets

Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 2019, In : Journal of Logic and Algebraic Programming. 102, p. 46-63 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Students' Experiences of Change in a PBL Curriculum

Dahl, B., Holgaard, J. E., Hüttel, H. & Kolmos, A., 2016, In : International Journal of Engineering Education. 32, 1(B), p. 384-395

Research output: Contribution to journalJournal articleResearchpeer-review

4 Citations (Scopus)

Studerendes oplevelse af reorganisering af problem-baseret læring på Aalborg Universitet

Dahl, B. & Hüttel, H., 2015, In : Dansk Universitetspædagogisk Tidsskrift. 10, 19, p. 43-55

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
106 Downloads (Pure)

Study the Past if You Would Define the Future: Implementing Secure Multi-party SDN Updates

Schiff, L. & Schmid, S., 18 Jul 2016, Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016. IEEE, p. 111-116 6 p. 7515418

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

3 Citations (Scopus)

Stuttering for abstract probabilistic automata

Delahaye, B., Larsen, K. G. & Legay, A., 2014, In : Journal of Logic and Algebraic Programming. 83, 1, p. 1-19

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)

Stuttering for Abstract Probabilistic Automata

Delahaye, B., Larsen, K. G. & Legay, A., 2013, Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Springer Publishing Company, Vol. 7734. p. 149-163 (Lecture Notes in Computer Science, Vol. 7734).

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

1 Citation (Scopus)

Surrogater i Øjeblik: mod migrerering i Obliq

Translated title of the contribution: Surrogates in ØjeblikHüttel, H., Kleist, J., Nestmann, U. & Sangiorgi, D., 1998, Proceedings of the Workshop on Semantics of Objects as Processes: Brics Notes Series. Hüttel, Hans : Nestmann, Uwe (eds.) (ed.). NS-98-5 ed. Department of Computer Science, Aarhus University, p. 43-50

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

Surrogates in Øjeblik: Towards Migration in Obliq

Hüttel, H., Kleist, J., Nestmann, U. & Sangiorgi, D., 1998, Proceeding of FOOL5.

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

Sustainable Energy Systems Planning, Integration, and Management

Anvari-Moghaddam, A., Mohammadi-Ivatloo, B., Asadi, S., Larsen, K. G. & Shahidehpour, M., 1 Oct 2019, In : Applied Sciences. 9, 20, 5 p., 4451.

Research output: Contribution to journalEditorialResearchpeer-review

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

Symbolic and Compositional Reachability for Timed Automata

Larsen, K. G., 2010, In : Lecture Notes in Computer Science. 6227, p. 24-28

Research output: Contribution to journalConference article in JournalResearchpeer-review

Symbolic Dependency Graphs for PCTL Model-Checking

Mariegaard, A. & Larsen, K. G., 2017, Formal Modeling and Analysis of Timed Systens. Springer Publishing Company, Vol. 10419. p. 153-169 17 p. (Lecture Notes in Computer Science, Vol. 10419).

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

3 Citations (Scopus)

Symbolic Methods for Bisimulation Checking for Value-Passing Processes

Ingolfsdottir, A. & Lin, H., 2001, Handbook of Process Algebra. Bergstra, J. : Ponse, A. : Smolka, S. (eds.) (ed.). Amsterdam: Pergamon Press

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

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

Jensen, M. C., Mariegaard, A. & Larsen, K. G., 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (eds.). Springer, p. 298-315 18 p. (Lecture Notes in Computer Science, Vol. 11460).

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

2 Citations (Scopus)

Synchronizing Strategies under Partial Observability

Larsen, K. G., Laursen, S. & Srba, J., 2014, CONCUR 2014 – Concurrency Theory. Baldan, P. & Gorla, D. (eds.). Springer Publishing Company, Vol. 8704. p. 188-202 (Lecture Notes in Computer Science).

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

Open Access
File
8 Citations (Scopus)
279 Downloads (Pure)

Synchronizing words for weighted and timed automata

Doyen, L., Juhl, L., Larsen, K. G., Markey, N. & Shirmohammadi, M., 11 Dec 2014, Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 29. p. 121-132 12 p.

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

9 Citations (Scopus)