Distributed, Embedded and Intelligent Systems

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Filter
Article in proceeding

Search results

  • Article in proceeding

    A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems

    Wognsen, E. R., Haverkort, B., Jongerden, M., Hansen, R. R. & Larsen, K. G., 22 Aug 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Springer, p. 305-320 (Lecture Notes in Computer Science, Vol. 9268).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    17 Citations (Scopus)

  • A Secure Relay Protocol for Door Access Control

    Wognsen, E. R., Karlsen, H. S., Calverley, M., Follin, M., Thomsen, B. & Hüttel, H., Nov 2012, Proceedings of the XII Brazilian Symposium on Information and Computer System Security: SBSeg 2012. Sociedade Brasileira de Computação (ed.). Porto Alegre, Brasilien: SBC - Sociedade Brasileira de Computação, p. 196-209 14 p. (Anais do SBSeg).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Downloads (Pure)

  • A Self-Organizing Distributed and In-Band SDN Control Plane

    Canini, M., Salem, L., Schiff, L., Schiller, E. M. & Schmid, S., 2017, IEEE 37th International Conference on Distributed Computing Systems (ICDCS), 2017. IEEE, p. 2656-2657 2 p. (Proceedings of the International Conference on Distributed Computing Systems).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    16 Citations (Scopus)

  • A semantic-preserving transformation from the Compositional Interchange Format to UPPAAL

    Nadales Agut, D. E., Reniers, M. A., Schiffelers, R. R. H., Jørgensen, K. Y. & Van Beek, D. A., 1 Jan 2011, IFAC Proceedings Volumes (IFAC-PapersOnline). Elsevier, Vol. 18. p. 12496-12502 7 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    6 Citations (Scopus)

  • A Semantics for a Real-Time Actor Language

    Knoll, I., Ravn, A. P. & Skou, A., 2008, 20th Nordic Workshop on Programming TheoryNWPT 2008: Abstracts. Department of Computer Science, Tallinn University of Technology, p. 60-62 3 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • A Sigfox Module for the Network Simulator 3

    Naeem, M., Albano, M., Magrin, D., Nielsen, B. & Larsen, K. G., 22 Jun 2022, Proceedings of the 2022 Workshop on ns-3. Association for Computing Machinery, p. 81-88 8 p. (ACM International Conference Proceeding Series).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • AsmL Specification of a Ptolemy II Scheduler

    Lázaro Cuadrado, D., Koch, P. & Ravn, A. P., 2003, Abstract State Machines 2003 (ASM 2003): LNCS. Börger, E. : Gargantini, A. : Riccobene, E. (eds.) (ed.). 2589 ed. Springer, p. 417

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    1 Citation (Scopus)

  • A Software System for Predicting Patient Flow at the Emergency Department of Aalborg University Hospital

    Madsen, A. L., Olesen, K. G., Møller, J. M., Søndberg-Jeppesen, N., Jensen, F., Larsen, T. M., Henriksen, P., Lindblad, M. & Christensen, T. S., 2020, Proceedings of the 10th International Conference on Probabilistic Graphical Models, PMLR. Jaeger, M. & Dyhre Nielsen, T. (eds.). ML Research Press, p. 617-620 (The Proceedings of Machine Learning Research, Vol. 138).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • A Structure Editor with Type-Safe Copy/Paste

    Hüttel, H., Nielsen, A. E. L., Sandberg, N. G., Andersen, C. L. & Mikkelsen, P., 31 Aug 2022, Proceedings of the 2022 34th Symposium on Implementation and Application of Functional Languages, IFL 2022. Association for Computing Machinery, 5. (ACM International Conference Proceeding Series).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • A Study of Extensive LoRaWAN Downlink Communication in a Mobility Scenario

    Thomassen, M. S. E., Winkler, K. S., Magrin, D. & Albano, M., 14 Nov 2022, Proceedings of MobiQuitous 2022. EAI - European Alliance for Innovation, p. 455-468 14 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • A Test Suite for Safety-Critical Java using JML

    Ravn, A. P. & Søndergaard, H., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, p. 80-88 (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    5 Citations (Scopus)

  • A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems

    Klößner, T., Torralba, Á., Steinmetz, M. & Sievers, S., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, p. 203-211 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; No. 1, Vol. 33).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • A Tool Architecture for the Next Generation of Uppaal

    Behrmann, G., David, A., Larsen, K. G. & Wang, Y., 2003, UNU/IIST 10th Anniversary Colloquium. Formal Methods at the Cross Roads: From Panacea to Foundational Support: LNCS. <Forlag uden navn>

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    12 Citations (Scopus)

  • A Toolchain for Home Automation Controller Development

    Dalsgaard, P. H., Le Guilly, T., Middelhede, D., Olsen, P., Pedersen, T., Ravn, A. P. & Skou, A., 2013, 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). Demirors, O. & Turetken, O. (eds.). IEEE Computer Society Press, p. 122-129 8 p. (Euromicro Conference. Proceedings).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    7 Citations (Scopus)

  • Attack Tree Generation by Policy Invalidation

    Ivanova, M. G., Probst, C., Hansen, R. R. & Kammüller, F., 2015, Information Security Theory and Practice: 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings. Akram, R. N. & Jajodia, S. (eds.). Springer, p. 249-259 (Lecture Notes in Computer Science; No. 9311).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    17 Citations (Scopus)

  • A Tutorial on UPPAAL

    Behrmann, G., David, A. & Larsen, K. G., 2004, Formal Methods for the Design of Real-Time Systems: Lecture Notes in Computer Science (revised lectures). Marco Bernardo, Flavio Corradini (eds.) (ed.). 3185 ed. Springer, p. 200-237

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    1165 Citations (Scopus)

  • A Two-Way Path Between Formal and Informal Design of Embedded Systems

    Chen, M., Ravn, A. P., Wang, S., Yang, M. & Zhan, N., 2017, Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Bowen, J. P. & Zhu, H. (eds.). Springer, p. 65-92 (Lecture Notes in Computer Science, Vol. 10134).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking

    Jensen, P. G., Srba, J., Ulrik, N. J. & Virenfeldt, S. M., 2022, Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Proceedings. Finkbeiner, B. & Wies, T. (eds.). Springer, p. 151-173 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13182 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Automata Learning through Counterexample Guided Abstraction Refinement

    Aarts, F., Heidarian, F., Kuppens, H., Olsen, P. & Vaandrager, F., 2012, FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Springer, Vol. 7436. p. 10-27 18 p. (Lecture Notes in Computer Science, Vol. 7436).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    45 Citations (Scopus)

  • Automated Distributed Simulation in Ptolemy II

    Lázaro Cuadrado, D., Ravn, A. P. & Koch, P., 2007, Proceedings of IASTED International Conference on Parallel and Distributed Computing and Networks: PDCN 2007. Burkhart, H. (ed.). ACTA Press, p. 139-144

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Automated Test Generation Timed Automata

    Nielsen, B. & Skou, A., 2001, Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. Margaria, T. : Yi, W. (eds.) (ed.). 2031 ed. IEEE Computer Society Press, p. 343-357

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Automated Test Generation Timed Automata: Tool and Case Study

    Nielsen, B. & Skou, A., 2000, 21st IEEE Real-Time Systems Symposium 2000, Work in Progress-Session, Walt Disney World, Orlando, Florida, USA, November 2000.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Automatic Abstraction Refinement for Timed Automata

    Larsen, K. G., kupferschmid, S. & Dierks, H., 2007, Formal Modeling and Analysis of Timed Systems. IEEE Computer Society Press, p. 114-129 15 p. (Lecture Notes in Computer Science; No. 4763).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    46 Citations (Scopus)

  • Automatic Energy-Efficient Job Scheduling in HPC: A Novel SLURM Plugin Approach

    Springborg, A. A., Albano, M. & Xavier-de-Souza, S., 12 Nov 2023, Proceedings of 2023 SC Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023. Association for Computing Machinery, p. 1831-1838 8 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Automatic Instance Generation for Classical Planning

    Torralba, A., Seipp, J. & Sievers, S., 17 May 2021, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS 21). 1 ed. Palo Alto: AAAI Press, Vol. 31. p. 376-384 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    12 Citations (Scopus)

  • Automatic Metamorphic Test Oracles for Action-Policy Testing

    Eisenhut, J., Torralba, Á., Christakis, M. & Hoffmann, J., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, p. 109-117 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; No. 1, Vol. 33).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Automatic Synthesis of Transiently Correct Network Updates via Petri Games

    Didriksen, M., Jensen, P. G., Jønler, J. F., Katona, A. I., Lama, S. D. L., Lottrup, F. B., Shajarat, S. & Srba, J., 2021, Application and Theory of Petri Nets and Concurrency: 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings. Buchs, D. & Carmona, J. (eds.). Springer, p. 118-137 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12734 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Automatic Verification of Real-Time Systems Using Epsilon

    Godskesen, J. C., Larsen, K. G. & Skou, A., 1994, Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94. Voung, S.-T. : Chanson, S.-T. (Eds.) (ed.). Chapman & Hall, p. 232-330

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Average-energy games

    Bouyer, P., Markey, N., Randour, M., Larsen, K. G. & Laursen, S., 2015, Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification . Open Publishing Association, p. 1-15 (Electronic Proceedings in Theoretical Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    7 Citations (Scopus)

  • A Walk in the Clouds: Routing through VNFs on Bidirected Networks

    Förster, K-T., Parham, M. & Schmid, S., 2018, Algorithmic Aspects of Cloud Computing: Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers. Springer, p. 11-26 (Lecture Notes in Computer Science, Vol. 10739).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    3 Citations (Scopus)
    107 Downloads (Pure)

  • Axiomatizing Tropical Semirings

    Aceto, L., Esik, Z. & Ingolfsdottir, A., 2001, Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. Honsell, F. : Miculan, M.(eds.) (ed.). 2030 ed. IEEE Computer Society Press, p. 42-56

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    1 Citation (Scopus)

  • Baital: An adaptive weighted sampling approach for improved t-wise coverage

    Baranov, E., Legay, A. & Meel, K. S., 8 Nov 2020, ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Devanbu, P., Cohen, M. & Zimmermann, T. (eds.). Association for Computing Machinery, p. 1114-1126 13 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    23 Citations (Scopus)

  • Balancing Flexible Production and Consumption of Energy using Resource Timed Automata

    Hansen, J., Larsen, K. G. & Cuijpers, P. J. L., 7 Jun 2022, 2022 11th Mediterranean Conference on Embedded Computing, MECO 2022. IEEE, (Mediterranean Conference on Embedded Computing (MECO) - Proceedings).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Battery Aware Analysis of Sensor Networks in Uppaal SMC

    Naeem, M., Albano, M., Larsen, K. G., Nielsen, B., Hoedholt, A. & Laursen, C. Ø., 7 Jun 2021, 2021 10th Mediterranean Conference on Embedded Computing, MECO 2021. IEEE, p. 1-6 6 p. 9460152. (Mediterranean Conference on Embedded Computing (MECO) - Proceedings).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Battery-Aware Scheduling of Mixed Criticality Systems

    Wognsen, E. R., Hansen, R. R. & Larsen, K. G., 2014, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Springer Publishing Company, Vol. 8803. p. 208-222 (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    13 Citations (Scopus)

  • Bayesian models of data streams with Hierarchical Power Priors

    Masegosa, A., Nielsen, T. D., Langseth, H., Ramos-López, D., Salmerón, A. & Madsen, A. L., 2017, Proceedings of the 34th International Conference on Machine Learning. Vol. 70. p. 2334-2343

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    5 Citations (Scopus)

  • Behavioural modelling and verification of real-time software product lines

    Cordy, M., Schobbens, P-Y., Heymans, P. & Legay, A., 1 Jan 2012, SPLC '12 Proceedings of the 16th International Software Product Line Conference. Association for Computing Machinery, Vol. 1. p. 66-75 10 p. (ACM International Conference Proceeding Series (ICPS)).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    34 Citations (Scopus)

  • Beyond Liveness: Efficient Parameter Synthesis for Timed Bounded Liveness

    Behrmann, G., Larsen, K. G. & Rasmussen, J. I., 2005, International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05). IEEE Computer Society Press

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Beyond Stars - Generalized Topologies for Decoupled Search

    Gnad, D., Torralba, A. & Fišer, D., 13 Jun 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (eds.). AAAI Press, Vol. 32. p. 110-118 9 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    1 Citation (Scopus)

  • Bisimilarity is not finitely based over BPA with interrupt

    Aceto, L., Fokkink, W., Ingolfsdottir, A. & Nain, S., 2005, Proceedings of Algebra and Coalgebra in Computer Science, 1st Conference, CALCO 2005. Luiz Fiadeiro, J., Harman, N., Roggenbach, M. & Rutten, J. (eds.). IEEE Computer Society Press, p. 54-68 (Lecture Notes in Computer Science; No. 3629).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Bisimulation equivalence is decidable for context-free processes

    Christensen, S., Hüttel, H. & Stifling, C., 1 Jan 1992, CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. Cleaveland, W. R. (ed.). Physica-Verlag, p. 138-147 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 630 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    48 Citations (Scopus)

  • Bisimulation on Markov Processes over Arbitrary Measurable Spaces

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2014, Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Springer Publishing Company, Vol. 8464. p. 76-95 (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • Bisimulations for Asynchronous Mobile Processes

    Hansen, M., Hüttel, H. & Kleist, J., 1995, Proceedings of Tbilisi Symposium on Language, Logic, and Computation.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Bisimulation Through Probabilistic Testing (Preliminary Report)

    Larsen, K. G. & Skou, A., 1989, Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages. <Forlag uden navn>, p. 344-352

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Blockchain-Based Platform for Crowdsourcing Machine Learning Models Design and Training, while Incentivizing Continuous Improvement

    Cibin, N. & Albano, M., 2023, Proceedings - 2023 IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2023. IEEE, p. 31-37 7 p. (IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS)).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Boolean-valued semantics for the stochastic Lambda-calculus

    Bacci, G., Furber, R., Kozen, D., Mardare, R., Panangaden, P. & Scott, D., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery, p. 669-678 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    7 Citations (Scopus)

  • Breeding Unicorns: Developing Trustworthy and Scalable Randomness Beacons

    Dharanikot, S., Jensen, M. T., Kristensen, S. R., Michno, M. S., Pignolet, Y. A., Hansen, R. R. & Schmid, S., 2019, 2019 IEEE International Conference on Blockchain (Blockchain). IEEE, p. 99-106

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Brief announcement: Distributed SplayNets

    Peres, B. S., Goussevskaia, O., Schmid, S. & Avin, C., 1 Oct 2017, 31st International Symposium on Distributed Computing, DISC 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 3 p. (Leibniz International Proceedings in Informatics, Vol. 91).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    1 Citation (Scopus)
    28 Downloads (Pure)

  • Broadcast and Aggregation in BBC

    Hüttel, H. & Kiilerich Pratas, N., 2015, Eighth International Workshop on Programming Language Approaches to Communication- and Concurrency-cEntric Systems. Gay, S. & Alglave, J. (eds.). Electronic Proceedings in Theoretical Computer Science, p. 51-61

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access

  • 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. (eds.). Netherlands: Springer, p. 573-582 10 p. (Lecture Notes in Computer Science; No. 9399).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    30 Citations (Scopus)