Language-Based Technology

Former organisational unit. 31/12/12.

Close

Organisation profile

Frontpage

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
View graph of relations

Publications

(168)

View all »

Most frequent journals

Most downloaded publications

Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word
Download as: To download, please limit the number of search results to 1,000 or less.

Latest activities and conferences

ID: 4700