RESEARCH PROFILE

logic, automata and games; verification of software; concurrent systems

SELECTED PUBLICATIONS

• Demri S, Lazic R (2009) 'LTL with the freeze quantifier and register automata' ACM Transactions On Computer Logic 10 (3), 1 - 30 (1529-3785)
• Lazic R, Newcomb T, Ouaknine J, Roscoe AW, Worrell J (2008) 'Nets with tokens which carry data' Fundamenta Informaticae 88 (3), 251 - 274
• Demri S, Lazic R, Nowak D (2007) 'On the freeze quantifier in constraint LTL: decidability and complexity ' Information And Computation 205 (1), 2 - 24 (0890-5401)
• Dimovski A, Lazic R (2007) 'Compositional Software Verification Based on Game Semantics and Process Algebra' International Journal on Software Tools for Technology Transfer (STTT) 9 (1), 37 - 51 (1433-2779)
• Lazic R, Newcomb TC, Roscoe AW (2004) 'On Model Checking Data-independent Systems with Arrays Without Reset' Theory And Practice Of Logic Programming 4 (5 and 6), 659 - 693 (1471-0684)

RECENT RESEARCH DEGREES SUPERVISED

• Compositional Software Verification Based on Game Semantics Date of Completion: 2007