• S
  • SEFM
  • 2006
  • Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
Advanced Search 
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
Pune, India
September 11-September 15
ISBN: 0-7695-2678-0
Table of Contents
Introduction
Preface (PDF)
pp. viii
Invited Papers
Contributed Papers
Maria Alpuente, Universidad Politecnica de Valencia, Spain
Demis Ballis, uniud.it
Moreno Falaschi, unisi, it
Daniel Romero, Universidad Politecnica de Valencia, Spain
pp. 31-40
Richard Banach, University of Manchester, UK
John Derrick, University of Sheffield, UK
pp. 60-69
Deepak D?Souza, Indian Institute of Science, India
Madhu Gopinatha, Indian Institute of Science, India
pp. 70-79
Yishai A. Feldman, The Interdisciplinary Center, Israel
Ohad Barzilay, Tel Aviv University, Israel
Shmuel Tyszberowicz, The Academic College The Academic College, Israel
pp. 80-89
G. Naresh, Motilal Nehru National Institute of Technology, India
B. D. Chaudhary, Motilal Nehru National Institute of Technology, India
pp. 100-107
Hemangee K. Kapoor, Dhirubhai Ambani Institute of Information and Communication Technology, India
pp. 118-127
Kamal Lodaya, The Institute of Mathematical Sciences, India
pp. 128-136
Dong Ha Nguyen, Ecole des Mines de Nantes, France
Mario Sudholt, Ecole des Mines de Nantes, France
pp. 167-176
Mats Neovius, ?bo Akademi University, Finland
Kaisa Sere, ?bo Akademi University, Finland
Lu Yan, ?bo Akademi University, Finland
M. Satpathy, ?bo Akademi University, Finland
pp. 177-185
C?assio L. Rodrigues, Universidade Federal de Campina Grande, Brazil
Paulo E. S. Barbosa, Universidade Federal de Campina Grande, Brazil
Jairson M. Cabral, Universidade Federal de Campina Grande, Brazil
Jorge C. A. de Figueiredo, Universidade Federal de Campina Grande, Brazil
Dalton D. S. Guerrero, Universidade Federal de Campina Grande, Brazil
pp. 226-235
Srihari Sukumaran, Philips Research - India, India
Ashok Sreenivas, University of Pune, India
R. Venkatesh, TRDDC, India
pp. 236-245
Yong Zhang, Chinese Academy of Sciences, China
Tao Huang, Chinese Academy of Sciences, China
Jun Wei, Chinese Academy of Sciences, China
pp. 246-258
Tutorials
Richard Banach, University of Manchester, UK
pp. 259
Author Index
Usage of this product signifies your acceptance of the Terms of Use.