DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-030-00151-3_13,78,ToHe,Online timed pattern matching using automata
10.1007/978-3-319-99154-2_4,79,"KrCh,ToHe",Parameter-independent strategies for pMDPs via POMDPs
10.1007/978-3-030-00151-3_4,81,ToHe,Monitoring temporal logic with clock variables
10.1007/978-3-319-95246-8_9,86,"KrCh,ToHe",Computing average response time
10.1007/978-3-319-10575-8,3300,ToHe,Handbook of Model Checking
10.1109/TITS.2017.2778077,434,ToHe,Safety-assured model-driven design of the multifunction vehicle bus controller
10.1145/3178126.3178132,182,ToHe,Efficient parametric identification for STL
10.1145/3178126.3178131,183,ToHe,Localizing faults in simulink/stateflow models with STL
10.1007/978-3-662-54580-5_10,1116,ToHe,Computing scores of forwarding schemes in switched networks with probabilistic faults
10.15479/AT:ISTA:TH_730,1155,ToHe,Statistical and logical methods for property checking
10.1016/j.nahs.2016.09.001,1196,ToHe,Model measuring for discrete and hybrid systems
10.1007/s10703-016-0256-5,1338,ToHe,From non-preemptive to preemptive scheduling using synchronization synthesis
10.1007/s00236-016-0278-x,1351,"ToHe,CaGu,NiBa",Model checking the evolution of gene regulatory networks
10.1016/j.nahs.2016.04.006,1407,"ToHe,KrCh",Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
10.1145/3060139,471,ToHe,Faster statistical model checking for unbounded temporal properties
10.4204/EPTCS.259.3,549,ToHe,Causality-based model checking
10.1007/978-3-319-63121-9_18,625,"KrCh,ToHe",The cost of exactness in quantitative reachability
10.1007/978-3-662-54577-5_34,631,ToHe,Counterexample guided refinement of template polyhedra
10.1007/978-3-319-63501-9_6,633,ToHe,Challenges and tool implementation of hybrid rapidly exploring random trees
10.1007/978-3-319-65765-3_11,636,ToHe,On the quantitative semantics of regular expressions over real-valued signals