Language-Based Technology
Former organisation. 31-12-12.
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
Organisation profile
The Language-Based Technology research group focuses on the modelling, analysis, and realisation of concurrent, distributed, mobile, service-oriented, or embedded systems.
The main properties of interest are the correctness, security, safety, and performance guarantees of software-based systems—for systems where reliability is a must.
We develop and use advanced analysis tools and prototypes for meeting these challenges.
Contact information
Asmussens Alle, 305
DK-2800, Kgs. Lyngby
Denmark
- Phone: +45 4525 3351
- Fax: +45 4588 2673
Publications
(167)- Published
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Deciding Security for a Fragment of ASLan
Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study
Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
Most frequent journals
Lecture Notes in Computer Science
ISSNs: 0302-9743, 0302-9743
Springer, Germany
FI (2012): 1, ISI indexed (2012): no
Central database
Journal: Book series
Journal of Logic and Algebraic Programming
ISSNs: 1567-8326
Elsevier BV North-Holland, Netherlands
FI (2012): 2, ISI indexed (2012): yes
Central database
Journal
Science of Computer Programming
ISSNs: 0167-6423
Elsevier BV, Netherlands
FI (2012): 2, ISI indexed (2012): yes
Central database
Journal
Projects
(1)Most frequent publishers
Most downloaded publications
- 630
Automated Analysis of Security in Networking Systems
Publication: Research › Ph.d. thesis – Annual report year: 2004
downloads - 590
Proceedings of The 13. Nordic Workshop on Secure IT Systems, NordSec 2008, Kongens Lyngby Oct 9-10, 2008
Publication: Research › Report – Annual report year: 2008
downloads - 544
Language-based Security for VHDL
Publication: Research › Ph.d. thesis – Annual report year: 2007
downloads - 460
Analysis of Security Protocols by Annotations
Publication: Research › Ph.d. thesis – Annual report year: 2008
downloads - 433
Language Based Techniques for Systems Biology
Publication: Research › Ph.d. thesis – Annual report year: 2007
downloads
Latest activities and conferences
ID: 4700