Distributed, Embedded and Intelligent Systems

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Search results

  • Article in proceeding

    SolveDB+: SQL-based prescriptive analytics

    Siksnys, L., Pedersen, T. B., Nielsen, T. D. & Frazzetto, D., 2021, Advances in Database Technology - EDBT 2021: 24th International Conference on Extending Database Technology, Proceedings. Velegrakis, Y., Zeinalipour, D., Chrysanthis, P. K. & Guerra, F. (eds.). OpenProceedings.org, p. 133-144 12 p. (Advances in Database Technology).

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

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

  • Solving Influence Diagrams with Simple Propagation

    Madsen, A. L., Butz, C. J., Oliveira, J. & dos Santos, A. E., 2019, Advances in Artificial Intelligence - 32nd Canadian Conference on Artificial Intelligence, Canadian AI 2019, Proceedings. Rudzicz, F. & Meurs, M-J. (eds.). Cham: Springer, p. 68-79 12 p. (Lecture Notes in Computer Science, Vol. 11489).

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

  • Solving Planning Problems Using Real-Time Model Checking: Translating PDDL3 into Timed Automata

    Dierks, H., Behrmann, G. & Larsen, K. G., 2002, AIPS 2002 Workshop on Planning via Model Checking.

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

  • Solving String Theories Involving Regular Membership Predicates Using SAT

    Kulczynski, M., Lotz, K., Nowotka, D. & Poulsen, D. B., 23 Aug 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (eds.). 1 ed. Springer, Vol. 13255. p. 134-151 18 p. (Lecture Notes in Computer Science, Vol. 13255).

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

    2 Citations (Scopus)

  • SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes

    Ashok, P., Kretínsky, J., Larsen, K. G., Coent, A. C. L., Taankvist, J. H. & Weininger, M., 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (eds.). Heidelberg: Springer, p. 147-164 18 p. (Lecture Notes in Computer Science, Vol. 11785).

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

    16 Citations (Scopus)

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

  • SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks

    Bauer-Marquart, F., Boetius, D., Leue, S. & Schilling, C., 2022, Model Checking Software: 28th International Symposium, SPIN 2022. Legunsen, O. & Rosu, G. (eds.). Springer, p. 79-96 18 p. (Lecture Notes in Computer Science, Vol. 13255).

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

    Open Access
    2 Citations (Scopus)

  • Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

    Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muniz, M. & Srba, J., 18 Jul 2018, International Conference on Computer Aided Verification: CAV 2018: Computer Aided Verification. Springer, p. 527-546 (Lecture Notes in Computer Science, Vol. 10981).

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

    Open Access
    File
    6 Citations (Scopus)
    219 Downloads (Pure)

  • Static validation of licence conformance policies

    Hansen, R. R., Nielson, F., Nielson, H. R. & Probst, C. W., 2008, ARES 2008: Proceedings of the Third International Conference on Availability, Security and Reliability. IEEE Computer Society Press, p. 1104-1111

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

    9 Citations (Scopus)

  • Statistical Model Checking: Past, Present, and Future

    Larsen, K. G. & Legay, A., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Springer, p. 3–15 (Lecture Notes in Computer Science, Vol. 9952).

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

    27 Citations (Scopus)

  • Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems

    Larsen, K. G., 2012, Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Springer, Vol. 7595. p. 7-10 (Lecture Notes in Computer Science).

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

    7 Citations (Scopus)

  • Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals

    Arora, S., Hansen, R. R., Larsen, K. G., Legay, A. & Poulsen, D. B., 23 Aug 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (eds.). Springer, p. 61-78 18 p. (Lecture Notes in Computer Science, Vol. 13255).

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

  • Statistical Model Checking for Stochastic Hybrid Systems

    David, A., Du, D., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 3 Sept 2012, Proceedings First International Workshop on Hybrid Systems and Biology. Bartocci, E. & Bortolussi, L. (eds.). Newcastle Upon Tyne, p. 122-136 15 p. (Electronic Proceedings in Theoretical Computer Science; No. 92).

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

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

  • Statistical model checking QoS properties of systems with SBIP

    Bensalem, S., Bozga, M., Delahaye, B., Jegourel, C., Legay, A. & Nouri, A., 2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer Publishing Company, p. 327-341 15 p. (Lecture Notes in Computer Science, Vol. 7609).

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

    20 Citations (Scopus)

  • Statistical model checking the 2018 edition!

    Guldstrand Larsen, K. & Legay, A., 1 Jan 2018, ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification. Margaria, T. & Steffen, B. (eds.). Springer, p. 261-270 10 p. (Lecture Notes in Computer Science, Vol. 11245 LNCS).

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

    5 Citations (Scopus)

  • Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter

    Novak, M., Nyman, U. M., Dragicevic, T. & Blaabjerg, F., Sept 2018, Proceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe). IEEE Press, p. 1-10 10 p. 8515598

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

    Open Access
    File
    9 Citations (Scopus)
    148 Downloads (Pure)

  • Statistical Performance Verification of the FS-MPC Algorithm Applied to the Matrix Converter

    Novak, M., Grobelna, I., Nyman, U., Szcześniak, P. & Blaabjerg, F., 1 Jul 2022, 2022 International Power Electronics Conference (IPEC-Himeji 2022- ECCE Asia). IEEE Press, p. 76-82 7 p.

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

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

  • Staying Alive as Cheaply as Possible

    Larsen, K. G., Bouyer, P. & Brinksma, E., 2004, Proceedings of the 7th International Conference on Hybrid Systems: Computation and Control: Lecture Notes in Computer Science. 2993 ed. Springer, p. 203-218 16 p.

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

    51 Citations (Scopus)

  • Stitching Inter-Domain Paths over IXPs

    Kotronis, V., Klöti, R., Rost, M., Georgopoulos, P., Ager, B., Schmid, S. & Dimitropoulos, X., 2016, SOSR '16 Proceedings of the Symposium on SDN Research. Association for Computing Machinery, 12 p. 17

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

    15 Citations (Scopus)

  • Stochastic Pi-calculus Revisited

    Cardelli, L. & Mardare, R. I., 2013, Theoretical Aspects of Computing - ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Liu, Z., Woodcock, J. & Zhu, H. (eds.). Springer Berlin Heidelberg: Springer Publishing Company, Vol. 8049. p. 1-21 21 p. (Lecture Notes in Computer Science, Vol. 8049).

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

    4 Citations (Scopus)

  • STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego

    Goorden, M., Jensen, P. G., Larsen, K. G., Samusev, M., Srba, J. & Zhao, G., 2022, International Symposium on Automated Technology for Verification and Analysis: Automated Technology for Verification and Analysis . Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer, p. 327-333 7 p. (Lecture Notes in Computer Science).

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

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

  • Stone Duality for Markov Processes

    Kozen, D., Larsen, K. G., Mardare, R. I. & Panangaden, P., 2013, Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on. IEEE, p. 321-330 (Annual Symposium on Logic in Computer Science).

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

    19 Citations (Scopus)

  • Strategising RoboCup in Real Time with Uppaal Stratego

    Holler, P. I., Jensen, M. K., Lockey, H. M. & Albano, M., 4 Feb 2021, Proceedings of 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART. Rocha, A. P., Steels, L. & van den Herik, J. (eds.). SCITEPRESS Digital Library, Vol. 1. p. 273-280 8 p. (International Conference on Agents and Artificial Intelligence - Proceeding).

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

    Open Access
    File
    53 Downloads (Pure)

  • Strong Completeness for Markovian Logics

    Kozen, D., Mardare, R. I. & Panangaden, P., 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. LNCS 8087. p. 655-666 12 p. (Lecture Notes in Computer Science, Vol. 8087).

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

    11 Citations (Scopus)

  • Stubborn Set Reduction for Timed Reachability and Safety Games

    Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings. Dima, C. & Shirmohammadi, M. (eds.). Springer, Vol. 12860. p. 32-49 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12860 LNCS).

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

    1 Citation (Scopus)

  • Study the Past if You Would Define the Future: Implementing Secure Multi-party SDN Updates

    Schiff, L. & Schmid, S., 18 Jul 2016, Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016. IEEE, p. 111-116 6 p. 7515418

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

    4 Citations (Scopus)

  • Stuttering for Abstract Probabilistic Automata

    Delahaye, B., Larsen, K. G. & Legay, A., 2013, Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Springer Publishing Company, Vol. 7734. p. 149-163 (Lecture Notes in Computer Science, Vol. 7734).

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

    1 Citation (Scopus)

  • Supervisor synthesis under partial observation of uncontrollable events using full observation synthesis

    Goorden, M. & Reniers, M. A., 2024, (Accepted/In press) Proceedings of 17th IFAC Workshop on Discrete Event Systems.

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

    Open Access
    File
    26 Downloads (Pure)

  • Surrogater i Øjeblik: mod migrerering i Obliq

    Translated title of the contribution: Surrogates in ØjeblikHüttel, H., Kleist, J., Nestmann, U. & Sangiorgi, D., 1998, Proceedings of the Workshop on Semantics of Objects as Processes: Brics Notes Series. Hüttel, Hans : Nestmann, Uwe (eds.) (ed.). NS-98-5 ed. Department of Computer Science, Aarhus University, p. 43-50

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

  • Surrogates in Øjeblik: Towards Migration in Obliq

    Hüttel, H., Kleist, J., Nestmann, U. & Sangiorgi, D., 1998, Proceeding of FOOL5.

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

  • Symbolic Dependency Graphs for PCTL Model-Checking

    Mariegaard, A. & Larsen, K. G., 2017, Formal Modeling and Analysis of Timed Systens. Springer Publishing Company, Vol. 10419. p. 153-169 17 p. (Lecture Notes in Computer Science, Vol. 10419).

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

    4 Citations (Scopus)

  • Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

    Jensen, M. C., Mariegaard, A. & Larsen, K. G., 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (eds.). Springer, p. 298-315 18 p. (Lecture Notes in Computer Science, Vol. 11460).

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

    5 Citations (Scopus)

  • symQV: Automated Symbolic Verification of Quantum Programs

    Bauer-Marquart, F., Leue, S. & Schilling, C., 2023, Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Chechik, M., Katoen, J-P. & Leucker, M. (eds.). Springer, p. 181-198 18 p. (Lecture Notes in Computer Science, Vol. LNCS 14000).

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

    Open Access
    3 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)

  • Synchronous interface theories and time triggered scheduling

    Delahaye, B., Fahrenberg, U., Henzinger, T. A., Legay, A. & Ničković, D., 2012, Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Giese, H. & Rosu, G. (eds.). Springer Publishing Company, p. 203-218 16 p. (Lecture Notes in Computer Science, Vol. 7273).

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

    3 Citations (Scopus)

  • Synthesis for Multi-weighted Games with Branching-Time Winning Conditions

    Kaufmann, I., Larsen, K. G. & Srba, J., 2020, Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Proceedings. Janicki, R., Sidorova, N. & Chatain, T. (eds.). Springer VS, p. 46-66 21 p. (Lecture Notes in Computer Science, Vol. 12152).

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

  • Synthesis of Optimal Strategies Using HyTech

    Bouyer, P., Cassez, F., Larsen, K. G. & Fleury, E., 2005, Proceedings of the Workshop on Games in Design and Verification. Elsevier, p. 11-31 (Electronic Notes of Theoretical Computer Science; No. 1, Vol. 119).

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

    14 Citations (Scopus)

  • Synthesis of Parametric Hybrid Automata from Time Series

    García Soto, M., Henzinger, T. A. & Schilling, C., 2022, Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer, p. 337-353 17 p. (Lecture Notes in Computer Science, Vol. 13505).

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

    Open Access
    1 Citation (Scopus)

  • Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games

    Larsen, K. G., 2019, Proceedings of 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5 p. 2. (Leibniz International Proceedings in Informatics, Vol. 140).

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

    Open Access
    File
    45 Downloads (Pure)

  • Taking control of SDN-based cloud systems via the data plane

    Thimmaraju, K., Shastry, B., Fiebig, T., Hetzelt, F., Seifert, J. P., Feldmann, A. & Schmid, S., 28 Mar 2018, Proceedings of the Symposium on SDN Research, SOSR 2018. Association for Computing Machinery, 15 p. 3185468

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

    32 Citations (Scopus)

  • Taking It to the Limit: Approximate Reasoning for Markov Processes

    Larsen, K. G., Mardare, R. I. & Panangaden, P., 2012, Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. Rovan, B., Sassone, V. & Widmayer, P. (eds.). Springer, p. 681-692 (Lecture Notes in Computer Science, Vol. 7464).

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

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

  • TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets

    David, A., Jacobsen, L., Jacobsen, M., Jørgensen, K. Y., Møller, M. H. & Srba, J., 2012, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12). Flanagan, C. & König, B. (eds.). Netherlands: Springer, p. 492-497 6 p. (Lecture Notes in Computer Science, Vol. 7214).

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

    54 Citations (Scopus)

  • Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs

    Jaeger, M., Jensen, P. G., Larsen, K. G., Legay, A. B. E., Sedwards, S. & Taankvist, J. H., 28 Oct 2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings: ATVA 2019: Automated Technology for Verification and Analysis. Chen, Y-F., Cheng, C-H. & Esparza, J. (eds.). Springer, p. 81-97 17 p. (Lecture Notes in Computer Science, Vol. 11781).

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

    Open Access
    File
    16 Citations (Scopus)
    306 Downloads (Pure)

  • Test Generation for Time Critical Systems: Tool and Case Study

    Nielsen, B. & Skou, A., 2001, 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 2001. p. 155-162

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

    9 Citations (Scopus)

  • Testing and Verification of Probabilistic Processes

    Larsen, K. G. & Skou, A., 1992, NSDCS'92. Heegaard, Poul : Helvik, Bjarne (eds.) (ed.). NTH, p. 235-250

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

  • Testing Hennesy-Milner Logic with Recursion

    Aceto, L. & Ingolfsdottir, A., 1999, Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS ' 99 : Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999: Lecture Notes in Computer Science. Thomas, W. (ed.) (ed.). 1578 ed. IEEE Computer Society Press, p. 41-55

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