ETAPS'98

Wednesday, April 1st

09:00

Invited Lecture

Extreme programming: a humanistic discipline of programming

Kent Beck (CSLife, CH)

10:00

Coffee

10:30

FASE

TACAS

CC

Specifying safety-critical embedded systems with Statecharts and Z: an agenda for cyclic software components, W.Grieskamp, M.Heisel (TU Berlin, D) and H.Doerr (Daimler-Benz, D) Efficient modeling of memory arrays in symbolic ternary simulation, MN.Velev and R.Bryant (CMU, USA)        Myths and facts about the efficient implementation of finite automata and lexical analysis, K.Brouwer, W.Gellerich and E.Ploedereder (U Stuttgart, D)
Specifying safety-critical embedded systems with Statecharts and Z: a case study, R.Büssow, R.Geisler (TU Berlin, D) and M.Klar (Fraunhofer Institut, D) Translation validation, A.Pnueli, M.Siegel (Weizmann Institute, IL) and E.Singerman (SRI, USA) Generalised recursive descent parsing and follow-determinism, A.Johnstone and E.Scott (U London, UK)
A refinement calculus for Statecharts, P.Scholz (TU Munich, D) A verified model checker for the modal µ-calculus in Coq, C.Sprenger (Swiss Federal Institute of Technology, CH) Analyzing direct non-local dependencies in attribute grammars, JT.Boyland (CMU, USA)
Backtracking-free design planning by automatic synthesis in METAFrame, T.Margaria (U Passau, D) and B.Steffen (U Dortmund, D) Detecting races in relay ladder logic programs, A.Aiken, M.Fähndrich and Z.Su (U California at Berkeley, USA) Storage allocation strategies for recursive attribute evaluators, K.Mizushima (PFU Limited, JP) and T.Katayama (JAIST, JP)
12:30

Lunch

14:30

Invited Lecture

Practical formal verification: how close are we?

Amir Pnueli (Weizmann Institute, IL)

15:30

Coffee

16:00

TACAS

CC

Verification of large state/event systems using compositionality and dependency analysis, J.Lind-Nielsen, HR.Andersen (TU Denmark, DK), G.Behrmann (Aalborg U, DK), H.Hulgaard (TU Denmark, DK) , K.Kristoffersen and KG.Larsen (Aalborg U, DK) Basic-block graphs: living dinosaurs?, J.Knoop, D.Koschützki (U Passau, D) and B.Steffen (U Dortmund, D)                   
Tamagotchis need not die - verification of STATEMATE designs, U.Brockmeyer and G.Wittich (OFFIS, Oldenburg, D) Analysis of loops, F.Martin, M.Alt, C.Ferdinand and R.Wilhelm (U Saarlandes, D)
Modeling and verification of sC++ applications, T.Cattel (École Polytechnique Fédérale, CH) A new approach to control flow analysis, P.Malacaria and C.Hankin (Imperial College, UK)
Factotum: automatic and systematic sharing support for systems analyzers, DJ.Sherman and N.Magnier (U Bordeaux, F) Flow logics for constraint based analysis, HR.Nielson and F.Nielson (U Aarhus, DK)
18:00

Close

19:30

Banquet




[Saturday, Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Saturday]