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: G=ouml==szlig=ler:Gregor
Facilitated 2 volumes:
PrCoPrCoContributed to:
2009
20072000Wrote 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.