Distributed, Embedded and Intelligent Systems

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Filter
Article in proceeding

Search results

  • 2016

    ENCOURAGEing results on ICT for energy efficient buildings

    Le Guilly, T., Skou, A. J., Olsen, P., Madsen, P. P., Albano, M., Ferreira, L. L., Pinho, L. M., Pedersen, K. L., Casals, M., Macarulla, M. & Gongolells, M., 2016, Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference. IEEE, 8 p.

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

    2 Citations (Scopus)

  • Energy-Aware Scheduling of FIR Filter Structures using a Timed Automata Model

    Wognsen, E. R., Hansen, R. R., Larsen, K. G. & Koch, P., 20 Apr 2016, 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). IEEE, p. 163-168 6 p.

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

    File
    2 Citations (Scopus)
    436 Downloads (Pure)

  • Importance Sampling for Stochastic Timed Automata

    Jegourel, C., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 2016, Dependable Software Engineering: Theories, Tools, and Applications. Fränzle, M., Kapur, D. & Zhan, N. (eds.). Springer, p. 163-178 16 p. (Lecture Notes in Computer Science, Vol. 9984).

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

    File
    8 Citations (Scopus)
    360 Downloads (Pure)

  • Kraken: Online and elastic resource reservations for multi-tenant datacenters

    Fuerst, C., Schmid, S., Suresh, L. & Costa, P., 27 Jul 2016, IEEE INFOCOM 2016 - 35th Annual IEEE International Conference on Computer Communications. IEEE, Vol. 2016-July. 9 p. 7524466

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

    31 Citations (Scopus)

  • Learning-Based Cleansing for Indoor RFID Data

    Baba, A. I., Jaeger, M., Lu, H., Pedersen, T. B., Ku, W-S. & Xie, X., 2016, ACM SIGMOD Conference. Association for Computing Machinery, p. 925-936 12 p.

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

    34 Citations (Scopus)

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

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

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

    4 Citations (Scopus)

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

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

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

    Open Access
    6 Citations (Scopus)

  • Mastering operational limitations of LEO satellites - The GOMX3 approach

    Nies, G., Stenger, M., Krčál, J., Hermanns, H., Bisgaard, M., Gerhardt, D., Haverkort, B., Jongerden, M., Larsen, K. G. & Wognsen, E. R., 2016, 67th International Astronautical Congress, IAC 2016. The International Astronautical Federation, (Proceedings of the International Astronautical Congress, IAC).

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

    4 Citations (Scopus)

  • Modelling Attack-defense Trees Using Timed Automata

    Gadyatskaya, O., Hansen, R. R., Larsen, K. G., Legay, A., Olesen, M. C. & Poulsen, D. B., 2016, Formal Modeling and Analysis of Timed Systems. Springer, p. 35-50 (Lecture Notes in Computer Science, Vol. 9884).

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

    42 Citations (Scopus)

  • NetCo: Reliable Routing with Unreliable Routers

    Feldmann, A., Heyder, P., Kreutzer, M., Schmid, S., Seifert, J. P., Shulman, H., Thimmaraju, K., Waidner, M. & Sieberg, J., 22 Sept 2016, Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016. IEEE, p. 128-135 8 p. 7575362

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

    14 Citations (Scopus)

  • Online and Compositional Learning of Controllers with Application to Floor Heating

    Larsen, K. G., Mikučionis, M., Muniz, M., Srba, J. & Taankvist, J. H., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer, p. 244-259 15 p. (Lecture Notes in Computer Science, Vol. 9636).

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

    39 Citations (Scopus)

  • Online Balanced Repartitioning

    Avin, C., Loukas, A., Pacut, M. & Schmid, S., 2016, Distributed Computing: 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings. Gavoille, C. & Ilcinkas, D. (eds.). Springer, p. 243-256 (Lecture Notes in Computer Science, Vol. 9888).

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

    9 Citations (Scopus)

  • On the Power of Statistical Model Checking

    Larsen, K. G. & Legay, A., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. Springer, p. 843–862 (Lecture Notes in Computer Science, Vol. 9953).

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

    11 Citations (Scopus)

  • Parallel Filter-Based Feature Selection Based on Balanced Incomplete Block Designs

    Salmerón, A., Madsen, A. L., Jensen, F., Langseth, H., Nielsen, T. D., Ramos-López, D., Martinez, A. M. & Masegosa, A., 2016, ECAI 2016: 22nd European Conference on Artificial Intelligence. IOS Press, p. 743-750 8 p. (Frontiers in Artificial Intelligence and Applications, Vol. 285).

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

    Open Access
    1 Citation (Scopus)

  • Preliminary Report: Controller Prototyping and Validation for Photo-Voltaic Comfort Cooling

    Agesen, M. K., Skou, A. J. & Pedersen, K. L., 2016, CLIMA 2016 : proceedings of the 12th REHVA World Congress, 22-25 May 2016, Aalborg, Denmark. Heiselberg, P. K. (ed.). Department of Civil Engineering, Aalborg University, 9 p. 691

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

    Open Access

  • PRI: Privacy Preserving Inspection of Encrypted Network Traffic

    Schiff, L. & Schmid, S., 1 Aug 2016, Proceedings - 2016 IEEE Symposium on Security and Privacy Workshops, SPW 2016. IEEE, p. 296-303 8 p. 7527782

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

    9 Citations (Scopus)

  • Probabilistic Mu-Calculus: Decidability and Complete Axiomatization

    Larsen, K. G., Mardare, R. I. & Xue, B., 2016, 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2016, December 13-15, 2016, Chennai, India. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 25:1-25:18 18 p. (Leibniz International Proceedings in Informatics, Vol. 65).

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

    Open Access
    6 Citations (Scopus)

  • Quantitative Algebraic Reasoning

    Mardare, R. I., Panangaden, P. & Plotkin, G., 2016, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science: LICS'16, New York, NY, USA, July 5-8, 2016. Association for Computing Machinery, p. 700-709 10 p.

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

    48 Citations (Scopus)

  • Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization

    Jensen, P. G., Larsen, K. G. & Srba, J., 8 Apr 2016, Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer, p. 129-146 (Lecture Notes in Computer Science, Vol. 9641).

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

    9 Citations (Scopus)

  • Routing-Verification-as-a-Service (RVaaS): Trustworthy Routing Despite Insecure Providers

    Schiff, L., Thimmaraju, K. & Schmid, S., 22 Sept 2016, Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016. IEEE, p. 113-119 7 p. 7575360

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

  • Scalable MAP inference in Bayesian networks based on a Map-Reduce approach

    Ramos-López, D., Salmerón, A., Rumí, R., Martinez, A. M., Nielsen, T. D., Masegosa, A., Langseth, H. & Madsen, A. L., 2016, JMLR Workshop and Conference Proceedings: Volume 52: Proceedings of the Eighth International Conference on Probabilistic Graphical Models. p. 415-425 12 p. (JMLR Workshop and Conference Proceedings, Vol. 52).

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

    Open Access

  • SecuSpot: Toward Cloud-Assisted Secure Multi-Tenant WiFi HotSpot Infrastructures

    Schulz-Zander, J., Lisicki, R., Schmid, S. & Feldmann, A., 12 Dec 2016, Proceedings of the 2016 ACM Workshop on Cloud-Assisted Networking . Association for Computing Machinery, p. 61-66 6 p.

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

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

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

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

  • 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, Vol. SAC '16. p. 1634-1640 7 p.

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

    4 Citations (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, p. 5296-5301 6 p.

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

    8 Citations (Scopus)

  • 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 p. (Leibniz International Proceedings in Informatics, Vol. 59).

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

    Open Access
    2 Citations (Scopus)

  • 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, p. 597-598 2 p. 2959083

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

    4 Citations (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, p. 82-96 15 p. (Lecture Notes in Computer Science, Vol. 9390).

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

    23 Citations (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, p. 391-406 (Lecture Notes in Computer Science, Vol. 9988).

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

    13 Citations (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, p. 273-284

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

    46 Citations (Scopus)

  • Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures

    Foshammer, L., Larsen, K. G. & Mariegaard, A., 2016, Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters (Cassting'16/SynCoP'16). p. 63-75 13 p. (Electronic Proceedings in Theoretical Computer Science).

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

    Open Access
    2 Citations (Scopus)

  • WUppaal: A web-service for the Uppaal model-checker

    Fogh, P., Cano Hald, T. & Nielsen, B., 11 Apr 2016, 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data). IEEE, p. 1-6 6 p.

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

    1 Citation (Scopus)
  • 2015

    A Method for Model Checking Feature Interactions

    Pedersen, T., Le Guilly, T., Ravn, A. P. & Skou, A. J., Jul 2015, Proceedings of the 10th International Conference on Software Engineering and Applications. Lorenz, P. & Maciaszek, L. (eds.). SCITEPRESS Digital Library, p. 219-228 10 p.

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

    5 Citations (Scopus)

  • 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

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

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

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

  • Compositional metric reasoning with probabilistic process calculi

    Gebler, D., Larsen, K. G. & Tini, S., 2015, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pitts, A. (ed.). Springer, p. 230-245 16 p. (Lecture Notes in Computer Science, Vol. 9034).

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

    18 Citations (Scopus)

  • Co-Simulation of Hybrid Systems with SpaceEx and Uppaal

    Bogomolov, S., Greitschus, M., Jensen, P. G., Larsen, K. G., Mikučionis, M., Strump, T. & Tripakis, S., 2015, 11th International Modelica Conference Proceedings. Linköping University Electronic Press, p. 159-169 17. (Linköping Electronic Conference Proceedings; No. 118).

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

    Open Access
    File
    661 Downloads (Pure)

  • Decidability and Expressiveness of Recursive Weighted Logic

    Xue, B., Larsen, K. G. & Mardare, R. I., 2015, Perspectives of Systems Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Voronkov, A. & Virbitskaite, I. (eds.). Springer, p. 216-231 (Lecture Notes in Computer Science; No. 8974).

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

    2 Citations (Scopus)

  • Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks

    Boudjadar, J., Kim, J. H., David, A., Larsen, K. G., Mikucionis, M., Nyman, U., Skou, A., Lee, I. & Thi Xuan Phan, L., 2015, 18th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2015. IEEE, p. 74-83 (International Symposium on Object-Oriented Real-Time Distributed Computing).

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

    File
    2 Citations (Scopus)
    610 Downloads (Pure)

  • Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools

    Kim, J. H., Larsen, K. G., Nielsen, B., Mikučionis, M. & Olsen, P., 2015, Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings. Núñez, M. & Güdemann, M. (eds.). Springer, p. 47-61 (Lecture Notes in Computer Science; No. 9128).

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

    35 Citations (Scopus)

  • Formal Methods for Modelling and Analysis of Single-Event Upsets

    Hansen, R. R., Larsen, K. G., Olesen, M. C. & Wognsen, E. R., 2015, IEEE International Conference on Information Reuse and Integration (IRI 2015). IEEE, p. 287-294

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

    3 Citations (Scopus)

  • Language Emptiness of Continuous-Time Parametric Timed Automata

    Benes, N., Bezdek, P., Larsen, K. G. & Srba, J., 2015, Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II. Halldórsson, M. M., Iwama, K., Kobayashi, N. & Speckmann, B. (eds.). Springer, p. 69-81 12 p. (Lecture Notes in Computer Science; No. 9135).

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

    34 Citations (Scopus)

  • Linking spatial and dynamic models for traffic maneuvers

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

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

    2 Citations (Scopus)

  • Modelling Socio-Technical Attacks with Timed Automata

    David, N., David, A., Hansen, R. R., Larsen, K. G., Legay, A., Olesen, M. C. & Probst, C., 2015, Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats. Association for Computing Machinery, p. 21-28 7 p.

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

    14 Citations (Scopus)

  • Parametric Verification of Weighted Systems

    Christoffersen, P., Hansen, M., Mariegaard, A., Ringsmose, J. T., Larsen, K. G. & Mardare, R. I., 1 Nov 2015, 2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015. Andre, E. & Frehse, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 77-90 14 p. (Open Access Series in Informatics, Vol. 44).

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

    Open Access
    File
    11 Citations (Scopus)
    91 Downloads (Pure)