Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2020

2013
13 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

Timed Automata
Dynamical systems
Dynamical system
State Space
Optimization Problem
15 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

8 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

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

37 Citations (Scopus)
1008 Downloads (Pure)

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
Supervisory Control
Data Acquisition
Data acquisition
Servers
Network protocols
10 Citations (Scopus)

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

15 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

Middleware
Automation
Network protocols
Heterogeneous networks
Sensor networks

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

4 Citations (Scopus)

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

Sampling
Mathematical operators
Monitoring
Scalability
Statistics
5 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

Model checking
Experiments
423 Downloads (Pure)

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

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

24 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

Adaptive systems
Model checking
Failure modes
Costs
Modeling languages
6 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

Model checking
Web services
Network protocols
Industry
Specifications

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

16 Citations (Scopus)
337 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
28 Citations (Scopus)

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

2 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

20 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

23 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

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

6 Citations (Scopus)

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

3 Citations (Scopus)
401 Downloads (Pure)

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
1 Citation (Scopus)

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

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. thesisResearch

Systems analysis
Specifications
Mobile phones
Embedded systems
Websites
587 Downloads (Pure)

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. thesisResearch

Open Access
File
3 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

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

8 Citations (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

Specifications
Communication
Testing
Observability
Real time systems
14 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

Special Issue of the International Journal on Network Management (IJNM) on “ Flow-based Approaches in Network Management: Recent Advances and Future Trends"

Sadre, R., Sperotto, A., Brownlee, N. & Hofstede, R., 2013, In : International Journal of Network Management (Online). 23, 4, p. 308-309

Research output: Contribution to journalEditorialResearchpeer-review

1 Citation (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

Congruence
Stochastic calculus
Equivalence
14 Citations (Scopus)

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

9 Citations (Scopus)

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

Markov processes
Probability distributions
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

6 Citations (Scopus)

TetaSARTS: A tool for modular timing analysis of safety critical Java systems

Luckow, K. S., Bøgholm, T., Thomsen, B. & Larsen, K. G., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. 11 ed. Association for Computing Machinery, p. 11-20 10 p. (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)

The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Joshi, K., Siegle, M., Stoelinga, M. & D'Argenio, P. R. (eds.). Springer Publishing Company, Vol. 8054. p. 278-281 4 p. (Lecture Notes in Computer Science, Vol. 8054).

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

10 Citations (Scopus)

The ENCOURAGE ICT architecture for heterogeneous smart grids

Albano, M., Ferreira, L., Le Guilly, T., Ramiro, M., Faria, E., Duneas, L., Ferreira, R., Gaylard, E., Cubas, D. J., Roarke, E., Lux, D., Scalari, S., Sørensen, S. M., Gangolells, M., Pinho, L. M. & Skou, A., 2013, EUROCON 2013, IEEE. IEEE Computer Society Press, p. 1383-1390 8 p.

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

Scheduling
4 Citations (Scopus)

Tools for Model-Checking Timed Systems

David, A., Behrmann, G., Bulychev, P., Byg, J., Chatain, T., Larsen, K. G., Pettersson, P., Rasmussen, J. I., Srba, J., Yi, W., Joergensen, K. Y., Lime, D., Magnin, M., Roux, O. H. & Traonouez, L. M., 13 Feb 2013, Communicating Embedded Systems: Software and Design: Formal Methods. Jard, C. & H. Roux, O. (eds.). Wiley, p. 165-225 61 p.

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

6 Citations (Scopus)

Towards harnessing theories through tool support for hard real-time Java programming

Bøgholm, T., Frost, C., Hansen, R. R., Jensen, C. S., Luckow, K. S., Ravn, A. P., Søndergaard, H. & Thomsen, B., 2013, In : Innovations in Systems and Software Engineering. 9, 1, p. 17-28 12 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Types for resources in psi-calculi

Hüttel, H., 2013, TGC 2013: 8th International Symposium on Trustworthy Global Computing (TGC 2013). Abadi, M. & Lluch Lafuente, A. (eds.). Springer Publishing Company, Vol. 8358. p. 83-102

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

14 Citations (Scopus)

Verification of Liveness Properties on Closed Timed-Arc Petri Nets

Andersen, M., Larsen, H. G., Srba, J., Sørensen, M. & Taankvist, J. H., 2013, Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers. Netherlands: Springer Publishing Company, Vol. 7721. p. 69-81 13 p. (Lecture Notes in Computer Science).

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

Petri nets
Experiments
6 Citations (Scopus)

Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets

Bertolini, C., Liu, Z. & Srba, J., 2013, Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers. Weber, J. & Perseil, I. (eds.). Netherlands: Springer Publishing Company, Vol. 7789. p. 19-36 18 p. (Lecture Notes in Computer Science, Vol. 7789).

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

Petri nets
Semantics
Blood
14 Citations (Scopus)

Weighted modal transition systems

Bauer, S., Fahrenberg, U., Juhl, L., Legay, A., Larsen, K. G. & Thrane, C., 2013, In : Formal Methods in System Design. 42, 2, p. 193-220

Research output: Contribution to journalJournal articleResearchpeer-review

6 Citations (Scopus)

Worst-Case Memory Consumption Analysis for SCJ

Andersen, J. L., Todberg, M., Dalsgaard, A. E. & Hansen, R. R., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, p. 2-10 9 p. (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

Data storage equipment
Real time systems
Inspection
11 Citations (Scopus)

WYSIWIB: Exploiting Fine-Grained Program Structure in a Scriptable API-Usage Protocol Finding Process

Lawall, J., Brunel, J. P. M., Palix, N. J-M., Hansen, R. R., Stuart, H. & Muller, G., Jan 2013, In : Software: Practice & Experience. 43, 1, p. 67-92

Research output: Contribution to journalJournal articleResearchpeer-review

2012
2 Citations (Scopus)
304 Downloads (Pure)

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
Formal verification

Adaptable Value-Set Analysis for Low-Level Code

Brauer, J., Hansen, R. R., Kowalewski, S., Larsen, K. G. & Olesen, M. C., Jul 2012, 6th International Workshop on Systems Software Verification (SSV 2011). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Vol. 24. 12 p.

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

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

David, A., Jacobsen, L., Jacobsen, M. & Srba, J., 2012, In : Electronic Proceedings in Theoretical Computer Science. 102, p. 125-140 16 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Petri nets
Extrapolation
10 Citations (Scopus)

A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example

Zhao, H., Zhan, N., Kapur, D. & Larsen, K. G., 2012, FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Springer, Vol. 7436. p. 471-485 (Lecture Notes in Computer Science).

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