NEWS
New Feature!!!! University Subject Rankings in 12 branches
FOR SCIENTIST REGISTRATION FOR INSTITUTIONAL BULK REGISTRATION
FOR EDIT YOUR UNIVERSITY / INSTITUTION PAGE
Some differences of the AD Scientific Index
New Feature!!!! University Subject Rankings in 12 branches
List without CERN, Statistical Data etc. Only in AD Scientific Index
New Feature!!!! University Subject Rankings in 12 branches
AD
Scientific Index 2024
About Us
Methodology
Compare & Choose
Contact - FAQ
login
Login
person_add
Register
insights
i10 Productivity Rankings
format_list_numbered
Citation Rankings
school
University Rankings
subject
University Subject Rankings
insights
Subject Rankings
place
Country Rankings
format_list_numbered
Top 100 Scientists
format_quote
Top 100 Institutions
local_fire_department
Country Top Lists
Thomas Noll
Rheinisch Westfalische Technische Hochschule Aachen - Aachen / Germany
Others
AD Scientific Index ID: 1763179
RWTH Aachen University
Edit Form
Registration, Add Profile,
Premium Membership
Ranking &
Analysis
Job
Experiences (0)
Education
Information (0)
Published Books (0)
Book Chapters (0)
Articles (0)
Presentations (0)
Lessons (0)
Projects (0)
Congresses (0)
Editorship, Referee &
Scientific Board (0 )
Patents /
Designs (0)
Academic Grants
& Awards (0)
Artistic
Activities (0)
Certificate / Course
/ Trainings (0)
Association &
Society Memberships (0)
Contact, Office
& Social Media
person_outline
Thomas Noll's MOST POPULAR ARTICLES
1-)
Safety, dependability and performance analysis of extended AADL modelsM Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M RoveriThe Computer Journal 54 (5), 754-775, 20112442011
2-)
The COMPASS approach: Correctness, modelling and performability of aerospace systemsM Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M RoveriInternational conference on computer safety, reliability, and security, 173-186, 20091222009
3-)
Spacecraft early design validation using formal methodsM Bozzano, A Cimatti, JP Katoen, P Katsaros, K Mokos, VY Nguyen, ...Reliability engineering & system safety 132, 20-35, 2014692014
4-)
A model checker for AADLM Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri, ...Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010462010
5-)
A verification tool for ErlangLÅ Fredlund, D Gurov, T Noll, M Dam, T Arts, G ChugunovInternational Journal on Software Tools for Technology Transfer 4, 405-420, 2003442003
ARTICLES
Add your articles
We use cookies to personalize our website and offer you a better experience. If you accept cookies, we can offer you special services.
Cookie Policy
Accept