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 × India
2 × France
2 × Germany
3 × USA
Collaborated with:
S.Chakraborty R.Schneider A.Masrur U.D.Bordoloi M.Lukasiewycz M.Kauer A.Annaswamy P.Seshadri D.Soudbakhsh A.M.Annaswamy C.J.Xue L.Zhang P.Kumar K.Lampka L.Thiele J.Chen A.Banerjee P.Eles Z.Peng M.Geier M.Becker D.Yunge B.Dietrich S.Steinhorst S.Ramesh
Talks about:
control (5) automot (3) physic (3) hybrid (3) applic (3) verif (3) cyber (3) base (3) protocol (2) communic (2)

Person: Dip Goswami

DBLP DBLP: Goswami:Dip

Contributed to:

DATE 20142014
DAC 20132013
DATE 20132013
DAC 20122012
DATE 20122012
DAC 20112011
DATE 20112011
CASE 20092009

Wrote 11 papers:

DATE-2014-KauerSGCA #distributed #embedded #fault tolerance #synthesis #verification
Fault-tolerant control synthesis and verification of distributed embedded systems (MK, DS, DG, SC, AMA), pp. 1–6.
DAC-2013-GeierBYDSGC #exclamation
Let’s put the car in your phone! (MG, MB, DY, BD, RS, DG, SC), p. 2.
DAC-2013-GoswamiLKSMCR #development #modelling #verification
Model-based development and verification of control software for electric vehicles (DG, ML, MK, SS, AM, SC, SR), p. 9.
DATE-2013-GoswamiMSXC #design #multi
Multirate controller design for resource- and schedule-constrained automotive ECUs (DG, AM, RS, CJX, SC), pp. 1123–1126.
DATE-2013-SchneiderZGMC #analysis #composition
Compositional analysis of switched ethernet topologies (RS, LZ, DG, AM, SC), pp. 1099–1104.
DAC-2012-KumarGCALT #approach #cyber-physical #hybrid #verification
A hybrid approach to cyber-physical systems verification (PK, DG, SC, AA, KL, LT), pp. 688–696.
DATE-2012-GoswamiLSC #implementation
Time-triggered implementations of mixed-criticality automotive software (DG, ML, RS, SC), pp. 1227–1232.
DATE-2012-MasrurGCCAB #analysis #communication #cyber-physical #hybrid #protocol
Timing analysis of cyber-physical applications for hybrid communication protocols (AM, DG, SC, JJC, AA, AB), pp. 1233–1238.
DAC-2011-SchneiderGCBEP #on the #quantifier
On the quantification of sustainability and extensibility of FlexRay schedules (RS, DG, SC, UDB, PE, ZP), pp. 375–380.
DATE-2011-GoswamiSC #communication #cyber-physical #hybrid #protocol #re-engineering
Re-engineering cyber-physical control applications for hybrid communication protocols (DG, RS, SC), pp. 914–919.
A DECOMSYS based tool-chain for analyzing FlexRay based automotive control applications (DG, PS, UDB, SC), pp. 403–408.

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.