Thomas Noll

Photo of Thomas Noll
Email
noll at cs.rwth-aachen.de
Address
Room 4211 (Faculty of CS, building E1 (2353), 2nd floor)
Ahornstraße 55
D-52074 Aachen
Phone
+49 241 80 21213

I am an associate professor (apl. Prof.) at the Software Modeling and Verification Group (MOVES), headed by Prof. Joost-Pieter Katoen, in the Faculty of Computer Science at RWTH Aachen University. The office is located at the Computer Science Center. My current research interests include:

Conferences and Workshops

Publications

Courses and Seminars

Supervision of Theses

Administration

Publications

2009
DOIMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems, Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009, hamburg, germany, september 15-18, 2009 ; proceedings / bettina buth ... (eds.), 173-186, Springer, 2009.
DOIMarco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Codesign of Dependable Systems: A Component-Based Modeling Language, Seventh ACM-IEEE international conference on formal methods and models for codesign (MEMOCODE 2009): Cambridge, massachusetts, july 13-15, 2009, 121-130, IEEE, 2009.
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Model-Based Codesign of Critical Embedded Systems, Workshop proceedings / ACES-MB 2009 : Proceedings of the 2nd international workshop on model based architecting and construction of embedded systems (ACES-MB 2009) ; held as part of the 2009 international conference on model driven engineering languages and systems (MoDELS'09) ; denver, colorado, USA, october 6, 2009 / ed. by stefan van baelen ..., 87-91, RWTH Aachen, 2009.
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Verification and Performance Evaluation of AADL Models (Tool Demonstration), ESEC-FSE’09 : Proceedings of the joint 12th european software engineering conference and 17th ACM SIGSOFT symposium on the foundations of software engineering ; august 24–28, 2009, amsterdam, the netherlands / spons. by: ACM SIGSOFT, 285-286, ACM, 2009.
2008
DOIThomas Noll, Bastian Schlich. Delayed nondeterminism in model checking embedded systems assembly code, Hardware and software: verification and testing : third international haifa verification conference, HVC 2007, haifa, israel, october 23 - 25, 2007 ; proceedings / karen yorav (ed.), 185-201, Springer, 2008.
DOIThomas Noll, Stefan Rieger. Verifying Dynamic Pointer-Manipulating Threads, FM 2008: formal methods : 15th international symposium on formal methods, turku, finland, may 26-30, 2008 ; proceedings / jorge cuellar ... (eds.), 84-99, Springer, 2008.
DOIStefan Rieger, Thomas Noll. Abstracting Complex Data Structures by Hyperedge Replacement, Graph transformations : 4th international conference, ICGT 2008, leicester, united kingdom, september 7-13, 2008 ; proceedings / hartmut ehrig; reiko heckel; grzegorz rozenberg; gabriele taentzer (eds.), 69-83, Springer, 2008.
2007
DOIThomas Noll, Stefan Rieger. Composing Transformations to Optimize Linear Code, Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, macao, china, september 26-28, 2007 ; proceedings / cliff B. Jones ... (eds.), 425-439, Springer, 2007.
Joost-Pieter Katoen, Thomas Noll, Stefan Rieger. Verifying concurrent list-manipulating programs by LTL model checking, 26 Bl. : graph. Darst., RWTH, Department of Computer Science, 2007.
2001
Benedikt Bollig, Martin Leucker, Thomas Noll. Regular MSC languages, RWTH, 2001.
Martin Leucker, Thomas Noll. Truth/SLC : a parallel verification platform for concurrent systems, Computer aided verification : 13th international conference, CAV 2001, paris, france, july 18 - 22, 2001 ; proceedings / gérard berry ... (eds.), 255-259, Springer, 2001.
2000
Thomas Arts, Thomas Noll. Verifying generic Erlang client-server implementations, 26 Bl., RWTH, Fachgruppe Informatik, 2000.
Mads Dam, Thomas Noll. Context-representable processes, Verification of infinite-state systems : 2.-7.4.2000 ; seminar 00141 / schloß dagstuhl internationales begegnungs- und forschungszentrum für informatik (IBFI) / bouajjani, a. ... Hrsg, 19-22, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), 2000.
Thomas Arts, Thomas Noll. Verifying generic Erlang Client-Server implementations, Proceedings of the 12. International workshop on implementation of functional languages : [IFL 2000] ; aachen, germany, 4.-7.9.2000 / mohnen, M. [u.a.] hrsg, 387-402, RWTH, Fachgruppe Informatik, 2000.
1999
Thomas Noll, Heiko Vogler. On the universality of higher-order attributed tree transducers, 23 S. : graph. Darst., TU, Fak. Informatik, 1999.
Thomas Noll. Kohärenzeigenschaften in termersetzungsbasierten Modellen für verteilte Systeme, 9. Theorietag der GI-fachgruppe 0.1.5 'automaten und formale sprachen' : Schauenburg-elmshagen bei kassel, 27.9.-29.9.1999 / otto, F. [u.a.] hrsg, 52-52, GhK, 1999.
Thomas Noll. On coherence properties in term rewriting models of concurrency, CONCUR '99 - concurrency theory : 10. International conference, eindhoven, the netherlands, 24.8.-27.8.1999 ; proceedings / J. C. Baeten, 478-493, Springer, 1999.
Thomas Noll, H. Vogler. On the universality of higher-order attribute grammars, International workshop grammers, automata, and logic on graphs and trees / vogler, H. Hrsg, Techn. Univ., Fakultät Informatik, 1999.
M. Lange, M. Leucker, Thomas Noll, S. Tobies. Truth - a verification platform for concurrent systems, tool support for system specification, development and verification, Advances in computing science - ASIAN '99 : Proceedings / 5. Asian computing science conference, phuket, thailand, 10.12.-12.12.1999 / thiagarajan, P. S. [u.a.] hrsg, 150-159, Springer, 1999.
1992
Thomas Noll, H. Vogler. Top-down parsing with simultaneous evaluation of noncircular attribute grammars, 1992.