BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Portugal
1 × Vietnam
Collaborated with:
J.Raclet S.Bornot J.Sifakis M.Tivoli P.Fradet A.Girault
Talks about:
compon (2) time (2) construct (1) synthesi (1) contract (1) adaptor (1) system (1) design (1) modal (1) real (1)

♂ Person: Gregor Gößler

DBLP DBLP: G=ouml==szlig=ler:Gregor

Facilitated 2 volumes:

CBSE 2014PrCo
CBSE 2013PrCo

Contributed to:

SEFM 20092009
TACAS 20072007
TACAS 20002000

Wrote 3 papers:

SEFM-2009-GoesslerR #component #contract #design
Modal Contracts for Component-Based Design (GG, JBR), pp. 295–303.
TACAS-2007-TivoliFGG #adaptation #component #realtime #synthesis
Adaptor Synthesis for Real-Time Components (MT, PF, AG, GG), pp. 185–200.
TACAS-2000-BornotGS #on the
On the Construction of Live Timed Systems (SB, GG, JS), pp. 109–126.

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.