Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

2012

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)

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 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 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)

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

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)

Synchronous interface theories and time triggered scheduling

Delahaye, B., Fahrenberg, U., Henzinger, T. A., Legay, A. & Ničković, D., 2012, Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Giese, H. & Rosu, G. (eds.). Springer Publishing Company, p. 203-218 16 p. (Lecture Notes in Computer Science, Vol. 7273).

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

2 Citations (Scopus)

Taking It to the Limit: Approximate Reasoning for Markov Processes

Larsen, K. G., Mardare, R. I. & Panangaden, P., 2012, Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. Rovan, B., Sassone, V. & Widmayer, P. (eds.). Springer, p. 681-692 (Lecture Notes in Computer Science, Vol. 7464).

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

17 Citations (Scopus)

TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets

David, A., Jacobsen, L., Jacobsen, M., Jørgensen, K. Y., Møller, M. H. & Srba, J., 2012, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12). Flanagan, C. & König, B. (eds.). Netherlands: Springer, p. 492-497 6 p. (Lecture Notes in Computer Science, Vol. 7214).

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

33 Citations (Scopus)

Testing real-time systems under uncertainty

David, A., Larsen, K. G., Li, S., Mikucionis, M. & Nielsen, B., 2012, Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Berlin: Springer, Vol. 6957. p. 352-371 20 p. (Lecture Notes in Computer Science, Vol. 6957).

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

8 Citations (Scopus)

Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings

Nielsen, B. (ed.) & Weise, C. (ed.), Nov 2012, Springer Publishing Company. (Lecture Notes in Computer Science, Vol. 7641).

Research output: Book/ReportAnthology

Testing Software and Systems - Preface: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings

Nielsen, B. & Weise, C., Nov 2012, Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings. Nielsen, B. & Weise, C. (eds.). Springer Publishing Company, p. V-VI (Lecture Notes in Computer Science, Vol. 7641).

Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

THAPS: Automated Vulnerability Scanning of PHP Applications

Jensen, T., Pedersen, H., Olesen, M. C. & Hansen, R. R., 2012, Proceedings of the 17th Nordic Conference on Secure IT-Systems (NordSec 2012). Springer, Vol. 7617. p. 31-46 (Lecture Notes in Computer Science, Vol. 7617).

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

6 Citations (Scopus)

Time-Darts: A Data Structure for Verification of Closed Timed Automata

Jørgensen, K. Y., Larsen, K. G. & Srba, J., 2012, In : Electronic Proceedings in Theoretical Computer Science. 102, p. 141-155 15 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Unblockable Compositions of Software Components

Dong, R., Faber, J., Liu, Z., Srba, J., Zhan, N. & Zhu, J., 2012, Proceedings of the 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE'12). USA: Association for Computing Machinery, p. 103-108 6 p. (Software Engineering Notes).

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

4 Citations (Scopus)

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

Bulychev, P., David, A., Larsen, K. G., Mikučionis, M., Poulsen, D. B., Legay, A. & Wang, Z., 2012, In : Electronic Proceedings in Theoretical Computer Science. 85, p. 1-16 17 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

68 Citations (Scopus)

What is a Timing Anomaly?

Cassez, F., Hansen, R. R. & Olesen, M. C., 2012, Proceedings of the 12th International Workshop on Worst-Case Execution-Time Analysis. Vardanega, T. (ed.). Dagstuhl, Germany: Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Vol. 23. p. 1-12 12 p. (OpenAccess Series in Informatics).

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

Open Access
File
7 Citations (Scopus)
111 Downloads (Pure)
2013

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)

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
8 Citations (Scopus)
833 Downloads (Pure)

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

2 Citations (Scopus)

A Test Suite for Safety-Critical Java using JML

Ravn, A. P. & Søndergaard, H., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, p. 80-88 (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

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

4 Citations (Scopus)

A Toolchain for Home Automation Controller Development

Dalsgaard, P. H., Le Guilly, T., Middelhede, D., Olsen, P., Pedersen, T., Ravn, A. P. & Skou, A., 2013, 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). Demirors, O. & Turetken, O. (eds.). IEEE Computer Society Press, p. 122-129 8 p. (Euromicro Conference. Proceedings).

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

7 Citations (Scopus)

Channel properties of asynchronously composed Petri nets

Haddad, S., Hennicker, R. & Møller, M. H., 8 Jul 2013, Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings. Colom, J-M. & Desel, J. (eds.). Springer Publishing Company, p. 369-388 20 p. (Lecture Notes in Computer Science, Vol. 7927).

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

9 Citations (Scopus)

Complete Abstractions of Dynamical Systems by Timed Automata

Sloth, C. & Wisniewski, R., Feb 2013, In : Nonlinear Analysis: Hybrid Systems. 7, 1, p. 80-100

Research output: Contribution to journalJournal articleResearchpeer-review

13 Citations (Scopus)

Computing Behavioral Distances, Compositionally

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 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. 8087. p. 74-85 (Lecture Notes in Computer Science, Vol. 8087).

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

15 Citations (Scopus)

ExCHARON: Improved modeling language for cyber-physical systems based on CHARON

Han, Y., Kang, S. & Kim, J. H., 2013, Proceedings - 16th IEEE International Conference on Computational Science and Engineering, CSE 2013. IEEE Press, p. 734-741 8 p. 6755293

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

2 Citations (Scopus)

Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

Boudjadar, J., Vaandrager, F., Bodeveix, J-P. & Filali, M., Apr 2013, Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers. Arbab, F. & Sirjani, M. (eds.). Tehran, Iran: Springer Publishing Company, Vol. LNCS Volume 8161. p. 111-132 22 p. (Lecture Notes in Computer Science, Vol. 8161).

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

8 Citations (Scopus)

Externalizing Behaviour for Analysing System Models

Ivanova, M. G., Probst, C. W., Hansen, R. R. & Kammüller, F., Nov 2013, In : Journal of Internet Services and Information Security. 3, 3/4, p. 52-62

Research output: Contribution to journalConference article in JournalResearchpeer-review

Flow whitelisting in SCADA networks

Barbosa, R. R. R., Sadre, R. & Pras, A., 2013, In : International Journal of Critical Infrastructure Protection. 6, 3-4, p. 150-158 9 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
40 Citations (Scopus)
1048 Downloads (Pure)

Gaussian Traffic Revisited

de Oliveira Schmidt, R., Sadre, R. & Pras, A., May 2013, Proceedings of the 12th IFIP Networking Conference. IEEE Communications Society, 9 p.

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

10 Citations (Scopus)

HomePort: Middleware for heterogeneous home automation networks

Le Guilly, T., Olsen, P., Ravn, A. P., Rosenkilde, J. & Skou, A., 2013, 2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops). IEEE, p. 627 - 633 7 p.

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

15 Citations (Scopus)

Introduction to the special issue on Java technologies for real-time and embedded systems: JTRES2011

Ravn, A. P. & Higuera-Toledano, M. T., 1 Nov 2013, In : Concurrency and Computation: Practice & Experience. 25, 16, p. 2225-2226 2 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Lightweight link dimensioning using sFlow sampling

de Oliviera Schmidt, R., Sadre, R., Sperotto, A. & Pras, A., 2013, Proceedings of the 9th International Conference on Network and Services Management (CNSM 2013). IEEE Communications Society, p. 152-155 4 p.

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

4 Citations (Scopus)

Local Model Checking of Weighted CTL with Upper-Bound Constraints

Jensen, J. F., Larsen, K. G., Srba, J. & Østergaard, L., 2013, Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings. Bartocci, E. & Ramakrishnan, C. R. (eds.). Holland: Springer Publishing Company, p. 178-195 18 p. (Lecture Notes in Computer Science, Vol. 7976).

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

5 Citations (Scopus)

Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach

Pop, P., Tsiopoulos, L., Voss, S., Slotosch, O., Ficek, C., Nyman, U. & Lopez, A. R., 2013, WICERT 2013 Conference Proceedings. 6 p. 3

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

Open Access
File
436 Downloads (Pure)

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems

Fahrenberg, U., Larsen, K. G. & Legay, A., 2013, Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures. Springer Publishing Company, Vol. 8050. p. 67-108 (Lecture Notes in Computer Science, Vol. 8050).

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

3 Citations (Scopus)

Model checking adaptive software with featured transition systems

Cordy, M., Classen, A., Heymans, P., Legay, A. & Schobbens, P. Y., 4 Feb 2013, Assurances for Self-Adaptive Systems: Principles, Models, and Techniques. Cámara, J., Lemos, R. D., Ghezzi, C. & Lopes, A. (eds.). Springer Publishing Company, p. 1-29 29 p. (Lecture Notes in Computer Science, Vol. 7740).

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

26 Citations (Scopus)

Model-Checking Web Services Business Activity Protocols

Marques, A. P., Ravn, A. P., Srba, J. & Vighio, S., 2013, In : International Journal on Software Tools for Technology Transfer. 15, 2, p. 125-147

Research output: Contribution to journalJournal articleResearchpeer-review

6 Citations (Scopus)

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

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

On-the-Fly Exact Computation of Bisimilarity Distances

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Piterman, N. & Smolka, S. A. (eds.). Springer Publishing Company, Vol. 7795. p. 1-15 (Lecture Notes in Computer Science, Vol. 7795).

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

30 Citations (Scopus)

On the Relationship between LTL Normal Forms and Büchi Automata

Li, J., Pu, G., Zhang, L., Wang, Z., He, J. & Larsen, K. G., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Vol. 8051. p. 256-270 (Lecture Notes in Computer Science, Vol. 8051).

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

2 Citations (Scopus)

Optimal Bounds for Multiweighted and Parametrised Energy Games

Juhl, L., Larsen, K. G. & Raskin, J-F., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer Publishing Company, Vol. 8051. p. 244-255 (Lecture Notes in Computer Science, Vol. 8051).

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

21 Citations (Scopus)

Optimizing Control Strategy Using Statistical Model Checking

David, A., Du, D., Larsen, K. G., Legay, A. & Mikucionis, M., 2013, NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Springer Publishing Company, Vol. 7871. p. 352-367 (Lecture Notes in Computer Science, Vol. 7871).

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

24 Citations (Scopus)

Preface

Larsen, K. G., Legay, A. & Nyman, U., 3 Nov 2013, Proceedings 1st Workshop on Advances in Systems of Systems. Electronic Proceedings in Theoretical Computer Science, Vol. 133. p. 1-1 (Electronic Proceedings in Theoretical Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

Priced Timed Automata and Statistical Model Checking

Larsen, K. G., 2013, Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Springer Publishing Company, Vol. 7940. p. 154-161 (Lecture Notes in Computer Science, Vol. 7940).

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

7 Citations (Scopus)

PtrTracker: Pragmatic pointer analysis

Biallas, S., Olesen, M. C., Cassez, F. & Huuck, R., 2013, Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 2013. IEEE Computer Society Press, p. 69-73 5 p. (I E E E International Working Conference on Source Code Analysis and Manipulation. Proceedings).

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

Open Access
File
3 Citations (Scopus)
452 Downloads (Pure)

Quantitative Modal Transition Systems

Larsen, K. G. & Legay, A., 2013, Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Springer Publishing Company, Vol. 7841. p. 50-58 (Lecture Notes in Computer Science, Vol. 7841).

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

1 Citation (Scopus)

Quantitative Models and Analysis for Reactive Systems

Thrane, C., 2013, Department of Computer Sciences. 170 p. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University).

Research output: Book/ReportPh.D. thesis

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)