Skip to Main content Skip to Navigation

hal-00760783v1  Conference papers
Eurosis, The 2011 European Simulation and Modelling Conference, Oct 2011, Guimaraes, Portugal. p429-p433
hal-01190054v1  Conference papers
Yann BachyVincent NicometteEric AlataMohamed KaânicheJean-Christophe Courrège. Security of ISP Access Networks: practical experiments
11th European Dependable Computing Conference - Dependability in Practice (EDCC 2015), Sep 2015, Paris, France
hal-01567075v1  Conference papers
Eduardo B. FernandezBrahim Hamid. A pattern for network functions virtualization
20th European Conference on Pattern Language of Programs (EuroPlop 2015), Jul 2015, Kloster Irsee, Germany. pp. 1-9
hal-01202799v1  Conference papers
Silvano Dal ZilioBernard Berthomieu. Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus
1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Teheran, Iran. pp.90-104, ⟨10.1007/978-3-319-28678-5_7⟩
hal-01193039v1  Conference papers
Michaël LauerMatthieu AmyWilliam ExcoffonMatthieu RoyMiruna Stoicescu. Towards Adaptive Fault Tolerance: From a Component-Based Approach to ROS
CARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France
hal-01194832v1  Conference papers
Hélène MartorellJean-Charles FabreMichaël LauerMatthieu RoyRégis Valentin. Partial Updates of AUTOSAR Embedded Applications — To What Extent?
11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
hal-01196010v1  Conference papers
Yannick Pencolé. Random generator of k-diagnosable discrete event systems
26th International Workshop on Principles of Diagnosis (DX-15), Aug 2015, Paris, France
hal-01196011v1  Conference papers
Yannick PencoléRomain PichardPierre Fernbach. Modular fault diagnosis in discrete-event systems with a CPN diagnoser
9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Sep 2015, Paris, France
hal-02263455v1  Conference papers
Renaud PonsAudine SubiasLouise Travé-Massuyès. Hybrid Causal Model Based Diagnosis. Application to Automotive Embedded Functions
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
hal-01387757v1  Conference papers
Théodore Jean Richard RelazaJacques JordaAbdelaziz M'Zoughi. Trapezoid Quorum Protocol Dedicated to Erasure Resilient Coding Based Schemes
20th IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems held in conjunction with the 29th IEEE International Parallel and Distributed Processing Symposium Workshop (IPDPSW 2015), May 2015, Hyderabad, India. pp.1082-1088, ⟨10.1109/IPDPSW.2015.108⟩
hal-01387797v1  Conference papers
S.I. AuwalS. I. FaisalI. M. YusufHalis AltunMustafa Kaiiali et al.  Cloud-based online social network
10th International Conference on Electronics, Computer and Computation (ICECCO 2013), Nov 2013, Ankara, Turkey. pp.289-292, ⟨10.1109/ICECCO.2013.6718285⟩
hal-01387807v1  Conference papers
Tan Thuan VoBernard CouletteHanh Nhi TranRedouane Lbath. Defining and Using Collaboration Patterns for Software Process Development
International Workshop on Cooperative Model Driven Development (CMDD 2015) within the 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), Feb 2015, Angers, France. pp.557-564, ⟨10.5220/0005338705570564⟩
hal-00978475v1  Conference papers
Olivier BaldellonJean-Charles FabreMatthieu Roy. Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems
The 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013), Dec 2013, Vancouver, Canada. 10p
hal-01387731v1  Conference papers
Théodore Jean Richard RelazaJacques JordaAbdelaziz M'Zoughi. Majority Quorum Protocol Dedicated to General Threshold Schemes
15th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid 2015), May 2015, Shenzhen, Guangdong, China. pp. 785-788
hal-01816342v1  Conference papers
Alexandre NketsaVincent Albert. Signature Matching Applied to Simulation/Frame Duality
2009 Fourth International Conference on Systems, Mar 2009, Gosier, France. ⟨10.1109/ICONS.2009.32⟩
hal-02089337v1  Journal articles
Amani MakhloufChristian PerceboisHanh Nhi Tran. An Auto-active Approach to Develop Correct Logic-based Graph Transformations
International Journal On Advances in Software, IARIA, 2018, 11 (1 & 2), pp.147-158
hal-01715619v1  Conference papers
Assia BelbachirRamil AgliamzanovÖnder GürcanKasim Sinan Yildirim. Robust and Efficient Self-Adaptive Position Tracking in Wireless Embedded Systems
2015 8th IFIP Wireless and Mobile Networking Conference (WMNC), Oct 2015, Munich, France. ⟨10.1109/WMNC.2015.25⟩
hal-01148836v1  Conference papers
Pierrick MarieThierry DespratsSophie ChabridonMichelle Sibilla. Extending Ambient Intelligence to the Internet of Things: New Challenges for QoC Management
International Conference on Ubiquitous Computing and Ambient Intelligence - UCAmI 2014, Dec 2014, Belfast, United Kingdom. pp. 224-231
hal-00349404v1  Conference papers
Laurent GallonIsabelle BlumGuy Juanole. Modelling and analysis of the ARINC specification 629 CP MAC layer protocol
2nd IEEE International Workshop on Factory Communication Systems (WFCS'97), Oct 1997, Barcelona, Spain. p 91-100, ⟨10.1109/WFCS.1997.634288⟩
hal-02267640v1  Conference papers
Andres ToomNassima IzerroukenTonu NaksMarc PantelOlivier Ssi Yan Kai. Towards Reliable Code Generation with an Open Tool: Evolutions of the Gene-Auto toolset
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
inria-00536907v1  Conference papers
Huafeng YuYue MaYann GloucheJean-Pierre TalpinLoïc Besnard et al.  System-level Co-simulation of Integrated Avionics Using Polychrony
ACM Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. 6 p