Travelled to:1 × Denmark
1 × France
1 × USA
Collaborated with:L.Hedrich E.Barke
Talks about:model (4) analog (3) check (3) nonlinear (2) system (2) algorithm (1) approach (1) discret (1) verif (1)
Person: Walter Hartong
DBLP: Hartong:Walter
Contributed to:
2002
2002
2002Wrote 3 papers:
- CAV-2002-HartongHB #model checking #modelling #on the
- On Discrete Modeling and Model Checking for Nonlinear Analog Systems (WH, LH, EB), pp. 401–413.
- DAC-2002-HartongHB #algorithm #model checking #verification
- Model checking algorithms for analog verification (WH, LH, EB), pp. 542–547.
- DATE-2002-HartongHB #approach #model checking
- An Approach to Model Checking for Nonlinear Analog Systems (WH, LH, EB), p. 1080.