Distributed, Embedded and Intelligent Systems

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • Konferenceartikel i proceeding

    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 s. SP0878

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • 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, s. 121-125 (Lecture Notes in Computer Science; Nr. 4590).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Urgent Partial Order Reduction for Extended Timed Automata

    Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Srba, J., 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Hung, D. V. & Sokolsky, O. (red.). Springer, s. 179-195 17 s. (Lecture Notes in Computer Science, Bind 12302).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems

    Kiviriga, A., Larsen, K. G., Nickovic, D. & Nyman, U., 2023, Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings. Petrucci, L. & Sproston, J. (red.). Springer, s. 141-157 17 s. (Lecture Notes in Computer Science, Bind 14138 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil

  • 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, s. 19-28

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • 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, Bind 6. 10 s. EU-TP1618

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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. s. 73-82 6 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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, s. 245-249

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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, Bind 10205 LNCS. s. 3-20 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10205 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    5 Citationer (Scopus)

  • Validation of Continuous-Time Markov Systems

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • 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. (red.). IOS Press, Bind 22. 28 s. (NATO Science for Peace and Security Series - D: Information and Communication Security; Nr. 22).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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. (red.). IEEE Computer Society Press, Bind 3. s. 3-4 2 s. (TASE).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    6 Citationer (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, s. IS-9

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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. (red.). Springer, Bind 8711. s. 100-114 15 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    9 Citationer (Scopus)

  • 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 udg. Elsevier, Bind 2. s. 77-93 16 s. (Electronic Notes in Theoretical Computer Science; Nr. 229, Bind 2).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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.) (red.). 1579 udg. IEEE Computer Society Press, s. 163-177

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    17 Citationer (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, Bind 7721. s. 69-81 13 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    15 Citationer (Scopus)

  • Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs

    Enevoldsen, S., Jensen, M. C., Larsen, K. G., Mariegaard, A. & Srba, J., 2020, 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'20). Springer, s. 249-268 20 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes

    Schilling, C., Forets, M. & Guadalupe, S., 2022, Proceedings of the AAAI Conference on Artificial Intelligence. Palo Alto: AAAI Press, s. 8169-8177 9 s. (Proceedings of the AAAI Conference on Artificial Intelligence; Nr. 7, Bind 36).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    21 Citationer (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), s. 41-52

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • 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. (red.). Netherlands: Springer Publishing Company, Bind 7789. s. 19-36 18 s. (Lecture Notes in Computer Science, Bind 7789).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    9 Citationer (Scopus)

  • Verified Verifying: SMT-LIB for Strings in Isabelle

    Lotz, K., Kulczynski, M., Nowotka, D., Poulsen, D. B. & Schlichtkrull, A., 10 aug. 2023, Implementation and Application of Automata: 27th International Conference, CIAA 2023, Proceedings. Nagy, B. (red.). Springer Nature Switzerland AG, s. 206-217 12 s. (Lecture Notes in Computer Science; Nr. 14151).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • 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.) (red.). Kluwer Academic Publishers, s. 327-345

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • 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, s. 89-103 15 s. (Lecture Notes in Computer Science; Nr. 4207).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    14 Citationer (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, Bind 10292 LNCS. s. 464-480 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10292 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    13 Citationer (Scopus)

  • 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 flerePuffitsch, 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, s. 104-138 35 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    7 Citationer (Scopus)

  • Web of Things Interoperability for the Arrowhead Framework

    Dongo, J., Albano, M., Skou, A. & Nielsen, B., 13 okt. 2021, IECON 2021 - 47th Annual Conference of the IEEE Industrial Electronics Society. IEEE, s. 1-6 6 s. 9589941. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures

    Foshammer, L., Larsen, K. G. & Mariegaard, A., 2016, Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters (Cassting'16/SynCoP'16). s. 63-75 13 s. (Electronic Proceedings in Theoretical Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    2 Citationer (Scopus)

  • Weighted branching systems: Behavioural equivalence, behavioural distance, and their logical characterisations

    Jensen, M. C., Larsen, K. G. & Mardare, R., 1 jan. 2018, Formal Modeling and Analysis of Timed Systems: FORMATS 2018. Jansen, D. N. & Prabhakar, P. (red.). Springer, s. 145-161 17 s. (Lecture Notes in Computer Science, Bind 11022 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • What is a Timing Anomaly?

    Cassez, F., Hansen, R. R. & Olesen, M. C., 2012, Proceedings of the 12th International Workshop on Worst-Case Execution-Time Analysis. Vardanega, T. (red.). Dagstuhl, Germany: Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Bind 23. s. 1-12 12 s. (OpenAccess Series in Informatics).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    10 Citationer (Scopus)
    169 Downloads (Pure)

  • Where can an insider attack?

    Probst, C. W., Hansen, R. R. & Nielson, F., 2007, Formal Aspects in Security and Trust - Fourth International Workshop, FAST 2006, Revised Selected Papers. Springer, s. 127-142 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 4691 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    34 Citationer (Scopus)

  • Widening the Schedulability Hierarchical Scheduling Systems

    Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 2015, Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Lanese, I. & Madelaine, E. (red.). Springer, s. 209-227 18 s. (Lecture Notes in Computer Science; Nr. 8997).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    11 Citationer (Scopus)
    320 Downloads (Pure)

  • WNetKAT: A Weighted SDN Programming and Verification Language

    Larsen, K. G., Schmid, S. & Xue, B., 2017, 20th International Conference on Principles of Distributed Systems (OPODIS). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, (Leibniz International Proceedings in Informatics; Nr. 70).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Worst-Case Memory Consumption Analysis for SCJ

    Andersen, J. L., Todberg, M., Dalsgaard, A. E. & Hansen, R. R., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, s. 2-10 9 s. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    7 Citationer (Scopus)

  • WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL

    Cassez, F., Gonzalez de Aledo, P. & Jensen, P. G., 2017, Models, Algorithms, Logics and Tools. Springer, (Lecture Notes in Computer Science, Bind 10460).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    6 Citationer (Scopus)

  • WUppaal: A web-service for the Uppaal model-checker

    Fogh, P., Cano Hald, T. & Nielsen, B., 11 apr. 2016, 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data). IEEE, s. 1-6 6 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • WYSIWYB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code

    Lawall, J., Lawall, J., Palix, N., Hansen, R. R. & Muller, G., 2009, Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'09). IEEE Computer Society Press, s. 43-52 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • AalWiNes: A fast and quantitative what-if analysis tool for MPLS networks

    Jensen, P. G., Kristiansen, D., Schmid, S., Schou, M. K., Schrenk, B. C. & Srba, J., 23 nov. 2020, CoNEXT '20: Proceedings of the 16th International Conference on emerging Networking EXperiments and Technologies. Association for Computing Machinery, s. 474-481 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    12 Citationer (Scopus)