_id,title
4352,Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil
4359,Field Constraint Analysis
4373,"Real Time Temporal Logic: Past, Present, Future"
4374,From MITL to Timed Automata
4401,Preserving Secrecy Under Refinement
4406,Antichains: A new algorithm for checking universality of finite automata
4431,The embedded systems design challenge
4432,Timed alternating-time temporal logic
4436,An interface algebra for real-time components
4437,Solving games without determinization
4451,On the universal and existential fragments of the mu-calculus
4523,Synergy: A new algorithm for property checking
4526,A hierarchical coordination language for interacting real-time tasks
4528,Executable biology
4538,Strategy improvement and randomized subexponential algorithms for stochastic parity games
4539,Finitary winning in omega-regular games
4549,Compositional quantitative reasoning
4550,Games with secure equilibria
4551,Markov decision processes with multiple objectives
4552,Strategy improvement for concurrent reachability games