Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

Robust LMI-Based Control of Wind Turbines with Parametric Uncertainties

Sloth, C., Esbensen, T., Niss, M. O. K., Stoustrup, J. & Odgaard, P. F., 2009, In : I E E E Conference on Control Applications. Proceedings. 2009, p. 776-781 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

36 Citations (Scopus)

Robust specification of real time components

Larsen, K. G., Legay, A., Traonouez, L-M. & Wasowski, A., 1 Jan 2011, In : Lecture Notes in Computer Science. 6919 LNCS, p. 129-144 16 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

13 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

9 Citations (Scopus)

Routing-Verification-as-a-Service (RVaaS): Trustworthy Routing Despite Insecure Providers

Schiff, L., Thimmaraju, K. & Schmid, S., 22 Sep 2016, Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016. IEEE, p. 113-119 7 p. 7575360

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

Runtime Verification of Biological Systems

David, A., Larsen, K. G., Legay, A., Mikucionis, M., Poulsen, D. B. & Sedwards, S., 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. Berlin: Springer, Vol. 7609. p. 388-404 17 p. (Lecture Notes in Computer Science, Vol. 7609).

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

22 Citations (Scopus)

Sade: competitive MAC under adversarial SINR

Ogierman, A., Richa, A., Scheideler, C., Schmid, S. & Zhang, J., Jun 2018, In : Distributed Computing. 31, 3, p. 241-254 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

3 Citations (Scopus)

Safe and Optimal Adaptive Cruise Control

Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2015, Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday. Meyer, R., Platzer, A. & Wehrheim, H. (eds.). Springer, p. 260-277 18 p. (Lecture Notes in Computer Science; No. 9360).

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

16 Citations (Scopus)

Safe and Time-Optimal Control for Railway Games

Karra, S., Larsen, K. G., Lorber, F. & Srba, J., 2019, Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19). Collart-Dutilleul, S., Romanovsky, A. & Lecomte, T. (eds.). Springer, p. 106-122 17 p. (Lecture Notes in Computer Science, Vol. 11495).

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

2 Citations (Scopus)

Safety-critical Java for low-end embedded platforms

Søndergaard, H., Korsholm, S. E. & Ravn, A. P., 2012, Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, p. 44-53 (ACM International Conference Proceeding Series (ICPS)).

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

18 Citations (Scopus)

Safety-critical Java with cyclic executives on chip-multiprocessors

Ravn, A. P. & Schoeberl, M., 12 Jun 2012, In : Concurrency and Computation: Practice & Experience. 24, 8, p. 772-788

Research output: Contribution to journalJournal articleResearchpeer-review

File
5 Citations (Scopus)
352 Downloads (Pure)

Sandboxing in a Distributed Pi-Calculus

Hüttel, H. & Kühnrich, M., 2006, WITS 2006. Gollmann, D. & Jürjens, J. (eds.). p. 114-128 15 p.

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

File
274 Downloads (Pure)

Scalable importance sampling estimation of Gaussian mixture posteriors in Bayesian networks

Ramos-López, D., Masegosa, A., Salmerón, A., Rumí, R., Langseth, H., Nielsen, T. D. & Madsen, A. L., 1 Sep 2018, In : International Journal of Approximate Reasoning. 100, p. 115-134 20 p., 100.

Research output: Contribution to journalJournal articleResearchpeer-review

3 Citations (Scopus)

Scalable MAP inference in Bayesian networks based on a Map-Reduce approach

Ramos-López, D., Salmerón, A., Rumí, R., Martinez, A. M., Nielsen, T. D., Masegosa, A., Langseth, H. & Madsen, A. L., 2016, JMLR Workshop and Conference Proceedings: Volume 52: Proceedings of the Eighth International Conference on Probabilistic Graphical Models. p. 415-425 12 p. (JMLR Workshop and Conference Proceedings, Vol. 52).

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

Open Access

Scaling up Bayesian variational inference using distributed computing clusters

Masegosa, A. R., Martinez, A. M., Langseth, H., Nielsen, T. D., Salmerón, A., Ramos-López, D. & Madsen, A. L., 1 Sep 2017, In : International Journal of Approximate Reasoning. 88, p. 435-451 17 p.

Research output: Contribution to journalJournal articleResearchpeer-review

7 Citations (Scopus)

Scaling up Uppaal: Automatic Verification of Real-Time Systems Using Compositionality and Abstraction

Jensen, H. E., Larsen, K. G. & Skou, A., 2000, Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20 - 22, 2000 : Proceedings: Lecture Notes in Computer Science. Joseph, M. (ed.) (ed.). 1926 ed. IEEE Computer Society Press, p. 19-30

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

43 Citations (Scopus)

Scenario-based analysis and synthesis of real-time systems using Uppaal

Larsen, K. G., Li, S., Nielsen, B. & Pusinskas, S., Mar 2010, Proc. 13th Conference on Design, Automation, and Test in Europe (DATE'10), March 2010, Dresden, Germany.. European Design and Automation Association, EDAA

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

10 Citations (Scopus)

Scenario-based verification of real-time systems using UPPAAL

Li, S., Belaguer, S., David, A., Larsen, K. G., Nielsen, B. & Pusinskas, S., 2010, In : Formal Methods in System Design. 37, 2-3, p. 200-264

Research output: Contribution to journalJournal articleResearchpeer-review

13 Citations (Scopus)

Schedulability Analysis Abstractions for Safety Critical Java

Bøgholm, T., Thomsen, B., Larsen, K. G. & Mycroft, A., 2012, Proceedings of the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2012. IEEE Computer Society Press, p. 71-78 8 p. (International Symposium on Object-Oriented Real-Time Distributed Computing).

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

2 Citations (Scopus)

Schedulability Analysis for Java Finalizers

Bøgholm, T., Hansen, R. R., Søndergaard, H., Ravn, A. P. & Thomsen, B., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems: ACM International Conference Proceeding Series. Association for Computing Machinery, 7 p.

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

2 Citations (Scopus)

Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL

Han, P., Zhai, Z., Nielsen, B., Nyman, U. & Kristjansen, M., 1 Nov 2019, In : Journal of Aerospace Information Systems. 16, 11

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
33 Downloads (Pure)

Schedulability Analysis Using Uppaal: Herschel-Planck Case Study

Mikucionis, M., Larsen, K. G., Nielsen, B., Rasmussen, J. I., Skou, A., Palm, S. U., Pedersen, J. S. & Hougaard, P., Oct 2010, In : Lecture Notes in Computer Science. 6416, 2010, p. 175-190

Research output: Contribution to journalJournal articleResearchpeer-review

26 Citations (Scopus)

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

Schedulability of Herschel-Planck Revisited Using Statistical Model Checking

David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 18 Oct 2012, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Springer, p. 293-307 15 p. (Lecture Notes in Computer Science, Vol. 7610).

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

32 Citations (Scopus)

Schedulability of Herschel revisited using statistical model checking

David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 2015, In : International Journal on Software Tools for Technology Transfer. 17, 2, p. 187-199 13 p.

Research output: Contribution to journalJournal articleResearchpeer-review

9 Citations (Scopus)

Scheduling congestion-and loop-free network update in timed SDNs

Zheng, J., Chen, G., Schmid, S., Dai, H., Wu, J. & Ni, Q., 1 Nov 2017, In : IEEE Journal on Selected Areas in Communications. 35, 11, p. 2542-2552 11 p., 8058446.

Research output: Contribution to journalJournal articleResearchpeer-review

15 Citations (Scopus)

Scheduling lacquer production by reachability analysis: A case study

Behrmann, G., Brinksma, E., Hendriks, M. & Mader, A., 2005, IFAC World Congress. Elsevier

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

5 Citations (Scopus)

Secrecy in Mobile Ad-hoc Networks

Hüttel, H. & Rafnsson, W., 2008, 20th Nordic Workshop on Programming Theory NWPT 2008. Institute of Cybernetics at Tallinn University of Technology, p. 54-56 3 p.

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

SecuSpot: Toward Cloud-Assisted Secure Multi-Tenant WiFi HotSpot Infrastructures

Schulz-Zander, J., Lisicki, R., Schmid, S. & Feldmann, A., 12 Dec 2016, Proceedings of the 2016 ACM Workshop on Cloud-Assisted Networking . Association for Computing Machinery, p. 61-66 6 p.

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

3 Citations (Scopus)

Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16)

Larsen, K. G. & Srba, J., 2019, In : Journal of Logical and Algebraic Methods in Programming. 107, October 2019, p. 177-178 2 p.

Research output: Contribution to journalJournal articleResearch

Open Access

Selective AnDE for large data learning: a low-bias memory constrained approach

Chen, S., Martínez, A. M., Webb, G. I. & Wang, L., 1 Feb 2017, In : Knowledge and Information Systems. 50, 2, p. 475-503 29 p.

Research output: Contribution to journalJournal articleResearchpeer-review

7 Citations (Scopus)

Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Probst, C. W. (ed.), Hankin, C. (ed.) & Hansen, R. R. (ed.), 2016, Springer. (Lecture Notes in Computer Science, Vol. 9560).

Research output: Book/ReportAnthology

Semantics for Communicating Actors with Interdependent Real-Time Deadlines

Knoll, I., Ravn, A. P. & Skou, A., 2009, Proceedings of Third IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009.. IEEE Computer Society Press, p. 29-35

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

Sensor Fusion using Dynamic Bayesian Networks in Livestock Production Buildings

Hansen, J. A., Nielsen, T. D. & Schiøler, H., 2006, Int. Conf. on Computational Intelligence for Modelling Control and Automation, CIMCA'06. Mohammadian, M. (ed.). IEEE Computer Society Press, 7 p.

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

Silence is golden: Branching bisimilarity is decidable for context-free processes

Hüttel, H., 1991, Computer Aided Verification - 3rd Intenational Workshop, CAV 1991, Proceedings. Larsen, K. G. & Skou, A. (eds.). Physica-Verlag, p. 2-12 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 575 LNCS).

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

Open Access
8 Citations (Scopus)

Simple Propagation with Arc-Reversal in Bayesian Networks

Madsen, A. L., Butz, C. J., Oliveira, J. & dos Santos, A. E., 2018, Proceedings of Machine Learning Research. PMLR Press, Vol. 72. p. 260-271 (The Proceedings of Machine Learning Research).

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

Open Access

Simplification of CTL Formulae for Efficient Model Checking of Petri Nets

Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 8 Mar 2018, PETRI NETS 2018: Application and Theory of Petri Nets and Concurrency . 978-3-319-91267-7: Springer Publishing Company, p. 143-163 (Lecture Notes in Computer Science, Vol. 10877).

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

4 Citations (Scopus)

Simulation-based abstractions for software product-line model checking

Cordy, M., Classen, A., Perrouin, G., Schobbens, P. Y., Heymans, P. & Legay, A., 1 Jan 2012, Proceedings - International Conference on Software Engineering. IEEE, p. 672-682 11 p. (Proceedings of the International Conference on Software Engineering).

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

43 Citations (Scopus)

Single Point Algorithms in Genetic Linkage Analysis

Gudbjartsson, D., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2003, Revised Selected Papers: Lecture Notes in Computer Science. 2809 ed. p. 372-383

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

1 Citation (Scopus)

Slicing for Uppaal

Thrane, C. R. & Sørensen, U., 2008, 2008 Annual IEEE Student Paper Conference Proceedings. IEEE, p. 27-31

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

2 Citations (Scopus)

Smart Home Models - Analysis, Simulation and Synthesis

Pedersen, T., 2018, (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesis

Solving Influence Diagrams with Simple Propagation

Madsen, A. L., Butz, C. J., Oliveira, J. & dos Santos, A. E., 2019, Advances in Artificial Intelligence - 32nd Canadian Conference on Artificial Intelligence, Canadian AI 2019, Proceedings. Rudzicz, F. & Meurs, M-J. (eds.). Cham: Springer, p. 68-79 12 p. (Lecture Notes in Computer Science, Vol. 11489).

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

Solving Planning Problems Using Real-Time Model Checking: Translating PDDL3 into Timed Automata

Dierks, H., Behrmann, G. & Larsen, K. G., 2002, AIPS 2002 Workshop on Planning via Model Checking.

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

Some of My Favourite Results in Classic Process Algebra

Aceto, L., 2004, Current Trends in Theoretical Computer Science: The Challenge of the New Century, Vol. 2: Formal Models and Semantics. Paun, G., Rozenberg, G. & Salomaa, A. (eds.). World Scientific

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

Some of My Favourite Results in Classic Process Algebra

Aceto, L., 2003, The Concurrency Column. (L. Aceto ed.) (ed.). p. 90-108 (Bulletin of the EATCS; No. 81).

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

SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes

Ashok, P., Kretínsky, J., Larsen, K. G., Coent, A. C. L., Taankvist, J. H. & Weininger, M., 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (eds.). Heidelberg: Springer, p. 147-164 18 p. (Lecture Notes in Computer Science, Vol. 11785).

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

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

5 Citations (Scopus)

Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics

Mateo, J. A., Srba, J. & Sørensen, M. G., 2015, In : Fundamenta Informaticae. 140, 1, p. 89-121 33 p.

Research output: Contribution to journalJournal articleResearchpeer-review

3 Citations (Scopus)

Special issue - Algebraic process calculi: The first twenty five years and beyond - Guest editors' foreword

Aceto, L., Bravetti, M., Fokkink, W. & Gordon, A. D., 2007, In : Journal of Logic and Algebraic Programming. 70, 2, p. 119-120 2 p.

Research output: Contribution to journalEditorialResearch

Special issue of Journal of Logic and Algebraic Programming on Structural Operational Semantics

Aceto, L. & Fokkink, W., 2004, Pergamon Press. 463 p. (Journal of Logic and Algebraic Programming; No. vols. 60-61).

Research output: Book/ReportBook

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