The Library
Browse by Warwick Author
Up a level |
Number of items: 25.
2018
Chakrapani Rao, Arun (2018) More automated formal methods?! : If so, why, where & how? In: Automated Formal Methods Workshop 2017, in association with 9th NASA Formal Methods Symposium (NFM) 2017, Moffett Field, California, USA, 19-20 May 2017 . Published in: Proceedings of Automated Formal Methods (AFM) 2017, in association with 9th NASA Formal Methods Symposium (NFM) 2017, 5 pp. 50-62. doi:10.29007/k317 ISSN 2515-1762.
Chakrapani Rao, Arun, Raouf, A, Dhadyalla, Gunwant and Pasupuleti, Vijay S. (2018) Mutation testing based evaluation of formal verification tools. In: Fourth International Conference on Dependable Systems and Their Applications, Beijing, 31 Oct - 01 Nov 2017. Published in: 2017 International Conference on Dependable Systems and Their Applications (DSA) ISBN 9781538636916. doi:10.1109/DSA.2017.10
2017
Botham, John, Dhadyalla, Gunwant, Powell, Antony, Miller, Peter, Haas, Olivier, McGeoch, David, Chakrapani Rao, Arun, O'Halloran, Colin, Kiec, Jaroslaw, Farooq, Asif, Pushpas, Saman and Tudor, Nick (2017) PICASSOS â Practical applications of automated formal methods to safety related automotive systems. In: WCX⢠17: SAE World Congress Experience, Detroit, Michigan, USA, 4-6 Apr 2017. Published in: SAE Technical Papers (2017-01-0063). doi:10.4271/2017-01-0063 ISSN 0148-7191.
Chakrapani Rao, Arun (2017) Using simulink and stateflow for model checking of system models. In: PICASSOS Formal Methods Seminar, British Motor Museum, Gaydon, 28 Feb 2017. Published in: Proceedings of the PICASSOS Formal Methods Seminar (Unpublished)
2015
Chakrapani Rao, Arun, Dixit, Manoj G., Sethu, Ramesh. (2015) Systems and methods for generating high-quality formal executable software feature requirements. United States Patent and Trademark Office no.9,152,385 [Online]. Available at: http://patft.uspto.gov/netacgi/nph-Parser?Sect1=PT....
2014
Chakrapani Rao, Arun and Liu, Jun (2014) Advances in addressing challenges in complex control systems design. IFAC Proceedings Volumes, 47 (1). pp. 955-958. doi:10.3182/20140313-3-IN-3024.00138 ISSN 1474-6670.
Chakrapani Rao, Arun (2014) Model based systems engineering for complex aerospace systems. In: Invited Talk at Airbus as part of UKIERI Visit, Bengaluru (formerly Bangalore), India, 12 Mar 2014
2013
Chakrapani Rao, Arun, Kakade, Rupesh and Murugesan, Mohan (2013) Utilization of simulink verification and validation (V&V) and simulink design verifier (SDV) for HVAC controls software. In: MATLAB Virtual Conference 2013 - European Track, Sheffield, United Kingdom, 20 Mar 2013
2012
Chakrapani Rao, Arun, Kakade, Rupesh and Murugesan, Mohan (2012) Utilization of simulink verification and validation (V&V) and simulink design verifier (SDV) for HVAC controls software. In: MATLAB EXPO 2012 India, Bengaluru (formerly Bangalore), India, 08 Aug 2012
2011
Chakrapani Rao, Arun, Rajeev, A. C. and Yeolekar, Anand (2011) Applying design verification tools in automotive software V&V. In: SAE 2011 World Congress & Exhibition, Detroit, Michigan, USA, 12-14 Apr 2011. Published in: SAE Technical Papers, 1 (2011-01-0745). doi:10.4271/2011-01-0745 ISSN 0148-7191.
Chakrapani Rao, Arun, Dixit, Manoj G. and Sethu, Ramesh (2011) Formal requirements analysis techniques for software-intensive automotive electronic control systems. In: SAE 2011 World Congress and Exhibition, Detroit, Michigan, USA, 12-14 Apr 2011. Published in: SAE Technical Papers, 1 (2011-01-1002). doi:10.4271/2011-01-1002 ISSN 0148-7191.
2010
Chakrapani Rao, Arun and Dixit, Manoj G. (2010) New math-based analysis techniques for next-gen feature requirements. In: General Motors Fall 2010 Kettering Forum, Detroit, Michigan, USA, 20 Oct 2010. Published in: General Motors Fall 2010 Kettering Forum Proceedings
2008
Chakrapani Rao, Arun, McMurran, Ross and Jones, R. Peter (2008) A critical analysis of model-based formal verification efforts within the automotive industry. SAE International Journal of Passenger Cars - Electronic and Electrical Systems, 1 (1). pp. 77-83. doi:10.4271/2008-01-0220 ISSN 1946-4614.
Guo, Yue, Chakrapani Rao, Arun and Jones, R. Peter (2008) Architectural and functional modelling of an automotive driver information system using SysML. In: IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, Beijing, China, Oct 12-15, 2008. Published in: Proceedings of the 2008 IEEE/ASME international Conference on Mechatronic and Embedded Systems and Applications pp. 552-557. ISBN 9781424423675.
2007
Chakrapani Rao, Arun, McMurran, Ross, Jones, R. P., Smith, M. A., Tudor, N. and Burnard, A. (2007) Assessing the real worth of software tools to check the healthiness conditions of automotive software. In: 2007 3rd Institution of Engineering and Technology Conference on Automotive Electronics, Coventry, UK, 28-29 June 2007 pp. 1-8. ISSN 0537-9989.
2006
McMurran, Ross, Chakrapani Rao, Arun and Jones, P. (2006) Model based validation techniques for complex control systems. In: IET - The Institution of Engineering and Technolgy Hybrid Vehicle Conference 2006, Coventry, UK, 12-13 Dec 2006 pp. 201-212. ISBN 9780863417481.
Chakrapani Rao, Arun, Dhadyalla, Gunwant, Jones, R. Peter and McMurran, Ross (2006) Systems modelling of a driver information system - automotive industry case study. In: IEEE/SMC International Conference on System of Systems Engineering, Los Angeles, CA, 24-26 Apr 2006. Published in: Proceedings of the 2006 IEEE/SMC International Conference on System of Systems pp. 240-245. doi:10.1109/SYSOSE.2006.1652305
Chakrapani Rao, Arun (2006) Evaluation of formal verification technology for model-based development of automotive software. In: Premium Automotive R&D Conference, Coventry, UK, 09 Mar 2006
Chakrapani Rao, Arun (2006) SysML for automotive software development and integration. In: Premium Automotive R&D Conference, Coventry, UK, 08 Mar 2006
2005
Chakrapani Rao, Arun (2005) Evaluation of formal verification technology at IARC. In: The 5th International Workshop on Automated Verification of Critical Systems, Coventry, UK, 13 Sep 2005
2000
Chakrapani Rao, Arun, Cau, Antonio and Zedan, Hussein (2000) Visualisation of interval temporal logic. In: Fifth Joint Conference on Information Sciences (JCIS 2000), New Jersey, USA, 28 Feb - 03 Mar 2000. Published in: Proceedings of The Fifth Joint Conference on Information Sciences (JCIS 2000) pp. 687-690.
1999
Chakrapani Rao, Arun (1999) On the need for a visual notation for ITL. In: British Colloquium for Theoretical Computer Science 15, Keele, UK, 14-16 Apr 1999
1998
Chakrapani Rao, Arun (1998) Interval temporal logic and tempura for the formal specification of real-time and safety-critical systems. In: Computer Science Postgraduate Conference, Leicester, UK, 12 Apr 1998. Published in: Proceedings of the Computer Science Postgraduate Conference
1997
Chakrapani Rao, Arun and Ramaprabhu, Sundara (1997) Hydrogen absorption studies in Zr0.2Tb0.8Co3 and decrepitation and cyclic stabilities in Zr0.2Tb0.8Co3 and ZrMnFe. Journal of Alloys and Compounds, 259 (1-2). pp. 254-259. doi:10.1016/s0925-8388(97)00111-4 ISSN 0925-8388.
1994
Chakrapani Rao, Arun and Lahiri, A. K. (1994) Prediction of silicon content in hot metal in blast furnaces. In: Indian Ironmaking Conference, Jamshedpur, India, Jan 1995. Published in: Proceedings of the Indian Ironmaking Conference 1995
This list was generated on Thu Mar 28 13:15:06 2024 GMT.