Distributed, Embedded and Intelligent Systems

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Søgeresultater

  • Konferenceartikel i proceeding

    Real-time system testing on-the-fly

    Larsen, K. G., Mikucionis, M. & Nielsen, B., 2003, The 15th Nordic Workshop on Programming Theory (NWPT’03). Kaisa Sere and Marina Walden and Anna Karlsson (red.). Åbo Akademi University

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

  • Recursion Versus Replication in Simple Cryptographic Protocols

    Hüttel, H. & Srba, J., 2005, SOFSEM 2005 : Theory and Practice of Computer Science: Proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Vojtáš, P., Bieliková, M., Charron-Bost, B. & Sýkora, O. (red.). IEEE Computer Society Press, s. 178-187 10 s. (Lecture Notes in Computer Science; Nr. 3381).

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

    6 Citationer (Scopus)

  • Recursion vs. Replication in Simple Cryptographic Protocols

    Huttel, H. & Srba, J., 2005, Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'05). s. 175-184 10 s.

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

    Fil
    470 Downloads (Pure)

  • Recursive Ping-Pong Protocols

    Huttel, H. & Srba, J., 2004, Proceedings of 4th International Workshop on Issues in the Theory of Security. s. 129-140 12 s.

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

  • Reducing Boolean Networks with Backward Boolean Equivalence

    Argyris, G., Lluch Lafuente, A., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, Computational Methods in Systems Biology: 19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings. Springer, s. 1-18 (Lecture Notes in Computer Science, Bind LNCS 12881).

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

    2 Citationer (Scopus)

  • Reengineering the lifecycle of Arrowhead applications: from skeletons to the client library

    Pedersen, T., Albano, M. & Nielsen, B., 17 okt. 2019, Proceedings of the 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE, s. 5519-5524 (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

    6 Citationer (Scopus)

  • Refactoring Real-Time Java Profiles

    Søndergaard, H., Thomsen, B., Ravn, A. P., Hansen, R. R. & Bøgholm, T., 28 mar. 2011, Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2011 14th IEEE International Symposium on. IEEE, s. 109 - 116 16 s.

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

    4 Citationer (Scopus)

  • Refinement and Difference for Probabilistic Automata

    Delahaye, B., Fahrenberg, U., Larsen, K. G. & Legay, A., 2013, Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Springer Publishing Company, Bind 8054. s. 22-38 (Lecture Notes in Computer Science).

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

    3 Citationer (Scopus)

  • Refinement of Systems with an Attacker Focus

    Larsen, K. G., Legay, A. & Poulsen, D. B., 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (red.). Springer Nature Switzerland AG, s. 96-112 17 s. (Lecture Notes in Computer Science; Nr. 14290).

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

  • Refinement of Trace Abstraction for Real-Time Programs

    Cassez, F., Jensen, P. G. & Larsen, K. G., 7 sep. 2017, Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings. Springer, s. 42-58 (Lecture Notes in Computer Science, Bind 10506).

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

    7 Citationer (Scopus)

  • Relating Semantic Models for the Object Calculus: Preliminary Report

    Aceto, L., Hüttel, H., Ingolfsdottir, A. & Kleist, J., 1997, Proceedings of EXPRESS'97.

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

    1 Citationer (Scopus)

  • Remote Testing of Timed Specifications

    David, A., Larsen, K. G., Mikucionis, M., Nguena-Timo, O. & Rollet, A., 13 nov. 2013, ICTSS: Testing Software and Systems - 25th IFIP WG 6.1 International Conference. Yenigün, H., Yilmaz, C. & Ulrich, A. (red.). Istanbul, Turkey: Springer Publishing Company, Bind 8254. s. 65-81 16 s. 5. (Lecture Notes in Computer Science (LNCS), Bind 8254).

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

    7 Citationer (Scopus)

  • Resilience-Focused Monitoring Framework for Edge Systems.

    Klitgaard, A. S., Sønderby, A. A., Jørgensen, H. S., Petersen, K. W., Dongo, J. & Albano, M., 2022, 2022 IEEE International Conference on Edge Computing and Communications (EDGE). IEEE, s. 153-158 6 s. (IEEE International Conference on Edge Computing and Communications (EDGE)).

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

    2 Citationer (Scopus)

  • Resilient Capacity-Aware Routing

    Schmid, S., Schnepf, N. & Srba, J., 2021, Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I. Groote, J. F. & Guldstrand Larsen, K. (red.). Springer, Bind 1. s. 411-429 (Lecture Notes in Computer Science, Bind 12651).

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

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

  • Resource bound analysis for database queries

    Cheney, J. & Dahl, M., 2009, Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security. Association for Computing Machinery, s. 67-78

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

  • Resource-Efficient Scheduling for Real Time Systems

    Larsen, K. G., 2003, Proceedings of the 3rd Internatilnal Conference in Embedded Software (EMSOFT 2003): Lecture Notes in Computer Science. Bind 2855. s. 16-19

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

    6 Citationer (Scopus)

  • Resource-Optimal Scheduling Using Priced Timed Automata

    Larsen, K. G., Rasmussen, J. I. & Subramani, K., 2004, Proceedings of Tools and Algorithms for the Construction and Analysis of Systems,: Lecture Notes in Computer Science. Jensen, Kurt ; Podelski, Andreas (eds.) (red.). 2988 udg. Sringer Verlag, s. 220-235

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

    35 Citationer (Scopus)

  • Rewrite-Based Statistical Model Checking of WMTL

    Bulychev, P., David, A., Larsen, K. G., Legay, A., Li, G. & Poulsen, D. B., 2013, Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. Qadeer, S. & Tasiran, S. (red.). Springer Publishing Company, s. 260-275 15 s. (Lecture Notes in Computer Science, Bind 7687).

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

    22 Citationer (Scopus)

  • Riesz Modal logic for Markov processes

    Mio, M., Furber, R. & Mardare, R. I., 2018, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 8005091

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

    6 Citationer (Scopus)

  • R-MPLS: Recursive Protection for Highly Dependable MPLS Networks

    Schmid, S., Schou, M. K., Srba, J. & Vanerio, J., 30 nov. 2022, CoNEXT 2022 - Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies. Association for Computing Machinery, s. 276-292 17 s. (CoNEXT 2022 - Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies).

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

    Åben adgang
    Fil
    18 Downloads (Pure)

  • Roadmap for the ARC Grid Middleware

    Kleist, J., Eerola, P., Ekelöf, T., Ellert, M., Grønager, M., Renner Hansen, J., Haug, S., Konstantinov, A., Kónya, B., Ould-Saada, F., Smirnova, O., Szalai, F. & Wäänänen, A., 2006, Ikke angivet. Springer, Bind 4699. s. 471-479 (Lecture Notes in Computer Science; Nr. 4699).

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

  • Robust Alternating-Time Temporal Logic

    Murano, A., Neider, D. & Zimmermann, M., 2023, Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Proceedings. Gaggl, S., Martinez, M. V. & Ortiz, M. (red.). Springer Nature Switzerland AG, s. 796-813 18 s. (Lecture Notes in Computer Science; Nr. 14281).

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

  • Robust Computation Tree Logic

    Nayak, S. P., Neider, D., Roy, R. & Zimmermann, M., 2022, NASA Formal Methods, NFM 2022: 14th International Symposium, NFM 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (red.). Springer, s. 538-556 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13260 LNCS).

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

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

  • Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime

    Nayak, S. P., Neider, D. & Zimmermann, M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (red.). Springer, s. 149-173 25 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13701 LNCS).

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

    Åben adgang
    Fil
    2 Citationer (Scopus)
    25 Downloads (Pure)

  • Routing-Verification-as-a-Service (RVaaS): Trustworthy Routing Despite Insecure Providers

    Schiff, L., Thimmaraju, K. & Schmid, S., 22 sep. 2016, Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016. IEEE, s. 113-119 7 s. 7575360

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

  • Rule-based Word Equation Solving

    Day, J., Kulczynski, M., Manea, F., Nowotka, D. & Poulsen, D. B., 2020, FormaliSE '20: Proceedings of the 8th International Conference on Formal Methods in Software . Association for Computing Machinery, s. 87–97 11 s. 3391556

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

    3 Citationer (Scopus)

  • Runtime Verification as Documentation

    Dams, D., Havelund, K. & Kauffman, S., okt. 2022, Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022. Margaria, T. & Steffen, B. (red.). Springer, s. 157-173 17 s. (Lecture Notes in Computer Science, Bind 13702).

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

    2 Citationer (Scopus)

  • Runtime Verification of Biological Systems

    David, A., Larsen, K. G., Legay, A., Mikucionis, M., Poulsen, D. B. & Sedwards, S., 2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Berlin: Springer, Bind 7609. s. 388-404 17 s. (Lecture Notes in Computer Science, Bind 7609).

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

    25 Citationer (Scopus)

  • Safe and Time-Optimal Control for Railway Games

    Karra, S., Larsen, K. G., Lorber, F. & Srba, J., 2019, Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19). Collart-Dutilleul, S., Romanovsky, A. & Lecomte, T. (red.). Springer, s. 106-122 17 s. (Lecture Notes in Computer Science, Bind 11495).

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

    8 Citationer (Scopus)

  • Safety-critical Java for low-end embedded platforms

    Søndergaard, H., Korsholm, S. E. & Ravn, A. P., 2012, Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, s. 44-53 (ACM International Conference Proceeding Series (ICPS)).

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

    18 Citationer (Scopus)

  • Safety verification of decision-tree policies in continuous time

    Schilling, C., Lukina, A., Demirović, E. & Larsen, K. G., 2023, 37th Conference on Neural Information Processing Systems (NeurIPS 2023). 20 s.

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

    Åben adgang

  • Sandboxing in a Distributed Pi-Calculus

    Hüttel, H. & Kühnrich, M., 2006, WITS 2006. Gollmann, D. & Jürjens, J. (red.). s. 114-128 15 s.

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

    Fil
    371 Downloads (Pure)

  • Scalable MAP inference in Bayesian networks based on a Map-Reduce approach

    Ramos-López, D., Salmerón, A., Rumí, R., Martinez, A. M., Nielsen, T. D., Masegosa, A., Langseth, H. & Madsen, A. L., 2016, JMLR Workshop and Conference Proceedings: Volume 52: Proceedings of the Eighth International Conference on Probabilistic Graphical Models. s. 415-425 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

  • Scaling up Uppaal: Automatic Verification of Real-Time Systems Using Compositionality and Abstraction

    Jensen, H. E., Larsen, K. G. & Skou, A., 2000, Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20 - 22, 2000 : Proceedings: Lecture Notes in Computer Science. Joseph, M. (ed.) (red.). 1926 udg. IEEE Computer Society Press, s. 19-30

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

    48 Citationer (Scopus)

  • Scenario-based analysis and synthesis of real-time systems using Uppaal

    Larsen, K. G., Li, S., Nielsen, B. & Pusinskas, S., mar. 2010, Proc. 13th Conference on Design, Automation, and Test in Europe (DATE'10), March 2010, Dresden, Germany.. European Design and Automation Association, EDAA

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

    11 Citationer (Scopus)

  • Schedulability Analysis Abstractions for Safety Critical Java

    Bøgholm, T., Thomsen, B., Larsen, K. G. & Mycroft, A., 2012, Proceedings of the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2012. IEEE Computer Society Press, s. 71-78 8 s. (International Symposium on Object-Oriented Real-Time Distributed Computing).

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

    2 Citationer (Scopus)

  • Schedulability Analysis for Java Finalizers

    Bøgholm, T., Hansen, R. R., Søndergaard, H., Ravn, A. P. & Thomsen, B., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems: ACM International Conference Proceeding Series. Association for Computing Machinery, 7 s.

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

    2 Citationer (Scopus)

  • Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems

    Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U. & Skou, A., 2014, Proceedings of ERTS2 2014. s. 1-4 4 s.

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

    Fil
    774 Downloads (Pure)

  • Schedulability of Herschel-Planck Revisited Using Statistical Model Checking

    David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 18 okt. 2012, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Margaria, T. & Steffen, B. (red.). Springer, s. 293-307 15 s. (Lecture Notes in Computer Science, Bind 7610).

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

    35 Citationer (Scopus)

  • Scheduling lacquer production by reachability analysis: A case study

    Behrmann, G., Brinksma, E., Hendriks, M. & Mader, A., 2005, IFAC World Congress. Elsevier

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

    10 Citationer (Scopus)

  • Secrecy in Mobile Ad-hoc Networks

    Hüttel, H. & Rafnsson, W., 2008, 20th Nordic Workshop on Programming Theory NWPT 2008. Institute of Cybernetics at Tallinn University of Technology, s. 54-56 3 s.

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

  • SecuSpot: Toward Cloud-Assisted Secure Multi-Tenant WiFi HotSpot Infrastructures

    Schulz-Zander, J., Lisicki, R., Schmid, S. & Feldmann, A., 12 dec. 2016, Proceedings of the 2016 ACM Workshop on Cloud-Assisted Networking . Association for Computing Machinery, s. 61-66 6 s.

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

    3 Citationer (Scopus)

  • Semantics for Communicating Actors with Interdependent Real-Time Deadlines

    Knoll, I., Ravn, A. P. & Skou, A., 2009, Proceedings of Third IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009.. IEEE Computer Society Press, s. 29-35

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

  • Sensor Fusion using Dynamic Bayesian Networks in Livestock Production Buildings

    Hansen, J. A., Nielsen, T. D. & Schiøler, H., 2006, Int. Conf. on Computational Intelligence for Modelling Control and Automation, CIMCA'06. Mohammadian, M. (red.). IEEE Computer Society Press, 7 s.

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

    2 Citationer (Scopus)

  • Shielded Reinforcement Learning for Hybrid Systems

    Brorholt, A. H., Jensen, P. G., Larsen, K. G., Lorber, F. & Schilling, C., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (red.). Springer, s. 33-54 22 s. (Lecture Notes in Computer Science, Bind 14380).

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

    Fil
    1 Citationer (Scopus)
    20 Downloads (Pure)

  • Shield Synthesis for Reinforcement Learning

    Könighofer, B., Lorber, F., Jansen, N. & Bloem, R., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (red.). Springer Science+Business Media, s. 290-306 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12476 LNCS).

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

    22 Citationer (Scopus)

  • Silence is golden: Branching bisimilarity is decidable for context-free processes

    Hüttel, H., 1991, Computer Aided Verification - 3rd Intenational Workshop, CAV 1991, Proceedings. Larsen, K. G. & Skou, A. (red.). Physica-Verlag, s. 2-12 11 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 575 LNCS).

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

    Åben adgang
    11 Citationer (Scopus)

  • Simple Propagation with Arc-Reversal in Bayesian Networks

    Madsen, A. L., Butz, C. J., Oliveira, J. & dos Santos, A. E., 2018, Proceedings of Machine Learning Research. PMLR Press, Bind 72. s. 260-271 (The Proceedings of Machine Learning Research).

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

    Åben adgang
    1 Citationer (Scopus)

  • Simplification of CTL Formulae for Efficient Model Checking of Petri Nets

    Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 8 mar. 2018, PETRI NETS 2018: Application and Theory of Petri Nets and Concurrency . 978-3-319-91267-7: Springer Publishing Company, s. 143-163 (Lecture Notes in Computer Science, Bind 10877).

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

    15 Citationer (Scopus)

  • Simulation-based abstractions for software product-line model checking

    Cordy, M., Classen, A., Perrouin, G., Schobbens, P. Y., Heymans, P. & Legay, A., 1 jan. 2012, Proceedings - International Conference on Software Engineering. IEEE, s. 672-682 11 s. (Proceedings of the International Conference on Software Engineering).

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

    54 Citationer (Scopus)