Filter your results
- 10
- 3
- 10
- 2
- 1
- 11
- 5
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 2
- 12
- 1
- 12
- 2
- 1
- 13
- 5
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
|
|
sorted by
|
Semantic Preserving RTL Transformation for Control-Data Slicing in Virtual IPs2007 IEEE International Multitopic Conference (INMIC), Dec 2007, Lahore, France. pp.1-6, ⟨10.1109/INMIC.2007.4557700⟩
Conference papers
hal-02893223v1
|
|||
|
Formal Methods for Railway Disasters Prevention2nd 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
|
||
|
Execution trace analysis for a precise understanding of latency violationsSoftware and Systems Modeling, 2023, ⟨10.1007/s10270-022-01076-z⟩
Journal articles
hal-03930026v1
|
||
|
Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management1st 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èmeRevue REE (Selection Journées scientifiques URSI 2017), 2017
Journal articles
hal-02287828v1
|
|||
Abstract Application Modeling for System Design Space Exploration9th EUROMICRO Conference on Digital System Design (DSD'06), Aug 2006, Cavtat, Croatia. pp.331-337
Conference papers
hal-00525081v1
|
|||
Formal Method for RailWays Disasters preventionMurayama 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 slicingTENCON 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-BInternational 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 managementFirst 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 ExplorationIEEE 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 Systems1st 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 SustemsConference on Information Technology in Disaster risk reduction (ITDRR 2017), Oct 2017, Sofia, Bulgaria
Conference papers
hal-02412316v1
|