Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

Book chapter

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

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)

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)

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

TAPAAL and Reachability Analysis of P/T Nets

Jensen, J. F., Nielsen, T. S., Østergaard, L. K. & Srba, J., 2016, Transactions on Petri Nets and Other Models of Concurrency XI. Springer, p. 307-318 12 p. (Lecture Notes in Computer Science, Vol. 9930).

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

12 Citations (Scopus)

Testing Real-Time Systems Using UPPAAL

Hessel, A., Larsen, K. G., Mikucionis, M., Nielsen, B., Pettersson, P. & Skou, A., 2008, Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers. Berlin Heidelberg: Springer, p. 77-117 (Lecture Notes in Computer Science; No. 4949).

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

147 Citations (Scopus)

The Algorithmics of Bisimilarity

Aceto, L., Ingolfsdottir, A. & Srba, J., 2011, Advanced Topics in Bisimulation and Coinduction. Cambridge University Press, Vol. 52. p. 100-172 73 p. (Cambridge Tracts in Theoretical Computer Science; No. 52).

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

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

4 Citations (Scopus)

Tools for Model-Checking Timed Systems

David, A., Rasmussen, J. I., Larsen, K. G., Behrmann, G., Bulychev, P., Byg, J., Chatain, T., Pettersson, P., Srba, J., Yi, W., Jørgensen, K. Y., Lime, D., Magnin, M., Roux, O. H. & Traonouez, L-M., Oct 2009, Communicating Embedded Systems for Computer Science. Roux, O. H. & Jard, C. (eds.). Wiley, p. 165-225

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

Tools for Verification and Validation

Larsen, K. G. & Nielsen, B., 2005, Embedded Systems Design: The ARTIST Roadmap for Research and Development. Bouyssounouse, B. & Sifakis, J. (eds.). Berlin / Heidelberg: IEEE Computer Society Press, p. 72 (Lecture Notes in Computer Science, Vol. 3436).

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

Conference abstract for conference

A Metric Analogue of Stone Duality for Markov Processes

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

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

An Interface Theory for Timed Systems

David, A., Larsen, K. G., Legay, A., Nyman, U. & Wasowski, A., 2010.

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

Open Access
File
76 Downloads (Pure)

How to pull back open maps along semantics functors

Fahrenberg, U., 2008.

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

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

Conference abstract in journal

Probabilistic logic and the metric space of logical formulas

Mardare, R. I., Sep 2012, In : Bulletin of Symbolic Logic. 18, 3, p. 455

Research output: Contribution to journalConference abstract in journalResearchpeer-review

Conference abstract in proceeding

Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems

Larsen, K. G., 2016, PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning: TIME 2016. IEEE, 1 p.

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

Intelligent Sensory Using Compact Data Structures and Bayesian Networks

Hansen, J. A., 2004, Proceeding of the 16th Nordic Workshop on Programming Theory. 16 ed. Department of Information Tecnology, Uppsala University, p. 99-102 4 p.

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

Type inference for a correspondence certifying type system

Hüttel, H. & Dahl, M., 2008, 20th Nordic Workshop on Programming Theory NWPT 2008. Alfapress, p. 22-24 3 p.

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

UPPAAL-Tiga: Timed Games for Everyone

David, A., Larsen, K. G., Behrmann, G., Fleury, E., Lime, D. & Cougnard, A., 2006, Proceedings of the 18th Nordic Workshop on Programming Theory. Aceto, L. & Ingolfdottir, A. (eds.). University of Reykjavik, 4 p.

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

Conference article in Journal

Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions

Sloth, C. & Wisniewski, R., 2010, In : I E E E Conference on Decision and Control. Proceedings. p. 3760-3765

Research output: Contribution to journalConference article in JournalResearchpeer-review

6 Citations (Scopus)

Abstract Probabilistic Automata

Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., 2011, In : Lecture Notes in Computer Science. 6538, p. 324-339

Research output: Contribution to journalConference article in JournalResearchpeer-review

33 Citations (Scopus)

Active and Passive Fault-Tolerant LPV Control of Wind Turbines

Sloth, C., Esbensen, T. & Stoustrup, J., 2010, In : American Control Conference (ACC). 2010, p. 4640-4646

Research output: Contribution to journalConference article in JournalResearchpeer-review

78 Citations (Scopus)

Adaptive Task Automata with Earliest-Deadline-First Scheduling

Hatvani, L., David, A., Seceleanu, C. & Pettersson, P., 2014, In : Electronic Communications of the EASST. 70, p. 1-15 15 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
1 Citation (Scopus)

A delay-robust touristic plan recommendation using real-world public transportation information

Ayala, V. A. A., Alzogbi, A., Gülsen, K. C., Färber, M., Muñiz, M. & Lausen, G., 1 Jan 2017, In : CEUR Workshop Proceedings. 1906, p. 9-17 9 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

4 Citations (Scopus)

A distributed storage system with dCache

Behrmann, G., Fuhrmann, P., Grønager, M. & Kleist, J., 2008, In : Journal of Physics - Conference Series. 10 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

15 Citations (Scopus)

A Distributed Tier-1

Fischer, L., Grønager, M., Kleist, J. & Smirnova, O., 2008, In : Journal of Physics - Conference Series. 11 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

2 Citations (Scopus)

A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL

Ravn, A. P., Srba, J. & Vighio, S., 2010, In : Lecture Notes in Computer Science. 6415, p. 579-593

Research output: Contribution to journalConference article in JournalResearchpeer-review

17 Citations (Scopus)

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

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

Jacobsen, L., Jacobsen, M., Møller, M. H. & Srba, J., 2010, In : Lecture Notes in Computer Science. 6342, p. 83-98

Research output: Contribution to journalConference article in JournalResearchpeer-review

3 Citations (Scopus)

A game-theoretic approach to real-time system testing

David, A., Larsen, K. G., Li, S. & Nielsen, B., 2008, In : Design, Automation and Test in Europe. p. 443-448 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

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

Algorithmic Approach to Abstracting Linear Systems by Timed Automata

Sloth, C. & Wisniewski, R., 2011, In : I F A C Workshop Series. p. 4546-4551 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
1 Citation (Scopus)
335 Downloads (Pure)

ALICE-ARC integration

Anderlik, C., Gregersen, A. R., Kleist, J., Peters, A. & Siaz, P., 2008, In : Journal of Physics - Conference Series. 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres

Hilscher, M., Linker, S., Olderog, E-R. & Ravn, A. P., 2011, In : Lecture Notes in Computer Science. 6991, p. 404-419 16 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

30 Citations (Scopus)

Analysis of internal network requirements for the distributed Nordic Tier-1

Kleist, J., Behrmann, G., Fischer, L., Gamst, M. & Grønager, M., 2010, In : Journal of Physics - Conference Series. 219, 5, 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata

Byg, J., Jørgensen, K. Y. & Srba, J., 2009, In : Lecture Notes in Computer Science. 5885, p. 698-716 18 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

15 Citations (Scopus)

Application of Model-Checking Technology to Controller Synthesis

David, A., Grunnet, J. D., Jessen, J. J., Larsen, K. G. & Rasmussen, J. I., 2011, In : Lecture Notes in Computer Science. 6957, p. 336-351 16 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

8 Citations (Scopus)

ATLAS DDM integration in ARC

Behrmann, G., Cameron, D., Ellert, M., Kleist, J. & Taga, A., 2008, In : Journal of Physics - Conference Series. 8 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

2 Citations (Scopus)

Automatic Synthesis of Robust and Optimal Controllers: An Industrial Case Study

Cassez, F., Jessen, J. J., Larsen, K. G., Raskin, J-F. & Reynier, P-A., 2009, In : Lecture Notes in Computer Science. 5469, p. 90-114

Research output: Contribution to journalConference article in JournalResearchpeer-review

45 Citations (Scopus)

A Youla-Kucera approach to Gain-Scheduling with Application to Wind Turbine Control

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

Research output: Contribution to journalConference article in JournalResearchpeer-review

14 Citations (Scopus)

Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

Benes, N., Kretinsky, J., Larsen, K. G. & Srba, J., 2009, In : Lecture Notes in Computer Science. 5684, p. 112-126

Research output: Contribution to journalConference article in JournalResearchpeer-review

21 Citations (Scopus)

Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification

Olesen, M. C., Hansen, R. R., Lawall, J. & Palix, N. J-M., 1 Sep 2010, In : Electronic Communications of the EASST. 33, 18 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification

Olesen, M. C., Hansen, R. R., Lawall, J. L. & Palix, N. J-M., Oct 2014, In : Science of Computer Programming. 91, Part B, p. 141-160

Research output: Contribution to journalConference article in JournalResearchpeer-review

File
2 Citations (Scopus)
508 Downloads (Pure)

Complete Axiomatization for the Total Variation Distance of Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 16 Apr 2018, In : Electronic Notes in Theoretical Computer Science. 336, p. 27-39 13 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
1 Citation (Scopus)
118 Downloads (Pure)

Complexity in Simplicity: Flexible Agent-based State Space Exploration

Rasmussen, J. I. & Larsen, K. G., 2007, In : Lecture Notes in Computer Science. p. 231-245

Research output: Contribution to journalConference article in JournalResearchpeer-review

5 Citations (Scopus)

Compositional and Quantitative Model Checking

Larsen, K. G., 2010, In : Lecture Notes in Computer Science. 5947, p. 35-42 7 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Compositional bisimulation metric reasoning with Probabilistic Process Calculi

Gebler, D., Larsen, K. G. & Tini, S., 2017, In : Logical Methods in Computer Science. 12, 4

Research output: Contribution to journalConference article in JournalResearch

Open Access
18 Citations (Scopus)

Controlling Signalized Intersections using Machine Learning

Eriksen, A. B., Lahrmann, H., Larsen, K. G. & Taankvist, J. H., 2019, (Accepted/In press) In : Transportation Research Procedia.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method

Coënt, A. L., Fribourg, L. & Vacher, J., 1 Jan 2018, In : IFAC-PapersOnLine. 51, 16, p. 259-264 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)

Cooperative Testing of Uncontrollable Timed Systems

David, A., Larsen, K. G., Li, S. & Nielsen, B., Dec 2008, In : Electronic Notes in Theoretical Computer Science. 220, 1, 14 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
5 Citations (Scopus)
265 Downloads (Pure)

Decision Problems for Interval Markov Chains

Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2011, In : Lecture Notes in Computer Science. 6638, p. 274-285

Research output: Contribution to journalConference article in JournalResearchpeer-review

15 Citations (Scopus)