• M
  • MEMOCODE
  • 2003
  • First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE?03)
Advanced Search 
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE?03)
Mont Saint-Michel, France
June 24-June 26
ISBN: 0-7695-1923-7
Table of Contents
Introduction
Opening Remarks
null
Conference Updates
null
Invited Talk
System Level Models and Co-design
null
Lu?s Gomes, Universidade Nova de Lisboa, Faculdade de Ci?ncias e Tecnologia, Dep. of Elect. Eng.
Anik? Costa, Universidade Nova de Lisboa, Faculdade de Ci?ncias e Tecnologia, Dep. of Elect. Eng.
pp. 24
Short Presentation Session
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
Twan Basten, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands.
pp. 47
Margot Bittner, Institut fur Softwaretechnik und Theoretische Informatik
Florian Kammller, 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
Field Modifiability and Verifiability
null
Panel I
Refinement/Conformance I
null
Thierry J-F. Omnes, Philips Semiconductors, Chief Technology Office - Design Technology Group
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
Nick Gatherer, Philips Semiconductors, Chief Technology Office - Design Technology Group
pp. 113
Validation, Co-validation
null
Franco Fummi, Universita di Verona
Graziano Pravadelli, Universita di Verona
Andrea Fedeli, STMicroelectronics
Umberto Rossi, STMicroelectronics
Franco Toto, STMicroelectronics
pp. 145
Tobias Sch?, University of Kaiserslautern, Department of Computer Science, Reactive Systems Group
Klaus Schneider, 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
Manfred BROY, Institut f?r Informatik, Technische Universit?t M?nchen
pp. 183
Refinement II
null
Synthesis, Optimization
null
W. B. Gardner, Dept. of Computing & Information Science, Univ. of Guelph, Guelph, Ontario, Canada
pp. 237
Formal Verification II
null
Panel II
Closing Talk
Author Index
Usage of this product signifies your acceptance of the Terms of Use.