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

    Can't Touch This: Consistent Network Updates for Multiple Policies

    Dudycz, S., Ludwig, A. & Schmid, S., 2016, 46th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE

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

    37 Citationer (Scopus)

  • Certifiable Java for Embedded Systems

    Schoeberl, M., Dalsgaard, A. E., Hansen, R. R., Korsholm, S. E., Ravn, A. P., Rivas, J. R. R., Strøm, T. B. & Søndergaard, H., 2014, Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, s. 10-19 10 s.

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

    1 Citationer (Scopus)

  • CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics

    Carlsen, F. B. Ø., Frydenskov, L. B. P., Jensen, N. Ø., Jenner Rasmussen, J., Sørensen, M. M., Geel Weirsøe, A., Jensen, M. C. & Larsen, K. G., 30 sep. 2023, Proceedings af the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). Italien: Open Publishing Association, Bind 390. s. 99-114 16 s. (Electronic Proceedings in Theoretical Computer Science).

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

    Åben adgang
    Fil
    14 Downloads (Pure)

  • Channel properties of asynchronously composed Petri nets

    Haddad, S., Hennicker, R. & Møller, M. H., 8 jul. 2013, Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings. Colom, J-M. & Desel, J. (red.). Springer Publishing Company, s. 369-388 20 s. (Lecture Notes in Computer Science, Bind 7927).

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

    12 Citationer (Scopus)

  • Chebyshev-Cantelli PAC-Bayes-Bennett Inequality for the Weighted Majority Vote

    Wu, Y-S., Masegosa, A., Lorenzen, S. S., Igel, C. & Seldin, Y., 2021, Advances in Neural Information Processing Systems (NeurIPS 2021). Bind 34. 12 s.

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

  • Checking and Distributing Statistical Model Checking

    Bulychev, P. E., David, A., Larsen, K. G., Legay, A., Mikučionis, M. & Poulsen, D. B., 3 apr. 2012, NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Goodloe, A. E. & Person, S. (red.). Springer, Bind 7226. s. 449-463 15 s. (Lecture Notes in Computer Science, Bind 7226).

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

    29 Citationer (Scopus)

  • Chronus: Consistent Data Plane Updates in Timed SDNs

    Zheng, J., Chen, G., Schmid, S., Dai, H. & Wu, J., 13 jul. 2017, Proceedings - IEEE 37th International Conference on Distributed Computing Systems, ICDCS 2017. IEEE, s. 319-327 9 s. 7979978. (Proceedings of the International Conference on Distributed Computing Systems).

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

    24 Citationer (Scopus)

  • Classification of SOA Contract Specification Languages

    Okika, J. C. & Ravn, A. P., 2008, Proceedings of the 2008 IEEE International Conference on Web Services - Volume 00. 00 udg. IEEE Computer Society Press, s. 433-440

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

    8 Citationer (Scopus)

  • Code-level timing analysis of embedded software: emsoft'12 invited talk session outline

    Falk, H., Hammong, K., Larsen, K. G., Lisper, B. & Petters, S. M., 2012, EMSOFT '12 Proceedings of the tenth ACM international conference on Embedded software . Association for Computing Machinery, s. 163-164 2 s.

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

  • Cognitive Cloud: The Definition

    Moreschini, S., Pecorelli, F., Li, X., Naz, S., Albano, M., Hastbacka, D. & Taibi, D., jul. 2022, Distributed Computing and Artificial Intelligence, 19th International Conference. Omatu, S., Mehmood, R., Sitek, P., Cicerone, S. & Rodríguez, S. (red.). Springer, s. 219-229 11 s. (Lecture Notes in Networks and Systems, Bind 583).

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

    3 Citationer (Scopus)

  • Color-blind Behavioral Specifications for Transformations of Reactive Synchronous Programs

    Larsen, U., Larsen, K. G. & Wasowski, A., 2004, Proceedings of the 16th Nordic Workshop on Programming Theory: Technical report. Pettersson, P. & Yi, W. (red.). 2004-041 udg. Uppsala Sweden, s. 22-24

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

  • Color-blind Specifications for Transformations of Reactive Synchronous Programs

    Larsen, K. G., Larsen, U. & Wasowski, A., 2005, Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. Cerioli, M. (red.). IEEE Computer Society Press, (Lecture Notes in Computer Science; Nr. 3442).

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

    Åben adgang
    Fil
    4 Citationer (Scopus)
    408 Downloads (Pure)

  • Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems

    Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U., 16 jan. 2020, Proceedings - 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019. De Rango, F., Calafate, C. T., Voznak, M., Garro, A. & Tropea, M. (red.). IEEE, s. 1-10 10 s. 8958666. (IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT)).

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

    Åben adgang
    Fil
    8 Citationer (Scopus)
    155 Downloads (Pure)

  • Communication Oriented Modeling of Evolving Systems of Systems

    Harbo, S. K. R., Kristensen, M. K., Voldby, E. P., Andersen, S. V., Petersen, F. C. & Albano, M., 14 jun. 2021, 2021 16th International System of Systems Engineering Conference, SoSE 2021. IEEE, s. 88-94 7 s. 9497495. (2021 16th International System of Systems Engineering Conference, SoSE 2021).

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

    3 Citationer (Scopus)

  • Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink

    Naeem, M., Albano, M., Larsen, K. G. & Nielsen, B., 2024, Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Proceedings. Kofroň, J., Margaria, T. & Seceleanu, C. (red.). Springer Science+Business Media, s. 153-169 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14390 LNCS).

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

  • Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets

    Srba, J., 2008, Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Springer, s. 15-32 (Lecture Notes in Computer Science; Nr. 5215).

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

    28 Citationer (Scopus)

  • Comparison of Online Exploration and Coverage Algorithms in Continuous Space

    Andreasen, M. Z., Holler, P. I., Jensen, M. K. & Albano, M., 3 feb. 2022, Proceedings of the 14th International Conference on Agents and Artificial Intelligence, ICAART 2022, Volume 1. Rocha, A. P., Steels, L. & Herik, H. J. V. D. (red.). SDMIS udg. SCITEPRESS Digital Library, Bind 1. s. 527-537 11 s.

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

    1 Citationer (Scopus)

  • Competitive clustering of stochastic communication patterns on a ring

    Avin, C., Cohen, L. & Schmid, S., 2017, Networked Systems: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings. Springer, s. 231-247 17 s. (Lecture Notes in Computer Science, Bind 10299 LNCS).

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

  • Complete Axiomatization for the Bisimilarity Distance on Markov Chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 21:1--21:14 14 s. (Leibniz International Proceedings in Informatics, Bind 59).

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

    Åben adgang
    6 Citationer (Scopus)

  • Completeness Results for Undecidable Bisimilarity Problems

    Srba, J., 2004, Proccedings of the 5th International Workshop on Verification of Infinite-State Systems (INFINITY'03): ENTCS. 98 udg. Netherlands, s. 5-19

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

    5 Citationer (Scopus)

  • Complexity of decision problems for mixed and modal specifications

    Antonik, A., Huth, M., Larsen, K. G., Nyman, U. & Wasowski, A., 2008, Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings. Amadio, R. (red.). Springer, s. 112-126 (Lecture Notes in Computer Science; Nr. 4962).

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

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

  • Compositional Control Synthesis for Water Management System

    Kim, E. H., Larsen, K. G., Nielsen, T. D. & Goorden, M., 28 feb. 2024, (Accepteret/In press) ECC. s. 1-8 8 s.

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

  • Compositional Design Methodology with Constraint Markov Chains

    Caillaud, B., Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., sep. 2010, Proceedings of 7th International Conference on Quantitative Evaluation of SysTems (QEST). Williamburg, VA: IEEE Press, s. 123-132

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

    32 Citationer (Scopus)

  • Compositionality and Compatibility of Service Contracts

    Okika, J. C. & Ravn, A. P., 2007, NWPT'07/FLACOS'07 Workshop Proceeding. Johansen, E. B., Owe, O. & Schneider, G. (red.). Department of Informatics, University of Oslo, s. 101-103 3 s. (Research Report; Nr. 366).

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

  • Compositional metric reasoning with probabilistic process calculi

    Gebler, D., Larsen, K. G. & Tini, S., 2015, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pitts, A. (red.). Springer, s. 230-245 16 s. (Lecture Notes in Computer Science, Bind 9034).

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

    18 Citationer (Scopus)

  • Compositional Safety Analysis using Barrier Certificates

    Sloth, C., Pappas, G. J. & Wisniewski, R., 2012, HSCC '12 Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. New York: Association for Computing Machinery, s. 15-24 9 s.

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

    62 Citationer (Scopus)

  • Compositional Schedulability Analysis of An Avionics System Using UPPAAL

    Boudjadar, J., Larsen, K. G., Kim, J. H. & Nyman, U., 2014, Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014. CEUR Workshop Proceedings, Bind 1294. s. 140-147 8 s.

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

    Åben adgang
    Fil
    8 Citationer (Scopus)
    389 Downloads (Pure)

  • Compositional testing of real-time systems

    Larsen, K. G., Legay, A., Mikučionis, M., Nielsen, B. & Nyman, U., 1 jan. 2017, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Springer, Bind 10500 LNCS. s. 107-124 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10500 LNCS).

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

    3 Citationer (Scopus)

  • Computing Behavioral Distances, Compositionally

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 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 8087. s. 74-85 (Lecture Notes in Computer Science, Bind 8087).

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

    24 Citationer (Scopus)

  • Computing effects for correspondence types

    Hüttel, H., 2010, Proceedings of FCS'09. Cortier, V. (red.). s. 75-89

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

    Åben adgang
    Fil
    311 Downloads (Pure)

  • Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach

    Bulychev, P. E., David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 20 feb. 2012, Proceedings Second International Workshop on Interactions, Games and Protocols. Reich, J. & Finkbeiner, B. (red.). Tallin, Estonia, s. 1-14 14 s. (Electronic Proceedings in Theoretical Computer Science, Bind 78).

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

  • Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

    Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & van Glabbeek, R. (red.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 9:1-9:17 17 s. 9. (Leibniz International Proceedings in Informatics, Bind 140).

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

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

  • Conformance Testing in UPPAAL: A diabolic approach

    Njor, E. J., Lorber, F., Schmidt, N. I. & Petersen, S. R., okt. 2020, Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020. IEEE, s. 35-42 8 s. 9156025

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

  • Connectivity testing through model-checking

    Godskesen, J. C., Nielsen, B. & Skou, A., 2004, Formal Techniques for Networked and Distributed Systems - Forte 2004, Proceedings. Bind 3235. s. 167-184

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

    2 Citationer (Scopus)

  • Conservative Time Discretization: A Comparative Study

    Forets, M. & Schilling, C., 2022, Integrated Formal Methods - 17th International Conference, IFM 2022, Proceedings. ter Beek, M. H. & Monahan, R. (red.). Springer, s. 149-167 19 s. (Lecture Notes in Computer Science, Bind 13274).

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

    Åben adgang
    5 Citationer (Scopus)

  • Continuity Properties of Distances for Markov Processes

    Jaeger, M., Mao, H., Larsen, K. G. & Mardare, R. I., 2014, Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Norman, G. & Sanders, W. (red.). Springer, Bind 8657. s. 297-312 (Lecture Notes in Computer Science).

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

    5 Citationer (Scopus)

  • Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

    Cardelli, L., Larsen, K. G. & Mardare, R., 2011, CSL Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings. Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Bind 12. s. 144-158 15 s.

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

    9 Citationer (Scopus)

  • Controllers with Minimal Observation Power (Application to Timed Systems)

    Bulychev, P., Cassez, F., David, A., Larsen, K. G., Raskin, J-F. & Reynier, P-A., okt. 2012, Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Springer, Bind 7561. s. 223-237 15 s. (Lecture Notes in Computer Science, Bind 7561).

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

    1 Citationer (Scopus)

  • Controlling Stormwater Detention Ponds under Partial Observability

    Kim, E. H., Nielsen, T. D., Larsen, K. G. & Goorden, M., 2 nov. 2022, NWPT: 33rd Nordic Workshop on Programming Theory. Nordic Workshop on Programming Theory, s. 1-3 3 s.

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

    Åben adgang
    Fil
    33 Downloads (Pure)

  • Convergence of even simpler robots without position information

    Pattanayak, D., Mondal, K., Mandal, P. S. & Schmid, S., 2017, Networked Systems - 5th International Conference, NETYS 2017, Proceedings. Springer, Bind 10299 LNCS. s. 69-85 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10299 LNCS).

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

    2 Citationer (Scopus)

  • Co-Simulation of Hybrid Systems with SpaceEx and Uppaal

    Bogomolov, S., Greitschus, M., Jensen, P. G., Larsen, K. G., Mikučionis, M., Strump, T. & Tripakis, S., 2015, 11th International Modelica Conference Proceedings. Linköping University Electronic Press, s. 159-169 17. (Linköping Electronic Conference Proceedings; Nr. 118).

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

    Åben adgang
    Fil
    663 Downloads (Pure)

  • cpp-tiny-client: A secure API client generator for IoT devices

    Springborg, A. A., Andersen, M. K., Hattel, K. H. & Albano, M., 25 apr. 2022, Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022. Association for Computing Machinery, s. 202-205 4 s. (Proceedings of the ACM Symposium on Applied Computing).

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

    1 Citationer (Scopus)

  • Cyclic executive for safety-critical Java on chip-multiprocessor

    Ravn, A. P. & Schoeberl, M., 2010, ACM International Conference Proceeding Series. Association for Computing Machinery, s. 63-69 7 s.

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

    5 Citationer (Scopus)

  • CyNC - a method for Real Time Analysis of Systems with Cyclic Data Flows

    Schiøler, H., Nielsen, J. F. D., Larsen, K. G. & Jessen, J. J., 2005, Proceedings of 13 th. RTS Conference on Embedded Systems.

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

  • CyNC - towards a General Tool for Performance Analysis of Complex Distributed Real Time Systems

    Schiøler, H., Jessen, J. J., Nielsen, J. F. D. & Larsen, K. G., 2005, Proccedings of 17th Euromicro Conference on Real-Time Systems (ECRTS 05).

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

  • CAAL: Concurrency Workbench, Aalborg Edition

    Reimer Andersen, J., Andersen, N., Enevoldsen, S., Munk Hansen, M., Larsen, K. G., Reedtz Olesen, S., Srba, J. & Wortmann, J. K., 2015, Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (red.). Netherlands: Springer, s. 573-582 10 s. (Lecture Notes in Computer Science; Nr. 9399).

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

    30 Citationer (Scopus)

  • Data driven Bayesian network to predict critical alarm

    Mietkiewicz, J. & Madsen, A. L., 2022, Proceedings of the 32nd European Safety and Reliability Conference (ESREL 2022). Leva, M. C., Patelli, E., Podofillini, L. & Wilson, S. (red.). Research Publishing, Singapore, 522

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

    Åben adgang
    Fil
    18 Downloads (Pure)

  • Decidability and Expressiveness of Recursive Weighted Logic

    Xue, B., Larsen, K. G. & Mardare, R. I., 2015, Perspectives of Systems Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Voronkov, A. & Virbitskaite, I. (red.). Springer, s. 216-231 (Lecture Notes in Computer Science; Nr. 8974).

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

    2 Citationer (Scopus)

  • Decidability of Modular Logics for Concurrency

    Mardare, R. I., 2012, Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Berlin: Springer, Bind 7162. s. 274-288 (Lecture Notes in Computer Science, Bind 7162).

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

  • Decidable Fragments of a Higher Order Calculus with Locations

    Hüttel, H., Godskesen, J. C., Haagensen, B. & Bundgaard, M., 2009, Proceedings of the 15th Workshop on Expressiveness in Concurrency (EXPRESS 2008). Gorla, D. & Hildebrandt, T. (red.). Elsevier, s. 113-138 (Electronic Notes in Theoretical Computer Science; Nr. 242, Bind 1).

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

    3 Citationer (Scopus)