Distributed, Embedded and Intelligent Systems

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • The HomePort System

    Brønsted, J., Madsen, P. P., Skou, A. & Torbensen, R. S., 2010, 2010 7th IEEE Consumer Communications and Networking Conference (CCNC). IEEE Press, 5 s.

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

    Åben adgang
    Fil
    6 Citationer (Scopus)
    1274 Downloads (Pure)

  • The Impressive Power of Stopwatches

    Cassez, F. & Larsen, K. G., 2000, CONCUR 2000 - Concurrency Theory : 11th International Conference University Park, PA, USA, August 22-25, 2000 : Proceedings: Lecture Notes in Computer Science. Palamidessi, C. (ed.) (red.). 1877 udg. IEEE Computer Society Press, s. 138-152

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

    139 Citationer (Scopus)

  • The inverse problem for neural networks

    Forets, M. & Schilling, C., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (red.). Springer, s. 241-255 15 s. (Lecture Notes in Computer Science, Bind 14380).

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

    Åben adgang
    1 Citationer (Scopus)

  • The Measurable Space of Stochastic Processes

    Cardelli, L. & Mardare, R. I., 2010, Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the. IEEE Press, s. 171-180 10 s.

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

    19 Citationer (Scopus)

  • The Optimized Link State Routing Protocol: Evaluation through Experiments and Simulation

    Clausen, T. H., Hansen, G., Christensen, L. & Behrmann, G., 2001, IEEE Symposium on Wireless Personal Mobile Communications.

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

    960 Citationer (Scopus)

  • The Power of Reachability Testing for Timed Automata

    Aceto, L., Bouyer, P., Burgueno, A. & Larsen, K. G., 1998, Foundations of Software Technology and Theoretical Computer Science : Proceedings of the 18th Conference, Chennai, India, December 17-19, 1998: Lecture Notes in Computer Science. Arvind, V. : Ramanujam, R. (eds.) (red.). 1530 udg. IEEE Computer Society Press, s. 245-256

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

    29 Citationer (Scopus)

  • The Power of String Solving: Simplicity of Comparison

    Kulczynski, M., Manea, F., Nowotka, D. & Poulsen, D. B., 2020, AST '20: Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test. Association for Computing Machinery, s. 85–88 4 s.

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

    9 Citationer (Scopus)

  • The Quantitative Linear-Time–Branching-Time Spectrum

    Thrane, C., Fahrenberg, U. & Legay, A., 2011, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011). Chakraborty, S. & Kumar, A. (red.). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Bind 13. s. 103--114 19 s. (Leibniz International Proceedings in Informatics, Bind 13).

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

    26 Citationer (Scopus)

  • The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer

    Jones, N. D. & Hansen, R. R., 2007, Programming Languages and Systems: 5th Asian Symposium, APLAS 2007. Shao, Z. (red.). Springer, s. 303-318 (Lecture Notes in Computer Science; Nr. 4807).

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

    2 Citationer (Scopus)

  • 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. (red.). Springer, s. 27-43 (Lecture Notes in Computer Science; Nr. 9417).

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

    Åben adgang
    Fil
    2 Citationer (Scopus)
    460 Downloads (Pure)

  • The use of static constructs in a model process logic

    Hüttel, H. & Larsen, K. G., 1 jan. 1989, Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings. Meyer, A. R. & Taitslin, M. A. (red.). Physica-Verlag, s. 163-180 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 363 LNCS).

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

    47 Citationer (Scopus)

  • The vAMP Attack: Taking control of cloud systems via the unified packet parser

    Thimmaraju, K., Shastry, B., Fiebig, T., Hetzelt, F., Seifert, J. P., Feldmann, A. & Schmid, S., 3 nov. 2017, CCSW 2017 - Proceedings of the 2017 Cloud Computing Security Workshop, co-located with CCS 2017. Association for Computing Machinery, s. 11-15 5 s.

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

    6 Citationer (Scopus)

  • Timed Automata Learning via SMT Solving

    Tappler, M., Aichernig, B. K. & Lorber, F., 2022, NASA Formal Methods: 14th International Symposium, NFM 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (red.). Springer, s. 489-507 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13260 LNCS).

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

    4 Citationer (Scopus)

  • Timed automata with observers under energy constraints

    Bouyer, P., Fahrenberg, U., Larsen, K. G. & Markey, N., 2010, Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010. Association for Computing Machinery

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

    39 Citationer (Scopus)

  • Timed Comparisons of Semi-Markov Processes

    Pedersen, M. R., Fijalkow, N., Bacci, G., Larsen, K. G. & Mardare, R. I., 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. Martin-Vide, C., Klein, S. T. & Shapira, D. (red.). Springer Publishing Company, s. 271-283 13 s. (Lecture Notes in Computer Science; Nr. 10792).

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

    Åben adgang
    Fil
    1 Citationer (Scopus)
    176 Downloads (Pure)

  • Timed Control with Observation Based and Stuttering Invariant Strategies

    David, A., Larsen, K. G., Cassez, F., Lime, D. & Raskin, J-F., 2007, Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings. Springer, s. 192-206 (Lecture Notes in Computer Science; Nr. 4762).

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

    32 Citationer (Scopus)

  • Timed I/O automata: a complete specification theory for real-time systems

    David, A., Larsen, K. G., Nyman, U., Legay, A. & Wasowski, A., 2010, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control : HSCC '10. Association for Computing Machinery

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

    Åben adgang
    Fil
    148 Citationer (Scopus)
    841 Downloads (Pure)

  • Timed Testing under Partial Observability

    David, A., Larsen, K. G., Li, S. & Nielsen, B., 2009, Proceedings of 2009 International Conference on Software Testing Verification and Validation. IEEE Computer Society Press, s. 61-70 10 s.

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

    Åben adgang
    Fil
    21 Citationer (Scopus)
    520 Downloads (Pure)

  • Time Optimal Reachability Analysis Using Swarm Verification

    Zhang, Z., Nielsen, B. & Larsen, K. G., 3 apr. 2016, Proceedings of the 31st Annual ACM Symposium on Applied Computing. New York, NY, USA: Association for Computing Machinery, Bind SAC '16. s. 1634-1640 7 s.

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

    4 Citationer (Scopus)

  • Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation

    Schioler, H., Totu, L., Dimon, J., Larsen, K. G. & Taankvist, J. H., 26 okt. 2018, 2018 IEEE Conference on Control Technology and Applications (CCTA). IEEE, s. 146-152 7 s. 8511477

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

    1 Citationer (Scopus)

  • Time-Optimal Test Cases for Real-Time Systems

    Hessel, A., Larsen, K. G., Nielsen, B., Pettersson, P. & Skou, A., 2003, Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03). Bind 2791. s. 234-245

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

  • Time to Learn - Learning Timed Automata from Tests

    Tappler, M., Aichernig, B. K., Larsen, K. G. & Lorber, F., aug. 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Proceedings. André, É., Stoelinga, M. & Stoelinga, M. (red.). Heidelberg: Springer, s. 216-235 20 s. (Lecture Notes in Computer Science, Bind 11750).

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

    19 Citationer (Scopus)

  • 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, s. 17-24 8 s.

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

    11 Citationer (Scopus)

  • Toolchain for User-Centered Intelligent Floor Heating Control

    Agesen, M. K., Larsen, K. G., Mikučionis, M., Muniz, M., Olsen, P., Pedersen, T., Srba, J. & Skou, A. J., 2016, IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society. IEEE, s. 5296-5301 6 s.

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

    8 Citationer (Scopus)

  • Tool Supported Analysis of Web Services Protocols

    Marques, A. P., Ravn, A. P., Srba, J. & Vighio, S., 2011, Proceedings of the 5th International Workshop of Harnessing Theories for Tool Support in Software (TTSS'11). Oslo: University of Oslo, s. 50-64 15 s.

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

  • Topological Self-Stabilization with Name-Passing Process Calculi

    Rickmann, C., Wagner, C., Nestmann, U. & Schmid, S., 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 15 s. (Leibniz International Proceedings in Informatics, Bind 59).

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

    Åben adgang
    2 Citationer (Scopus)

  • To Store or Not to Store

    Behrmann, G., Larsen, K. G. & Pelánek, R., 2003, Proceedings of CAV 2003: Lecture Notes in Computer Science. 2725 udg. s. 433-445

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

    39 Citationer (Scopus)

  • Towards Adversarial Phishing Detection

    Panum, T. K., Hageman, K., Hansen, R. R. & Pedersen, J. M., aug. 2020, 13th USENIX Workshop on Cyber Security Experimentation and Test. USENIX - The Advanced Computing Systems Association, 10 s.

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

    Åben adgang
    Fil
    6 Citationer (Scopus)
    54 Downloads (Pure)

  • Towards Reliable Integrated Services for Dependable Systems

    Schiøler, H., Ravn, A. P., Izadi-Zamanabadi, R., Nielsen, K. M., Madsen, O. B. & Nielsen, J. F. D., 2003, EuroMicro 03 Satelite Event on Real Time Lans in the Internet Age (RTLIA) Porto, Portugal, July 2003.

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

  • Towards transiently secure updates in asynchronous SDNs

    Shukla, A., Schütze, A., Ludwig, A., Dudycz, S., Schmid, S. & Feldmann, A., 22 aug. 2016, SIGCOMM '16 Proceedings of the 2016 ACM SIGCOMM Conference. Association for Computing Machinery, s. 597-598 2 s. 2959083

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

    4 Citationer (Scopus)

  • Transforming graphical system models to graphical attack models

    Ivanova, M. G., Probst, C. W., Hansen, R. R. & Kammüller, F., 2016, Graphical Models for Security: GraMSec 2015. Springer, s. 82-96 15 s. (Lecture Notes in Computer Science, Bind 9390).

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

    23 Citationer (Scopus)

  • Transiently Consistent SDN Updates: Being Greedy is Hard

    Amiri, S., Ludwig, A., Marcinkowski, J. & Schmid, S., 2016, Structural Information and Communication Complexity: International Colloquium on Structural Information and Communication Complexity (SIROCCO). Springer, s. 391-406 (Lecture Notes in Computer Science, Bind 9988).

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

    13 Citationer (Scopus)

  • Transiently Secure Network Updates

    Ludwig, A., Dudycz, S., Rost, M. & Schmid, S., 2016, Proceedings of the 2016 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Science. Association for Computing Machinery, s. 273-284

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

    46 Citationer (Scopus)

  • T-UPPAAL: Online Model-based Testing of Real-Time Systems.

    Mikucionis, M., Larsen, K. G. & Nielsen, B., 2004, 19th IEEE International Conference on Automated Software Engineering (ASE 2004) Proceedings. Grunbacher, P. (red.). IEEE Computer Society Press, s. 396-397 3 s.

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

    60 Citationer (Scopus)

  • Type inference for correspondence types

    Hüttel, H., Gordon, A. & Hansen, R. R., 2009, Proceedings of the 6th Workshop on Security Issues in Concurrency (SecCo'08). Elsevier, s. 21-36 15 s. (Electronic Notes in Theoretical Computer Science; Nr. 242, Bind 3).

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

    1 Citationer (Scopus)

  • Types for Access Control in a Calculus of Mobile Resources

    Hüttel, H. & Kühnrich, M., 2005, Electronic Notes in Theoretical Computer Science: Proceedings of SecCo'05. 13 s.

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

  • Types for resources in psi-calculi

    Bidragets oversatte titel: Typer for resurser i Ψ-kalkylerHüttel, H., 2013, TGC 2013: 8th International Symposium on Trustworthy Global Computing (TGC 2013). Abadi, M. & Lluch Lafuente, A. (red.). Springer Publishing Company, Bind 8358. s. 83-102

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

  • 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, Bind 8358 LNCS. s. 83-102 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8358 LNCS).

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

    5 Citationer (Scopus)

  • Unblockable Compositions of Software Components

    Dong, R., Faber, J., Liu, Z., Srba, J., Zhan, N. & Zhu, J., 2012, Proceedings of the 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE'12). USA: Association for Computing Machinery, s. 103-108 6 s. (Software Engineering Notes).

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

    6 Citationer (Scopus)

  • Uncertainty Quantification for Traffic Forecasting: A Unified Approach

    Qian, W., Zhang, D., Zhao, Y., Zheng, K. & Yu, J. J. Q., 2023, Proceedings - 2023 IEEE 39th International Conference on Data Engineering, ICDE 2023. IEEE Computer Society Press, s. 992-1004 13 s. (Proceedings of the International Conference on Data Engineering).

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

    4 Citationer (Scopus)

  • Undecidability Results for Bisimilarity on Prefix Rewrite Systems

    Jancar, P. & Srba, J., 2006, Foundations of Software Science and Computation Structures: Proceedings of the 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. IEEE Computer Society Press, s. 277-291 15 s. (Lecture Notes in Computer Science; Nr. 3921).

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

    1 Citationer (Scopus)

  • Undecidable equivalences for basic parallel processes

    Hüttel, H., 1994, Theoretical Aspects of Computer Software - International Symposium TACS 1994, Proceedings. Hagiya, M. & Mitchell, J. C. (red.). Springer, s. 454-464 11 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 789 LNCS).

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

    29 Citationer (Scopus)

  • Understanding the Challenges of Blocking Unnamed Network Traffic.

    Hageman, K., Kidmose, E., Hansen, R. R. & Pedersen, J. M., 2022, NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium: Network and Service Management in the Era of Cloudification, Softwarization and Artificial Intelligence, NOMS 2022. Varga, P., Granville, L. Z., Galis, A., Godor, I., Limam, N., Chemouil, P., Francois, J. & Pahl, M-O. (red.). IEEE, s. 1-5 9789854. (IEEE/IFIP Network Operations and Management Symposium).

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

    Åben adgang
    Fil
    9 Downloads (Pure)

  • Unification & sharing in timed automata verification

    David, A., Behrmann, G., Larsen, K. G. & Yi, W., 2003, 10th International SPIN Workshop 2003. IEEE Computer Society Press, s. 225-229 (Lecture Notes in Computer Science; Nr. 2648).

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

    Åben adgang
    Fil
    11 Citationer (Scopus)
    247 Downloads (Pure)

  • Unrestricted stone duality for Markov processes

    Furber, R., Kozen, D., Larsen, K. G., Mardare, R. I. & Panangaden, P., 8 aug. 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Press, 8005152

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

    6 Citationer (Scopus)

  • UPPAAL: Present and Future

    Behrmann, G., David, A., Larsen, K. G., Möller, O., Pettersson, P. & Yi, W., 2001, Proceedings of the 40th IEEE Conference on Decision and Control. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association

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

  • Uppaal: Now, Next, and Future

    Amnell, T., Behrmann, G., Bengtsson, J., D'Argenio, P. R., David, A., Fehnker, A., Hune, T., Jeannet, B., Larsen, K. G., Möller, M. O., Pettersson, P., Weise, C. & Yi, W., 2001, Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000 Nantes, France, June 19 - 23, 2000 : Revised Tutorial Lectures: Lecture Notes in Computer Science. Cassez, F. : Jard, C. : Rozoy, B. : Ryan, M. (red.). 2067 udg. IEEE Computer Society Press, s. 100-125

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

  • UPPAAL 4.0

    David, A., Larsen, K. G., Behrmann, G., Håkansson, J., Pettersson, P., Yi, W. & Hendriks, M., 2006, Third International Conference on the Quantitative Evaluation of SysTems (QEST) 2006. IEEE Computer Society Press, s. 125-126 2 s.

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

  • UPPAAL Implementation Secrets

    Behrmann, G., Bengtsson, J., David, A., Larsen, K. G., Pettersson, P. & Yi, W., 2002, Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, September 9--12 2002, University of Oldenburg, Germany.

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

    49 Citationer (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. (red.). London, UK: Springer, s. 206-211 6 s. (Lecture Notes in Computer Science; Nr. 9035).

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

    114 Citationer (Scopus)