Search - Télécom Paris Access content directly

Filter your results

13 Results
Author: personID (integer) : 1053469

Semantic Preserving RTL Transformation for Control-Data Slicing in Virtual IPs

Waseem Muhammad , Sophie Coudert , Rabéa Ameur-Boulifa , Renaud Pacalet
2007 IEEE International Multitopic Conference (INMIC), Dec 2007, Lahore, France. pp.1-6, ⟨10.1109/INMIC.2007.4557700⟩
Conference papers hal-02893223v1
Image document

Formal Methods for Railway Disasters Prevention

Lilia Belabed , Tullio Tanzi , Sophie Coudert
2nd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Oct 2017, Sofia, Bulgaria. pp.161-176, ⟨10.1007/978-3-030-18293-9_14⟩
Conference papers hal-02280313v1
Image document

Execution trace analysis for a precise understanding of latency violations

Maysam Zoor , Ludovic Apvrille , Renaud Pacalet , Sophie Coudert
Software and Systems Modeling, 2023, ⟨10.1007/s10270-022-01076-z⟩
Journal articles hal-03930026v1
Image document

Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management

Sophie Coudert , Tullio Tanzi
1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.61-76, ⟨10.1007/978-3-319-68486-4_6⟩
Conference papers hal-03213130v1

Modélisation formelle pour l’ingénierie système

Sophie Coudert , Dominique Legros
Revue REE (Selection Journées scientifiques URSI 2017), 2017
Journal articles hal-02287828v1

Abstract Application Modeling for System Design Space Exploration

W. Muhammad , Ludovic Apvrille , R. Ameur-Boulifa , Sophie Coudert , R. Pacalet et al.
9th EUROMICRO Conference on Digital System Design (DSD'06), Aug 2006, Cavtat, Croatia. pp.331-337
Conference papers hal-00525081v1

Formal Method for RailWays Disasters prevention

Lilia Belabed , Tullio Joseph Tanzi , Sophie Coudert
Murayama Y., Velev D., Zlateva P. (eds). Information Technology in Disaster Risk Reduction. ITDRR 2017. IFIP Advances in Information and Communication Technology, 516, Springer, pp.161-170, 2019
Book sections hal-02364487v1

Assisting abstraction and verification of IP modules by control-data slicing

Waseem Muhammad , Sophie Coudert , Rabéa Ameur-Boulifa , Renaud Pacalet
TENCON 2009. 2009 IEEE Region 10 Conference, Jan 2009, Singapore, France. pp.1-6, ⟨10.1109/TENCON.2009.5395936⟩
Conference papers hal-02893162v1

Proving the Safety of a Sliding Window Protocol with Event-B

Sophie Coudert
International Conference on Rigorous State-Based Methods, ABZ 2021, Jun 2021, Ulm, Germany
Conference papers hal-03322370v1

Formal Methods for Safe Design of Autonomous Systems dedicated to risk management

Sophie Coudert , Tullio Tanzi
First IFIP conference on information technology in disaster risk reduction (ITDRR 2016), Nov 2016, Sofia, Bulgaria
Conference papers hal-02412253v1

A UML-based Environment for System Design Space Exploration

Ludovic Apvrille , W. Muhammad , R. Ameur-Boulifa , Sophie Coudert , R. Pacalet et al.
IEEE International Conference on Electronics, Circuits and Systems (ICECS 2006), Dec 2006, Nice, France. pp.1272-1275
Conference papers hal-00525101v1

Formal Methods for Safe Design and Verification of Transportation Systems

Lilia Belabed , Tullio Tanzi , Sophie Coudert , Dominique Legros
1st Summer School Human Factors Aspects of Cooperative Systems Design, Jul 2017, Sophia Antipolis, France
Conference papers hal-02412315v1

Formal methode for safe and Verification of RailWay Signaling Sustems

Lilia Belabed , Tullio Tanzi , Sophie Coudert
Conference on Information Technology in Disaster risk reduction (ITDRR 2017), Oct 2017, Sofia, Bulgaria
Conference papers hal-02412316v1