The Community for Technology Leaders
RSS Icon
Subscribe
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2003)
Brisbane, Australia
Sept. 22, 2003 to Sept. 27, 2003
ISBN: 0-7695-1949-0
TABLE OF CONTENTS
Introduction
Preface (PDF)
pp. vii
pp. viii
Referees (PDF)
pp. x
Keynote Speaker 1
Session 1: Testing
Tim Miller , University of Queensland
Paul Strooper , University of Queensland
pp. 14
Richard Sinnott , University of Glasgow
pp. 24
Session 2: Formal Models for Security
Ruggero Lanotte , Università di Pisa
Andrea Maggiolo-Schettini , Università di Pisa
Angelo Troina , Università di Pisa
pp. 34
Annalisa Bossi , Università Caé Foscari di Venezia
Riccardo Focardi , Università Caé Foscari di Venezia
Carla Piazza , Università Caé Foscari di Venezia
Sabina Rossi , Università Caé Foscari di Venezia
pp. 44
Marco Carbone , University of Aarhus
Mogens Nielsen , University of Aarhus
Vladimiro Sassone , University of Sussex
pp. 54
Keynote Speaker 2
Davide Sangiorgi , University of Bologna
pp. 64
Session 3: Program Verification
Geoffrey Watson , University of Queensland
Colin Fidge , University of Queensland
pp. 82
Bernhard Beckert , Universität Karlsruhe
Peter H. Schmitt , Universität Karlsruhe
pp. 91
Keynote Speaker 3
Egidio Astesiano , Università di Genova
Gianna Reggio , Università di Genova
pp. 102
Session 4: Integration of Formal and Informal Methods I
Boris Litvak , Tel-Aviv University and IBM Research Center, Haifa
Shmuel Tyszberowicz , Tel-Aviv University and the Academic College of Tel-Aviv Yaffo
Amiram Yehudai , Tel-Aviv University and the Academic College of Tel-Aviv Yaffo
pp. 118
Yan Jin , University of Adelaide
Charles Lakos , University of Adelaide
Robert Esser , University of Adelaide
pp. 126
Session 5: Integration of Formal and Informal Methods II
Muan Yong Ng , University of Southampton
Michael Butler , University of Southampton
pp. 138
Doug Goldson , University of Queensland
Greg Reeve , University of Waikato
pp. 148
Rahul Bhatt , Intel Corporation
Dave LaFollette , Intel Corporation
Arjun Kapur , Intel Corporation
pp. 156
Session 6: Object-Oriented Modelling
Nadia Bouassida , Institut Sup?rieur d?Informatique et de Multim?dias de Sfax
Han?ne Ben-Abdallah , Gestion de Sfax
Fa?ez Gargouri , Gestion de Sfax
Abdemajid Ben Hamadou , Institut Sup?rieur d?Informatique et de Multim?dias de Sfax
pp. 164
Roger Duke , University of Queensland
Luke Wildman , University of Queensland
Brad Long , University of Queensland
pp. 173
Frank Feiks , Technical University of Berlin
David Hemer , University of Queensland
pp. 182
Tim McComb , University of Queensland
Graeme Smith , University of Queensland
pp. 191
Session 7: Automated Verification
Ulka Shrotri , Tata Consultancy Services
Purandar Bhaduri , Tata Consultancy Services
R. Venkatesh , Tata Consultancy Services
pp. 202
Amjad Gawanmeh , Concordia University
Sofiène Tahar , Concordia University
Kirsten Winter , University of Queensland
pp. 210
David Déharbe , LORIA & INRIA-Lorraine and DIMAp/UFRN
Silvio Ranise , LORIA & INRIA-Lorraine
pp. 220
Author Index
Author Index (PDF)
pp. 229
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool