Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

12 Results
authFullName_s : S. Ramesh

Relating Requirement and Design Variabilities

Jean-Vivien Millo , S. Ramesh
APSEC '12 - Proceedings of the 19th Asia-Pacific Software Engineering Conference 2012, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.35-42, ⟨10.1109/APSEC.2012.67⟩
Conference papers hal-00799094v1
Image document

Automated Synthesis of Assertion Monitors using Visual Specifications

Ambar A. Gadkari , S. Ramesh
DATE'05, Mar 2005, Munich, Germany. pp.390-395
Conference papers hal-00181545v1

A mixed approach to rigorous development of control designs

Manoranjan Satpathy , S. Ramesh , Colin F. Snook , Neeraj Kumar Singh , Michael Butler et al.
2013 IEEE Conference on Computer Aided Control System Design (CACSD), IEEE, Aug 2013, Hyderabad, India. pp.7-12, ⟨10.1109/CACSD.2013.6663474⟩
Conference papers hal-03617696v1

Compositional Verification of Software Product Lines

Jean-Vivien Millo , S. Ramesh , Shankara Narayanan Krishna , Ganesh Khandu Narwane
iFM 2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. pp.109-123, ⟨10.1007/978-3-642-38613-8_8⟩
Conference papers istex hal-00799108v1

Tracing SPLs precisely and efficiently

Swarup Mohalik , S. Ramesh , Jean-Vivien Millo , Shankara Narayanan Krishna , Ganesh Narwane et al.
SPLC '12 - Proceedings of the 16th International Software Product Line Conference, Sep 2012, Salvador, Brazil. pp.186-195, ⟨10.1145/2362536.2362562⟩
Conference papers hal-00799104v1

Scenario-based verification in presence of variability using a synchronous approach

Jean-Vivien Millo , Frédéric Mallet , Anthony Coadou , S. Ramesh
Frontiers of Computer Science, 2013, 7 (5), pp.650-672. ⟨10.1007/s11704-013-3094-6⟩
Journal articles hal-00913955v1
Image document

Compositional Verification of Evolving SPL

Jean-Vivien Millo , S. Ramesh , Shankara Narayanan Krishna , Ganesh Khandu Narwane
[Research Report] RR-8125, INRIA. 2012, pp.34
Reports hal-00747533v1
Image document

Multiple Mutation Testing from Finite State Machines with Symbolic Inputs

Omer Nguena Timo , Alexandre Petrenko , S. Ramesh
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.108-125, ⟨10.1007/978-3-319-67549-7_7⟩
Conference papers hal-01678962v1
Image document

Test Generation by Constraint Solving and FSM Mutant Killing

Alexandre Petrenko , Omer Nguena Timo , S. Ramesh
28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.36-51, ⟨10.1007/978-3-319-47443-4_3⟩
Conference papers hal-01643724v1
Image document

Multiple Mutation Testing from FSM

Alexandre Petrenko , Omer Nguena Timo , S. Ramesh
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.222-238, ⟨10.1007/978-3-319-39570-8_15⟩
Conference papers hal-01432920v1

Is Graphitic Silicon Carbide (Silagraphene) Stable?

A. Yaghoubi , K. Masenelli-Varlot , O. Boisron , S. Ramesh , P. Melinon et al.
Chemistry of Materials, 2018, 30 (20), pp.7234-7244. ⟨10.1021/acs.chemmater.8b03293⟩
Journal articles hal-01916288v1
Image document

Synchronous Paradigm in Embedded Systems

Alain Girault , S. Ramesh , Jean-Pierre Talpin
EURASIP Journal on Embedded Systems, 2007, 2007 (1), pp.032903
Journal articles hal-00784461v1