Travelled to:2 × France
2 × Germany
Collaborated with:K.Schneider M.Huhn T.Kropf
Talks about:synchron (2) abstract (2) time (2) real (2) imprecis (1) arithmet (1) program (1) languag (1) generat (1) counter (1)
Person: George Logothetis
DBLP: Logothetis:George
Contributed to:
2003200220001999Wrote 4 papers:
- DATE-2003-LogothetisS #analysis #source code
- Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration (GL, KS), pp. 10196–10203.
- DATE-2002-LogothetisS #generative #modelling #realtime
- Extending Synchronous Languages for Generating Abstract Real-Time Models (GL, KS), pp. 795–802.
- DATE-2000-LogothetisS #abstraction #realtime
- Abstraction from Counters: An Application on Real-Time Systems (GL, KS), pp. 486–493.
- DATE-1999-HuhnSKL #verification
- Verifying Imprecisely Working Arithmetic Circuits (MH, KS, TK, GL), p. 65–?.