Distributed, Embedded and Intelligent Systems

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Søgeresultater

  • Konferenceartikel i proceeding

    Hardware Objects for Java

    Schoeberl, M., Thalinger, C., Korsholm, S. & Ravn, A. P., 2008, 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC). IEEE Computer Society Press, s. 445-452

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

    27 Citationer (Scopus)
  • Harnessing Theories for Tool Support

    Liu, Z., Mencl, V., Ravn, A. P. & Yang, L., 2006, Proceedings of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: ISoLA 2006. University of Cyprus, 12 s.

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

    14 Citationer (Scopus)
  • Height-Deterministic Pushdown Automata

    Nowotka, D. & Srba, J., 2007, 32nd International Symposium on Mathematical Foundations of Computer Science (MFCS'07), LNCS. 4708 udg. Springer, Bind LNCS. s. 125-134 10 s.

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

    34 Citationer (Scopus)
  • Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

    Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 13 jun. 2014, Proceedings of Formal Aspects of Component Software (FACS), 2013. Fiadeiro, J. L., Liu, Z. & Xue, J. (red.). Springer Publishing Company, Bind 8348. s. 61-78 18 s. 6. (Lecture Notes in Computer Science).

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

    Åben adgang
    Fil
    17 Citationer (Scopus)
    618 Downloads (Pure)
  • Highly Undecidable Questions for Process Algebras

    Srba, J. & Jancar, P., 2004, Proceedings of 3rd IFIP International Conference on Theoretical Computer Science (TCS'04). Kluwer Academic Publishers, s. 507-520

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

    5 Citationer (Scopus)
  • History-Deterministic Parikh Automata

    Erlich, E., Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., sep. 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J-F. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Bind 279. s. 31:1-31:16 16 s. 31. (Leibniz International Proceedings in Informatics).

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

    Åben adgang
    Fil
    1 Citationer (Scopus)
    1 Downloads (Pure)
  • HomePort: Middleware for heterogeneous home automation networks

    Le Guilly, T., Olsen, P., Ravn, A. P., Rosenkilde, J. & Skou, A., 2013, 2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops). IEEE, s. 627 - 633 7 s.

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

    18 Citationer (Scopus)
  • Homomorphisms of Lifted Planning Tasks: The Case for Delete-free Relaxation Heuristics

    Horčík, R., Fišer, D. & Torralba, A., jun. 2022, Proceedings of the AAAI Conference on Artificial Intelligence, 36. AAAI Press, Bind 36/9.

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

    Åben adgang
    Fil
    2 Citationer (Scopus)
    30 Downloads (Pure)
  • How A Flipped Learning Environment Affects Learning In A Course On Theoretical Computer Science

    Gnaur, D. & Hüttel, H., 2014, Advances in Web-Based Learning - ICWL 2014 - Lecture Notes in Computer Science: 13th International Conference, Tallinn, Estonia, August 14-17, 2014. Proceedings. Popescu, E., Lau, R. W. H., Pata, K., Leung, H. & Laanpere, M. (red.). Springer Publishing Company, Bind 8613. s. 219-228 (Lecture Notes in Computer Science, Bind 8613).

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

    5 Citationer (Scopus)
  • How do exhibition visitors describe aesthetic qualities?

    Thomsen, B. D. & Ravn, A. P., 2007, International Conference on Computing, Communications and Control Technologies  CCCT 2007: Interactive Communication Design of Information Systems. 1 udg. International Institute of Informatics and Cybernetics, Bind III. s. 155-160 6 s. (The CCCT07).

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

    Åben adgang
    Fil
    1036 Downloads (Pure)
  • Hybrid Control Design for a Wheeled Mobile Robot

    Bak, T., Bendtsen, J. D. & Ravn, A. P., 2003, Hybrid Systems: Computation and Control, HSCC 2003: Lecture Notes in Computer Science. Oded Maler, Amir Pnueli (eds.) (red.). 2623 udg. Springer, s. 50-65

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

    18 Citationer (Scopus)
  • Haaukins: A Highly Accessible and Automated Virtualization Platform for Security Education

    Panum, T. K., Hageman, K. D., Pedersen, J. M. & Hansen, R. R., 2 sep. 2019, 2019 IEEE 19th International Conference on Advanced Learning Technologies (ICALT). Chang, M., Sampson, D. G., Huang, R., Gomes, A. S., Chen, N-S., Bittencourt, I. I., Kinshuk, K., Dermeval, D. & Bittencourt, I. M. (red.). IEEE, s. 236-238 3 s. 8820918. (International Conference on Advanced Learning Technologies (ICALT)).

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

    9 Citationer (Scopus)
  • Impact of Scheduling Policies on Control System Performance

    Schiøler, H., Ravn, A. P. & Nielsen, J. F. D., 2003, EuroMicro 03 Satelite Event on CoDesign in Real Time Systems (CERTS), Porto, Portugal, July 2003.

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

  • Imperative Objects as Mobile Processes

    Kleist, J. & Sangiorgi, D., 1998, Programming Concepts and Methods, PROCOMET '98. Chapman & Hall, s. 285-303

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

  • Importance Sampling for Stochastic Timed Automata

    Jegourel, C., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 2016, Dependable Software Engineering: Theories, Tools, and Applications. Fränzle, M., Kapur, D. & Zhan, N. (red.). Springer, s. 163-178 16 s. (Lecture Notes in Computer Science, Bind 9984).

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

    Fil
    8 Citationer (Scopus)
    347 Downloads (Pure)
  • Importance Splitting in Uppaal

    Larsen, K. G., Legay, A., Mikučionis, M. & Poulsen, D. B., 17 okt. 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022. Margaria, T. & Steffen, B. (red.). s. 433-447 15 s. (Lecture Notes in Computer Science, Bind 13703).

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

    1 Citationer (Scopus)
  • Improvement of the Fine tuning algorithm

    Mietkiewicz, J. & Madsen, A. L., 2022, BNAIC/BeNeLearn - Joint International Scientific Conferences on AI and Machine Learning. 12 s.

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

    Åben adgang
    Fil
    9 Downloads (Pure)
  • Improvements in Unfolding of Colored Petri Nets

    Bilgram, A., Jensen, P. G., Pedersen, T., Srba, J. & Taankvist, P. H., 2021, Reachability Problems: 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings. Bell, P. C., Totzke, P. & Potapov, I. (red.). Springer, s. 69-84 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13035 LNCS).

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

    4 Citationer (Scopus)
  • Inference, Learning, and Population Size: Projectivity for SRL Models

    Jaeger, M. & Schulte, O., 2018, Eighth International Workshop on Statistical Relational AI: Accepted Papers. Statistical Relational AI (StarAI), 8 s.

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

    Åben adgang
  • Inferring Effect Types in an Applicative Language with Asynchronous Communication

    Hüttel, H., Hansen, M., Jensen, B. & Kleist, J., 1995, Proceedings of Second ACM SIGPLAN Workshop on State in Programming Languages. UILI-ENG-95-1702 udg. Dept. of Computer Science, University of Illinois at Urbana-Campaign

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

  • Infinite-dimensionality in quantum foundations: W∗-algebras as presheaves over matrix algebras

    Rennela, M., Staton, S. & Furber, R., 1 jan. 2017, Proceedings 13th International Conference on Quantum Physics and Logic . Duncan, R. & Heunen, C. (red.). Open Publishing Association, s. 161-173 13 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 236).

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

    Åben adgang
    Fil
    2 Citationer (Scopus)
    266 Downloads (Pure)
  • Infinite Runs in Weighted Timed Automata with Energy Constraints

    Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N. & Srba, J., 2008, 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08). Springer, s. 33-47 15 s. (Lecture Notes in Computer Science; Nr. 5215).

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

    155 Citationer (Scopus)
  • Integrating an UML tool in an Industrial Development Process: a Case Study

    Knudsen, J., Gøttler, R., Jacobsen, M., Jensen, M. W., Rye-Andersen, J. G. & Ravn, A. P., 2004, UML'04 satellite workshop proceedings. Jürens, J., Fernandez, E. B., France, R. & Rumpe, B. (red.).

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

    Åben adgang
    Fil
    366 Downloads (Pure)
  • Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU

    Nyman, U., Jensen, P. G., Larsen, K. G. & Legay, A., 15 feb. 2018, Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017. IEEE, s. 11-19 9 s.

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

    Åben adgang
    Fil
    11 Citationer (Scopus)
    526 Downloads (Pure)
  • Interactive Theorem Proving for Logic and Information

    Villadsen, J., From, A. H., Jensen, A. B. & Schlichtkrull, A., 2022, Natural Language Processing in Artificial Intelligence – NLPinAI 2021. Loukanova, R. (red.). Springer, s. 25-48 24 s. (Studies in Computational Intelligence, Bind 999).

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

    Åben adgang
    1 Citationer (Scopus)
  • Interface Input/Output Automata

    Larsen, K. G., Nyman, U. & Wasowski, A., 2006, FM 2006: Formal Methods: 14th International Symposium on Formal MethodsHamilton, Canada, August 21-27, 2006 Proceedings. Misra, J., Nipkow, T. & Sekerinski, E. (red.). Springer, Bind Springer. s. 82-97 16 s.

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

    Åben adgang
    Fil
    30 Citationer (Scopus)
    529 Downloads (Pure)
  • Internet bad neighborhoods temporal behavior

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

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

    5 Citationer (Scopus)
  • Interoperability between ARC and gLite - Understanding the Grid-Job Life Cycle

    Grønager, M., Fields, L., Happonen, K., Kleist, J., Linden, T., Johansson, D., Søttrup, C., Qing, D. & Wäänänen, A., 2008, IEEE Fourth International Conference on eScience, 2008. eScience '08. IEEE, s. 493-500

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

    6 Citationer (Scopus)
  • Interoperability by construction: code generation for Arrowhead Clients

    Albano, M. & Nielsen, B., 12 jun. 2020, Proceedings of 3rd IEEE International Conference on Industrial Cyber-Physical Systems. Tampere, Finland: IEEE

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

    6 Citationer (Scopus)
  • Interrupt Handlers in Java

    Korsholm, S., Schoeberl, M. & Ravn, A. P., 2008, 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC). IEEE Computer Society Press, s. 453-457

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

    4 Citationer (Scopus)
  • Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets

    Viesmose, S. L., Jacobsen, T. S., Jensen, J. J., Moesgaard, C., Samuelsen, N. N. & Srba, J., 2014, Proceedings of the 12th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'14). Springer Publishing Company, Bind 8711. s. 237-251 15 s. (Lecture Notes in Computer Science (LNCS)).

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

    5 Citationer (Scopus)
  • INTrEPID: A project on energy optimization in buildings

    Pedersen, T., Ravn, A. P. & Skou, A., 2014, Proceedings of 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace & Electronic Systems (VITAE). IEEE Press, s. 172-175 4 s.

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

    1 Citationer (Scopus)
  • Introducing Synchronisation in Deterministic Network Models

    Schiøler, H., Jessen, J. J., Nielsen, J. F. D. & Larsen, K. G., 2006, Computer Applications in Industry and Engineering (CAINE-2006), 19th Int'l. Conference. Phillip, T. (red.). Denmark., 8 s.

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

    1 Citationer (Scopus)
  • Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics

    Aceto, L. & Laroussinie, F., 1999, Mathematical Foundations of Computer Science 1999 : 24th International Symposium, MFCS '99, Szklarska Poreba, Poland, September 6-10, 1999 : Proceedings: Lecture Notes in Computer Science. Kutylowski, M. : Pacholski, L. : Wierzbicki, T. (eds.) (red.). 1672 udg. IEEE Computer Society Press, s. 125-136

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

    9 Citationer (Scopus)
  • Jajapy: A Learning Library for Stochastic Models

    Reynouard, R., Ingolfsdottir, A. & Bacci, G., 2023, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Jansen, N. & Tribastone, M. (red.). Springer, s. 30-46 17 s. (Lecture Notes in Computer Science (LNCS), Bind LNCS 14287).

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

    1 Citationer (Scopus)
  • Joint Link Prediction Via Inference from a Model

    Naddaf, P., Nejad, E. M. A., Zahirnia, K., Jaeger, M. & Schulte, O., 21 okt. 2023, CIKM 2023 - Proceedings of the 32nd ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, s. 1877-1886 10 s.

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

  • Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games

    Johansen, N. S., Kær, L. B., Madsen, A. L., Nielsen, K. Ø., Srba, J. & Tollund, R. G., 2022, 17th International Conference on Integrated Formal Methods, IFM 2022. Springer, s. 249-267 (Lecture Notes in Computer Science, Bind 13274).

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

    2 Citationer (Scopus)
  • Key Agreement in the Lightning Network Protocol

    Hüttel, H. & Staroveški, V., 2022, Information Systems Security and Privacy - 6th International Conference, ICISSP 2020, Revised Selected Papers. Furnell, S., Mori, P., Weippl, E. & Camp, O. (red.). Springer, s. 139-155 17 s. (Communications in Computer and Information Science, Bind 1545 CCIS).

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

    1 Citationer (Scopus)
  • Kraken: Online and elastic resource reservations for multi-tenant datacenters

    Fuerst, C., Schmid, S., Suresh, L. & Costa, P., 27 jul. 2016, IEEE INFOCOM 2016 - 35th Annual IEEE International Conference on Computer Communications. IEEE, Bind 2016-July. 9 s. 7524466

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

    31 Citationer (Scopus)
  • Kraaler: A User-Perspective Web Crawler

    Panum, T. K., Hansen, R. R. & Pedersen, J. M., 5 aug. 2019, 2019 Network Traffic Measurement and Analysis Conference (TMA). Secci, S., Chrisment, I., Fiore, M., Tabourier, L. & Lim, K-W. (red.). IEEE, s. 153-160 8 s. 8784660

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

    4 Citationer (Scopus)
  • L*-Based Learning of Markov Decision Processes

    Tappler, M., Aichernig, B. K., Bacci, G., Eichlseder, M. & Larsen, K. G., 23 sep. 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings: FM 2019: Formal Methods – The Next 30 Years. ter Beek, M. H., McIver, A. & Oliveira, J. N. (red.). Springer, s. 651-669 19 s. (Lecture Notes in Computer Science, Bind 11800).

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

    Åben adgang
    Fil
    13 Citationer (Scopus)
    169 Downloads (Pure)
  • Language-based support for service oriented architectures: Future directions

    Giambiagi, P., Owe, O., Ravn, A. P. & Schneider, G., 2006, Proceedings of ICSOFT. Filipe, J., Shishkov, B. & Helfert, M. (red.). Institute for Systems and Technologies of Information, Control and Communication, Bind 1. s. 339-344 5 s.

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

    7 Citationer (Scopus)
  • Language Emptiness of Continuous-Time Parametric Timed Automata

    Benes, N., Bezdek, P., Larsen, K. G. & Srba, J., 2015, Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II. Halldórsson, M. M., Iwama, K., Kobayashi, N. & Speckmann, B. (red.). Springer, s. 69-81 12 s. (Lecture Notes in Computer Science; Nr. 9135).

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

    34 Citationer (Scopus)
  • Latency performance of encoding with random linear network coding

    Nielsen, L., Hansen, R. R. & Lucani, D. E., 1 jan. 2018, European Wireless 2018 : 24th European Wireless Conference . VDE Verlag GMBH, s. 120-124 5 s.

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

    1 Citationer (Scopus)
  • Learning Aggregation Functions

    Pellegrini, G., Tibo, A., Frasconi, P., Passerini, A. & Jaeger, M., 2021, Proceedings of the Thirty International Joint Conference on Artificial Intelligence (IJCAI-21). International Joint Conferences on Artificial Intelligence

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

    Åben adgang
  • Learning and Reasoning with Graph Data: Neural and Statistical-Relational Approaches

    Jaeger, M., 1 jun. 2022, International Research School in Artificial Intelligence in Bergen, AIB 2022. Bourgaux, C., Ozaki, A. & Penaloza, R. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (Open Access Series in Informatics, Bind 99).

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

    1 Citationer (Scopus)
  • Learning-Based Cleansing for Indoor RFID Data

    Baba, A. I., Jaeger, M., Lu, H., Pedersen, T. B., Ku, W-S. & Xie, X., 2016, ACM SIGMOD Conference. Association for Computing Machinery, s. 925-936 12 s.

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

    34 Citationer (Scopus)
  • Learning Markov models for stationary system behaviors

    Chen, Y., Mao, H., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 2012, NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Goodloe, A. E. & Person, S. (red.). Springer, s. 216-230 15 s. (Lecture Notes in Computer Science, Bind 7226).

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

    Fil
    13 Citationer (Scopus)
    546 Downloads (Pure)
  • Learning Probabilistic Automata for Model Checking

    Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 2011, 8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, s. 111-120 10 s.

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

    Fil
    42 Citationer (Scopus)
    951 Downloads (Pure)
  • Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds

    Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Rasmussen, M. R. & Srba, J., 2021, IFAC-PapersOnLine: 7th IFAC Conference on Analysis and Design of Hybrid Systems. 5 udg. Elsevier, Bind 54. s. 13-18 6 s. (IFAC-PapersOnLine; Nr. 5, Bind 54).

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

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