Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2020

2014
378 Downloads (Pure)

Expressing best practices in (risk) analysis and testing of safety-critical systems using patterns

Herzner, W., Sieverding, S., Kacimi, O., Böde, E., Bauer, T. & Nielsen, B., 2014, Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, p. 299-304 6 p.

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

File
1 Citation (Scopus)

Finding a Forest in a Tree: the matching problem for wide reactive systems

Bacci, G., Miculan, M. & Rizzi, R., 2014, Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers. Maffei, M. & Tuosto, E. (eds.). Springer Publishing Company, Vol. 8902. p. 17-33 (Lecture Notes in Computer Science).

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

Explosions
Computational complexity
4 Citations (Scopus)

Flow-based approaches in network management: Recent advances and future trends

Sadre, R., Sperotto, A., Hofstede, R. & Brownlee, N., 2014, In : International Journal of Network Management (Online). 24, 4, p. 219-220 2 p.

Research output: Contribution to journalEditorialResearchpeer-review

147 Citations (Scopus)

Flow monitoring explained: From packet capture to data analysis with NetFlow and IPFIX

Hofstede, R., Čeleda, P., Trammell, B., Drago, I., Sadre, R., Sperotto, A. & Pras, A., 24 Apr 2014, In : IEEE Communications Surveys & Tutorials. 16, 4, p. 2037-2064 28 p., 6814316.

Research output: Contribution to journalJournal articleResearchpeer-review

Monitoring
Acoustic variables measurement
HIgh speed networks
Flow measurement
Inspection
20 Citations (Scopus)

Formalisation and analysis of Dalvik bytecode

Wognsen, E. R., Karlsen, H. S., Olesen, M. C. & Hansen, R. R., 15 Oct 2014, In : Science of Computer Programming. 92, Part A, p. 25-55 31 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Application programs
Smartphones
Flow control
Semantics
Android (operating system)
6 Citations (Scopus)

Formal verification and simulation for platform screen doors and collision avoidance in subway control systems

Fang, H., Shi, J., Zhu, H., Guo, J., Larsen, K. G. & David, A., 2014, In : International Journal on Software Tools for Technology Transfer. 16, 4, p. 339-361

Research output: Contribution to journalJournal articleResearchpeer-review

3 Citations (Scopus)

GÉANT perfSONAR MDM-Based Circuit Monitoring in a Multidomain Environment

Yu, H., Liu, F., Naegele-Jackson, S., Coulouarn, T., Kulkarni, T., Kleist, J., Hommel, W. & Dittmann, L., May 2014, In : I E E E Communications Magazine. 52, 5, p. 174-181

Research output: Contribution to journalJournal articleResearchpeer-review

15 Citations (Scopus)
375 Downloads (Pure)

Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 13 Jun 2014, Proceedings of Formal Aspects of Component Software (FACS), 2013. Fiadeiro, J. L., Liu, Z. & Xue, J. (eds.). Springer Publishing Company, Vol. 8348. p. 61-78 18 p. 6. (Lecture Notes in Computer Science).

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

Open Access
File
Scheduling
Avionics
6 Citations (Scopus)

History-preserving bisimilarity for higher-dimensional automata via open maps

Fahrenberg, U., 2014, In : Logical Methods in Computer Science. p. 2-20 19 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
265 Downloads (Pure)

HomePort ZigBee Adapter: Internal Milestone Report

Pedersen, T., Smedegaard, J. H. & Hansen, R., 18 Aug 2014, Aalborg: Institut for Datalogi, Aalborg Universitet. 8 p. (R : Department of Computer Science, Aalborg University; No. 12).

Research output: Book/ReportReportResearch

Open Access
File
Zigbee
Computer keyboards
Middleware
Network protocols
4 Citations (Scopus)

How A Flipped Learning Environment Affects Learning In A Course On Theoretical Computer Science

Gnaur, D. & Hüttel, H., 2014, Advances in Web-Based Learning - ICWL 2014 - Lecture Notes in Computer Science: 13th International Conference, Tallinn, Estonia, August 14-17, 2014. Proceedings. Popescu, E., Lau, R. W. H., Pata, K., Leung, H. & Laanpere, M. (eds.). Springer Publishing Company, Vol. 8613. p. 219-228 (Lecture Notes in Computer Science, Vol. 8613).

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

computer science
learning environment
pedagogical support
classroom
learning strategy
4 Citations (Scopus)

Internet bad neighborhoods temporal behavior

Moura, G. C. M., Sadre, R. & Pras, A., 1 Jan 2014, IEEE/IFIP NOMS 2014 - IEEE/IFIP Network Operations and Management Symposium: Management in a Software Defined World. IEEE Computer Society Press, p. 1-9 6838306. (I E E E - I F I P Network Operations and Management Symposium).

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

Internet
4 Citations (Scopus)

Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets

Viesmose, S. L., Jacobsen, T. S., Jensen, J. J., Moesgaard, C., Samuelsen, N. N. & Srba, J., 2014, Proceedings of the 12th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'14). Springer Publishing Company, Vol. 8711. p. 237-251 15 p. (Lecture Notes in Computer Science (LNCS)).

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

Model checking
Petri nets
Explosions
Clocks
Experiments
1 Citation (Scopus)

INTrEPID: A project on energy optimization in buildings

Pedersen, T., Ravn, A. P. & Skou, A., 2014, Proceedings of 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace & Electronic Systems (VITAE). IEEE Press, p. 172-175 4 p.

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

Intelligent systems
7 Citations (Scopus)

Linking network usage patterns to traffic Gaussianity fit

De O. Schmidt, R., Sadre, R., Melnikov, N., Schönwälder, J. & Pras, A., 1 Jan 2014, 2014 IFIP Networking Conference, IFIP Networking 2014. IEEE Computer Society Press, p. 1-9 6857099

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

Internet
Chemical analysis
9 Citations (Scopus)

Lower-bound-constrained runs in weighted timed automata

Bouyer, P., Larsen, K. G. & Markey, N., 19 May 2014, In : Performance Evaluation. 73, p. 91-109 73.

Research output: Contribution to journalConference article in JournalResearchpeer-review

7 Citations (Scopus)

Memory Efficient Data Structures for Explicit Verification of Timed Systems

Taankvist, J. H., Srba, J., Larsen, K. G., Sørensen, M. G. & Jensen, P. G., 2014, NASA Formal Methods. Badger, J. M. & Rozier, K. Y. (eds.). Springer Publishing Company, Vol. 8430. p. 307-312 6 p. (Lecture Notes in Computer Science).

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

161 Downloads (Pure)

Model checking process algebra of communicating resources for real-time systems

Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, 10 p.

Research output: Working paperResearch

Open Access
File
226 Downloads (Pure)

Model Checking Process Algebra of Communicating Resources for Real-time Systems

Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, Proceedings of ECRTS 2014. IEEE Press, p. 51-60 (Euromicro Conference on Real-Time Systems. Proceedings).

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

Open Access
File
29 Citations (Scopus)

On Time with Minimal Expected Cost!

David, A., Jensen, P. G., Larsen, K. G., Legay, A., Lime, D., Sørensen, M. G. & Taankvist, J. H., 2014, Automated Technology for Verification and Analysis. Cassez, F. & Raskin, J-F. (eds.). Springer Publishing Company, Vol. 8837. p. 129-145 16 p. (Lecture Notes in Computer Science).

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

2 Citations (Scopus)

Parametric and Quantitative Extensions of Modal Transition Systems

Fahrenberg, U., Larsen, K. G., Legay, A. & Traonouez, L-M., 14 Feb 2014, From Programs to Systems.: The Systems perspective in Computing. Bensalem, S., Lakhneck, Y. & Legay, A. (eds.). Springer, Vol. 8415. p. 84-97 (Lecture Notes in Computer Science).

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

1 Citation (Scopus)

Power efficient service differentiation based on traffic-aware survivable elastic optical networks

Kleist, J., Turus, I., Dittman, L., Morea, A. & Verchere, D., 2014, Reliable Networks Design and Modeling (RNDM), 2014 6th International Workshop on. p. 91-96

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

Probabilistic modal specifications (invited extended abstract)

Larsen, K. G. & Legay, A., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8348 LNCS. p. 1-4 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8348 LNCS).

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

specifications
formalism
4 Citations (Scopus)
185 Downloads (Pure)

Program Analysis as Model Checking

Olesen, M. C., 1 Sep 2014, Institut for Datalogi, Aalborg Universitet. 159 p. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University; No. 85).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
Model checking
Semantics
Hardware
Embedded software
Finite automata
2 Citations (Scopus)

Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata

David, A., Larsen, K. G., Legay, A., Guangyuan, L. & Poulsen, D. B., 2014, 14th International Conference on Application of Concurrency to System Design (ACSD), 2014. IEEE Computer Society Press, p. 32 - 41 (Proceedings of the International Conference on Application of Concurrency to System Design).

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

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

Robust synthesis for real-time systems

Larsen, K. G., Legay, A., Traonouez, L-M. & Wasowski, A., 2 Jan 2014, In : Theoretical Computer Science. 515, p. 92-122

Research output: Contribution to journalConference article in JournalResearchpeer-review

481 Downloads (Pure)

Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems

Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U. & Skou, A., 2014, Proceedings of ERTS2 2014. p. 1-4 4 p.

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

File
5 Citations (Scopus)

Soundness of Timed-Arc Workflow Nets

Mateo, J. A., Srba, J. & Sørensen, M. G., 2014, Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN'14). Springer Publishing Company, Vol. 8489. p. 51-70 20 p. (Lecture Notes in Computer Science (LNCS)).

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

Computability and decidability
Petri nets
Brakes
Blood
Aircraft
6 Citations (Scopus)

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

Petri nets
Specifications
Chemical analysis
Labels
Communication
19 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
Model checking
Biological systems
Stochastic systems
Hybrid systems
Pitting

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

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

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

8 Citations (Scopus)
246 Downloads (Pure)

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
Observability
Synchronization
Bandwidth
Communication
9 Citations (Scopus)

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

Weighted Automata
Timed Automata
Synchronization
Automata
Safety
2 Citations (Scopus)

Taking on internet bad neighborhoods

Moura, G. C. M., Sadre, R. & Pras, A., 2014, IEEE/IFIP NOMS 2014 - IEEE/IFIP Network Operations and Management Symposium: Management in a Software Defined World. IEEE Computer Society Press, p. 1-7 6838284. (I E E E - I F I P Network Operations and Management Symposium).

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

Spamming
Internet
4 Citations (Scopus)

TCTL-Preserving Translations from Timed-Arc Petri Nets to Networks of Timed Automata

Byg, J., Jacobsen, M., Jacobsen, L., Jørgensen, K. Y., Møller, M. H. & Srba, J., 2014, In : Theoretical Computer Science. 537, 5, p. 3-28 26 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Timed Automata
Petri nets
Petri Nets
Arc of a curve
Network protocols

The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2014, Essays for the Luca Cardelli Fest: Essays dedicated to Luca Cardelli, on the Occasion of His 60th Birthday. Abadi, M., Gardner, P., Gordon, A. D. & Mardare, R. (eds.). Microsoft Research, p. 15-26

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

9 Citations (Scopus)
441 Downloads (Pure)

Towards a Method for Combined Model-based Testing and Analysis

Nielsen, B., 9 Jan 2014. 10 p.

Research output: Contribution to conference without publisher/journalPaper without publisher/journalResearchpeer-review

File
4 Citations (Scopus)

Types for resources in φ-calculi

Hüttel, 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. 83-102 20 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

Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL

Larsen, K. G., 17 Jul 2014, PECCS 2014 -- Proceedings of the 4th International Conference on Pervasive and Embedded Computing and Communication Systems. SCITEPRESS Digital Library, p. IS-9

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

7 Citations (Scopus)

Verification and Performance Evaluation of Timed Game Strategies

David, A., Fang, H., Larsen, K. G. & Zhang, Z., 2014, Formal Modeling and Analysis of Timed Systems. Legay, A. & Bozga, M. (eds.). Springer, Vol. 8711. p. 100-114 15 p. (Lecture Notes in Computer Science).

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

2013
12 Citations (Scopus)

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

Probabilistic Automata
Specifications
Specification
Explosions
Uncertainty
7 Citations (Scopus)
805 Downloads (Pure)

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

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

Costs
4 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

7 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

Automation
Controllers
Model checking
Middleware
Interfaces (computer)
8 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

Petri nets
Semantics
Chemical analysis
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