Filter your results
- 10
- 7
- 12
- 4
- 1
- 17
- 1
- 1
- 1
- 1
- 5
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 1
- 14
- 5
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 17
- 5
- 5
- 5
- 4
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Vérification parallélisée de propriétés temporelles sur des traces d'exécution, par analyse dynamique formelleApproches Formelles dans l'Assistance au Développement Logiciel, Jun 2015, Bordeaux, France. pp.1-15
Conference papers
hal-01471489v1
|
||
Integration of heterogeneous formal techniques for the design of avionics systemsProc. Conference on Data Systems in Aerospace (DASIA 2004), Jun 2004, Nice, France
Conference papers
hal-03777792v1
|
|||
|
The landing gear case study: challenges and experimentsInternational Journal on Software Tools for Technology Transfer, 2016, 19 (2), pp.133-140. ⟨10.1007/s10009-016-0431-4⟩
Journal articles
hal-01851720v1
|
||
|
Statistical automaton for verifying temporal properies and computing information on tracesInternational Journal of Computers, Communications and Control, 2016, 11 (5), pp.645-656. ⟨10.15837/ijccc.2016.5.2148⟩
Journal articles
hal-01363470v1
|
||
|
Formal Verification of Critical Aerospace SoftwareAerospace Lab, 2012, 4, p. 1-8
Journal articles
hal-01184099v1
|
||
|
Guidance for Using Formal Methods in a Certification ContextERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
Conference papers
hal-02267708v1
|
||
|
Show Me New Counterexamples: A Path-Based Approach8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015), Apr 2015, Graz, Austria. ⟨10.1109/ICST.2015.7102606⟩
Conference papers
hal-01953299v1
|
||
Trace analysis from ERTMS engineeringComprail, International Conference on Railway Engineering Design and Operation, Jul 2016, Madrid, Spain. 12p
Conference papers
hal-01353502v1
|
|||
A component Based Méthodology for Description of Complex SystemsProc. 4th European Systems Engineering Conference (EuSEC 2002), May 2002, Toulouse, France
Conference papers
hal-03702475v1
|
|||
Verification Coverage for Combining Test and Proof12th International Conference on Tests and Proofs, Jun 2018, Toulouse, France. ⟨10.1007/978-3-319-92994-1_7⟩
Conference papers
hal-02901326v1
|
|||
|
Trace analysis from ERTMS engineeringCOMPRAIL, Jul 2016, MADRID, Spain
Conference papers
hal-01386725v1
|
||
Test Languages for In-the-Loop Avionics TestsJournal of Aerospace Information Systems, 2015, 12 (4), pp.374-391. ⟨10.2514/1.I010151⟩
Journal articles
hal-01953487v1
|
|||
ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and ValidationISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Dec 2007, Poitiers-Futuroscope, France. Revue des Nouvelles Technologies de l'Information, Cépaduès; Editions RNTI, 2007, 978-2-85428-814-8
Special issue
hal-03376104v1
|
|||
|
Parallel verification of temporal properties using dynamic analysisInternational Conference on Industrial Engineering and System Management (IESM), Oct 2015, Séville, Spain. 10p
Conference papers
hal-01213652v1
|
||
|
Use of formal methods in embedded software development: stakes, constraints and proposalEmbedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
Conference papers
hal-02272049v1
|
||
|
Experiences in using model checking to verify real time properties of a landing gear control systemConference ERTS'06, Jan 2006, Toulouse, France
Conference papers
hal-02270431v1
|
||
|
MIMOSA: Towards a model driven certification process8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Conference papers
hal-01289704v1
|