Plsek08-QoSA-08

Summary

Carmen: Software Component Model Checker. Ales Plsek and Jiri Adamek. In Proceedings of the $4^{th}$ International Conference on the Quality of Software-Architectures (QoSA'08), pages 71-85, Karlsruhe, Germany, October 2008. (Rank (CORE) : A).

Bibtex entry

@INPROCEEDINGS { Plsek08-QoSA-08,
    AUTHOR = { Ales Plsek and Jir\'i Ad\'amek },
    MONTH = { oct },
    DATE = { October 22 },
    ADDRESS = { Karlsruhe, Germany },
    YEAR = { 2008 },
    TITLE = { {Carmen: Software Component Model Checker} },
    BOOKTITLE = { Proceedings of the $4^{th}$ International Conference on the Quality of Software-Architectures (QoSA'08) },
    PUBLISHER = { Springer-Verlag },
    SERIES = { Lecture Notes in Computer Science },
    VOLUME = { 5281 },
    EDITOR = { Steffen Becker and Frantisek Plasil and Ralf Reussner },
    PAGES = { 71--85 },
    LANGUAGE = { english },
    AERES = { ACT },
    INRIA = { ADAM },
    LABO = { dans },
    SELECTIF = { oui },
    NOTE = { Rank (CORE) : A },
    URL = { http://hal.inria.fr/inria-00282373 },
    BOARD = { yes },
    PROCEEDINGS = { yes },
    AUDIENCE = { yes },
}

News

  • 2013/12/09: Ceremony for the PRES ULNF International Research Thesis Award 2013 granted to Gabriel Tamura for his PhD Thesis - U. Lille 1, Building P3, Maxwell Amphitheater
  • 2013/12/05: Rémi Druilhe PhD defense
  • 2013/11/27: Maria Gomez Lacruz received the Best Poster Award at the Welcome PhD session organized by PRES UNLF
  • 2013/11/04: Filip Krikava joins ADAM
  • 2013/10/29: The ApiSwarm project is selected in the context of the Windows Azure Research Award Program
  • 2013/10/15: Maria Gomez Lacruz joins ADAM
  • 2013/10/01: Maxime Colmant, Vincenzo Musco, Loïc Huertas and Bo Zhang join ADAM
  • 2013/09/01: Daniel Le Berre and Jifeng Xuan join ADAM
  • 2013/07/05: Russel Nzekwa PhD defense