Distributed, Embedded and Intelligent Systems

Adresse
  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Find os her

Søgeresultater

  • Konferenceartikel i proceeding

    Minimum-Cost Reachability for Priced Timed Automata

    Behrmann, G., Fehnker, A., Hune, T., Larsen, K. G., Pettersson, P., Romijn, J. & Vaandrager, F., 2001, Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 : Proceedings: Lecture Notes in Computer Science. Di Benedetto, M. D. : Sangiovanni-Vincentelli, A. (eds.) (red.). 2034 udg. IEEE Computer Society Press, s. 147-161

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

    210 Citationer (Scopus)
  • Modal Logics for Cryptographic Processes

    Frendrup, U., Huttel, H. & Jensen, N. J., 2002, Nestmann, Uwe (ed.) : Panangaden, Prakash (ed.): Electronic notes in theoretical computer science. 68 udg. Pergamon Press

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

    5 Citationer (Scopus)
  • Model-Based Mutation Testing of Real-Time Systems via Model Checking

    Lorber, F., Larsen, K. G. & Nielsen, B., apr. 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, s. 59-68

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    4 Citationer (Scopus)
  • Model-based schedulability analysis of safety critical hard real-time Java programs

    Bøgholm, T., Kragh-Hansen, H., Olsen, P., Thomsen, B. & Larsen, K. G., 2008, Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems. Association for Computing Machinery, Bind 343. s. 106-114

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    38 Citationer (Scopus)
  • Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems

    Fahrenberg, U., Larsen, K. G. & Legay, A., 2013, Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures. Springer Publishing Company, Bind 8050. s. 67-108 (Lecture Notes in Computer Science, Bind 8050).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    3 Citationer (Scopus)
  • Model checking adaptive software with featured transition systems

    Cordy, M., Classen, A., Heymans, P., Legay, A. & Schobbens, P. Y., 4 feb. 2013, Assurances for Self-Adaptive Systems: Principles, Models, and Techniques. Cámara, J., Lemos, R. D., Ghezzi, C. & Lopes, A. (red.). Springer Publishing Company, s. 1-29 29 s. (Lecture Notes in Computer Science, Bind 7740).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    27 Citationer (Scopus)
  • Model checking constrained markov reward models with uncertainties

    Bacci, G., Hansen, M. & Larsen, K. G., 1 sep. 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (red.). Springer, s. 37-51 15 s. (Lecture Notes in Computer Science, Bind 11785).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    4 Downloads (Pure)
  • Model checking embedded and real time systems

    Larsen, K. G., 2008, WODES'08: Proceedings of the 9th International Workshop on Discrete Event Systems. Lennartson, B., Fabian, M., Akesson, K., Giua, A. & Kumar, R. (red.). IEEE, s. 260

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Model Checking Process Algebra of Communicating Resources for Real-time Systems

    Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, Proceedings of ECRTS 2014. IEEE Press, s. 51-60 (Euromicro Conference on Real-Time Systems. Proceedings).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    260 Downloads (Pure)
  • Model Checking Timed Automata with Priorities using DBM Subtraction

    David, A., Larsen, K. G., Pettersson, P. & Håkansson, J., 2006, Proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06). Asarin, E. & Bouyer, P. (red.). Springer, s. 128-142 15 s. (Lecture Notes in Computer Science; Nr. 4202).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    22 Citationer (Scopus)
  • Model Checking via Reachability Testing for Timed Automata

    Aceto, L., Burgueño, A. & Larsen, K. G., 1998, Tools and Algorithms for the Construction and Analysis of Systems : Proc. of the 4th International Conference, TACAS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998: Lecture Notes in Computer Science. Steffen, B. (ed.) (red.). 1384 udg. IEEE Computer Society Press, s. 263-280

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

    49 Citationer (Scopus)
  • Modeling and Verifiying Parallel Processes

    Larsen, K. G., 2004, Proceedings of MOVEP 2004. Raskin, J-F. (red.).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • Modelling and Analysing Overlay Networks by Ambients with Wormholes

    Hansen, R. R. & Probst, C. W., 2018, 2018 11th International Conference on Mobile Computing and Ubiquitous Network, ICMU 2018. IEEE Signal Processing Society, 8653596. (2018 11th International Conference on Mobile Computing and Ubiquitous Network, ICMU 2018).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL

    Skou, A., Larsen, K. G. & Jensen, H. E., 1997, Proceedings of the DIMACS Workshop SPIN96, the 2nd International Workshop on the SPIN Verification System. American Mathematical Society, s. 33-50 18 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Modelling Attack-defense Trees Using Timed Automata

    Gadyatskaya, O., Hansen, R. R., Larsen, K. G., Legay, A., Olesen, M. C. & Poulsen, D. B., 2016, Formal Modeling and Analysis of Timed Systems. Springer, s. 35-50 (Lecture Notes in Computer Science, Bind 9884).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    22 Citationer (Scopus)
  • Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry

    Liebel, G., Anjorin, A., Knauss, E., Lorber, F. & Tichy, M., 2017, Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. Pires, L. F., Hammoudi, S. & Selic, B. (red.). Portugal: SCITEPRESS Digital Library, Bind 1. s. 427-434

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    8 Citationer (Scopus)
  • Modelling Socio-Technical Attacks with Timed Automata

    David, N., David, A., Hansen, R. R., Larsen, K. G., Legay, A., Olesen, M. C. & Probst, C., 2015, Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats. Association for Computing Machinery, s. 21-28 7 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    10 Citationer (Scopus)
  • Model Verification Through Dependency Graphs

    Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19). Biondi, F., Given-Wilson, T. & Legay, A. (red.). Springer, s. 1-19 19 s. (Lecture Notes in Computer Science, Bind 11636).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

    1 Citationer (Scopus)
  • Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic

    Bulychev, P., David, A., Larsen, K. G., Legay, A., Guangyuan, L., Poulsen, D. B. & Stainer, A., 2012, Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings. Berlin: Springer, Bind 7180. s. 168-182 (Lecture Notes in Computer Science, Bind 7180).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    24 Citationer (Scopus)
  • Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols

    Delzanno, G., Esparza, J. & Srba, J., 2006, Automated Technology for Verification and Analysis: Proceedings of the 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. IEEE Computer Society Press, s. 415-429 15 s. (Lecture Notes in Computer Science; Nr. 4218).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Moving from Specifications to Contracts in Component-based Design

    Bauer, S., David, A., Hennicker, R., Larsen, K. G., Legay, A., Nyman, U. & Wasowski, A., 2012, Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Springer, Bind 7212. s. 43-58 15 s. (Lecture Notes in Computer Science, Bind 7212).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    69 Citationer (Scopus)
    489 Downloads (Pure)
  • Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction

    Laarman, A., Olesen, M. C., Dalsgaard, A., Larsen, K. G. & Pol, J. V. D., 2013, Proceedings of the 25th International Conference on Computer Aided Verification (CAV). Springer Publishing Company, Bind 8044. s. 968-983 16 s. (Lecture Notes in Computer Science, Bind 8044).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    22 Citationer (Scopus)
    388 Downloads (Pure)
  • Multi-core reachability for timed automata

    Dalsgaard, A. E., Laarman, A., Larsen, K. G., Olesen, M. C. & Van De Pol, J., 2012, Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Jurdzinski, M. & Nickovic, D. (red.). Springer Publishing Company, s. 91-106 16 s. (Lecture Notes in Computer Science, Bind 7595).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    13 Citationer (Scopus)
  • Mutation-Based Test-Case Generation with Ecdar

    Larsen, K. G., Lorber, F., Nielsen, B. & Nyman, U. M., 13 apr. 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. IEEE, s. 319-328 10 s. 7899077

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Fil
    10 Citationer (Scopus)
    5 Downloads (Pure)
  • Nash Equilibria in Concurrent Priced Games

    Klimos, M., Larsen, K. G., Stefanak, F. & Thaarup, J., 2012, Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. Berlin: Springer, Bind 7183. s. 363-376 (Lecture Notes in Computer Science, Bind 7183).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    9 Citationer (Scopus)
  • Nested Semantics over Finite Trees are Equationally Hard (Invited Talk)

    Aceto, L., 2003, Proceedings of EXPRESS'03: Electronic Notes in Theoretical Computer Science. Corradini, F. & Nestmann, U. (red.). 96 udg. Pergamon Press, s. 5-6 2 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • NetCo: Reliable Routing with Unreliable Routers

    Feldmann, A., Heyder, P., Kreutzer, M., Schmid, S., Seifert, J. P., Shulman, H., Thimmaraju, K., Waidner, M. & Sieberg, J., 22 sep. 2016, Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016. IEEE, s. 128-135 8 s. 7575362

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    9 Citationer (Scopus)
  • NetSlicer: Automated and Traffic-Pattern Based Application Clustering in Datacenters

    Schiff, L., Ziv, O., Jaeger, M. & Schmid, S., 7 aug. 2018, Big-DAMA 2018 - Proceedings of the 2018 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks, Part of SIGCOMM 2018. Association for Computing Machinery, s. 21-26 6 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    2 Citationer (Scopus)
  • Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies

    Schiøler, H., Jessen, J. J., Nielsen, J. F. D. & Larsen, K. G., 2005, Computers and Their Applications (CATA-2005).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    12 Citationer (Scopus)
  • New UPPAAl Architecture

    David, A., Behrmann, G., Larsen, K. G. & Yi, W., 2002, Proceedings of the 2nd Workshop on Real-Time Tools (RT-TOOLS 2002), August 1, 2002, Copenhagen, Denmark.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • Nonfinitely Based Tropical Semirings

    Aceto, L., Esik, Z. & Ingolfsdottir, A., 2001, Proceedings of the Workshop on Max-Plus Algebra and Their Applications to Discrete-Event Systems : Theoretical Computer Science, and Optimization, August 27-29 2001, Prague, Czech Republic. Gaubert, S. : Loiseau, J. J. (eds.) (red.). Elsevier, s. 29-34

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • Objects, Types and Modal Logics

    Andersen, D. S., Hüttel, H., Kleist, J. & Pedersen, L. H., 1997, Proceedings of FOOL4.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • On Collapsing Prefix Normal Words

    Fleischmann, P., Kulczynski, M., Nowotka, D. & Poulsen, D. B., 2020, Language and Automata Theory and Applications: 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (red.). Springer, s. 412-424 13 s. (Lecture Notes in Computer Science (LNCS), Bind 12038).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    2 Citationer (Scopus)
  • On Counting the Number of Consistent Genotype Assignments for Pedigrees

    Srba, J., 2005, Proceedings of FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Ramanujam, R. & Sen, S. (red.). IEEE Computer Society Press, (Lecture Notes in Computer Science; Nr. 3821).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Online and Compositional Learning of Controllers with Application to Floor Heating

    Larsen, K. G., Mikučionis, M., Muniz, M., Srba, J. & Taankvist, J. H., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer, s. 244-259 15 s. (Lecture Notes in Computer Science, Bind 9636).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    24 Citationer (Scopus)
  • Online Balanced Repartitioning

    Avin, C., Loukas, A., Pacut, M. & Schmid, S., 2016, Distributed Computing: 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings. Gavoille, C. & Ilcinkas, D. (red.). Springer, s. 243-256 (Lecture Notes in Computer Science, Bind 9888).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    3 Citationer (Scopus)
  • Online Testing of Real-time Systems Using Uppaal

    Larsen, K. G., Mikucionis, M. & Nielsen, B., 2005, Formal Approaches to Testing of Software (FATES 2004) Proceedings. Grabowski, J. & Nielsen, B. (red.). Springer, s. 79-94 (Lecture Notes in Computer Science; Nr. 3395).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    74 Citationer (Scopus)
  • Online Testing of Real-time Systems using Uppaal: Status and Future Work

    Larsen, K. G., Mikucionis, M. & Nielsen, B., 2004, Dagstuhl Seminar Proceedings: Perspectives of Model-Based Testing. Brinksma, Grieskamp, Tretmans & Weyuker (red.). IBFI gem. GmbH, Schloss Dagstuhl, Bind 04371.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • Online tree caching

    Bienkowski, M., Marcinkowski, J., Pacut, M., Schmid, S. & Spyra, A., 24 jul. 2017, SPAA 2017 - Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, Bind Part F129316. s. 329-338 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    3 Citationer (Scopus)
  • On Modal Refinement and Consistency

    Nyman, U., Larsen, K. G. & Wasowski, A., 2007, CONCUR 2007 – Concurrency Theory. IEEE Computer Society Press, s. 105-119 15 s. (Lecture Notes in Computer Science; Nr. 4703).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    48 Citationer (Scopus)
    371 Downloads (Pure)
  • On Network Embedding for Machine Learning on Road Networks: A Case Study on the Danish Road Network

    Jepsen, T. S., Jensen, C. S., Nielsen, T. D. & Torp, K., 2018, Proceedings of the 2018 IEEE International Conference on Big Data. IEEE, s. 3421-3430 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    2 Citationer (Scopus)
  • On the axiomatizability of priority

    Aceto, L., Chen, T., Fokkink, W. & Ingolfsdottir, A., 2006, Automata, Languages and Programming. s. 480-491

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    10 Citationer (Scopus)
  • On the axiomatizability of quantitative algebras

    Mardare, R. I., Panagaden, P. & Plotkin, G., 8 aug. 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 8005102

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    5 Citationer (Scopus)
  • On the Construction of Connectivity Test Cases in the Setting of UppAal

    Nielsen, B., Jens. Chr., G. & Skou, A., 2004, Formal Techniques for Networked and Distributed Systems - FORTE 2004. Springer, Bind 3235.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • On-the-Fly Exact Computation of Bisimilarity Distances

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Piterman, N. & Smolka, S. A. (red.). Springer Publishing Company, Bind 7795. s. 1-15 (Lecture Notes in Computer Science, Bind 7795).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    31 Citationer (Scopus)
  • On-the-Fly Synthesis for Strictly Alternating Games

    Karra, S. L., Larsen, K. G., Rodriguez, M. A. M. & Srba, J., 2020, Proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'20). Janicki, R., Sidorova, N. & Chatain, T. (red.). Springer, s. 109-128 20 s. (Lecture Notes in Computer Science, Bind 12152).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • On the Power of Statistical Model Checking

    Larsen, K. G. & Legay, A., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. Springer, s. 843–862 (Lecture Notes in Computer Science, Bind 9953).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    10 Citationer (Scopus)
  • On the Specification of Full Contracts

    Okika, J., Ravn, A. P., Fenech, S., Pache, G. & Schneider, G., 2009, Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009). Elsevier, Bind 253. s. 39-55 (Electronic Notes in Theoretical Computer Science; Nr. 253, Bind 1).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    6 Citationer (Scopus)
  • On the Two-Variable Fragtment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers

    Aceto, L., Ésik, Z. & Ingolfsdottir, A., 2000, STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : Proceedings: Lecture Notes in Computer Science. Reichel, H. : Tison, S. (eds.) (red.). 1770 udg. IEEE Computer Society Press, s. 267-278

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • On the Verification of Weighted Kripke Structures Under Uncertainty

    Bacci, G., Hansen, M. & Larsen, K. G., 1 jan. 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. Horvath, A. & McIver, A. (red.). Springer, s. 71-86 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11024 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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