Search results for "Tobias Schüle"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Tobias Schüle	Verification of infinite state systems using Presburger arithmetic.		2007	RDF
1	Tobias Schüle, Klaus Schneider	Bounded model checking of infinite state systems.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Temporal logic hierarchy, Global model checking, Local model checking, Bounded model checking, Infinite state systems
1	Rasmus Adler, Ina Schaefer, Tobias Schüle, Eric Vecchié	From Model-Based Design to Formal Verification of Adaptive Embedded Systems.	ICFEM	2007	DBLP DOI BibTeX RDF
1	Klaus Schneider, Jens Brandt, Tobias Schüle	A Verified Compiler for Synchronous Programs with Local Declarations.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Tobias Schüle, Klaus Schneider	Verification of Data Paths Using Unbounded Integers: Automata Strike Back.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
1	Tobias Schüle, Klaus Schneider	Three-valued logic in bounded model checking.	MEMOCODE	2005	DBLP DOI BibTeX RDF
1	Klaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk	Maximal Causality Analysis.	ACSD	2005	DBLP DOI BibTeX RDF
1	Tobias Schüle, Klaus Schneider	Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems.	SEFM	2004	DBLP DOI BibTeX RDF
1	Tobias Schüle, Klaus Schneider	Bounded model checking of infinite state systems: exploiting the automata hierarchy.	MEMOCODE	2004	DBLP DOI BibTeX RDF
1	Tobias Schüle, Klaus Schneider	Abstraction of assembler programs for symbolic worst case execution time analysis.	DAC	2004	DBLP DOI BibTeX RDF	program slicing assembler programs, real-time systems, abstraction, worst case execution time, symbolic simulation
1	Klaus Schneider, Jens Brandt, Tobias Schüle	Causality analysis of synchronous programs with delayed actions.	CASES	2004	DBLP DOI BibTeX RDF	causality, synchronous languages, ternary logic, fixpoints
1	Tobias Schüle, Klaus Schneider	Exact Runtime Analysis Using Automata-Based Symbolic Simulation.	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	Tobias Schüle, Albrecht P. Stroele	Test Scheduling for Minimal Energy Consumption under Power Constraints.	VTS	2001	DBLP DOI BibTeX RDF
1	Tobias Schüle, Albrecht P. Stroele	Scheduling tests for low power built-in self-test.	ISCAS	2001	DBLP DOI BibTeX RDF

Publications of "Tobias Schüle" ( http://dblp.L3S.de/Authors/Tobias_Schüle )