Distributed, Embedded and Intelligent Systems

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Søgeresultater

  • Konferenceartikel i proceeding

    ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

    Althoff, M., Ábrahám, E., Forets, M., Frehse, G., Freire, D., Schilling, C., Schupp, S. & Wetzlinger, M., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (red.). EasyChair, s. 1-31 31 s. (EPiC Series in Computing, Bind 80).

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

    Åben adgang
    9 Citationer (Scopus)

  • ARCH-COMP22 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants

    Lopez, D. M., Althoff, M., Benet, L., Chen, X., Fan, J., Forets, M., Huang, C., Johnson, T. T., Ladner, T., Li, W., Schilling, C. & Zhu, Q., 2022, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (red.). EasyChair, s. 142-184 43 s. (EPiC Series in Computing, Bind 90).

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

    Åben adgang
    Fil
    9 Citationer (Scopus)
    51 Downloads (Pure)

  • ARCH-COMP22 category report: Continuous and hybrid systems with linear continuous dynamics

    Althoff, M., Forets, M., Schilling, C. & Wetzlinger, M., 2022, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (red.). EasyChair, s. 58-85 28 s. (EPiC Series in Computing, Bind 90).

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

    Åben adgang
    1 Citationer (Scopus)

  • ARCH-COMP22 category report: Continuous and hybrid systems with nonlinear dynamics

    Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Collins, P., Duggirala, P. S., Forets, M., Kim, E., Mitsch, S., Schilling, C. & Wetzlinger, M., 2022, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (red.). EasyChair, s. 58-85 27 s. (EPiC Series in Computing, Bind 90).

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

    Åben adgang
    1 Citationer (Scopus)

  • ARCH-COMP23 category report: Continuous and hybrid systems with nonlinear dynamics

    Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Collins, P., Forets, M., Ivanova, E., Li, Y., Mitra, S., Mitsch, S., Schilling, C., Wetzlinger, M. & Zhuang, D., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (red.). EasyChair, s. 61-88 28 s. (EPiC Series in Computing, Bind 96).

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

    Åben adgang
    Fil

  • ARCH-COMP23 category report: Continuous and hybrid systems with linear continuous dynamics

    Althoff, M., Forets, M., Li, Y., Mitra, S., Schilling, C., Wetzlinger, M. & Zhuang, D., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (red.). EasyChair, s. 34-60 27 s. (EPiC Series in Computing, Bind 96).

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

    Åben adgang
    Fil
    2 Downloads (Pure)

  • ARCH-COMP23 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants

    Lopez, D. M., Althoff, M., Forets, M., Johnson, T. T., Ladner, T. & Schilling, C., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (red.). EasyChair, s. 89-125 37 s. (EPiC Series in Computing, Bind 96).

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

    Åben adgang
    Fil

  • A refinement driven component-based design

    Chen, Z., Liu, Z., Ravn, A. P., Stolz, V. & Yang, L., 2007, Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems: ICECCS07. IEEE Computer Society Press, s. 277-289

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

    6 Citationer (Scopus)

  • A Reparameterization of Mixtures of Truncated Basis Functions and its Applications

    Salmerón, A., Langseth, H., Masegosa, A. & Nielsen, T. D., 2022, Proceedings of the 11th International Conference on Probabilistic Graphical Models : PMLR. Salmerón, A. & Rumı́, R. (red.). PMLR Press, Bind 186. s. 205-216 (The Proceedings of Machine Learning Research, Bind 186).

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

    Åben adgang

  • Arrowhead Compliant Virtual Market of Energy

    Ferreira, L. L., Siksnys, L., Pedersen, P., Stluka, P., Chrysoulas, C., Le Guilly, T., Albano, M., Skou, A., Teixeira, C. & Pedersen, T. B., sep. 2014, Emerging Technology and Factory Automation (ETFA), 2014 IEEE. IEEE, s. 1-8

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

    20 Citationer (Scopus)

  • Arrowhead Framework services for condition monitoring and maintenance based on the open source approach

    Campos, J., Sharma, P., Albano, M., Jantunen, E., Baglee, D. & Ferreira, L. L., 23 apr. 2019, 2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019. Paris, France: IEEE, s. 697-702 6 s. 8820366. (International Conference on Control, Decision and Information Technologies (CoDIT)).

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

    Åben adgang
    Fil
    4 Citationer (Scopus)
    92 Downloads (Pure)

  • A safety-critical java technology compatibility kit

    Søndergaard, H., Korsholm, S. E. & Ravn, A. P., okt. 2014, Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, s. 1-9

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

  • As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automat

    Larsen, K. G., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Pettersson, P. & Romijn, J., 2001, Computer Aided Verification : 13th International Conference, CAV 2001 Paris, France, July 18 - 22, 2001 : Proceedings: Lecture Notes in Computer Science. Berry, G. : Comon, H. : Finkel, A. (eds.) (red.). 2102 udg. IEEE Computer Society Press, s. 493-505

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

    113 Citationer (Scopus)

  • A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems

    Wognsen, E. R., Haverkort, B., Jongerden, M., Hansen, R. R. & Larsen, K. G., 22 aug. 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Springer, s. 305-320 (Lecture Notes in Computer Science, Bind 9268).

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

    16 Citationer (Scopus)

  • A Secure Relay Protocol for Door Access Control

    Wognsen, E. R., Karlsen, H. S., Calverley, M., Follin, M., Thomsen, B. & Hüttel, H., nov. 2012, Proceedings of the XII Brazilian Symposium on Information and Computer System Security: SBSeg 2012. Sociedade Brasileira de Computação (red.). Porto Alegre, Brasilien: SBC - Sociedade Brasileira de Computação, s. 196-209 14 s. (Anais do SBSeg).

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

    1 Downloads (Pure)

  • A Self-Organizing Distributed and In-Band SDN Control Plane

    Canini, M., Salem, L., Schiff, L., Schiller, E. M. & Schmid, S., 2017, IEEE 37th International Conference on Distributed Computing Systems (ICDCS), 2017. IEEE, s. 2656-2657 2 s. (Proceedings of the International Conference on Distributed Computing Systems).

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

    16 Citationer (Scopus)

  • A semantic-preserving transformation from the Compositional Interchange Format to UPPAAL

    Nadales Agut, D. E., Reniers, M. A., Schiffelers, R. R. H., Jørgensen, K. Y. & Van Beek, D. A., 1 jan. 2011, IFAC Proceedings Volumes (IFAC-PapersOnline). Elsevier, Bind 18. s. 12496-12502 7 s.

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

    6 Citationer (Scopus)

  • A Semantics for a Real-Time Actor Language

    Knoll, I., Ravn, A. P. & Skou, A., 2008, 20th Nordic Workshop on Programming TheoryNWPT 2008: Abstracts. Department of Computer Science, Tallinn University of Technology, s. 60-62 3 s.

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

  • A Sigfox Module for the Network Simulator 3

    Naeem, M., Albano, M., Magrin, D., Nielsen, B. & Larsen, K. G., 22 jun. 2022, Proceedings of the 2022 Workshop on ns-3. Association for Computing Machinery, s. 81-88 8 s. (ACM International Conference Proceeding Series).

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

    2 Citationer (Scopus)

  • AsmL Specification of a Ptolemy II Scheduler

    Lázaro Cuadrado, D., Koch, P. & Ravn, A. P., 2003, Abstract State Machines 2003 (ASM 2003): LNCS. Börger, E. : Gargantini, A. : Riccobene, E. (eds.) (red.). 2589 udg. Springer, s. 417

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

    1 Citationer (Scopus)

  • A Software System for Predicting Patient Flow at the Emergency Department of Aalborg University Hospital

    Madsen, A. L., Olesen, K. G., Møller, J. M., Søndberg-Jeppesen, N., Jensen, F., Larsen, T. M., Henriksen, P., Lindblad, M. & Christensen, T. S., 2020, Proceedings of the 10th International Conference on Probabilistic Graphical Models, PMLR. Jaeger, M. & Dyhre Nielsen, T. (red.). ML Research Press, s. 617-620 (The Proceedings of Machine Learning Research, Bind 138).

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

    1 Citationer (Scopus)

  • A Structure Editor with Type-Safe Copy/Paste

    Hüttel, H., Nielsen, A. E. L., Sandberg, N. G., Andersen, C. L. & Mikkelsen, P., 31 aug. 2022, Proceedings of the 2022 34th Symposium on Implementation and Application of Functional Languages, IFL 2022. Association for Computing Machinery, 5. (ACM International Conference Proceeding Series).

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

  • A Study of Extensive LoRaWAN Downlink Communication in a Mobility Scenario

    Thomassen, M. S. E., Winkler, K. S., Magrin, D. & Albano, M., 14 nov. 2022, Proceedings of MobiQuitous 2022. EAI - European Alliance for Innovation, s. 455-468 14 s.

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

  • A Test Suite for Safety-Critical Java using JML

    Ravn, A. P. & Søndergaard, H., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, s. 80-88 (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

    5 Citationer (Scopus)

  • A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems

    Klößner, T., Torralba, Á., Steinmetz, M. & Sievers, S., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, s. 203-211 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; Nr. 1, Bind 33).

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

    1 Citationer (Scopus)

  • A Tool Architecture for the Next Generation of Uppaal

    Behrmann, G., David, A., Larsen, K. G. & Wang, Y., 2003, UNU/IIST 10th Anniversary Colloquium. Formal Methods at the Cross Roads: From Panacea to Foundational Support: LNCS. <Forlag uden navn>

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

    12 Citationer (Scopus)

  • A Toolchain for Home Automation Controller Development

    Dalsgaard, P. H., Le Guilly, T., Middelhede, D., Olsen, P., Pedersen, T., Ravn, A. P. & Skou, A., 2013, 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). Demirors, O. & Turetken, O. (red.). IEEE Computer Society Press, s. 122-129 8 s. (Euromicro Conference. Proceedings).

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

    7 Citationer (Scopus)

  • Attack Tree Generation by Policy Invalidation

    Ivanova, M. G., Probst, C., Hansen, R. R. & Kammüller, F., 2015, Information Security Theory and Practice: 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings. Akram, R. N. & Jajodia, S. (red.). Springer, s. 249-259 (Lecture Notes in Computer Science; Nr. 9311).

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

    17 Citationer (Scopus)

  • A Tutorial on UPPAAL

    Behrmann, G., David, A. & Larsen, K. G., 2004, Formal Methods for the Design of Real-Time Systems: Lecture Notes in Computer Science (revised lectures). Marco Bernardo, Flavio Corradini (eds.) (red.). 3185 udg. Springer, s. 200-237

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

    1158 Citationer (Scopus)

  • A Two-Way Path Between Formal and Informal Design of Embedded Systems

    Chen, M., Ravn, A. P., Wang, S., Yang, M. & Zhan, N., 2017, Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Bowen, J. P. & Zhu, H. (red.). Springer, s. 65-92 (Lecture Notes in Computer Science, Bind 10134).

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

    4 Citationer (Scopus)

  • Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking

    Jensen, P. G., Srba, J., Ulrik, N. J. & Virenfeldt, S. M., 2022, Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Proceedings. Finkbeiner, B. & Wies, T. (red.). Springer, s. 151-173 23 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13182 LNCS).

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

    1 Citationer (Scopus)

  • Automata Learning through Counterexample Guided Abstraction Refinement

    Aarts, F., Heidarian, F., Kuppens, H., Olsen, P. & Vaandrager, F., 2012, FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Springer, Bind 7436. s. 10-27 18 s. (Lecture Notes in Computer Science, Bind 7436).

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

    45 Citationer (Scopus)

  • Automated Distributed Simulation in Ptolemy II

    Lázaro Cuadrado, D., Ravn, A. P. & Koch, P., 2007, Proceedings of IASTED International Conference on Parallel and Distributed Computing and Networks: PDCN 2007. Burkhart, H. (red.). ACTA Press, s. 139-144

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

    4 Citationer (Scopus)

  • Automated Test Generation Timed Automata

    Nielsen, B. & Skou, A., 2001, Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. Margaria, T. : Yi, W. (eds.) (red.). 2031 udg. IEEE Computer Society Press, s. 343-357

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

  • Automated Test Generation Timed Automata: Tool and Case Study

    Nielsen, B. & Skou, A., 2000, 21st IEEE Real-Time Systems Symposium 2000, Work in Progress-Session, Walt Disney World, Orlando, Florida, USA, November 2000.

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

  • Automatic Abstraction Refinement for Timed Automata

    Larsen, K. G., kupferschmid, S. & Dierks, H., 2007, Formal Modeling and Analysis of Timed Systems. IEEE Computer Society Press, s. 114-129 15 s. (Lecture Notes in Computer Science; Nr. 4763).

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

    46 Citationer (Scopus)

  • Automatic Energy-Efficient Job Scheduling in HPC: A Novel SLURM Plugin Approach

    Springborg, A. A., Albano, M. & Xavier-de-Souza, S., 12 nov. 2023, Proceedings of 2023 SC Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023. Association for Computing Machinery, s. 1831-1838 8 s.

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

  • Automatic Instance Generation for Classical Planning

    Torralba, A., Seipp, J. & Sievers, S., 17 maj 2021, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS 21). 1 udg. Palo Alto: AAAI Press, Bind 31. s. 376-384 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

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

    12 Citationer (Scopus)

  • Automatic Metamorphic Test Oracles for Action-Policy Testing

    Eisenhut, J., Torralba, Á., Christakis, M. & Hoffmann, J., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, s. 109-117 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; Nr. 1, Bind 33).

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

  • Automatic Synthesis of Transiently Correct Network Updates via Petri Games

    Didriksen, M., Jensen, P. G., Jønler, J. F., Katona, A. I., Lama, S. D. L., Lottrup, F. B., Shajarat, S. & Srba, J., 2021, Application and Theory of Petri Nets and Concurrency: 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings. Buchs, D. & Carmona, J. (red.). Springer, s. 118-137 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12734 LNCS).

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

    1 Citationer (Scopus)

  • Automatic Verification of Real-Time Systems Using Epsilon

    Godskesen, J. C., Larsen, K. G. & Skou, A., 1994, Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94. Voung, S.-T. : Chanson, S.-T. (Eds.) (red.). Chapman & Hall, s. 232-330

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

  • Average-energy games

    Bouyer, P., Markey, N., Randour, M., Larsen, K. G. & Laursen, S., 2015, Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification . Open Publishing Association, s. 1-15 (Electronic Proceedings in Theoretical Computer Science).

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

    Åben adgang
    7 Citationer (Scopus)

  • A Walk in the Clouds: Routing through VNFs on Bidirected Networks

    Förster, K-T., Parham, M. & Schmid, S., 2018, Algorithmic Aspects of Cloud Computing: Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers. Springer, s. 11-26 (Lecture Notes in Computer Science, Bind 10739).

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

    Åben adgang
    Fil
    3 Citationer (Scopus)
    104 Downloads (Pure)

  • Axiomatizing Tropical Semirings

    Aceto, L., Esik, Z. & Ingolfsdottir, A., 2001, Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. Honsell, F. : Miculan, M.(eds.) (red.). 2030 udg. IEEE Computer Society Press, s. 42-56

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

    1 Citationer (Scopus)

  • Baital: An adaptive weighted sampling approach for improved t-wise coverage

    Baranov, E., Legay, A. & Meel, K. S., 8 nov. 2020, ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Devanbu, P., Cohen, M. & Zimmermann, T. (red.). Association for Computing Machinery, s. 1114-1126 13 s.

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

    23 Citationer (Scopus)

  • Balancing Flexible Production and Consumption of Energy using Resource Timed Automata

    Hansen, J., Larsen, K. G. & Cuijpers, P. J. L., 7 jun. 2022, 2022 11th Mediterranean Conference on Embedded Computing, MECO 2022. IEEE, (Mediterranean Conference on Embedded Computing (MECO) - Proceedings).

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

    1 Citationer (Scopus)

  • Battery Aware Analysis of Sensor Networks in Uppaal SMC

    Naeem, M., Albano, M., Larsen, K. G., Nielsen, B., Hoedholt, A. & Laursen, C. Ø., 7 jun. 2021, 2021 10th Mediterranean Conference on Embedded Computing, MECO 2021. IEEE, s. 1-6 6 s. 9460152. (Mediterranean Conference on Embedded Computing (MECO) - Proceedings).

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

    4 Citationer (Scopus)

  • Battery-Aware Scheduling of Mixed Criticality Systems

    Wognsen, E. R., Hansen, R. R. & Larsen, K. G., 2014, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Margaria, T. & Steffen, B. (red.). Springer Publishing Company, Bind 8803. s. 208-222 (Lecture Notes in Computer Science).

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

    13 Citationer (Scopus)

  • Bayesian models of data streams with Hierarchical Power Priors

    Masegosa, A., Nielsen, T. D., Langseth, H., Ramos-López, D., Salmerón, A. & Madsen, A. L., 2017, Proceedings of the 34th International Conference on Machine Learning. Bind 70. s. 2334-2343

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

    Åben adgang
    5 Citationer (Scopus)

  • Behavioural modelling and verification of real-time software product lines

    Cordy, M., Schobbens, P-Y., Heymans, P. & Legay, A., 1 jan. 2012, SPLC '12 Proceedings of the 16th International Software Product Line Conference. Association for Computing Machinery, Bind 1. s. 66-75 10 s. (ACM International Conference Proceeding Series (ICPS)).

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

    34 Citationer (Scopus)