The Community for Technology Leaders
RSS Icon
Subscribe
Formal Methods and Models for Co-Design, ACM/IEEE International Conference on (2003)
Mont Saint-Michel, France
June 24, 2003 to June 26, 2003
ISBN: 0-7695-1923-7
TABLE OF CONTENTS
Introduction
Opening Remarks
null (PDF)
pp. null
Conference Updates
null (PDF)
pp. null
Invited Talk
System Level Models and Co-design
null (PDF)
pp. null
Lu?s Gomes , Universidade Nova de Lisboa, Faculdade de Ci?ncias e Tecnologia, Dep. of Elect. Eng.
pp. 24
Short Presentation Session
null (PDF)
pp. null
Islam El-Maddah , Department of Computer Science, King?s College London, London WC2R 2LS, UK
Tom Maibaum , Department of Computer Science, King?s College London, London WC2R 2LS, UK
pp. 45
Margot Bittner , Institut fur Softwaretechnik und Theoretische Informatik
pp. 49
Goerschwin Fey , Institute of Computer Science, University of Bremen, 28359 Bremen, Germany
Rolf Drechsler , Institute of Computer Science, University of Bremen, 28359 Bremen, Germany
pp. 51
Formal Verification I
null (PDF)
pp. null
Orna Grumberg , TECHNION
Muralidhar Talupur , Carnegie Mellon Univ.
Dong Wang , Carnegie Mellon Univ.
pp. 55
Field Modifiability and Verifiability
null (PDF)
pp. null
Panel I
Grant Martin , Cadence Berkeley Labs
Sandeep Shukla , Virginia Polytechnic and State University
pp. 97
Refinement/Conformance I
null (PDF)
pp. null
Francoise Bellegarde , Univ. Franche-Comte
Celina Charlet , Univ. Franche-Comte
Olga Kouchnarenko , Univ. Franche-Comte
pp. 103
Gerard Postuma , Philips Semiconductors, Chief Technology Office - Design Technology Group
Jos Verhaegh , Philips Semiconductors, Chief Technology Office - Design Technology Group
Marleen Boonen , Philips Semiconductors, Chief Technology Office - Design Technology Group
Thierry J-F. Omnes , Philips Semiconductors, Chief Technology Office - Design Technology Group
pp. 113
Invited Talk
Validation, Co-validation
null (PDF)
pp. null
Graziano Pravadelli , Universita di Verona
Andrea Fedeli , STMicroelectronics
Franco Fummi , Universita di Verona
Franco Toto , STMicroelectronics
pp. 145
Tobias Sch? , University of Kaiserslautern, Department of Computer Science, Reactive Systems Group
pp. 153
Jinfeng Huang , Eindhoven University of Technology
Jeroen Voeten , Eindhoven University of Technology
Marc Geilen , Eindhoven University of Technology
pp. 163
Invited Talk
Manfred BROY , Institut f?r Informatik, Technische Universit?t M?nchen
pp. 183
Refinement II
null (PDF)
pp. null
Synthesis, Optimization
null (PDF)
pp. null
Roberto Ziller , University of Karlsruhe
Klaus Schneider , University of Kaiserslautern
pp. 217
Dumitru Potop-Butucaru , Ecole des Mines de Paris, CMA
Robert de Simone , INRIA Sophia Antipolis
pp. 227
W. B. Gardner , Dept. of Computing & Information Science, Univ. of Guelph, Guelph, Ontario, Canada
pp. 237
Invited Talk
Formal Verification II
null (PDF)
pp. null
Christoph Sprenger , Projet Lemme, INRIA Sophia Antipolis
pp. 255
David Cachera , IRISA, Campus de Beaulieu
pp. 265
Panel II
Rajesh Gupta , University of California at San Diego
Sandeep Shukla , Virginia Polytechnic and State University
pp. 277
Closing Talk
Author Index
Author Index (PDF)
pp. 285
8 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool