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: Goswami:Dip
Contributed to:
2014
201320132012201220112011
2009Wrote 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.
- CASE-2009-GoswamiSBC
- A DECOMSYS based tool-chain for analyzing FlexRay based automotive control applications (DG, PS, UDB, SC), pp. 403–408.