The Community for Technology Leaders
2010 10th International Conference on Application of Concurrency to System Design (2003)
Guimar?es, Portugal
June 18, 2003 to June 20, 2003
ISBN: 0-7695-1887-7
TABLE OF CONTENTS
Introduction
Invited Papers

Model Driven Embedded Systems (PDF)

Ian Oliver , Nokia Research Center
pp. 5
Regular Papers

Polychrony for Formal Refinement-Checking in a System-Level Design Methodology (PDF)

Sandeep Kumar Shukla , Virginia Tech
Paul Le Guernic , INRIA/IRISA
Frédéric Doucet , University of California at San Diego
Jean-Pierre Talpin , INRIA/IRISA
Rajesh Gupta , University of California at San Diego
pp. 9

Case Studies of Model Checking for Embedded System Designs (Abstract)

Felice Balarin , Cadence Berkeley Laboratories
Harry Hsieh , University of California at Riverside
Yosinori Watanabe , Cadence Berkeley Laboratories
Xi Chen , University of California at Riverside
pp. 20

Quasi-Static Scheduling for Concurrent Architectures (Abstract)

Jordi Cortadella , Universitat Politècnica de Catalunya
Luciano Lavagno , Politecnico di Torino
Yosinori Watanabe , Cadence Berkeley Labs
Alex Kondratyev , Cadence Berkeley Labs
pp. 29

Detecting State Coding Conflicts in STG Unfoldings Using SAT (Abstract)

Maciej Koutny , University of Newcastle upon Tyne
Victor Khomenko , University of Newcastle upon Tyne
Alex Yakovlev , University of Newcastle upon Tyne
pp. 51

Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems (Abstract)

Michel Chaudron , Eindhoven University of Technology
Twan Basten , Eindhoven University of Technology
Michel Reniers , Eindhoven University of Technology
Mohammad Reza Mousavi , Eindhoven University of Technology
pp. 71

Modelling a Secure, Mobile, and Transactional System with CO-OPN (Abstract)

David Hurzeler , Swiss Federal Institute of Technology Lausanne
Stanislav Chachkov , Swiss Federal Institute of Technology Lausanne
Didier Buchs , Swiss Federal Institute of Technology Lausanne
pp. 82

Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft (Abstract)

Jonathan Billington , University of South Australia
Laure Petrucci , ENS de Cachan
Zahid H. Qureshi , Defence Science and Technology Organisation
Lars M. Kristensen , University of Aarhus
pp. 92

Design Validation of ZCSP with SPIN (Abstract)

Jean-Lou Desbarbieux , UPMC - LIP6 - ASIM
Emmanuelle Encrenaz , UPMC - LIP6 - ASIM
Vincent Beaudenon , UPMC - LIP6 - ASIM
pp. 102

Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models (Abstract)

P. Ballarini , Università di Torino
M. De Pierro , Univeristà Piemonte Orientale
G. Franceschinis , Univeristà Piemonte Orientale
L. Capra , Univeristà di Milano
pp. 111

Component-Based Design: Towards Guided Composition (Abstract)

M. W. Shields , University of Surrey
S. Moschoyiannis , University of Surrey
pp. 122

Compositional High Level Petri Nets with Timing Constraints — A Comparison (Abstract)

Elisabeth Pelz , Universit? Paris XII-Val de Marne
Hans Fleischhack , CvO Universit?t Oldenburg
pp. 132

Compositional Verification of Integrity for Digital Stream Signature Protocols (Abstract)

Fabio Martinelli , Istituto di Informatica e Telematica - C.N.R.
Roberto Gorrieri , Università di Bologna
Anna Vaccarelli , Istituto di Informatica e Telematica - C.N.R.
Marinella Petrocchi , Istituto di Informatica e Telematica - C.N.R.
pp. 142

Merging State-Based and Action-Based Verification (Abstract)

Antti Valmari , Tampere University of Technology
Heikki Virtanen , Tampere University of Technology
Henri Hansen , Tampere University of Technology
pp. 150

Communicating Transaction Processes (Abstract)

Abhik Roychoudhury , National University of Singapore
P. S. Thiagarajan , National University of Singapore
pp. 157

Modifying Petri Net Models by Means of Crosscutting Operations (Abstract)

João Paulo Barros , Universidade Nova de Lisboa and Instituto Politécnico de Beja
Luís Gomes , Universidade Nova de Lisboa
pp. 177

Specification Coverage Aided Test Selection (Abstract)

Tuomo Pyhälä , Helsinki University of Technology
Keijo Heljanko , Helsinki University of Technology
pp. 187

Verification of JavaSpaces™ Parallel Programs (Abstract)

Miguel Valero Espada , Centrum voor Wiskunde en Informatica
Jaco van de Pol , Centrum voor Wiskunde en Informatica
pp. 196

On Lifting of Statechart Structuring Mechanisms (Abstract)

Lu? Gomes , Universidade Nova de Lisboa and UNINOVA, Centro de Rob?tica Inteligente
Anik? Costa , Universidade Nova de Lisboa and UNINOVA, Centro de Rob?tica Inteligente
pp. 206

A New Synchronization in Finite Stochastic Petri Box Calculus (Abstract)

Fernando Cuartero , Universidad de Castilla-La Mancha
Fernando L. Pelayo , Universidad de Castilla-La Mancha
Valentín Valero , Universidad de Castilla-La Mancha
Hermenegilda Macià , Universidad de Castilla-La Mancha
pp. 216
Tool Presentations

C-Sim version 5.0 (PDF)

Roman Jokl , University of West Bohemia in Pilsen
Stanislav Racek , University of West Bohemia in Pilsen
pp. 229

ABTOOLS: Another B Tool (PDF)

Jean-Louis Boulanger , University of Technology of Compiegne
pp. 231

Rialto Profile in the SMW Toolkit (PDF)

Dag Bj?rklund , ?bo Akademi University
Ivan Porres , ?bo Akademi University
Johan Lilius , ?bo Akademi University
pp. 233

HiWorD: A Petri Net-Based Hierarchical Workflow Designer (PDF)

Boualem Benatallah , University of New South Wales
Rachid Hamadi , University of New South Wales
Adi Susanto , University of New South Wales
Milton O?Dell , Justwin Technologies Pty Ltd
Piotr Chrz¸stowski-Wachtel , Warsaw University and Polish-Japanese Institute of Information Technology
pp. 235

CAST — A Task-Level Concurrency Analysis Tool (PDF)

Sander Stuijk , Eindhoven University of Technology
Twan Basten , Eindhoven University of Technology
Jan Ypma , Eindhoven University of Technology
pp. 237

A Framework for the Development of Protocols (PDF)

Giuseppe Milicia , University of Aarhus and Chi Spaces Technologies ltd.
Federico Crazzolara , NEC Europe and Chi Spaces Technologies ltd.
pp. 239

BHDL: Circuit Design in B (PDF)

Ammar Aljer , Laboratoire d?Informatique Fondamentale de Lille
Jean-Louis Boulanger , Université de Compiègne
Philippe Devienne , Laboratoire d?Informatique Fondamentale de Lille
Georges Mariano , Institut National de Recherche sur les Transports et leur Sécurité
Sophie Tison , Laboratoire d?Informatique Fondamentale de Lille
pp. 241

Abstract Model Checking and Refinement of Temporal Logic in αSPIN (PDF)

Ernesto Pimentel , University of Malaga
Jesús Martínez , University of Malaga
Pedro Merino , University of Malaga
María del Mar Gallardo , University of Malaga
pp. 245

AutoFOCUS and the MoDe Tool (PDF)

Gabor Hahn , Validas AG
Guido Wimmel , Technical Univesität München
Oscar Slotosch , Validas AG
Jan J?rjens , Technical Univesität München
Jan Romberg , Technical Univesität München
pp. 249
Author Index

Author Index (PDF)

pp. 251
88 ms
(Ver )