Distributed, Embedded and Intelligent Systems

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Filter
Article in proceeding

Search results

  • 2015

    Polynomial Time Decidability of Weighted Synchronization under Partial Observability

    Kretínsky, J., Larsen, K. G., Laursen, S. & Srba, J., 2015, 26th International Conference on Concurrency Theory (CONCUR 2015). Aceto, L. & de Frutos Escrig, D. (eds.). Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 142-154 13 p. (Leibniz International Proceedings in Informatics, Vol. 42).

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

    Open Access
    6 Citations (Scopus)

  • Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context

    Kim, J. H., Boudjadar, J., Nyman, U., Mikucionis, M., Larsen, K. G., Skou, A., Lee, I. & Thi Xuan Phan, L., 4 May 2015, CBSE'15, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. Association for Computing Machinery, p. 91-100

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

    File
    7 Citations (Scopus)
    547 Downloads (Pure)

  • The Timed Decentralised Label Model

    Pedersen, M. L., Sørensen, M. H., Lux, D., Nyman, U. M. & Hansen, R. R., 2015, Secure IT Systems: 20th Nordic Conference on Secure IT-Systems (NordSec 2015). Buchegger, S. & Dam, M. (eds.). Springer, p. 27-43 (Lecture Notes in Computer Science; No. 9417).

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

    Open Access
    File
    2 Citations (Scopus)
    458 Downloads (Pure)

  • To Do and Not To Do: Constrained Scenarios for Safe Smart House

    Le Guilly, T., Smedegaard, J. H., Pedersen, T. & Skou, A. J., Jul 2015, International Conference on Intelligent Environments (IE), 2015. IEEE, p. 17-24 8 p.

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

    11 Citations (Scopus)

  • Uppaal Stratego

    David, A., Jensen, P. G., Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2015, Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015. Baier, C. & Tinelli, C. (eds.). London, UK: Springer, p. 206-211 6 p. (Lecture Notes in Computer Science; No. 9035).

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

    112 Citations (Scopus)

  • Validating Timed Component Contracts

    Le Guilly, T., Liu, S., Olsen, P., Ravn, A. P. & Skou, A. J., 2015, 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2015. IEEE, p. 245-249

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

  • Widening the Schedulability Hierarchical Scheduling Systems

    Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 2015, Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Lanese, I. & Madelaine, E. (eds.). Springer, p. 209-227 18 p. (Lecture Notes in Computer Science; No. 8997).

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

    Open Access
    File
    11 Citations (Scopus)
    320 Downloads (Pure)
  • 2014

    A decidable recursive logic forweighted transition systems

    Larsen, K. G., Mardare, R. & Xue, B., 1 Jan 2014, Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Springer, Vol. 8687. p. 460-476 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

    3 Citations (Scopus)

  • A Decidable Recursive Logic for Weighted Transition Systems

    Xue, B., Larsen, K. G. & Mardare, R. I., 2014, Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (eds.). Springer Publishing Company, Vol. 8687. p. 460-476 17 p. (Lecture Notes in Computer Science).

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

  • Adequacy and Complete Axiomatization for Timed Modal Logic

    Jaziri, S., Larsen, K. G., Mardare, R. I. & Xue, B., 2014, Electronic Notes in Theoretical Computer Science: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX). Jacobs, B., Silva, A. & Staton, S. (eds.). Ithaca, New York: Elsevier, Vol. 308. p. 183-210 28 p. (Electronic Notes in Theoretical Computer Science, Vol. 308).

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

    Open Access
    5 Citations (Scopus)

  • A Metrized Duality Theorem for Markov Processes

    Kozen, D., Mardare, R. I. & Panangaden, P., 2014, Electronic Notes in Theoretical Computer Science. 29 October 2014: Elsevier, Vol. 308. p. 211-227 17 p.

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

  • Arrowhead Compliant Virtual Market of Energy

    Ferreira, L. L., Siksnys, L., Pedersen, P., Stluka, P., Chrysoulas, C., Le Guilly, T., Albano, M., Skou, A., Teixeira, C. & Pedersen, T. B., Sept 2014, Emerging Technology and Factory Automation (ETFA), 2014 IEEE. IEEE, p. 1-8

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

    20 Citations (Scopus)

  • A safety-critical java technology compatibility kit

    Søndergaard, H., Korsholm, S. E. & Ravn, A. P., Oct 2014, Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, p. 1-9

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

  • 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)

  • 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)

  • 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, p. 10-19 10 p.

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

    1 Citation (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, Vol. 1294. p. 140-147 8 p.

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

    Open Access
    File
    8 Citations (Scopus)
    385 Downloads (Pure)

  • 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. (eds.). Springer, Vol. 8657. p. 297-312 (Lecture Notes in Computer Science).

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

    5 Citations (Scopus)

  • Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks

    Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U., Skou, A. & Mikučionis, M., 1 Sept 2014, Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE Computer Society Press, p. 126-130 5 p. (TASE).

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

    Open Access
    File
    10 Citations (Scopus)
    530 Downloads (Pure)

  • Expressing best practices in (risk) analysis and testing of safety-critical systems using patterns

    Herzner, W., Sieverding, S., Kacimi, O., Böde, E., Bauer, T. & Nielsen, B., 2014, Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, p. 299-304 6 p.

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

    File
    4 Citations (Scopus)
    1277 Downloads (Pure)

  • Finding a Forest in a Tree: the matching problem for wide reactive systems

    Bacci, G., Miculan, M. & Rizzi, R., 2014, Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers. Maffei, M. & Tuosto, E. (eds.). Springer Publishing Company, Vol. 8902. p. 17-33 (Lecture Notes in Computer Science).

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

    4 Citations (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. (eds.). Springer Publishing Company, Vol. 8348. p. 61-78 18 p. 6. (Lecture Notes in Computer Science).

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

    Open Access
    File
    17 Citations (Scopus)
    627 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. (eds.). Springer Publishing Company, Vol. 8613. p. 219-228 (Lecture Notes in Computer Science, Vol. 8613).

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

    5 Citations (Scopus)

  • 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, p. 1-9 6838306. (I E E E - I F I P Network Operations and Management Symposium).

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

    5 Citations (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, Vol. 8711. p. 237-251 15 p. (Lecture Notes in Computer Science (LNCS)).

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

    5 Citations (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, p. 172-175 4 p.

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

    1 Citation (Scopus)

  • 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, p. 1-9 6857099

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

    11 Citations (Scopus)

  • Memory Efficient Data Structures for Explicit Verification of Timed Systems

    Taankvist, J. H., Srba, J., Larsen, K. G., Sørensen, M. G. & Jensen, P. G., 2014, NASA Formal Methods. Badger, J. M. & Rozier, K. Y. (eds.). Springer Publishing Company, Vol. 8430. p. 307-312 6 p. (Lecture Notes in Computer Science).

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

    7 Citations (Scopus)

  • Model Checking Process Algebra of Communicating Resources for Real-time Systems

    Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, Proceedings of ECRTS 2014. IEEE Press, p. 51-60 (Euromicro Conference on Real-Time Systems. Proceedings).

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

    Open Access
    File
    466 Downloads (Pure)

  • On Time with Minimal Expected Cost!

    David, A., Jensen, P. G., Larsen, K. G., Legay, A., Lime, D., Sørensen, M. G. & Taankvist, J. H., 2014, Automated Technology for Verification and Analysis. Cassez, F. & Raskin, J-F. (eds.). Springer Publishing Company, Vol. 8837. p. 129-145 16 p. (Lecture Notes in Computer Science).

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

    45 Citations (Scopus)

  • Parametric and Quantitative Extensions of Modal Transition Systems

    Fahrenberg, U., Larsen, K. G., Legay, A. & Traonouez, L-M., 14 Feb 2014, From Programs to Systems.: The Systems perspective in Computing. Bensalem, S., Lakhneck, Y. & Legay, A. (eds.). Springer, Vol. 8415. p. 84-97 (Lecture Notes in Computer Science).

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

    2 Citations (Scopus)

  • Power efficient service differentiation based on traffic-aware survivable elastic optical networks

    Kleist, J., Turus, I., Dittman, L., Morea, A. & Verchere, D., 2014, Reliable Networks Design and Modeling (RNDM), 2014 6th International Workshop on. p. 91-96

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

    1 Citation (Scopus)

  • Probabilistic modal specifications (invited extended abstract)

    Larsen, K. G. & Legay, A., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8348 LNCS. p. 1-4 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8348 LNCS).

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

  • Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata

    David, A., Larsen, K. G., Legay, A., Guangyuan, L. & Poulsen, D. B., 2014, 14th International Conference on Application of Concurrency to System Design (ACSD), 2014. IEEE Computer Society Press, p. 32 - 41 (Proceedings of the International Conference on Application of Concurrency to System Design).

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

    2 Citations (Scopus)

  • Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems

    Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U. & Skou, A., 2014, Proceedings of ERTS2 2014. p. 1-4 4 p.

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

    File
    774 Downloads (Pure)

  • Soundness of Timed-Arc Workflow Nets

    Mateo, J. A., Srba, J. & Sørensen, M. G., 2014, Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN'14). Springer Publishing Company, Vol. 8489. p. 51-70 20 p. (Lecture Notes in Computer Science (LNCS)).

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

    5 Citations (Scopus)

  • Specification of asynchronous component systems with modal I/O-Petri nets

    Haddad, S., Hennicker, R. & Møller, M. H., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8358 LNCS. p. 219-234 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8358 LNCS).

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

    6 Citations (Scopus)

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

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

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

    21 Citations (Scopus)

  • Synchronizing Strategies under Partial Observability

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

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

    Open Access
    File
    17 Citations (Scopus)
    485 Downloads (Pure)

  • Synchronizing words for weighted and timed automata

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

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

    19 Citations (Scopus)

  • Taking on internet bad neighborhoods

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

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

    3 Citations (Scopus)

  • Types for resources in φ-calculi

    Hüttel, H., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8358 LNCS. p. 83-102 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8358 LNCS).

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

    5 Citations (Scopus)

  • Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL

    Larsen, K. G., 17 Jul 2014, PECCS 2014 -- Proceedings of the 4th International Conference on Pervasive and Embedded Computing and Communication Systems. SCITEPRESS Digital Library, p. IS-9

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

  • Verification and Performance Evaluation of Timed Game Strategies

    David, A., Fang, H., Larsen, K. G. & Zhang, Z., 2014, Formal Modeling and Analysis of Timed Systems. Legay, A. & Bozga, M. (eds.). Springer, Vol. 8711. p. 100-114 15 p. (Lecture Notes in Computer Science).

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

    9 Citations (Scopus)
  • 2013

    Action Investment Energy Games

    Larsen, K. G., Laursen, S. & Srba, J., 2013, Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers. Kučera, A., Henzinger, T. A., Nešetřil, J., Vojnar, T. & Antoš, D. (eds.). Netherlands: Springer Publishing Company, Vol. 7721. p. 155-167 13 p. (Lecture Notes in Computer Science, Vol. 7721).

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

    2 Citations (Scopus)

  • 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 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)

  • 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. (eds.). Springer Publishing Company, p. 369-388 20 p. (Lecture Notes in Computer Science, Vol. 7927).

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

    12 Citations (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. (eds.). Springer Publishing Company, Vol. 8087. p. 74-85 (Lecture Notes in Computer Science, Vol. 8087).

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

    24 Citations (Scopus)

  • ExCHARON: Improved modeling language for cyber-physical systems based on CHARON

    Han, Y., Kang, S. & Kim, J. H., 2013, Proceedings - 16th IEEE International Conference on Computational Science and Engineering, CSE 2013. IEEE Press, p. 734-741 8 p. 6755293

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

    2 Citations (Scopus)