Thomas Noll
Orcid: 0000-0002-1865-1798Affiliations:
- RWTH Aachen University, Germany
According to our database1,
Thomas Noll
authored at least 85 papers
between 1993 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
Foundations for Entailment Checking in Quantitative Separation Logic (extended version).
CoRR, 2022
Proceedings of the Formal Methods for Industrial Critical Systems, 2022
Proceedings of the Programming Languages and Systems, 2022
Proceedings of the 33rd International Conference on Concurrency Theory, 2022
2021
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021
Proceedings of the Computer Safety, Reliability, and Security, 2021
Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars.
Proceedings of the Graph Transformation - 14th International Conference, 2021
2020
Sci. Comput. Program., 2020
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs.
CoRR, 2020
2019
Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees.
J. Aerosp. Inf. Syst., February, 2019
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs.
Proc. ACM Program. Lang., 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
2018
Proceedings of the Model Checking Software - 25th International Symposium, 2018
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018
Proceedings of the LPAR-22 Workshop and Short Paper Proceedings, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
NII Shonan Meet. Rep., 2017
Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2017
Proceedings of the Programming Languages and Systems, 2017
2015
Formal Methods Syst. Des., 2015
Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2015
Proceedings of the Formal Methods in Computer-Aided Design, 2015
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015
2014
Proceedings of the Modeling and Simulation-Based Systems Engineering Handbook., 2014
Reliab. Eng. Syst. Saf., 2014
Performance Analysis of Computing Servers - A Case Study Exploiting a New GSPN Semantics.
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the Graph Transformation - 7th International Conference, 2014
Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs.
Proceedings of the Graph Transformation - 7th International Conference, 2014
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014
2013
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013
Proceedings of the Computer Safety, Reliability, and Security, 2013
Proceedings of the Hardware and Software: Verification and Testing, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
2012
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012
2011
Comput. J., 2011
Proceedings of the Language and Automata Theory and Applications, 2011
2010
Proceedings of the 5th International Workshop on Systems Software Verification, 2010
Interval analysis of microcontroller code using abstract interpretation of hardware and software.
Proceedings of the 13th International Workshop on Software and Compilers for Embedded Systems, 2010
Slicing AADL Specifications for Model Checking.
Proceedings of the Second NASA Formal Methods Symposium, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems.
Proceedings of the Computer Safety, 2009
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009
Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009
Proceedings of the Hardware and Software: Verification and Testing, 2009
2008
Proceedings of the 3rd International Workshop on Systems Software Verification, 2008
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008
Proceedings of the Graph Transformations, 4th International Conference, 2008
Proceedings of the FM 2008: Formal Methods, 2008
2007
Proceedings of the Theoretical Aspects of Computing, 2007
Proceedings of the Hardware and Software: Verification and Testing, 2007
2006
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006
Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information.
Acta Informatica, 2006
Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, 2006
2005
Functional programming languages for verification tools: a comparison of Standard ML and Haskell.
Int. J. Softw. Tools Technol. Transf., 2005
Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, 2005
2003
Proceedings of the International Workshop on Software Verification and Validation, 2003
2002
Proceedings of the Foundations of Software Science and Computation Structures, 2002
2001
Theory Comput. Syst., 2001
Proceedings of the First Workshop on Language Descriptions, Tools and Applications, 2001
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
2000
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000
Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000
1999
Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), 1999
Proceedings of the CONCUR '99: Concurrency Theory, 1999
1998
Proceedings of the International Workshop Tool Support for System Specification, 1998
Proceedings of the Foundations of Software Science and Computation Structure, 1998
An Integrated Approach to Semantic Evaluation and Content-Based Retrieval of Multimedia Documents.
Proceedings of the Research and Advanced Technology for Digital Libraries, 1998
1995
1994
Fundam. Informaticae, 1994
Proceedings of the Trees in Algebra and Programming, 1994
1993
Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993