Journal: Nord. J. Comput.

Volume 12, Issue 4

319 -- 320Kai Koskimies, Ludwik Kuzniarz. Guest Editors Foreword
321 -- 342Marcus Alanen, Torbjörn Lundkvist, Ivan Porres. Comparison of Modeling Frameworks for Software Engineering
343 -- 360Lukasz Dobrzanski, Ludwik Kuzniarz. Practical Refactoring of Executable UML Models
361 -- 378Sven Wenzel. Automatic Detection of Incomplete Instances of Structural Patterns in UML Class Diagrams
361 -- 378Johan Lilius, Tomas Lillqvist, Torbjörn Lundkvist, Ian Oliver, Ivan Porres, Kim Sandström, Glen Sveholm, Asim Pervez Zaka. An Architecture Exploration Environment for System on Chip Design

Volume 12, Issue 3

198 -- 199Johan Lilius, Ricardo Jorge Machado, Dragos Truscan, João M. Fernandes, Ivan Porres. Guest Editors Foreword
200 -- 228Issam Al-Azzoni, Douglas G. Down, Ridha Khédri. Modeling and Verification of Cryptographic Protocols Using Coloured Petri Nets and ::::Design/CPN::::
229 -- 250João Paulo Barros, Jens Bæk Jørgensen. A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design
251 -- 274Jonathan Billington, Guy Edward Gallasch, Laure Petrucci. Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets
275 -- 307Erez Petrank, Dror Rawitz. The Hardness of Cache Conscious Data Placement
308 -- 318Elena Prieto, Christian Sloper. Reducing to Independent Set Structure -- the Case of k-Internal Spanning Tree

Volume 12, Issue 2

67 -- 0Paul Pettersson, Wang Yi. Guest Editors Foreword
68 -- 88Juhan P. Ernits. Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card
89 -- 115Lars Kristiansen, Paul J. Voda. Programming Languages Capturing Complexity Classes
116 -- 132Marcel Kyas, Frank S. de Boer, Willem P. de Roever. A Compositional Trace Logic for Behavioural Interface Specifications
133 -- 156Härmel Nestra. Transfinite Corecursion
157 -- 188Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen. Refining UML Interactions with Underspecification and Nondeterminism
189 -- 198Todd L. Veldhuizen. Language Embeddings that Preserve Staging and Safety

Volume 12, Issue 1

1 -- 17Danny Krizanc, Pat Morin, Michiel H. M. Smid. Range Mode and Range Median Queries on Lists and Trees
18 -- 26Wan Fokkink, Jaap-Henk Hoepman, Jun Pang. A Note on K-State Self-stabilization in a Ring with K=N
27 -- 39Amr Elmasry. Deterministic Jumplists
40 -- 66Veli Mäkinen, Gonzalo Navarro. Succinct Suffix Arrays based on Run-Length Encoding