Search results for "Björn Wachter"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Reinhard Wilhelm, Philipp Lucas, Oleg Parshin, Lili Tan, Björn Wachter	Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints.	Advances in Real-Time Systems	2012	DBLP DOI BibTeX RDF
1	Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell	On the Complexity of the Equivalence Problem for Probabilistic Automata.	FoSSaCS	2012	DBLP DOI BibTeX RDF
1	Björn Wachter	Refined probabilistic abstraction.		2011	RDF
1	Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang	Probabilistic Logical Characterization.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell	On the Complexity of the Equivalence Problem for Probabilistic Automata	CoRR	2011	DBLP BibTeX RDF
1	Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell	Language Equivalence for Probabilistic Automata.	CAV	2011	DBLP DOI BibTeX RDF
1	Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang	Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems.	QEST	2011	DBLP DOI BibTeX RDF	probabilistic hybrid systems, probabilistic reachability, long-run average, abstraction refinement, stochastic games, controller synthesis
1	Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang	PASS: Abstraction Refinement for Infinite Probabilistic Models.	TACAS	2010	DBLP DOI BibTeX RDF
1	Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang	PARAM: A Model Checker for Parametric Markov Models.	CAV	2010	DBLP DOI BibTeX RDF
1	Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter, Stephan Wilhelm	Static Timing Analysis for Hard Real-Time Systems.	VMCAI	2010	DBLP DOI BibTeX RDF
1	Björn Wachter, Lijun Zhang	Best Probabilistic Transformers.	VMCAI	2010	DBLP DOI BibTeX RDF
1	Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang	Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains.	Fundam. Inform.	2009	DBLP DOI BibTeX RDF
1	Stephan Wilhelm, Björn Wachter	Symbolic state traversal for WCET analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	abstract interpretation, binary decision diagram, worst-case execution time, hard real time, processor models
1	Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang	INFAMY: An Infinite-State Markov Model Checker.	CAV	2009	DBLP DOI BibTeX RDF
1	Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter	Time-bounded model checking of infinite-state continuous-time Markov chains.	ACSD	2008	DBLP DOI BibTeX RDF
1	Reinhard Wilhelm, Björn Wachter	Abstract Interpretation with Applications to Timing Validation.	CAV	2008	DBLP DOI BibTeX RDF
1	Holger Hermanns, Björn Wachter, Lijun Zhang	Probabilistic CEGAR.	CAV	2008	DBLP DOI BibTeX RDF
1	Björn Wachter, Lijun Zhang, Holger Hermanns	Probabilistic Model Checking Modulo Theories.	QEST	2007	DBLP DOI BibTeX RDF
1	Björn Wachter, Bernd Westphal	The Spotlight Principle.	VMCAI	2007	DBLP DOI BibTeX RDF
1	Stephan Wilhelm, Björn Wachter	Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models.	WCET	2007	DBLP BibTeX RDF
1	Björn Wachter	Explaining Data Type Reduction in the Shape Analysis Framework.	Trustworthy Software	2006	DBLP BibTeX RDF
1	Jan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker	A Definition and Classification of Timing Anomalies.	WCET	2006	DBLP BibTeX RDF

Publications of "Björn Wachter" ( http://dblp.L3S.de/Authors/Björn_Wachter )