MT-LAB

Projekter: ProjektForskning

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2013

    QUAIL: A Quantitative Security Analyzer for Imperative Code

    Biondi, F., Wasowski, A., Traonouez, L.-M. & Legay, A., jul. 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings.. s. 702-707 6 s. (Lecture Notes in Computer Science, Bind 8044).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Variability-aware performance prediction: A statistical learning approach

    Guo, J., Czarnecki, K., Apel, S., Siegmund, N. & Wasowski, A., 2013, Automated Software Engineering (ASE), 2013 IEEE/ACM 28th International Conference on . IEEE Press, s. 301-311 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • 2012

    A Modal Specification Theory for Components with Data

    S. Bauer, S., Larsen, K. G., Legay, A., Nyman, U. M. & Wasowski, A., 2012, Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Springer VS, Bind 7253. s. 61-78 (Lecture Notes in Computer Science, Bind 7253).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Broadcast Abstraction in a Stochastic Calculus for Mobile Networks

    Song, L. & Godskesen, J. C., sep. 2012, Theoretical Computer Science: Proceedings of the 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Springer, Bind 4604. s. 342-356 15 s. (Lecture Notes in Computer Science, Bind 4604).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Moving from Specifications to Contracts in Component-Based Design

    Bauer, S., David, A., Hennicker, R., Larsen, K. G., Legay, A., Nyman, U. M. & Wasowski, A., 2012, Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering. FASE 12. Bind 7212. s. 43-58 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Refinement for Transition Systems with Responses

    Carbone, M., Hildebrandt, T., Perrone, G. D. & Wasowski, A., 2012, Proceedings Fourth Workshop on Foundations of Interface Technologies: Electronic Proceedings in Theoretical Computer Science. EPTCS.. Bind 87.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • 2011

    APAC: A Tool for Reasoning about Abstract Probabilistic Automata

    Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2011, Quantitative Evaluation of Systems (QEST), 2011 8th International Conference. IEEE Computer Society Press, s. 151-152 2 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Bisimulations Meet PCTL Equivalences for Probabilistic Automata

    Song, L., Zhang, L. & Godskesen, J. C., 5 sep. 2011, CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory . Springer, s. 108-123 15 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2010

    Probabilistic Mobility Models for Mobile and Wireless Networks

    Song, L. & Godskesen, J. C., 2010, IFIP Advances in Information and Communication Technology . Springer, Bind 2010. 15 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review