|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 29 occurrences of 26 keywords
|
|
|
|
|
Results
Found 43 publication records. Showing 43 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Manuel Domínguez, Thomas Noll, Marco Castrillón |
An extension of Christoffel duality to a subset of Sturm numbers and their characteristic words.  |
Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri |
Safety, Dependability and Performance Analysis of Extended AADL Models. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll |
A Local Greibach Normal Form for Hyperedge Replacement Grammars. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas M. Fiore, Thomas Noll |
Commuting Groups and the Topos of Triads. |
MCM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Karst de Jong, Thomas Noll |
Fundamental Passacaglia: Harmonic Functions and the Modes of the Musical Tetractys. |
MCM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew J. Milne, Martin Carlé, William A. Sethares, Thomas Noll, Simon Holland |
Scratching the Scale Labyrinth. |
MCM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Heinen, Thomas Noll, Stefan Rieger |
Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Brauer, Thomas Noll, Bastian Schlich |
Interval analysis of microcontroller code using abstract interpretation of hardware and software. |
SCOPES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Dörnemann, Ernst Juhnke, Thomas Noll, Dominik Seiler, Bernd Freisleben |
Data Flow Driven Scheduling of BPEL Workflows Using Cloud Resources. |
IEEE CLOUD |
2010 |
DBLP DOI BibTeX RDF |
genetic algorithm, scheduling, SOA, workflow, BPEL, Cloud, Data flow |
| 1 | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer |
A Model Checker for AADL. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Helge Haß, Thomas Noll |
Equational Abstractions for Reducing the State Space of Rewrite Theories. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll |
Codesign of dependable systems: A component-based modeling language. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri |
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Smith, Fabian Schwarzer, Marian Harbach, Thomas Noll, Bernd Freisleben |
A Streaming Intrusion Detection System for Grid Computing Environments. |
HPCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy |
Reduction of Interrupt Handler Executions for Model Checking Embedded Software. |
Haifa Verification Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll |
Verification and performance evaluation of aadl models. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
performability, model checking, reliability, dependability, aadl |
| 1 | Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll |
Proving Correctness of an Efficient Abstraction for Interrupt Handling. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Rieger, Thomas Noll |
Abstracting Complex Data Structures by Hyperedge Replacement. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Noll, Stefan Rieger |
Verifying Dynamic Pointer-Manipulating Threads. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin R. Neuhäußer, Thomas Noll |
Abstraction and Model Checking of Core Erlang Programs in Maude. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Noll, Stefan Rieger |
Composing Transformations to Optimize Linear Code. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Noll, Bastian Schlich |
Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. |
Haifa Verification Conference |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Indermark, Thomas Noll |
Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information. |
Acta Inf. |
2006 |
DBLP DOI BibTeX RDF |
Stack implementation, Formal semantics, Functional languages, Evaluation strategies, Compiler correctness |
| 1 | Chanchal Kumar Roy, Thomas Noll, Banani Roy, James R. Cordy |
Towards automatic verification of Erlang programs by pi-calculus translation. |
Erlang Workshop |
2006 |
DBLP DOI BibTeX RDF |
translation mapping, mobile systems, ?-calculus, functional programming languages |
| 1 | Thomas Noll |
Equational Abstractions for Model Checking Erlang Programs. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber 0002 |
Functional programming languages for verification tools: a comparison of Standard ML and Haskell. |
STTT |
2005 |
DBLP DOI BibTeX RDF |
Language adequacy, Haskell, ML, Verification tools, Functional programming languages |
| 1 | Thomas Noll, Chanchal Kumar Roy |
Modeling Erlang in the pi-calculus. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
mobile systems, pi-calculus, functional programming languages |
| 1 | Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov |
A verification tool for ERLANG. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
Formal methods, Theorem proving, Software verification |
| 1 | Thomas Noll, Jörg Garbers, Karin Höthker, Christian Spevak, Tillman Weyde |
Opuscope - Towards a Corpus-Based Music Repository. |
ISMIR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Benedikt Bollig, Martin Leucker, Thomas Noll |
Generalised Regular MSC Languages. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Noll |
A Rewriting Logic Implementation of Erlang. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Noll, Heiko Vogler |
The Universality of Higher-Order Attributed Tree Transducers. |
Theory Comput. Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Noll, Lars-Åke Fredlund, Dilian Gurov |
The Erlang Verification Tool. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars-Åke Fredlund, Dilian Gurov, Thomas Noll |
Semi-Automated Verification of Erlang Code. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Leucker, Thomas Noll |
Truth/SLC - A Parallel Verification Platform for Concurrent Systems. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Leucker, Thomas Noll |
Rewriting Logic as a Framework for Generic Verification Tools. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Arts, Thomas Noll |
Verifying Generic Erlang Client-Server Implementations. |
IFL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Noll |
On Coherence Properties in Team Rewriting Models of Concurrency. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Leucker, Thomas Noll |
Rapid Prototyping of Specification Language Implementations. (PDF / PS) |
IEEE International Workshop on Rapid System Prototyping |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alois Knoll, Christian Altenschmidt, Joachim Biskup, Hans-Martin Blüthgen, Ingo Glöckner, Sven Hartrumpf, Hermann Helbig, Christiane Henning, Reinhard Lüling, Burkhard Monien, Thomas Noll, Norbert Sensen |
An Integrated Approach to Semantic Evaluation and Content-Based Retrieval of Multimedia Documents. |
ECDL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Can Adam Albayrak, Thomas Noll |
The WHILE Hierarchy of Program Schemes Is Infinite. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Noll, Heiko Vogler |
Top-down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars. |
Fundam. Inform. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Noll |
On the First-Order Equivalence of Call-by-Name and Call-by-Value. |
CAAP |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #43 of 43 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")