BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Logothetis:George

Contributed to:

DATE 20032003
DATE 20022002
DATE 20002000
DATE 19991999

Wrote 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–?.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.