Follow
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
2692011
The COMPASS approach: Correctness, modelling and performability of aerospace systems
M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri
Computer Safety, Reliability, and Security: 28th International Conference …, 2009
1302009
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
852014
A model checker for AADL
M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri, ...
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
472010
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, 405-420, 2003
452003
Formal verification and validation of AADL models
M Bozzano, R Cavada, A Cimatti, JP Katoen, V Nguyen, T Noll, X Olive
ERTS2 2010, Embedded Real Time Software & Systems, 2010
412010
Reduction of interrupt handler executions for model checking embedded software
B Schlich, T Noll, J Brauer, L Brutschy
Hardware and Software: Verification and Testing: 5th International Haifa …, 2011
352011
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
342007
Delayed nondeterminism in model checking embedded systems assembly code
T Noll, B Schlich
Haifa Verification Conference, 185-201, 2007
332007
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
322009
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
312015
Juggrnaut: Graph grammar abstraction for unbounded heap structures
J Heinen, T Noll, S Rieger
Electronic Notes in Theoretical Computer Science 266, 93-107, 2010
282010
Speeding up the safety verification of programmable logic controller code
T Lange, MR Neuhäußer, T Noll
Hardware and Software: Verification and Testing: 9th International Haifa …, 2013
262013
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
262010
Abstracting complex data structures by hyperedge replacement
S Rieger, T Noll
International Conference on Graph Transformation, 69-83, 2008
262008
A review of statistical model checking pitfalls on real-time stochastic models
D Bohlender, H Bruintjes, S Junges, J Katelaan, VY Nguyen, T Noll
Leveraging Applications of Formal Methods, Verification and Validation …, 2014
212014
A local Greibach normal form for hyperedge replacement grammars
C Jansen, J Heinen, JP Katoen, T Noll
Language and Automata Theory and Applications: 5th International Conference …, 2011
192011
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, 1998
191998
Safety, dependability and performance analysis of aerospace systems
T Noll
Formal Techniques for Safety-Critical Systems: Third International Workshop …, 2015
182015
Truth/SLC—A parallel verification platform for concurrent systems
M Leucker, T Noll
Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001
182001
The system can't perform the operation now. Try again later.
Articles 1–20