The Community for Technology Leaders
RSS Icon
Subscribe
Fourth IEEE International Conference on Software Engineering and Formal Methods (2006)
Pune
Sept. 11, 2006 to Sept. 15, 2006
ISBN: 0-7695-2678-0
TABLE OF CONTENTS
Reviewers (PDF)
pp. xi
Introduction
Preface (PDF)
pp. viii
Committees (PDF)
pp. ix-x
Reviewers (PDF)
pp. xi
Invited Papers
Ananda Basu , Verimag, France
Marius Bozga , Verimag, France
Joseph Sifakis , Verimag, France
pp. 3-12
Bertrand Meyer , ETH, Zurich & Eiffel Software, California, USA
pp. 13-17
John Rushby , SRI International, USA
pp. 21-30
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
S. Arun-Kumar , Indian Institute of Technology, Delhi, India
pp. 41-49
Nadia Belblidia , Concordia University, Canada
Mourad Debbabi , Concordia University, Canada
pp. 50-59
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
Yishai A. Feldman , The Interdisciplinary Center, Israel
Leon Gendler , Tel Aviv University, Israel
pp. 90-99
G. Naresh , Motilal Nehru National Institute of Technology, India
B. D. Chaudhary , Motilal Nehru National Institute of Technology, India
pp. 100-107
Aditya Kanade , IIT Bombay. India
Amitabha Sanyal , IIT Bombay. India
Uday Khedker , IIT Bombay. India
pp. 108-117
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
Claude Marche , INRIA Futurs - Universit?e Paris 11, France
Nicolas Rousset , Axalto S.A., France
pp. 137-146
Annapaola Marconi , ITC-lrst - Trento, ltaly
Marco Pistore , University of Trento, Italy
Paolo Traverso , ITC-Irst - Trento, Italy
pp. 147-156
G. Murali Krishna , Tata Research Development and Design Centre, India
pp. 157-166
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
Prahladavaradan Sampath , GM India Science Lab, India
Shrawan Kumar , TRDDC, India
pp. 186-195
Pemadeep Ramsokul , UNSW Sydney, Australia
Arcot Sowmya , UNSW Sydney, Australia
pp. 196-205
Silvio Ranise , LORIA-INRIA - Lorraine
Calogero Zarba , Universitat der Saarlandes
pp. 206-215
Pascal Raymond , VERIMAG, France
Erwan Jahier , VERIMAG, France
Yvan Roux , VERIMAG, France
pp. 216-225
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
Author Index (PDF)
pp. 263
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool