Search results for "Tingting Han"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer	Quantitative Timed Analysis of Interactive Markov Chains.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre	Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications	Logical Methods in Computer Science	2011	DBLP DOI BibTeX RDF
1	Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre	Efficient CTMC Model Checking of Linear Real-Time Objectives.	TACAS	2011	DBLP DOI BibTeX RDF
1	Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker	Learning-Based Compositional Verification for Synchronous Probabilistic Systems.	ATVA	2011	DBLP DOI BibTeX RDF
1	Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre	Reachability probabilities in Markovian Timed Automata.	CDC-ECE	2011	DBLP DOI BibTeX RDF
1	Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre	Observing Continuous-Time MDPs by 1-Clock Timed Automata.	RP	2011	DBLP DOI BibTeX RDF
1	Ernst Moritz Hahn, Tingting Han, Lijun Zhang	Synthesis for PCTL in Parametric Markov Decision Processes.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
1	Tingting Han	Diagnosis, synthesis and analysis of probabilistic models.		2009	RDF
1	Tingting Han, Joost-Pieter Katoen, Berteun Damman	Counterexample Generation in Probabilistic Model Checking.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
1	Taolue Chen, Tingting Han, Jian Lu	On metrics for probabilistic systems: Definitions and algorithms.	Computers & Mathematics with Applications	2009	DBLP DOI BibTeX RDF
1	Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre	LTL Model Checking of Time-Inhomogeneous Markov Chains.	ATVA	2009	DBLP DOI BibTeX RDF
1	Tingting Han	Diagnosis, Synthesis and Analysis of Probabilistic Models.	Ausgezeichnete Informatikdissertationen	2009	DBLP BibTeX RDF
1	Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre	Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications.	LICS	2009	DBLP DOI BibTeX RDF
1	Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre	Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability.	IEEE Real-Time Systems Symposium	2008	DBLP DOI BibTeX RDF
1	Berteun Damman, Tingting Han, Joost-Pieter Katoen	Regular Expressions for PCTL Counterexamples.	QEST	2008	DBLP DOI BibTeX RDF
1	Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre	Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains.	HSCC	2008	DBLP DOI BibTeX RDF
1	Taolue Chen, Tingting Han, Joost-Pieter Katoen	Time-Abstracting Bisimulation for Probabilistic Timed Automata.	TASE	2008	DBLP DOI BibTeX RDF	time-abstracting bisimulation, probabilistic timed automata
1	Tingting Han, Joost-Pieter Katoen	Counterexamples in Probabilistic Model Checking.	TACAS	2007	DBLP DOI BibTeX RDF
1	Lucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang	07101 Working Group Report -- Performance Measures Other Than Time.	Quantitative Aspects of Embedded Systems	2007	DBLP BibTeX RDF
1	Tingting Han, Joost-Pieter Katoen	Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking.	ATVA	2007	DBLP DOI BibTeX RDF
1	Taolue Chen, Tingting Han, Jian Lu	On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm.	FSKD	2007	DBLP DOI BibTeX RDF
1	Taolue Chen, Tingting Han, Jian Lu	On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence.	Acta Cybern.	2006	DBLP BibTeX RDF
1	Taolue Chen, Tingting Han, Jian Lu	On the Markovian Randomized Strategy of Controller for Markov Decision Processes.	FSKD	2006	DBLP DOI BibTeX RDF
1	Taolue Chen, Tingting Han, Jian Lu	A Modal Logic for pi-Calculus and Model Checking Algorithm.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Tingting Han, Taolue Chen, Jian Lu	Structure Analysis for Dynamic Software Architecture.	SNPD	2005	DBLP DOI BibTeX RDF
1	Tingting Han, Taolue Chen, Jian Lu	Structure Analysis for Dynamic Software Architecture Based on Spatial Logic.	COMPSAC	2005	DBLP DOI BibTeX RDF	Model Checking Algorithm, Spatial logic, Dynamic Software Architecture
1	Taolue Chen, Tingting Han, Jian Lu	Analysis of A Leader Election Algorithm in uCRL.	CIT	2005	DBLP DOI BibTeX RDF
1	Taolue Chen, Tingting Han, Jian Lu	On the Bisimulation Congruence in chi-Calculus.	FSTTCS	2005	DBLP DOI BibTeX RDF
1	Taolue Chen, Jingyang Zhou, Tingting Han, Jian Lu	Checking Strong Open Congruence in Chi -Calculus.	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Taolue Chen, Tingting Han, Jian Lu	Tree logic with recursion and model checking algorithm.	IASTED Conf. on Software Engineering and Applications	2004	DBLP BibTeX RDF
1	Taolue Chen, Tingting Han, Jian Lu	Towards a Model Logic for p-Calculus.	COMPSAC	2004	DBLP DOI BibTeX RDF	Symbolic Transition Graph, Model Checking Algorithm, Modal Logic, ?-calculus
1	Taolue Chen, Tingting Han, Jian Lu	Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient.	CIT	2004	DBLP DOI BibTeX RDF	Formal methodology, Software quantity, Performance evaluation, Process algebra, Mobile ambient
1	Taolue Chen, Tingting Han, Jian Lu	Intensionality of modal logic for Robust Ambient Calculus.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF

Publications of "Tingting Han" ( http://dblp.L3S.de/Authors/Tingting_Han )