OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Institution is :Other partners > SYSTEREL (FRANCE)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 6.

Ge, Ning and Dieumegard, Arnaud and Jenn, Eric and D'Ausbourg, Bruno and Aït-Ameur, Yamine Formal development process of safety critical embedded human machine interface systems. (2018) In: TASE (11th International Symposium on Theoretical Aspects of Software Engineering), 13 September 2017 - 15 September 2017, Sophia Antipolis (France) (Sophia Antipolis, France).

Dieumegard, Arnaud and Ge, Ning and Jenn, Eric Event-B at work: some lessons learnt from an application to a robot anti-collision function. (2017) In: NFM (9th NASA Formal Methods Symposium) Formal Methods Symposium, 16 May 2017 - 18 May 2017 (Moffett Field, United States).

Ge, Ning and Jenn, Eric and Breton, Nicolas and Fonteneau, Yoann Integrated formal verification of safety-critical software. (2017) International Journal on Software Tools for Technology Transfer. 1 - 18. ISSN 1433-2779

Baklanova, Nadezhda and Brenas, Jon Haël and Makhlouf, Amani and Percebois, Christian and Strecker, Martin and Tran, Hanh Nhi Coding, Executing and Verifying Graph Transformations with small-tALCQe. (2016) In: International Workshop Graph Computation Models, Part of STAF 2016 (GCM 2016), 4 July 2016 (Vienna, Austria).

Ge, Ning and Jenn, Eric and Breton, Nicolas and Fonteneau, Yoann Formal Verification of a Rover Anti-collision System. (2016) In: FMICS-AVoCS 2016, 26 September 2016 - 28 September 2016 (Pisa, Italy).

Clabaut, Mathieu and Ge, Ning and Breton, Nicolas and Jenn, Eric and Delmas, Rémi and Fonteneau, Yoann Industrial grade model checking: use Cases, constraints, tools and applications. (2016) In: ERTS2 2016 (Embedded Real Time Software and Systems), 27 January 2016 - 29 January 2016 (Toulouse, France).

This list was generated on Thu Jul 9 14:05:38 2020 CEST.