| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Ranko Lazic Aleksandar Dimovski , Dan R. Ghica , Ranko Lazic: A Counterexample-Guided Refinement Tool for Open Procedural Programs. SPIN 2006 : 288-292 Ranko Lazic, Rajagopal Nagarajan : Preface. Electr. Notes Theor. Comput. Sci. 145 : 1-2 (2006) Aleksandar Dimovski , Dan R. Ghica , Ranko Lazic: Abstraction-refinement for game-based model checking. GALOP 2005 : 139 Aleksandar Dimovski , Dan R. Ghica , Ranko Lazic: Data-Abstraction Refinement: A Game Semantic Approach. SAS 2005 : 102-117 Stéphane Demri , Ranko Lazic, David Nowak : On the Freeze Quantifier in Constraint LTL: Decidability and Complexity. TIME 2005 : 113-121 Aleksandar Dimovski , Ranko Lazic: Software Model Checking Based on Game Semantics and CSP. Electr. Notes Theor. Comput. Sci. 128 (6): 105-125 (2005) Ranko Lazic: Decidability of Reachability for Polymorphic Systems with Arrays: A Complete Classification. Electr. Notes Theor. Comput. Sci. 138 (3): 3-19 (2005) Ranko Lazic, Thomas Christopher Newcomb , Bill Roscoe : Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting. Electr. Notes Theor. Comput. Sci. 138 (3): 61-86 (2005) Ranko Lazic, Thomas Christopher Newcomb , A. W. Roscoe : On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations. 25 Years Communicating Sequential Processes 2004 : 275-291 Aleksandar Dimovski , Ranko Lazic: CSP Representation of Game Semantics for Second-Order Idealized Algol. ICFEM 2004 : 146-161 Xu Wang , A. W. Roscoe , Ranko Lazic: Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption. IFM 2004 : 247-266 Ranko Lazic, Thomas Christopher Newcomb , A. W. Roscoe : On model checking data-independent systems with arrays without reset. TPLP 4 (5-6): 659-693 (2004) Ranko Lazic, David Nowak : On a Semantic Definition of Data Independence . TLCA 2003 : 226-240 Ranko Lazic, David Nowak : A Unifying Approach to Data-Independence. CONCUR 2000 : 581-595 Ranko Lazic, Bill Roscoe : Data Independence with Generalised Predicate Symbols. PDPTA 1999 : 319-326 1 [ 11 ] 2 [ 6 ] [ 10 ] [ 12 ] [ 13 ] [ 15 ] 3 [ 12 ] [ 13 ] [ 15 ] 4 [ 14 ] 5 [ 4 ] [ 7 ] [ 8 ] 6 [ 2 ] [ 3 ] [ 11 ] 7 [ 1 ] [ 4 ] [ 5 ] [ 7 ] [ 8 ] 8 [ 5 ]  ©2006 Association for Computing Machinery |
