Department of Computer Science

Site logo

Ranko Lazic

[c]

Ranko Lazic

CONTACT   


Computer Science
Room CS330
University of Warwick
Coventry
CV4 7AL
Tel: 024 7657 3782
Fax: 024 7657 3024
Email: R.S.Lazic@warwick.ac.uk

 


RESEARCH PROFILE


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


RESEARCH GROUPS


  • Centre for Discrete Mathematics and its Applications (DIMAP)
  • Formal Methods

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

Update My Profile on the Warwick eRA Portal My Profile last updated: 16/01/2010

Page contact: Ranko Lazic Last revised: Mon 25 Jan 2010
Back to top of page
 

Web site search

People search

News

News.