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

    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 proceeding › Konferenceartikel i proceeding › Forskning

  • 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Fil
    8 Citationer (Scopus)
    364 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    14 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning

  • 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    270 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning

    Åben adgang
    Fil
    367 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    11 Citationer (Scopus)
    543 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    2 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    30 Citationer (Scopus)
    549 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning

    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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    17 Citationer (Scopus)
    185 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    35 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Fil
    13 Citationer (Scopus)
    555 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Fil
    42 Citationer (Scopus)
    959 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

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

  • Learning Style Classification by Using Bayesian Networks Based on the Index of Learning Style

    Usme, Y. P. V., Normann, M., Sapsai, I., Abke, J., Madsen, A. L. & Weidl, G., 19 jun. 2023, Proceedings of the 5th European Conference on Software Engineering Education, ECSEE 2023. Association for Computing Machinery, s. 73-82 10 s.

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

    1 Citationer (Scopus)

  • Learning Symbolic Timed Models from Concrete Timed Data

    Dierl, S., Howar, F. M., Kauffman, S., Kristjansen, M., Guldstrand Larsen, K., Lorber, F. & Mauritz, M., 16 maj 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (red.). Springer Science+Business Media, s. 104-121 18 s. (Lecture Notes in Computer Science (LNCS), Bind 13903 LNCS).

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

    1 Citationer (Scopus)

  • LegoFi the WiFi building blocks! The case for a modular WiFi architecture

    Schulz-Zander, J., Schmid, S., Kempf, J., Riggio, R. & Feldmann, A., 3 okt. 2016, Proceedings of the Workshop on Mobility in the Evolving Internet Architecture, MobiArch 2016. Association for Computing Machinery, s. 7-12 6 s. 2980142

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

    4 Citationer (Scopus)

  • Lessons learned in the application of formal methods to the design of a storm surge barrier control system

    Goorden, M., van de Mortel-Fronczak, J., van Eldik, K., Fokkink, W. & Rooda, J., 2022, IFAC-PapersOnLine: 16th IFAC Workshop on Discrete Event Systems. Elsevier, s. 93-99 7 s. (IFAC-PapersOnLine; Nr. 28, Bind 55).

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

    Åben adgang
    Fil
    45 Downloads (Pure)

  • Lightweight link dimensioning using sFlow sampling

    de Oliviera Schmidt, R., Sadre, R., Sperotto, A. & Pras, A., 2013, Proceedings of the 9th International Conference on Network and Services Management (CNSM 2013). IEEE Communications Society, s. 152-155 4 s.

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

    4 Citationer (Scopus)

  • Limit Your Consumption! Finding Bounds in Average-energy Games

    Larsen, K. G., Laursen, S. & Zimmermann, M., 2 nov. 2016, Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL'16 2016, Eindhoven, The Netherlands, April 2-3, 2016. Tribastone, M. & Wiklicky, H. (red.). s. 1-14 14 s. (Electronic Proceedings in Theoretical Computer Science, Bind 227).

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

    Åben adgang
    6 Citationer (Scopus)

  • Linear Uniform Receptiveness in a Pi-Calculus with Location Failures

    Hüttel, H., Garm Nielsen, J., Finderup, P. & Svane Knudsen, J., 2010, Proceedings of CATS 2010 - Computing: The Australasian Theory Symposium. Australian Computer Society, Bind 109. (Conferences in Research and Practice in Information Technology , Bind 109).

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

  • Linking network usage patterns to traffic Gaussianity fit

    De O. Schmidt, R., Sadre, R., Melnikov, N., Schönwälder, J. & Pras, A., 1 jan. 2014, 2014 IFIP Networking Conference, IFIP Networking 2014. IEEE Computer Society Press, s. 1-9 6857099

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

    11 Citationer (Scopus)

  • Linking spatial and dynamic models for traffic maneuvers

    Olderog, E-R., Ravn, A. P. & Wisniewski, R., dec. 2015, 2015 54th Annual Conference on Decision and Control (CDC). IEEE, s. 6809-6816

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

    2 Citationer (Scopus)

  • Load-Optimal Local Fast Rerouting for Resilient Networks

    Pignolet, Y. A., Schmid, S. & Tredan, G., 30 aug. 2017, Proceedings - 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017. IEEE, s. 345-356 12 s. 8023135

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

    11 Citationer (Scopus)

  • Local Model Checking of Weighted CTL with Upper-Bound Constraints

    Jensen, J. F., Larsen, K. G., Srba, J. & Østergaard, L., 2013, Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings. Bartocci, E. & Ramakrishnan, C. R. (red.). Holland: Springer Publishing Company, s. 178-195 18 s. (Lecture Notes in Computer Science, Bind 7976).

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

    7 Citationer (Scopus)

  • Local pi-Calculus at work: Mobile Objects as Mobile Processes

    Kleist, J., Merro, M. & Nestmann, U., 2000, Theoretical Computer Science : Exploring New Frontiers of Theoretical Informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : Proceedings: Lecture Notes in Computer Science. Leeuwen, J. van : Watanabe, O. : Hagiya, M. : Mosses, P. D. : Ito, T. (eds.) (red.). 1872 udg. IEEE Computer Society Press, s. 390-408

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

  • Lower and Upper Bounds in Zone Based Abstractions of Timed Automata

    Behrmann, G., Bouyer, P., Larsen, K. G. & Pelánek, R., 2004, Proceedings of TACAS 2004: Lecture Notes in Computer Scinece. Jensen, K. & Podelski, A. (red.). 2988 udg. Springer, s. 312-326 15 s.

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

    37 Citationer (Scopus)