Thomas Noll
Thomas Noll
Verified email at cs.rwth-aachen.de
Title
Cited by
Cited by
Year
Safety, dependability and performance analysis of extended AADL models
M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri
The Computer Journal 54 (5), 754-775, 2011
2182011
The COMPASS approach: Correctness, modelling and performability of aerospace systems
M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri
International conference on computer safety, reliability, and security, 173-186, 2009
992009
Spacecraft early design validation using formal methods
M Bozzano, A Cimatti, JP Katoen, P Katsaros, K Mokos, VY Nguyen, ...
Reliability engineering & system safety 132, 20-35, 2014
502014
A verification tool for Erlang
LÅ Fredlund, D Gurov, T Noll, M Dam, T Arts, G Chugunov
International Journal on Software Tools for Technology Transfer 4 (4), 405-420, 2003
422003
A model checker for AADL
M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri, ...
International Conference on Computer Aided Verification, 562-565, 2010
382010
Formal verification and validation of AADL models
M Bozzano, R Cavada, A Cimatti, JP Katoen, V Nguyen, T Noll, X Olive
292010
Codesign of dependable systems: a component-based modeling language
M Bozzano, A Cimatti, M Roveri, JP Katoen, VY Nguyen, T Noll
2009 7th IEEE/ACM International Conference on Formal Methods and Models for …, 2009
292009
Delayed nondeterminism in model checking embedded systems assembly code
T Noll, B Schlich
Haifa Verification Conference, 185-201, 2007
292007
Juggrnaut: Graph grammar abstraction for unbounded heap structures
J Heinen, T Noll, S Rieger
Electronic Notes in Theoretical Computer Science 266, 93-107, 2010
232010
Juggrnaut: Graph grammar abstraction for unbounded heap structures
J Heinen, T Noll, S Rieger
Electronic Notes in Theoretical Computer Science 266, 93-107, 2010
232010
Abstracting complex data structures by hyperedge replacement
S Rieger, T Noll
International Conference on Graph Transformation, 69-83, 2008
222008
Speeding up the safety verification of programmable logic controller code
T Lange, MR Neuhäußer, T Noll
Haifa Verification Conference, 44-60, 2013
212013
Reduction of interrupt handler executions for model checking embedded software
B Schlich, T Noll, J Brauer, L Brutschy
Haifa Verification Conference, 5-20, 2009
212009
Abstraction and model checking of Core Erlang programs in Maude
M Neuhäußer, T Noll
Electronic Notes in Theoretical Computer Science 176 (4), 147-163, 2007
212007
Truth—A verification platform for concurrent systems
M Lange, M Leucker, T Noll, S Tobies
Tool Support for System Specification, Development and Verification, 150-159, 1999
211999
IC3 software model checking on control flow automata
T Lange, MR Neuhauber, T Noll
2015 Formal Methods in Computer-Aided Design (FMCAD), 97-104, 2015
192015
Interval analysis of microcontroller code using abstract interpretation of hardware and software
J Brauer, T Noll, B Schlich
Proceedings of the 13th International Workshop on Software & Compilers for …, 2010
192010
Truth/SLC—A parallel verification platform for concurrent systems
M Leucker, T Noll
International Conference on Computer Aided Verification, 255-259, 2001
192001
The Erlang verification tool
T Noll, L Fredlund, D Gurov
International Conference on Tools and Algorithms for the Construction and …, 2001
19*2001
Safety, dependability and performance analysis of aerospace systems
T Noll
International Workshop on Formal Techniques for Safety-Critical Systems, 17-31, 2014
162014
The system can't perform the operation now. Try again later.
Articles 1–20