Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Publikationer

Filter
Konferenceartikel i tidsskrift
2019

Controlling Signalized Intersections using Machine Learning

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2018

Complete Axiomatization for the Total Variation Distance of Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 16 apr. 2018, I : Electronic Notes in Theoretical Computer Science. 336, s. 27-39 13 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
1 Citationer (Scopus)
118 Downloads (Pure)

Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method

Coënt, A. L., Fribourg, L. & Vacher, J., 1 jan. 2018, I : IFAC-PapersOnLine. 51, 16, s. 259-264 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citationer (Scopus)

Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar

Gundersen, T. R., Lorber, F., Nyman, U. & Ovesen, C., 7 sep. 2018, I : Electronic Proceedings in Theoretical Computer Science. 277, s. 147-160 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
150 Downloads (Pure)
2017

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, I : CEUR Workshop Proceedings. 1906, s. 9-17 9 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

4 Citationer (Scopus)

Compositional bisimulation metric reasoning with Probabilistic Process Calculi

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

Åben adgang
18 Citationer (Scopus)

On the Metric-Based Approximate Minimization of Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, I : Leibniz International Proceedings in Informatics. 80, 44, s. 1 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
5 Citationer (Scopus)
Åben adgang
Fil
48 Downloads (Pure)
2016

Formal modelling and analysis of Bitflips in ARM assembly code

Hansen, R. R., Larsen, K. G., Olesen, M. C. & Wognsen, E. R., 27 jun. 2016, I : Information Systems Frontiers. 18, 5, s. 909–925 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citationer (Scopus)
2015

Parametric Verification of Weighted Systems

Christoffersen, P., Hansen, M., Mariegaard, A., Ringsmose, J. T., Larsen, K. G. & Mardare, R. I., 2015, I : Open Access Series in Informatics. 44, s. 77-90

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
35 Downloads (Pure)
2014

Adaptive Task Automata with Earliest-Deadline-First Scheduling

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
1 Citationer (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., okt. 2014, I : Science of Computer Programming. 91, Part B, s. 141-160

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
2 Citationer (Scopus)
507 Downloads (Pure)

Lower-bound-constrained runs in weighted timed automata

Bouyer, P., Larsen, K. G. & Markey, N., 19 maj 2014, I : Performance Evaluation. 73, s. 91-109 73.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

9 Citationer (Scopus)

Refinement and Difference for Probabilistic Automata

Larsen, K. G., Delahaye, B., Fahrenberg, U. & Legay, A., 28 feb. 2014, I : Logical Methods in Computer Science. 10, 3, s. 1-32

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
2 Citationer (Scopus)

Robust synthesis for real-time systems

Larsen, K. G., Legay, A., Traonouez, L-M. & Wasowski, A., 2 jan. 2014, I : Theoretical Computer Science. 515, s. 92-122

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

9 Citationer (Scopus)

Statistical model checking of dynamic networks of stochastic hybrid automata

David, A., Larsen, K. G., Legay, A. & Poulsen, D. B., 2014, I : Electronic Communications of the EASST. 66, 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang

Stuttering for abstract probabilistic automata

Delahaye, B., Larsen, K. G. & Legay, A., 2014, I : Journal of Logic and Algebraic Programming. 83, 1, s. 1-19

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citationer (Scopus)
2013

Externalizing Behaviour for Analysing System Models

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Reachability-based Impact as a Measrue for Insiderness

Probst, C. W. & Hansen, R. R., dec. 2013, I : Journal of Wireless Mobile Networks, Ubiquitous Computing and Dependable Applications. 4, 4, s. 38-48 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

3 Citationer (Scopus)
2012

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Learning Markov Decision Processes for Model Checking

Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 2012, I : Electronic Proceedings in Theoretical Computer Science. 103, s. 49-63

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

MDM: A Mode Diagram Modeling Framework

Wang, Z., Pu, G., Li, J., He, J., Qin, S., Larsen, K. G., Madsen, J. & Gu, B., 2012, I : Electronic Proceedings in Theoretical Computer Science. 105, s. 135-149

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2 Citationer (Scopus)

On the Existence of Compositional Barrier Certificates

Sloth, C., Wisniewski, R. & Pappas, G. J., 2012, I : I E E E Conference on Decision and Control. Proceedings. s. 4580-4585 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

11 Citationer (Scopus)

Parameterized Metatheory for Continuous Markovian Logic

Larsen, K. G., Mardare, R. I. & Thrane, C., 2012, I : Electronic Proceedings in Theoretical Computer Science. 103, s. 33-47

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

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, I : A C M / I E E E Design Automation Conference. Proceedings. s. 370-375

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

9 Citationer (Scopus)

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

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

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, I : Electronic Proceedings in Theoretical Computer Science. 85, s. 1-16 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

68 Citationer (Scopus)
2011

Abstract Probabilistic Automata

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

33 Citationer (Scopus)

Algorithmic Approach to Abstracting Linear Systems by Timed Automata

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
1 Citationer (Scopus)
335 Downloads (Pure)

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

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

30 Citationer (Scopus)

Application of Model-Checking Technology to Controller Synthesis

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

8 Citationer (Scopus)

Decision Problems for Interval Markov Chains

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

15 Citationer (Scopus)

Distances for Weighted Transition Systems: Games and Properties

Bidragets oversatte titel: Distances for Weighted Transition Systems: Games and PropertiesFahrenberg, U., Thrane, C. R. & Larsen, K. G., 2011, I : Electronic Proceedings in Theoretical Computer Science. 57, s. 134-147 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Distributed Parametric and Statistical Model Checking

Bulychev, P. E., David, A., Larsen, K. G., Mikucionis, M. & Legay, A., 2011, I : Electronic Proceedings in Theoretical Computer Science. 72, s. 30-42 13 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Energy Games in Multiweighted Automata

Fahrenberg, U., Juhl, L., Larsen, K. G. & Srba, J., 1 jan. 2011, I : Lecture Notes in Computer Science. 6916, s. 95-115 21 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

51 Citationer (Scopus)

Model-based testing of industrial transformational systems

Olsen, P., Foederer, J. & Tretmans, J., 2011, I : Lecture Notes in Computer Science. 7019, s. 131-145 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

4 Citationer (Scopus)

Modelling and Verification of Web Services Business Activity Protocol

Ravn, A. P., Srba, J. & Vighio, S., 2011, I : Lecture Notes in Computer Science. 6605, s. 357--371 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

14 Citationer (Scopus)

Modular Markovian logic

Cardelli, L., Larsen, K. G. & Mardare, R., 1 jan. 2011, I : Lecture Notes in Computer Science. 6756 LNCS, s. 380-391 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

10 Citationer (Scopus)

Monitoring Dynamical Signals While Testing Timed Aspects of a System

Frehse, G., Larsen, K. G., Mikucionis, M. & Nielsen, B., 1 jan. 2011, I : Lecture Notes in Computer Science. 7019 LNCS, s. 115-130 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citationer (Scopus)

New Results on Abstract Probabilistic Automata

Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., 2011, I : Proceedings of the International Conference on Application of Concurrency to System Design. s. 118-127

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

16 Citationer (Scopus)

Opaal: A Lattice Model Checker

Dalsgaard, A. E., Hansen, R. R., Jørgensen, K. Y., Larsen, K. G., Olesen, M. C., Olsen, P. & Srba, J., 2011, I : Lecture Notes in Computer Science. 6617, s. 487-493 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
8 Citationer (Scopus)
417 Downloads (Pure)

Parametric modal transition systems

Beneš, N., Křetínský, J., Larsen, K. G., Møller, M. H. & Srba, J., 1 jan. 2011, I : Lecture Notes in Computer Science. 6996, s. 275-289 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

25 Citationer (Scopus)

Quantitative Refinement for Weighted Modal Transition Systems

Bauer, S. S., Fahrenberg, U., Juhl, L., Larsen, K. G., Legay, A. & Thrane, C., 1 jan. 2011, I : Lecture Notes in Computer Science. 6907 LNCS, s. 60-71 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

18 Citationer (Scopus)

Robust specification of real time components

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

13 Citationer (Scopus)

Statistical Model Checking for Networks of Priced Timed Automata

David, A., Larsen, K. G., Mikucionis, M., Poulsen, D. B., Vliet, J. V., Legay, A. & Wang, Z., 1 jan. 2011, I : Lecture Notes in Computer Science. 6919 LNCS, s. 80-96 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

88 Citationer (Scopus)

Timed Automata Can Always Be Made Implementable

Bouyer, P., Larsen, K. G., Markey, N., Sankur, O. & Thrane, C., 1 jan. 2011, I : Lecture Notes in Computer Science. 6901 LNCS, s. 76-91 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

15 Citationer (Scopus)

Time for Statistical Model Checking of Real-Time Systems

David, A., Larsen, K. G., Legay, A., Mikucionis, M. & Wang, Z., 1 jan. 2011, I : Lecture Notes in Computer Science. 6806 LNCS, s. 349-355 7 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

87 Citationer (Scopus)

Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols

Dahl, M., Kobayashi, N., Sun, Y. & Hüttel, H., 2011, I : Lecture Notes in Computer Science. 6996, s. 75-89 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citationer (Scopus)

Typed ψ-calculi

Hüttel, H., 2011, I : Lecture Notes in Computer Science. 6901, s. 265-279 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

10 Citationer (Scopus)

Verification of Timed-Arc Petri Nets

Jacobsen, L., Jacobsen, M., Møller, M. H. & Srba, J., 2011, I : Lecture Notes in Computer Science. 6543, s. 46-72 26 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

30 Citationer (Scopus)