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

    Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals

    Arora, S., Hansen, R. R., Larsen, K. G., Legay, A. & Poulsen, D. B., 23 aug. 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (red.). Springer, s. 61-78 18 s. (Lecture Notes in Computer Science, Bind 13255).

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

    1 Citationer (Scopus)

  • Statistical Model Checking for Stochastic Hybrid Systems

    David, A., Du, D., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 3 sep. 2012, Proceedings First International Workshop on Hybrid Systems and Biology. Bartocci, E. & Bortolussi, L. (red.). Newcastle Upon Tyne, s. 122-136 15 s. (Electronic Proceedings in Theoretical Computer Science; Nr. 92).

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

    51 Citationer (Scopus)

  • Statistical model checking past, present, and future (Track Introduction)

    Larsen, K. G. & Legay, A., 18 okt. 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Bind 8803. s. 135-142 8 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8803).

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

    21 Citationer (Scopus)

  • Statistical model checking QoS properties of systems with SBIP

    Bensalem, S., Bozga, M., Delahaye, B., Jegourel, C., Legay, A. & Nouri, A., 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. Margaria, T. & Steffen, B. (red.). Springer Publishing Company, s. 327-341 15 s. (Lecture Notes in Computer Science, Bind 7609).

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

    20 Citationer (Scopus)

  • Statistical model checking the 2018 edition!

    Guldstrand Larsen, K. & Legay, A., 1 jan. 2018, ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification. Margaria, T. & Steffen, B. (red.). Springer, s. 261-270 10 s. (Lecture Notes in Computer Science, Bind 11245 LNCS).

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

    5 Citationer (Scopus)

  • Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter

    Novak, M., Nyman, U. M., Dragicevic, T. & Blaabjerg, F., sep. 2018, Proceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe). IEEE Press, s. 1-10 10 s. 8515598

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

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

  • Statistical Performance Verification of the FS-MPC Algorithm Applied to the Matrix Converter

    Novak, M., Grobelna, I., Nyman, U., Szcześniak, P. & Blaabjerg, F., 1 jul. 2022, 2022 International Power Electronics Conference (IPEC-Himeji 2022- ECCE Asia). IEEE Press, s. 76-82 7 s.

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

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

  • Staying Alive as Cheaply as Possible

    Larsen, K. G., Bouyer, P. & Brinksma, E., 2004, Proceedings of the 7th International Conference on Hybrid Systems: Computation and Control: Lecture Notes in Computer Science. 2993 udg. Springer, s. 203-218 16 s.

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

    51 Citationer (Scopus)

  • Stitching Inter-Domain Paths over IXPs

    Kotronis, V., Klöti, R., Rost, M., Georgopoulos, P., Ager, B., Schmid, S. & Dimitropoulos, X., 2016, SOSR '16 Proceedings of the Symposium on SDN Research. Association for Computing Machinery, 12 s. 17

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

    15 Citationer (Scopus)

  • Stochastic Pi-calculus Revisited

    Cardelli, L. & Mardare, R. I., 2013, Theoretical Aspects of Computing - ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Liu, Z., Woodcock, J. & Zhu, H. (red.). Springer Berlin Heidelberg: Springer Publishing Company, Bind 8049. s. 1-21 21 s. (Lecture Notes in Computer Science, Bind 8049).

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

    4 Citationer (Scopus)

  • STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego

    Goorden, M., Jensen, P. G., Larsen, K. G., Samusev, M., Srba, J. & Zhao, G., 2022, International Symposium on Automated Technology for Verification and Analysis: Automated Technology for Verification and Analysis . Bouajjani, A., Holík, L. & Wu, Z. (red.). Springer, s. 327-333 7 s. (Lecture Notes in Computer Science).

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

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

  • Stone Duality for Markov Processes

    Kozen, D., Larsen, K. G., Mardare, R. I. & Panangaden, P., 2013, Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on. IEEE, s. 321-330 (Annual Symposium on Logic in Computer Science).

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

    19 Citationer (Scopus)

  • Strategising RoboCup in Real Time with Uppaal Stratego

    Holler, P. I., Jensen, M. K., Lockey, H. M. & Albano, M., 4 feb. 2021, Proceedings of 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART. Rocha, A. P., Steels, L. & van den Herik, J. (red.). SCITEPRESS Digital Library, Bind 1. s. 273-280 8 s. (International Conference on Agents and Artificial Intelligence - Proceeding).

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

    Åben adgang
    Fil
    58 Downloads (Pure)

  • Strong Completeness for Markovian Logics

    Kozen, D., Mardare, R. I. & Panangaden, P., 2013, Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. Chatterjee, K. & Sgall, J. (red.). Springer Publishing Company, Bind LNCS 8087. s. 655-666 12 s. (Lecture Notes in Computer Science, Bind 8087).

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

    11 Citationer (Scopus)

  • Stubborn Set Reduction for Timed Reachability and Safety Games

    Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings. Dima, C. & Shirmohammadi, M. (red.). Springer, Bind 12860. s. 32-49 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12860 LNCS).

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

    1 Citationer (Scopus)

  • Study the Past if You Would Define the Future: Implementing Secure Multi-party SDN Updates

    Schiff, L. & Schmid, S., 18 jul. 2016, Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016. IEEE, s. 111-116 6 s. 7515418

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

    4 Citationer (Scopus)

  • Stuttering for Abstract Probabilistic Automata

    Delahaye, B., Larsen, K. G. & Legay, A., 2013, Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Springer Publishing Company, Bind 7734. s. 149-163 (Lecture Notes in Computer Science, Bind 7734).

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

    1 Citationer (Scopus)

  • Supervisor synthesis under partial observation of uncontrollable events using full observation synthesis

    Goorden, M. & Reniers, M. A., 2024, (Accepteret/In press) Proceedings of 17th IFAC Workshop on Discrete Event Systems. s. 114-119

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

    Åben adgang
    Fil
    30 Downloads (Pure)

  • Surrogater i Øjeblik: mod migrerering i Obliq

    Hüttel, H., Kleist, J., Nestmann, U. & Sangiorgi, D., 1998, Proceedings of the Workshop on Semantics of Objects as Processes: Brics Notes Series. Hüttel, Hans : Nestmann, Uwe (eds.) (red.). NS-98-5 udg. Department of Computer Science, Aarhus University, s. 43-50

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

  • Surrogates in Øjeblik: Towards Migration in Obliq

    Hüttel, H., Kleist, J., Nestmann, U. & Sangiorgi, D., 1998, Proceeding of FOOL5.

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

  • Symbolic Dependency Graphs for PCTL Model-Checking

    Mariegaard, A. & Larsen, K. G., 2017, Formal Modeling and Analysis of Timed Systens. Springer Publishing Company, Bind 10419. s. 153-169 17 s. (Lecture Notes in Computer Science, Bind 10419).

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

    4 Citationer (Scopus)

  • Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

    Jensen, M. C., Mariegaard, A. & Larsen, K. G., 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (red.). Springer, s. 298-315 18 s. (Lecture Notes in Computer Science, Bind 11460).

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

    5 Citationer (Scopus)

  • symQV: Automated Symbolic Verification of Quantum Programs

    Bauer-Marquart, F., Leue, S. & Schilling, C., 2023, Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Chechik, M., Katoen, J-P. & Leucker, M. (red.). Springer, s. 181-198 18 s. (Lecture Notes in Computer Science, Bind LNCS 14000).

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

    Åben adgang
    3 Citationer (Scopus)

  • Synchronizing Strategies under Partial Observability

    Larsen, K. G., Laursen, S. & Srba, J., 2014, CONCUR 2014 – Concurrency Theory. Baldan, P. & Gorla, D. (red.). Springer Publishing Company, Bind 8704. s. 188-202 (Lecture Notes in Computer Science).

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

    Åben adgang
    Fil
    17 Citationer (Scopus)
    490 Downloads (Pure)

  • Synchronizing words for weighted and timed automata

    Doyen, L., Juhl, L., Larsen, K. G., Markey, N. & Shirmohammadi, M., 11 dec. 2014, Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Bind 29. s. 121-132 12 s.

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

    19 Citationer (Scopus)

  • Synchronous interface theories and time triggered scheduling

    Delahaye, B., Fahrenberg, U., Henzinger, T. A., Legay, A. & Ničković, D., 2012, Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Giese, H. & Rosu, G. (red.). Springer Publishing Company, s. 203-218 16 s. (Lecture Notes in Computer Science, Bind 7273).

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

    3 Citationer (Scopus)

  • Synthesis for Multi-weighted Games with Branching-Time Winning Conditions

    Kaufmann, I., Larsen, K. G. & Srba, J., 2020, Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Proceedings. Janicki, R., Sidorova, N. & Chatain, T. (red.). Springer VS, s. 46-66 21 s. (Lecture Notes in Computer Science, Bind 12152).

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

  • Synthesis of Optimal Strategies Using HyTech

    Bouyer, P., Cassez, F., Larsen, K. G. & Fleury, E., 2005, Proceedings of the Workshop on Games in Design and Verification. Elsevier, s. 11-31 (Electronic Notes of Theoretical Computer Science; Nr. 1, Bind 119).

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

    14 Citationer (Scopus)

  • Synthesis of Parametric Hybrid Automata from Time Series

    García Soto, M., Henzinger, T. A. & Schilling, C., 2022, Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (red.). Springer, s. 337-353 17 s. (Lecture Notes in Computer Science, Bind 13505).

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

    Åben adgang
    1 Citationer (Scopus)

  • Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games

    Larsen, K. G., 2019, Proceedings of 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (red.). Schloss Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5 s. 2. (Leibniz International Proceedings in Informatics, Bind 140).

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

    Åben adgang
    Fil
    45 Downloads (Pure)

  • Taking control of SDN-based cloud systems via the data plane

    Thimmaraju, K., Shastry, B., Fiebig, T., Hetzelt, F., Seifert, J. P., Feldmann, A. & Schmid, S., 28 mar. 2018, Proceedings of the Symposium on SDN Research, SOSR 2018. Association for Computing Machinery, 15 s. 3185468

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

    32 Citationer (Scopus)

  • Taking It to the Limit: Approximate Reasoning for Markov Processes

    Larsen, K. G., Mardare, R. I. & Panangaden, P., 2012, Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. Rovan, B., Sassone, V. & Widmayer, P. (red.). Springer, s. 681-692 (Lecture Notes in Computer Science, Bind 7464).

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

    18 Citationer (Scopus)

  • Taking on internet bad neighborhoods

    Moura, G. C. M., Sadre, R. & Pras, A., 2014, IEEE/IFIP NOMS 2014 - IEEE/IFIP Network Operations and Management Symposium: Management in a Software Defined World. IEEE Computer Society Press, s. 1-7 6838284. (I E E E - I F I P Network Operations and Management Symposium).

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

    3 Citationer (Scopus)

  • TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets

    David, A., Jacobsen, L., Jacobsen, M., Jørgensen, K. Y., Møller, M. H. & Srba, J., 2012, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12). Flanagan, C. & König, B. (red.). Netherlands: Springer, s. 492-497 6 s. (Lecture Notes in Computer Science, Bind 7214).

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

    54 Citationer (Scopus)

  • Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs

    Jaeger, M., Jensen, P. G., Larsen, K. G., Legay, A. B. E., Sedwards, S. & Taankvist, J. H., 28 okt. 2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings: ATVA 2019: Automated Technology for Verification and Analysis. Chen, Y-F., Cheng, C-H. & Esparza, J. (red.). Springer, s. 81-97 17 s. (Lecture Notes in Computer Science, Bind 11781).

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

    Åben adgang
    Fil
    16 Citationer (Scopus)
    327 Downloads (Pure)

  • Test Generation for Time Critical Systems: Tool and Case Study

    Nielsen, B. & Skou, A., 2001, 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 2001. s. 155-162

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

    9 Citationer (Scopus)

  • Testing and Verification of Probabilistic Processes

    Larsen, K. G. & Skou, A., 1992, NSDCS'92. Heegaard, Poul : Helvik, Bjarne (eds.) (red.). NTH, s. 235-250

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

  • Testing Hennesy-Milner Logic with Recursion

    Aceto, L. & Ingolfsdottir, A., 1999, Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS ' 99 : Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999: Lecture Notes in Computer Science. Thomas, W. (ed.) (red.). 1578 udg. IEEE Computer Society Press, s. 41-55

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

  • Testing Real-Time Embedded Software using UppAal-TRON: an industrial case study

    Mikucionis, M., Larsen, K. G., Nielsen, B. & Skou, A., 2005, Fifth ACM International Conference on Embedded Software (EMSOFT). Association for Computing Machinery, s. 299-306 8 s.

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

    125 Citationer (Scopus)

  • Testing real-time systems under uncertainty

    David, A., Larsen, K. G., Li, S., Mikucionis, M. & Nielsen, B., 2012, Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Berlin: Springer, Bind 6957. s. 352-371 20 s. (Lecture Notes in Computer Science, Bind 6957).

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

    9 Citationer (Scopus)

  • TetaSARTS: A tool for modular timing analysis of safety critical Java systems

    Luckow, K. S., Bøgholm, T., Thomsen, B. & Larsen, K. G., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. 11 udg. Association for Computing Machinery, s. 11-20 10 s. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

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

    6 Citationer (Scopus)

  • THAPS: Automated Vulnerability Scanning of PHP Applications

    Jensen, T., Pedersen, H., Olesen, M. C. & Hansen, R. R., 2012, Proceedings of the 17th Nordic Conference on Secure IT-Systems (NordSec 2012). Springer, Bind 7617. s. 31-46 (Lecture Notes in Computer Science, Bind 7617).

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

    16 Citationer (Scopus)

  • The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Joshi, K., Siegle, M., Stoelinga, M. & D'Argenio, P. R. (red.). Springer Publishing Company, Bind 8054. s. 278-281 4 s. (Lecture Notes in Computer Science, Bind 8054).

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

    8 Citationer (Scopus)

  • The Complexity of Checking Consistency of Pedigree Information and Related Problems

    Aceto, L., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2003, Proceedings of the Eighth Italian Conference on Theoretical Computer Science (ICTCS'03). University Center Bertinoro, Italy, 13-15 October 2003: Lecture Notes in Computer Science. Carlo Blundo and Cosimo Laneve (eds.) (red.). 2841 udg. Springer, s. 174-187

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

    1 Citationer (Scopus)

  • The Complexity of Evaluating Nfer

    Kauffman, S. & Zimmermann, M., jul. 2022, Theoretical Aspects of Software Engineering, TASE 2022: 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Crăciun, F. (red.). Springer, s. 388-405 18 s. (Lecture Notes in Computer Science, Bind 13299).

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

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

  • The Distributed-SDF Domain

    Cuadrado, D. L., Ravn, A. P. & Koch, P., 2005, The Sixth Biennial Ptolemy Miniconference Proceedings. EECS Department, University of California

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

  • The ENCOURAGE ICT architecture for heterogeneous smart grids

    Albano, M., Ferreira, L., Le Guilly, T., Ramiro, M., Faria, E., Duneas, L., Ferreira, R., Gaylard, E., Cubas, D. J., Roarke, E., Lux, D., Scalari, S., Sørensen, S. M., Gangolells, M., Pinho, L. M. & Skou, A., 2013, EUROCON 2013, IEEE. IEEE Computer Society Press, s. 1383-1390 8 s.

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

    10 Citationer (Scopus)

  • The geometry of timed PV programs

    Fahrenberg, U., 2003, Proceedings of the Fourth Workshop on Geometric and Topological Methods in Concurrency: Electronic Notes in Computer Science. Vol. 81 udg. Pergamon Press, s. 14

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

    3 Citationer (Scopus)

  • The grand CRU challenge

    Blöcher, M., Viering, M., Schmid, S. & Eugster, P., 11 aug. 2017, HotConNet 2017 - Proceedings of the 2017 Workshop on Hot Topics in Container Networking and Networked Systems, Part of SIGCOMM 2017. Association for Computing Machinery, s. 7-11 5 s.

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

  • The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures

    Cuijpers, P. J. L., Schmid, S., Schnepf, N. & Srba, J., 2022, 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'22). IEEE, s. 239-250

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

    1 Citationer (Scopus)