DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:ISTA:28,5549,"KrCh,ToHe",Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
10.1145/2676726.2677008,1992,ToHe,Succinct representation of concurrent trace sets
10.3389/fenvs.2015.00042,10794,"ToHe,GaTk",Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study
10.1007/978-3-319-21668-3_11,1729,ToHe,From non-preemptive to preemptive scheduling using synchronization synthesis
10.1016/j.ic.2015.06.003,1731,"KrCh,ToHe",Randomness for free
10.1145/2745799,1808,ToHe,Guest editors' introduction to special issue on computational methods in systems biology
10.1007/978-3-662-46681-0_47,1835,"ToHe,CaGu,NiBa",Model checking gene regulatory networks
10.1007/978-3-662-46669-8_5,1836,ToHe,Segment abstraction for worst-case execution time analysis
10.1109/TAC.2014.2364971,1840,"CaGu,ToHe",Optimal Kullback-Leibler aggregation via information bottleneck
10.2168/LMCS-11(1:20)2015,1832,ToHe,Aspect-oriented linearizability proofs
10.1007/978-3-662-47666-6_10,1610,"KrCh,ToHe",Edit distance for pushdown automata
10.1109/LICS.2015.32,1657,"KrCh,ToHe",Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.1109/LICS.2015.72,1656,"KrCh,ToHe",Nested weighted automata
10.15479/AT:IST-2015-170-v2-2,5436,"KrCh,ToHe",Nested weighted automata
10.1145/2562059.2562130,2217,ToHe,Model measuring for hybrid systems
10.1007/978-3-319-08867-9_38,2218,ToHe,Regression-free synthesis for concurrency
10.1145/2535838.2535875,2239,ToHe,Battery transition systems
10.1109/ICST.2014.50,2167,ToHe,Compositional specifications for IOCO testing
10.1007/s00236-013-0191-5,2187,"KrCh,ToHe",Synthesizing robust systems
10.1007/978-3-319-08867-9_13,2190,"ToHe,KrCh",From LTL to deterministic automata: A safraless compositional approach