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

    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
    20 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)
    12 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
    374 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)

  • Single Point Algorithms in Genetic Linkage Analysis

    Gudbjartsson, D., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2003, Revised Selected Papers: Lecture Notes in Computer Science. 2809 udg. s. 372-383

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

    1 Citationer (Scopus)

  • Slicing for Uppaal

    Thrane, C. R. & Sørensen, U., 2008, 2008 Annual IEEE Student Paper Conference Proceedings. IEEE, s. 27-31

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

    4 Citationer (Scopus)

  • SolveDB+: SQL-based prescriptive analytics

    Siksnys, L., Pedersen, T. B., Nielsen, T. D. & Frazzetto, D., 2021, Advances in Database Technology - EDBT 2021: 24th International Conference on Extending Database Technology, Proceedings. Velegrakis, Y., Zeinalipour, D., Chrysanthis, P. K. & Guerra, F. (red.). OpenProceedings.org, s. 133-144 12 s. (Advances in Database Technology).

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

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

  • Solving Influence Diagrams with Simple Propagation

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

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

  • Solving Planning Problems Using Real-Time Model Checking: Translating PDDL3 into Timed Automata

    Dierks, H., Behrmann, G. & Larsen, K. G., 2002, AIPS 2002 Workshop on Planning via Model Checking.

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

  • Solving String Theories Involving Regular Membership Predicates Using SAT

    Kulczynski, M., Lotz, K., Nowotka, D. & Poulsen, D. B., 23 aug. 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (red.). 1 udg. Springer, Bind 13255. s. 134-151 18 s. (Lecture Notes in Computer Science, Bind 13255).

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

    2 Citationer (Scopus)

  • SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes

    Ashok, P., Kretínsky, J., Larsen, K. G., Coent, A. C. L., Taankvist, J. H. & Weininger, M., 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (red.). Heidelberg: Springer, s. 147-164 18 s. (Lecture Notes in Computer Science, Bind 11785).

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

    16 Citationer (Scopus)

  • Soundness of Timed-Arc Workflow Nets

    Mateo, J. A., Srba, J. & Sørensen, M. G., 2014, Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN'14). Springer Publishing Company, Bind 8489. s. 51-70 20 s. (Lecture Notes in Computer Science (LNCS)).

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

    5 Citationer (Scopus)

  • Specification of asynchronous component systems with modal I/O-Petri nets

    Haddad, S., Hennicker, R. & Møller, M. H., 1 jan. 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Bind 8358 LNCS. s. 219-234 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8358 LNCS).

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

    6 Citationer (Scopus)

  • SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks

    Bauer-Marquart, F., Boetius, D., Leue, S. & Schilling, C., 2022, Model Checking Software: 28th International Symposium, SPIN 2022. Legunsen, O. & Rosu, G. (red.). Springer, s. 79-96 18 s. (Lecture Notes in Computer Science, Bind 13255).

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

    Åben adgang
    2 Citationer (Scopus)

  • Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

    Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muniz, M. & Srba, J., 18 jul. 2018, International Conference on Computer Aided Verification: CAV 2018: Computer Aided Verification. Springer, s. 527-546 (Lecture Notes in Computer Science, Bind 10981).

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

    Åben adgang
    Fil
    6 Citationer (Scopus)
    219 Downloads (Pure)

  • Static validation of licence conformance policies

    Hansen, R. R., Nielson, F., Nielson, H. R. & Probst, C. W., 2008, ARES 2008: Proceedings of the Third International Conference on Availability, Security and Reliability. IEEE Computer Society Press, s. 1104-1111

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

    9 Citationer (Scopus)

  • Statistical Model Checking: Past, Present, and Future

    Larsen, K. G. & Legay, A., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Springer, s. 3–15 (Lecture Notes in Computer Science, Bind 9952).

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

    27 Citationer (Scopus)

  • Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems

    Larsen, K. G., 2012, Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Springer, Bind 7595. s. 7-10 (Lecture Notes in Computer Science).

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

    7 Citationer (Scopus)