Number of documents

8


"Safouan Taha"   

Journal articles1 document

Conference papers7 documents

  • Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez. Improved Invariant Generation for Industrial Software Model Checking of Time Properties. 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), Jul 2019, Sofia, Bulgaria. pp.334-341, ⟨10.1109/QRS.2019.00050⟩. ⟨hal-02322576⟩
  • Vassil Todorov, Frédéric Boulanger, Safouan Taha. Formal verification of automotive embedded software. FORMALISE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden. ⟨10.1145/3193992.3194003⟩. ⟨hal-01768687⟩
  • Frédéric Boulanger, Dominique Marcadet, Martin Rayrole, Safouan Taha, Benoît Valiron. A time synchronization protocol for A664-P7. Digital Avionics Systems Conference, Sep 2018, London, United Kingdom. ⟨hal-01890134⟩
  • Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, et al.. Towards a formal semantics of the TESL specification language. 3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Benoit Combemale; Julien Deantoni; Jeff Gray, Sep 2015, Ottawa, Canada. pp.14-19. ⟨hal-01239669⟩
  • Chouh Hamza, Callon Charlotte, Jalal Ghita, Frédéric Boulanger, Safouan Taha. Modeling and Verification of Redundancy Policies. ACESMB 2013, Sep 2013, MIAMI, United States. 10p. ⟨hal-00905551⟩
  • Abderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, et al.. Extending the Standard Execution Model of UML for Real-Time Systems. 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International conference, BICC 2010 Held as Part of WCC 2010, Sep 2010, Brisbane, Australia. pp.43-54. ⟨hal-00534388⟩
  • Abderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, et al.. Extending the Standard Execution Model of UML for Real-Time Systems. 7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.43-54, ⟨10.1007/978-3-642-15234-4_6⟩. ⟨hal-01054487⟩