Advanced Programme for NADA'97
Presentations
- Session N-1: Analog
Modelling
(Chair: W. Dosch, Mediz. Univ. Lübeck)
-
Bernhard Möller: Opening Remarks
-
Mark Kahrs: MHDL: A Critical Evaluation (Invited Talk)
-
Natividad Martínez Madrid: A Suggested Formal Semantics for the New
Elements in VHDL-AMS
- Session N-2: Logic and Algebraic
Approaches
(Chair: H. Schwichtenberg, Univ. München)
-
Peter T. Breuer: Hardware Semantics and Time
-
Neal A. Harman, Anthony C.J. Fox: Algebraic Models and Correctness of
Superscalar Microprocessors
-
Alban Ponse: Grid Protocols and Iterative Operations in Process Algebra
- Session N-3: Functional
Approaches
(Chair: M. Broy, Tech. Univ. München)
-
Bernhard Möller: Stream Algebra
-
Walter Dosch: Deductive Design of Digital Circuits
-
Ulrich Berger, Helmut Schwichtenberg: Extraction of Functional
Programs from Proofs
- Session N-4: State-based
Approaches
(Chair: N. Harman, Univ. College Swansea)
-
Michael von der Beeck: Statecharts Semantics: An Evaluation
(Invited Talk)
-
Peter Scholz: System-Level Hardware Design with µ-Charts
-
Karl Meinke: Semantics and Verification for Statecharts using
Non-Deterministic Synchronous Concurrent Algorithms
secre@it.uc3m.es