Thomas Noll
- 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:
- Static Program Analysis for Software Optimisation and Verification
- Compilation of Quantum Software
- Reliability, Safety and Security of Hardware/Software Systems
- Formal Verification of Artificial Neural Networks
Conferences and Workshops
Publications
Courses and Seminars
Supervision of Theses
Administration
Publications
| 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. | |
| DOI | Lars-Åke Fredlund, Dilian Gurov, Thomas Noll. Semi-automated verification of Erlang code, Proceedings / 16th annual international conference on automated software engineering (ASE 2001) : 26 - 29 november 2001, loew's coronado bay resort, coronado island, san diego, california / sponsored by IEEE computer society techncial committee on software engineering; ACM sigsoft; ACM sigart, 319-323, IEEE Computer Society, 2001. |
| Thomas Arts, Thomas Noll. Verifying generic Erlang client-server implementations, Implementation of functional languages : 12th international workshop, aachen, germany, september 4 - 7, 2000 ; selected papers / IFL 2000. Markus mohnen; pieter koopman (ed.), 37-52, Springer, 2001. | |
| Roland Büschkes, Thomas Noll, Mark Borning. Transaction-based anomaly detection in communication networks, 9th international conference on telecommunication systems - modeling and analysis, march, 15 - 18, 2001, dallas, texas, USA / sponsored by edwin L. Cox school of business, southern methodist university ... conference general chair: Bezalel gavish, 2001. | |
| DOI | L.-A. Fredlund, D. Gurov, Thomas Noll. The Erlang verification tool, Tools and algorithms for the construction and analysis of systems : 7th international conference ; proceedings / TACAS 2001, held as part of the joint european conferences on theory and practice of software, ETAPS 2001, genova, italy, april 2 - 6, 2001. Tiziana margaria; wang yi (eds.), 582-585, 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. | |
| M. Leucker, Thomas Noll. Truth - a real-world application in Haskell; Ed.: Markus Mohnen ..., Proceedings of the 12. International workshop on implementation of functional languages : [IFL 2000] ; aachen, germany, september 4th-7th 2000, 363-380, RWTH Aachen, 2000. | |
| DOI | Thomas Noll, H. Vogler. The universality of higher-order attributed tree transducers, 45-75, Springer, 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. | |
| DOI | Martin Leucker, Thomas Noll. Rapid prototyping of specification language implementations, Proceedings / IEEE international workshop on rapid systems prototyping : June 16 - 18, 1999, clearwater, florida, USA / sponsored by IEEE computer society technical committee on simulation ..., 60-65, IEEE Computer Soc., 1999. |
| 1993 | |
| A. Kindler, Thomas Noll, B. Steffen. Hierarchical parallelization of imperative programs, Proc. EuroMicro workshop on parallel and distributed process. 1993, 178-184, 1993. | |
| Thomas Noll. On the first-order equivalence of call-by-name and call-by-value, Workshop programmiersprachen u. Grundl. d. Programmier. Garmisch-partenkirchen 1993, 175-186, Univ. der Bundeswehr, 1993. | |
| 1992 | |
| Thomas Noll, H. Vogler. Top-down parsing with simultaneous evaluation of noncircular attribute grammars, 1992. | |