Language-Based Technology

  1. 2011
  2. Published

    Towards Formal Validation of Trust and Security of the Internet of Services. / Carbone, Roberto; Minea, Marius; Mödersheim, Sebastian Alexander; Ponta, Serena Elisa; Turuani, Mathieu; Viganò, Luca.

    The Future Internet: Future Internet Assembly 2011: Achievements and Technological Promises. Springer, 2011. p. 193-207 (Lecture Notes in Computer Science; No. 6656).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2011

  3. Published

    Using Dafny, an Automatic Program Verifier. / Herbert, Luke Thomas; Leino, K. Rustan M.; Carvalho Quaresma, Jose Nuno.

    2011. Paper presented at 8th LASER Summer School on Software Engineering, Elba Island, Italy.

    Publication: Research - peer-reviewPaper – Annual report year: 2012

  4. Published

    Verification of Stochastic Process Calculi. / Skrypnyuk, Nataliya; Nielson, Flemming (Supervisor); Nielson, Hanne Riis (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2011. (IMM-PHD-2011-252).

    Publication: ResearchPh.D. thesis – Annual report year: 2011

  5. Published

    Verifying SeVeCom Using Set-based Abstraction. / Mödersheim, Sebastian Alexander; Modesti, Paolo.

    Kgs. Lyngby, Denmark : Technical University of Denmark, DTU Informatics, Building 321, 2011. (IMM-Technical Report-2011-01).

    Publication: ResearchReport – Annual report year: 2011

  6. Published

    Verifying SeVeCom Using Set-based Abstraction. / Mödersheim, Sebastian Alexander; Modesti, Paolo.

    2011 7th International Wireless Communications and Mobile Computing Conference (IWCMC). IEEE, 2011. p. 1164-1169.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  7. Published

    Vertical Protocol Composition. / Groß, Thomas; Mödersheim, Sebastian Alexander.

    Proceedings of the 24th Computer Security Foundations Symposium 2011. 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  8. Published

    Visualisation for Stochastic Process Algebras: The Graphic Truth. / Smith, Michael James Andrew; Gilmore, Stephen.

    Computer Performance Engineering: 8th European Performance Engineering Workshop, EPEW 2011 Borrowdale, UK, October 12-13, 2011 Proceedings. Springer, 2011. p. 310-324 (Lecture Notes in Computer Science; No. 6977).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  9. 2010
  10. E-pub ahead of print

    A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks. / Yuksel, Ender; Nielson, Hanne Riis; Nielson, Flemming.

    In: Computer Journal, Vol. 54, No. 4, 04.2010, p. 589-601.

    Publication: Research - peer-reviewJournal article – Annual report year: 2010

  11. Published

    Abstraction and Model Checking in the PEPA Plug-in for Eclipse. / Smith, Michael James Andrew.

    Proceedings of the 7th International Conference on Quantitative Evaluation of Systems (QEST 2010). IEEE Computer Society Press, 2010. p. 155-156.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  12. Published

    Abstraction by Set-Membership : Verifying Security Protocols and Web Services with Databases. / Mödersheim, Sebastian Alexander.

    Proceedings of the 17th ACM Conference on Computer and Communications Security. New York : Association for Computing Machinery, 2010. p. 351-360.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

Previous 1...4 5 6 7 8 9 10 11 ...17 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word