Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

Undecidable equivalences for basic parallel processes

Hüttel, H., Kobayashi, N. & Suto, T., 1 Jul 2009, In : Information and Computation. 207, 7, p. 812-829 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
4 Citations (Scopus)

Undecidable equivalences for basic process algebra

Groote, J. F. & Hüttel, H., Dec 1994, In : Information and Computation. 115, 2, p. 354-371 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
38 Citations (Scopus)

Unification & sharing in timed automata verification

David, A., Behrmann, G., Larsen, K. G. & Yi, W., 2003, 10th International SPIN Workshop 2003. IEEE Computer Society Press, p. 225-229 (Lecture Notes in Computer Science; No. 2648).

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

Open Access
File
174 Downloads (Pure)

Unified Programmability of Virtualized Network Functions and Software-Defined Wireless Networks

Schulz-Zander, J., Mayer, C., Ciobotaru, B., Lisicki, R., Schmid, S. & Feldmann, A., Dec 2017, In : IEEE Transactions on Network and Service Management. 14, 4, p. 1046-1060 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

5 Citations (Scopus)

Unifying proof methodologies of duration calculus and timed linear temporal logic

Liu, Z., Ravn, A. P. & Li, X., 2004, In : Formal Aspects of Computing. 16, 2, p. 140-154 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

5 Citations (Scopus)

Unrestricted stone duality for Markov processes

Furber, R., Kozen, D., Larsen, K. G., Mardare, R. I. & Panangaden, P., 8 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Press, 8005152

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

1 Citation (Scopus)

Untameable timed automata

Bouyer, P., Dufourd, C., Fleury, E. & Petit, A., 2003, In : Theoretical Computer Science. 321, 1, p. 291-345 54 p.

Research output: Contribution to journalJournal articleResearchpeer-review

46 Citations (Scopus)

Updatable timed automata

Bouyer, P., Dufourd, C., Fleury, E. & Petit, A., 2004, In : Theoretical Computer Science. 321, 2-3, p. 291-345 55 p.

Research output: Contribution to journalJournal articleResearchpeer-review

62 Citations (Scopus)

Uppaal: Now, Next, and Future

Amnell, T., Behrmann, G., Bengtsson, J., D'Argenio, P. R., David, A., Fehnker, A., Hune, T., Jeannet, B., Larsen, K. G., Möller, M. O., Pettersson, P., Weise, C. & Yi, W., 2001, Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000 Nantes, France, June 19 - 23, 2000 : Revised Tutorial Lectures: Lecture Notes in Computer Science. Cassez, F. : Jard, C. : Rozoy, B. : Ryan, M. (ed.). 2067 ed. IEEE Computer Society Press, p. 100-125

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

UPPAAL: Present and Future

Behrmann, G., David, A., Larsen, K. G., Möller, O., Pettersson, P. & Yi, W., 2001, Proceedings of the 40th IEEE Conference on Decision and Control. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association

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

UPPAAL2k

Larsen, K. G. & Pettersson, P., 1999, In : Bulletin of the European Association for Theoretical Computer Science. No. 70

Research output: Contribution to journalJournal articleResearchpeer-review

UPPAAL 4.0

David, A., Larsen, K. G., Behrmann, G., Håkansson, J., Pettersson, P., Yi, W. & Hendriks, M., 2006, Third International Conference on the Quantitative Evaluation of SysTems (QEST) 2006. IEEE Computer Society Press, p. 125-126 2 p.

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

UPPAAL Implementation Secrets

Behrmann, G., Bengtsson, J., David, A., Larsen, K. G., Pettersson, P. & Yi, W., 2002, Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, September 9--12 2002, University of Oldenburg, Germany.

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

42 Citations (Scopus)

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

Research output: Contribution to journalConference article in JournalResearchpeer-review

68 Citations (Scopus)

Uppaal SMC tutorial

David, A., Larsen, K. G., Legay, A., Mikučionis, M. & Poulsen, D. B., 6 Jan 2015, In : International Journal on Software Tools for Technology Transfer. 17, 4, p. 397-415 19 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
162 Citations (Scopus)
634 Downloads (Pure)

Uppaal Stratego

David, A., Jensen, P. G., Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2015, Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015. Baier, C. & Tinelli, C. (eds.). London, UK: Springer, p. 206-211 6 p. (Lecture Notes in Computer Science; No. 9035).

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

48 Citations (Scopus)

UPPAAL STRATEGO

David, A., Jensen, P. G., Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2019. 1 p.

Research output: Contribution to conference without publisher/journalPosterCommunication

File
18 Downloads (Pure)

Uppaal Stratego for Intelligent Traffic Lights

Eriksen, A. B., Huang, C., Kildebogaard, J., Lahrmann, H. S., Larsen, K. G., Muniz, M. & Taankvist, J. H., 2017, 12th ITS European Congress: Strasbourg, France, 19-22 June 2017. ERTICO - ITS Europe, 10 p. SP0878

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

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

UPPAAL-TIGA: Time for Playing Games!

David, A., Behrmann, G., Cougnard, A., Fleury, E., Larsen, K. G. & Lime, D., 2007, Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings. Springer, p. 121-125 (Lecture Notes in Computer Science; No. 4590).

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

Upper and lower bounds for deterministic broadcast in powerline communication networks

Pignolet, Y. A., Schmid, S. & Tredan, G., 2016, In : Distributed Computing. 29, 4

Research output: Contribution to journalJournal articleResearchpeer-review

User constraints for reliable user-defined smart home scenarios

Le Guilly, T., Nielsen, M. K., Pedersen, T., Skou, A. J., Kjeldskov, J. & Skov, M., Jul 2016, In : Journal of Reliable Intelligent Environments. 2, 2, p. 75-91 17 p.

Research output: Contribution to journalJournal articleResearchpeer-review

8 Citations (Scopus)

Using AsmL as an executable specification language: Synhchronous Dataflow Schedulers in Ptolemy II

Lázaro Cuadrado, D., Koch, P. & Ravn, A. P., 2004, Proceedings of Workshop on Abstract State Machines ASM 2004, Short Presentations. Dept. of Comp. Science Martin Luther Universität Halle-Wittenberg, p. 19-28

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

Using machine learning and object detection for signal-controlled intersections

Lahrmann, H. S., Eriksen, A. B., Taankvist, J. H., Hansen, M. F. & Larsen, K. G., 2018, ITS 2018 Conference Proceedings: Transport network operations. Copenhagen: ITS World, Vol. 6. 10 p. EU-TP1618

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

Using UPPAAL to Analyze an MPEG-2 Algorithm

Cambronero, M. E., Ravn, A. P. & Valero, V., 2005, Proceedings of the VII Workshop Brasileiro de Tempo Real. p. 73-82 6 p.

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

Validating Timed Component Contracts

Le Guilly, T., Liu, S., Olsen, P., Ravn, A. P. & Skou, A. J., 2015, 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2015. IEEE, p. 245-249

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

Validation, synthesis and optimization for cyber-physical systems

Larsen, K. G., 2017, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Springer, Vol. 10205 LNCS. p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10205 LNCS).

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

3 Citations (Scopus)

Validation of Concurrent Processes with Emphasis on Testing

Skou, A., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 1989 : R 89-46).

Research output: Book/ReportBookCommunication

Validation of Continuous-Time Markov Systems

Larsen, K. G., Baier, C. & Brinksma, E., 1999, Proceedings of PROBMIV'99, Probabilistic Methods in Verification.

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

Verification, performance analysis and controller synthesis for real-time systems

Fahrenberg, U., Larsen, K. G. & Thrane, C. R., 2010, In : Lecture Notes in Computer Science. 5961, p. 34-61

Research output: Contribution to journalConference article in JournalResearchpeer-review

6 Citations (Scopus)

Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

Fahrenberg, U., Larsen, K. G. & Thrane, C. R., 2009, Engineering Methods and Tools for Software Safety and Security: NATO Science for Peace and Security Series - D: Information and Communication Security. Broy, M., Sitou, W. & Hoare, T. (eds.). IOS Press, Vol. 22. 28 p. (NATO Science for Peace and Security Series - D: Information and Communication Security; No. 22).

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

Verification and Performance Analysis for Embedded Systems

Larsen, K. G., 2009, TASE 2009: Third IEEE International Symposium on Theoretical Aspects of Software Engineering. Wei-Ngan, C. & Shengchao, Q. (eds.). IEEE Computer Society Press, Vol. 3. p. 3-4 2 p. (TASE).

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

3 Citations (Scopus)

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

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

7 Citations (Scopus)

Verification of Continuous Dynamical Systems by Timed Automata

Sloth, C. & Wisniewski, R., Aug 2011, In : Formal Methods in System Design. 39, 1, p. 47–82 36 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
11 Citations (Scopus)
602 Downloads (Pure)

Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks

Hüttel, H., Kühnrich, M. & Godskesen, J. C., 2009, Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2008). 229 ed. Elsevier, Vol. 2. p. 77-93 16 p. (Electronic Notes in Theoretical Computer Science; No. 229, Vol. 2).

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

Verification of Hierarchical State/Event Systems using Reusability and Compositionality

Behrmann, G., Larsen, K. G., Andersen, H. R., Hulgaard, H. & Lind-Nielsen, J., 1999, Tools and Algorithms for the Construction and Analysis of Systems : 5th International Conference, TACAS '99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999: Lecture Notes in Computer Science. Cleaveland, W. R. (ed.) (ed.). 1579 ed. IEEE Computer Society Press, p. 163-177

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

16 Citations (Scopus)

Verification of Large State/Event Systems using Compositionality and Dependency Analysis

Lind-Nielsen, J., Andersen, H. R., Hulgaard, H., Behrmann, G., Kristoffersen, K. J. & Larsen, K. G., 2001, In : Formal Methods in System Design. 18, 1, p. 5-23

Research output: Contribution to journalJournal articleResearchpeer-review

21 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

14 Citations (Scopus)

Verification of Real-Time Applications Using the Epsilon System

Godskesen, J. C., Larsen, K. G. & Skou, A., 1994, Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.. Technical University of Denmark (DTU), p. 41-52

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

Verification of State/Event Systems by Quotienting

Bodentien, N. O., Vestergaard, J., Friis, J., Kristoffersen, K. & Larsen, K. G., 1999, (B R I C S Report Series; No. RS-99-41).

Research output: Book/ReportBookResearch

Verification of Timed and Hybrid Systems

Larsen, K. G., 2000, Springer. 3 p.

Research output: Book/ReportBookResearch

Verification of Timed-Arc Petri Nets

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

Research output: Contribution to journalConference article in JournalResearch

30 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

6 Citations (Scopus)

Verifying Duration Properties of Timed Transition Systems

Liu, Z., Ravn, A. P. & Li, X., 1998, Programming Concepts and Methods : PROCOMET '98 : IFIP TC2 WG2.2, 2.3 International Conference in Programming Concepts and Methods 8-12 June 1998, Shelter Island, New York, USA. Gries, D. : Roever, W.-P. de (eds.) (ed.). Kluwer Academic Publishers, p. 327-345

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

Verifying real-time systems against scenario-based requirements

Larsen, K. G., Li, S., Nielsen, B. & Pusinskas, S., 2009, In : Lecture Notes in Computer Science. 5850, p. 676-691 15 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
4 Citations (Scopus)
445 Downloads (Pure)

Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation

Srba, J., 2006, Computer Science Logic: Proceedings of 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. IEEE Computer Society Press, p. 89-103 15 p. (Lecture Notes in Computer Science; No. 4207).

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

12 Citations (Scopus)

Walking the line: The everyday security ties that bind

Coles-Kemp, L. & Hansen, R. R., 2017, Human Aspects of Information Security, Privacy and Trust - 5th International Conference, HAS 2017 Held as Part of HCI International 2017, Proceedings. Springer, Vol. 10292 LNCS. p. 464-480 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10292 LNCS).

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

4 Citations (Scopus)

WCET Analysis of ARM Processors using Real-Time Model Checking

Toft, M., Olesen, M. C., Dalsgaard, A., Larsen, K. G. & Hansen, R. R., 2009, In : RWTH Aachen, Dept. of Computer Science. 14, p. 4-6

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
307 Downloads (Pure)

WCET tool challenge 2011: Report

Von Hanxleden, R., Holsti, N., Lisper, B., Ploedereder, E., Wilhelm, R., Bonenfant, A., Cassé, H., Bünte, S., Fellger, W., Gepperth, S., Gustafsson, J., Huber, B., Islam, N. M., Kästner, D., Kirner, R., Kovács, L., Krause, F., De Michiel, M., Olesen, M. C., Prantl, A. & 6 others, Puffitsch, W., Rochange, C., Schoeberl, M., Wegener, S., Zolda, M. & Zwirchmayr, J., 2011, 11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held in Conjunction with the 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 104-138 35 p.

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

5 Citations (Scopus)