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

    Deciding Framed Bisimilarity

    Huttel, H., 2002, Proceedings of the 4th International Workshop on Verification (INFINITY'02), Brno, Czech Republic, August 24, 2002: FIMU. RS-2002-04 udg. s. 1-20

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

  • Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks

    Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U., Skou, A. & Mikučionis, M., 1 sep. 2014, Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE Computer Society Press, s. 126-130 5 s. (TASE).

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

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

  • Demand-aware network designs of bounded degree

    Avin, C., Mondal, K. & Schmid, S., 1 okt. 2017, 31st International Symposium on Distributed Computing, DISC 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 s. (Leibniz International Proceedings in Informatics, Bind 91).

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

    Åben adgang
    Fil
    21 Citationer (Scopus)
    125 Downloads (Pure)

  • Dependable and optimal cyber-physical systems

    Larsen, K. G., 2017, SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. LNCS udg. Springer, Bind 10139. s. 3-10 8 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10139 LNCS).

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

  • Designing Through The Stack: The Case for a Participatory Digital Security By Design

    Slesinger, I., Coles-Kemp, L., Panteli, N. & Hansen, R. R., 24 okt. 2022, Proceedings of the 2022 New Security Paradigms Workshop, NSPW 2022. Association for Computing Machinery, s. 45-59 15 s. (ACM International Conference Proceeding Series).

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

  • Design Patterns for Control Systems

    Knudsen, J., Ravn, A. P. & Skou, A., 2006, Proceedings of the NWUML'06: The 4th Nordic Workshop on UML and Software Modelling. Prinz, A. & Skjelten Tveit, M. (red.). Høgskolen i Agder

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

  • Detection of Mirai by Syntactic and Behavioral Analysis

    Ben Said, N., Biondi, F., Bontchev, V., Decourbe, O., Given-Wilson, T., Legay, A. & Quilbeuf, J., 16 nov. 2018, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018. Ghosh, S., Cukic, B., Poston, R., Natella, R. & Laranjeiro, N. (red.). IEEE Computer Society Press, s. 224-235 12 s. 8539084. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE, Bind 2018-October).

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

    16 Citationer (Scopus)

  • Developing a TTCN-3 Test Harness for Legacy Software

    Okika, J. C., Ravn, A. P., Siddalingaiah, L. & Liu, Z., 2006, Proceedings of the 2006 international workshop on Automation of software test: AST '06. Association for Computing Machinery, s. 104-110 7 s.

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

    7 Citationer (Scopus)

  • Differential Testing of Pushdown Reachability with a Formally Verified Oracle

    Schlichtkrull, A., Schou, M. K., Srba, J. & Traytel, D., okt. 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022. Griggio, A. & Rungta, N. (red.). TU Wien Academic Press, Bind 3. s. 369-379 11 s. (Conference Series: Formal Methods in Computer-Aided Design).

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

    Åben adgang
    Fil
    23 Downloads (Pure)

  • Directed homology

    Fahrenberg, U., 2004, CONCUR 2003: CMCIM and GETCO. Hildebrandt, T., Kurz, A., Goubault, E. & Fahrenberg, U. (red.). s. 111-125

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

    10 Citationer (Scopus)

  • Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise

    Schou, M. K., Poese, I. & Srba, J., 2023, Proceedings - 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing, PRDC 2023. IEEE, s. 64-70 7 s. (IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)).

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

    Åben adgang
    Fil
    34 Downloads (Pure)

  • Distributed Algorithms for Time Optimal Reachability Analysis

    Zhang, Z., Nielsen, B. & Larsen, K. G., 17 aug. 2016, Formal Modeling and Analysis of Timed Systems. Springer, s. 157-176 (Lecture Notes in Computer Science, Bind 9884).

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

    2 Citationer (Scopus)

  • Distributed computation of fixed points on dependency graphs

    Dalsgaard, A. E., Enevoldsen, S., Larsen, K. G. & Srba, J., nov. 2016, Dependable Software Engineering: Theories, Tools, and Applications. Springer, s. 197-212 16 s. (Lecture Notes in Computer Science, Bind 9984).

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

    9 Citationer (Scopus)

  • Distributed Fleet Management in Noisy Environments via Model-Predictive Control

    Bøgh, S., Jensen, P. G., Nyman, U., Larsen, K. G. & Kristjansen, M., 15 jun. 2022, Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling. AAAI Press Association for the Advancement of Artificial Intelligence, s. 565-573 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

    Fil
    3 Citationer (Scopus)
    43 Downloads (Pure)

  • Distributed Timed Model Checking: How the Search Order Matters

    Behrmann, G., Hune, T. & Vaandrager, F., 2000, Computer Aided Verification : 12th International Conference, CAV 2000, Chicago, Il., USA, July 15-19, 2000 : Proceedings: Lecture Notes in Computer Science. Emerson, E. : Sistla, A. (eds.) (red.). 1855 udg. IEEE Computer Society Press, s. 216-231

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

  • Documenting and Automating Collateral Evolutions in Linux Device Drivers

    Padioleau, Y., Lawall, J. L., Hansen, R. R. & Muller, G., 2008, Proceedings of the European Conference on Computer Systems 2008 (EuroSys 2008). Association for Computing Machinery, s. 247-260

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

    92 Citationer (Scopus)

  • Documenting Design Refinement

    Olderog, E-R. & Ravn, A. P., 2000, Proceedings of FMSP'00 :the Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA. Heimdahl, M. P. E. (ed.) (red.). Association for Computing Machinery

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

    2 Citationer (Scopus)

  • Don't Let The Opponents Grind You Down: Type Inference for a Correspondence Certifying Type System with Opponent Typing

    Dahl, M. & Hüttel, H., 2010, Foundations of Computer Security - Privacy: Models & Analysis 2010 (FCS-PrivMod '10).

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

  • Dual Balancing of SoC/SoT in Smart Batteries using Reinforcement Learning in Uppaal Stratego

    Kristjansen, M., Kulkarni, A., Jensen, P. G., Teodorescu, R. & Larsen, K. G., 16 nov. 2023, IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 10311828. (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

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

  • Dual-Priced Modal Transition Systems with Time Durations

    Beneš, N., Kretínsky, J., Larsen, K. G., Møller, M. H. & Srba, J., 2012, Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings . Netherlands: Springer, Bind LNCS 7180. s. 122-137 15 s. (Lecture Notes in Computer Science, Bind 7180).

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

    11 Citationer (Scopus)

  • d-VMP: Distributed Variational Message Passing

    Masegosa, A., Martinez, A. M., Langseth, H., Nielsen, T. D., Salmerón, A., Ramos-López, D. & Madsen, A. L., 2016, JMLR Workshop and Conference Proceedings: Volume 52: Proceedings of the Eighth International Conference on Probabilistic Graphical Models. s. 321-332 12 s. (JMLR Workshop and Conference Proceedings, Bind 52).

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

    Åben adgang
    11 Citationer (Scopus)

  • Dynamic Extrapolation in Extended Timed Automata

    Jensen, N. Ø., Jensen, P. G. & Larsen, K. G., 9 nov. 2023, Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings. Li, Y. & Tahar, S. (red.). Springer, s. 83-99 17 s. (Lecture Notes in Computer Science, Bind 14308).

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

    3 Downloads (Pure)

  • Dynamic Influence Diagram-Based Deep Reinforcement Learning Framework and Application for Decision Support for Operators in Control Rooms

    Mietkiewicz, J., Abbas, A. N., Amazu, C. W., Madsen, A. L. & Baldissone, G., 2023, Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023). Brito, M. P., Aven, T., Baraldi, P., Čepin, M. & Zio, E. (red.). Research Publishing, s. 2806-2813 P531

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

  • Eclipse ESCET: The Eclipse Supervisory Control Engineering Toolkit

    Fokkink, W., Goorden, M., Hendriks, D., van Beek, B., Hofkamp, A., Reijnen, F., Etman, P., Moormann, L., van de Mortel-Fronczak, J., Reniers, M. A., Rooda, J., van der Sanden, B., Schiffelers, R., Thuijsman, S., Verbakel, J. & Vogel, H., 2023, Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II. Sankaranarayanan, S. & Sharygina, N. (red.). Springer, s. 44-52 9 s. (Lecture Notes in Computer Science, Bind LNCS 13994).

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

    Åben adgang
    Fil
    56 Downloads (Pure)

  • Edge Computing Tasks Orchestration: An Energy-Aware Approach

    Thomsen, J. L., Thomsen, K., Schmidt, R. B., Jakobsgaard, S. D., Beregaard, T., Albano, M., Moreschini, S. & Taibi, D., 2023, Proceedings - 2023 IEEE International Conference on Edge Computing and Communications, EDGE 2023. Ardagna, C., Awaysheh, F., Bian, H., Chang, C. K., Chang, R. N., Delicato, F., Desai, N., Fan, J., Fox, G. C., Goscinski, A., Jin, Z., Kobusinska, A. & Rana, O. (red.). IEEE, s. 115-117 3 s. (Proceedings - IEEE International Conference on Edge Computing, Bind 2023-July).

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

  • Efficient and Orderly Co-simulation of Heterogeneous Computational Models

    Lázaro Cuadrado, D., Koch, P. & Ravn, A. P., 2003, The Fifth Biennial Ptolemy Miniconference, May 2003, EECS Department, University of California, Berkeley, USA.

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

  • Efficient Estimation of Agent Networks

    Leguizamon Robayo, A. & Tschaikowski, M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning.. Springer, (Lecture Notes in Computer Science, Bind 13703).

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

    1 Citationer (Scopus)

  • Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases

    Gnad, D., Sievers, S. & Torralba, Á., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. Koenig, S., Stern, R. & Vallati, M. (red.). AAAI Press, s. 138-147 10 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Bind 33).

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

  • Efficient Guiding Towards Cost-Optimality in UPPAAL

    Behrmann, G., Fehnker, A., Hune, T. S., Larsen, K. G., Pettersson, P. & Romijn, J., 2001, Tools and Algorithms for the Construction and Analysis of Systems. Springer, s. 174-188 15 s.

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

    95 Citationer (Scopus)

  • Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods

    Bacci, G., Bacci, G., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, s. 1-14 14 s.

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

    4 Citationer (Scopus)

  • Efficient On-the-fly Algorithms for the Analysis of Timed Games

    Cassez, F., David, A., Fleury, E., Larsen, K. G. & Lime, D., 2005, Proceedings of CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Abadi, M. & de Alfaro, L. (red.). IEEE Computer Society Press, s. 66-80 15 s. (Lecture Notes in Computer Science; Nr. 3653).

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

    205 Citationer (Scopus)

  • Efficient service graph embedding: A practical approach

    Nemeth, B., Sonkoly, B., Rost, M. & Schmid, S., 4 maj 2017, 2016 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2016. IEEE, s. 19-25 7 s. 7919470

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

    11 Citationer (Scopus)

  • Efficient Timed Reachability Analysis using Clock Difference Diagrams

    Behrmann, G., Larsen, K. G., Pearson, J., Weise, C. & Yi, W., 1999, Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : Proceedings: Lecture Notes in Computer Science. Halbwachs, N. : Peled, D. (eds.) (red.). 1633 udg. IEEE Computer Society Press, s. 341-353

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

    91 Citationer (Scopus)

  • Elimination of Detached Regions in Dependency Graph Verification

    Jensen, P. G., Larsen, K. G., Srba, J. & Ulrik, N. J., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (red.). Springer, Bind LNCS 13872. s. 163-179 17 s. (Lecture Notes in Computer Science).

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

  • ENCOURAGEing results on ICT for energy efficient buildings

    Le Guilly, T., Skou, A. J., Olsen, P., Madsen, P. P., Albano, M., Ferreira, L. L., Pinho, L. M., Pedersen, K. L., Casals, M., Macarulla, M. & Gongolells, M., 2016, Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference. IEEE, 8 s.

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

    2 Citationer (Scopus)

  • End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego

    Hasrat, I. R., Jensen, P. G., Larsen, K. G. & Srba, J., 2022, Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Crăciun, F. (red.). Springer, s. 363-380 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13299 LNCS).

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

    1 Citationer (Scopus)

  • Energy-Aware Scheduling of FIR Filter Structures using a Timed Automata Model

    Wognsen, E. R., Hansen, R. R., Larsen, K. G. & Koch, P., 20 apr. 2016, 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). IEEE, s. 163-168 6 s.

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

    Fil
    2 Citationer (Scopus)
    437 Downloads (Pure)

  • Energy Consumption Forecast of Photo-Voltaic Comfort Cooling using UPPAAL Stratego

    Agesen, M. K., Enevoldsen, S., Le Guilly, T., Mariegaard, A., Olsen, P. & Skou, A. J., 19 aug. 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer Publishing Company, s. 603-622 (Lecture Notes in Computer Science, Bind 10460).

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

  • Engineering of Real-Time Systems with an Experiment in Hybrid Control

    Ravn, A. P., Eriksen, T. J., Holdgaard, M. & Rischel, H., 1998, Lectures on Embedded Systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996: Lecture Notes in Computer Science. Rozenberg, G : Vaandrager, F. (eds.) (red.). 1494 udg. IEEE Computer Society Press, s. 316-352

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

    1 Citationer (Scopus)

  • Enhancing Control Room Operator Decision Making: An Application of Dynamic Influence Diagrams in Formaldehyde Manufacturing

    Mietkiewicz, J. & Madsen, A. L., 2023, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings. Bouraoui, Z. & Vesic, S. (red.). Springer, s. 15-26 12 s. (Lecture Notes in Computer Science, Bind LNCS 14294).

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

  • Equational Axioms for Probabilistic Bisimulation

    Aceto, L., Esik, Z. & Ingolfsdottir, A., 2002, Kirchner, H. (ed.) : Ringeissen, C. (ed.): Lecture Notes in Computer Science. 2422 udg. IEEE Computer Society Press, s. 239-253

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

  • ExCHARON: Improved modeling language for cyber-physical systems based on CHARON

    Han, Y., Kang, S. & Kim, J. H., 2013, Proceedings - 16th IEEE International Conference on Computational Science and Engineering, CSE 2013. IEEE Press, s. 734-741 8 s. 6755293

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

    2 Citationer (Scopus)

  • EXOGEM: Extending OpenAPI Generator for monitoring of RESTful APIs

    Holtebo, D. F., Sommer, J. L., Mølgaard Lund, M., Tibo, A., Dongo, J. & Albano, M., 2023, Service-Oriented Computing – ICSOC 2022 Workshops: ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 – December 2, 2022 Proceedings. Troya, J., Mirandola, R., Navarro, E., Delgado, A., Segura, S., Fernández, P., Ortiz, G., Pautasso, C., Zirpins, C. & Ruiz-Cortés, A. (red.). Springer, s. 118-129 12 s. (Lecture Notes in Computer Science, Bind 13821).

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

  • Exploiting Symmetry of Independence in d-Separation

    Butz, C. J., dos Santos, A. E., Oliveira, J. & Madsen, A. L., 2019, Advances in Artificial Intelligence - 32nd Canadian Conference on Artificial Intelligence, Canadian AI 2019, Proceedings. Meurs, M-J. & Rudzicz, F. (red.). Cham: Springer, s. 42-54 13 s. (Lecture Notes in Computer Science, Bind 11489).

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

  • Expressing best practices in (risk) analysis and testing of safety-critical systems using patterns

    Herzner, W., Sieverding, S., Kacimi, O., Böde, E., Bauer, T. & Nielsen, B., 2014, Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, s. 299-304 6 s.

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

    Fil
    4 Citationer (Scopus)
    1282 Downloads (Pure)

  • Extended dependency graphs and efficient distributed fixed-point computation

    Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2017, Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings. Springer, Bind 10258 LNCS. s. 139-158 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10258 LNCS).

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

    13 Citationer (Scopus)

  • Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

    Boudjadar, J., Vaandrager, F., Bodeveix, J-P. & Filali, M., apr. 2013, Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers. Arbab, F. & Sirjani, M. (red.). Tehran, Iran: Springer Publishing Company, Bind LNCS Volume 8161. s. 111-132 22 s. (Lecture Notes in Computer Science, Bind 8161).

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

    11 Citationer (Scopus)

  • Fast directed model checking via russian doll abstraction

    Kupferschmid, S., Hoffmann, J. & Larsen, K. G., 2008, Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Springer, s. 203-217 (Lecture Notes in Computer Science; Nr. 4963).

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

    11 Citationer (Scopus)

  • Faster Pushdown Reachability Analysis with Applications in Network Verification

    Jensen, P. G., Schmid, S., Schou, M. K., Srba, J., Vanerio, J. & Duijn, I. V., 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Hou, Z. & Ganesh, V. (red.). Springer, s. 170-186 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12971 LNCS).

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

    3 Citationer (Scopus)

  • Faster Stackelberg Planning via Symbolic Search and Information Sharing

    Torralba, A., Speicher, P., Künnemann, R., Steinmetz, M. & Hoffmann, J., 18 maj 2021, Proceedings of the AAAI Conference on Artificial Intelligence. 13 udg. Palo Alto: AAAI Press, Bind 35. s. 11998-12006

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

    6 Citationer (Scopus)