| emsoft | participants

S. Ramesh

Program Committees:
2009, 2010, 2011, 2012, 2013, 2018, 2019, and 2020
.

EMSOFT 2015: 15th International Conference on Embedded Software

A Framework for Mining Hybrid Automata From Input/Output Traces

Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, and Sebastian Fischmeister

EMSOFT 2011: 11th International Conference on Embedded Software

Cross-layer Analysis, Testing and Verification of Automotive Control Software

Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, and Wolfgang Pree

EMSOFT 2010: 10th International Conference on Embedded Software

Schedulability and End-to-End Latency in Distributed ECU Networks: Formal Modeling and Precise Estimation

A.C. Rajeev, Swarup Mohalik, Manoj G. Dixit, Devesh B. Chokshi, and S. Ramesh

EMSOFT 2008: 8th ACM & IEEE International Conference on Embedded Software

Randomized Directed Testing (REDIRECT) for Simulink/Stateflow Models

Manoranjan Satpathy, Anand Yeolekar, and S. Ramesh

Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models

Rajeev Alur, Aditya Kanade, S. Ramesh, and K. C. Shashidhar

EMSOFT 2007: 7th ACM & IEEE International Conference on Embedded Software

Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations

Vijay D'Silva, Sampada Sonalkar, and S. Ramesh