Skip to Main content Skip to Navigation

Search by documents



...
hal-01954270v1  Conference papers
Euriell Le CorroncAlexandre SahuguèdeYannick PencoléClaire Paya. Localization of time shift failures in (max,+)-linear systems
14th Workshop on Discrete Event Systems, WODES'18, May 2018, Sorrento Coast, Italy. pp.186-191
hal-02174451v1  Conference papers
Nicolas SeydouxMaxime LefrançoisLionel Médini. Positionnement sur le Web Sémantique des Objets
Journées francophones d’Ingénierie des Connaissances, Plate-Forme Intelligence Artificielle (PFIA 2019), Jul 2019, Toulouse, France. pp.8-25
...
hal-01979370v1  Journal articles
Jean-Claude LaprieKarama Kanoun. X-ware reliability and availability modeling
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 1992, 18 (2), pp.130-147
...
hal-02007235v1  Journal articles
Karama KanounMarta Bastos-MartiniGeorges Moreira de Souza. A method for software reliability analysis and prediction, application to the TROPICO-R switching system.
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 1991, 17 (4), pp.334-344
...
hal-00760783v1  Conference papers
Damien FouresVincent AlbertJean-Claude Pascal. ACTIVITYDIAGRAM2PETRINET : TRANSFORMATION-BASED MODEL IN ACCORDANCE WITH THE OMG SYSML SPECIFICATIONS
Eurosis, The 2011 European Simulation and Modelling Conference, Oct 2011, Guimaraes, Portugal. p429-p433
...
hal-00781084v1  Conference papers
Roberto PasquaDamien FouresVincent AlbertAlexandre Nketsa. FROM SEQUENCE DIAGRAMS UML 2.x TO FD-DEVS BY MODEL TRANSFORMATION
European Simulation and Modelling Conference, Oct 2012, Essen, Germany. pp.37-43 N° 12481
...
hal-01562929v1  Conference papers
Vincent AlbertClément Foucher. Formal Framework for Discrete-Event Simulation
20th IFAC World Congress, Jul 2017, Toulouse, France. pp.5812-5817, ⟨10.1016/j.ifacol.2017.08.535⟩
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-01828585v1  Conference papers
Romaric GuillermHamid DemmouAlexandre NketsaJean-Jacques Carrillo. Co-Simulation of Complex Multi-Physics Systems Aeronautical example
28th European Simulation and Modelling Conference (ESM 2014), Oct 2014, Porto, Portugal. 6p
...
hal-01828535v1  Conference papers
Romaric GuillermHamid Demmou. Safety Management Method in Complex System Engineering
8th Annual IEEE International Systems Conference (SysCon 2014), Mar 2014, Ottawa, Canada. 7p
...
hal-01828560v1  Conference papers
Vatsal PantJean-Charles ChaudemarHamid Demmou. Safety Analysis of Pilot-System Interaction
12e Conférence Internationale de Modélisation, Optimisation et Simulation (MOSIM), Jun 2018, Toulouse, France. 6p
...
hal-01869640v1  Conference papers
Lunde ChenSlim AbdellatifArmel Francklin Simo TegueuThierry Gayraud. Virtual Link Embedding in Software-Defined Multi-radio Multi-channel Multi-hop Wireless Networks
The 21st ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Oct 2018, Montreal, Canada. 10p
...
tel-01964462v1  Theses
Karama Kanoun. Croissance de la sûreté de fonctionnement des logiciels. Caractérisation, modélisation, évaluation
Performance et fiabilité [cs.PF]. Institut National Polytechnique De Toulouse, 1989. Français
...
tel-00346998v1  Habilitation à diriger des recherches
Djalil Chafai. Contributions à l'étude de modèles biologiques, d'inégalités fonctionnelles, et de matrices aléatoires
Mathématiques [math]. Université Paul Sabatier - Toulouse III, 2008
...
tel-01939447v1  Theses
Maria Kazakova. Dispersive models of ocean waves propagation: Numerical issues and modelling
Mathematics [math]. Université Toulouse 3 Paul Sabatier, 2018. English
hal-01575987v1  Conference papers
Mathilde GuiltatAlain EstèveAndré RossiMehdi Djafari-RouhaniYves J Chabal et al.  An Atomic Scale Insight into Interface Layers Formation in Al/CuO Nanolaminated Thin Films: a Kinetic Monte Carlo Simulation of Deposition Process
42nd International Conference On Metallurgical Coatings & Thin Films (ICMCTF 2015), Apr 2015, San Diego, CA, United States
hal-02051693v1  Conference papers
Anne HémeryckJean Marie DucéréAlain EstèveMehdi Djafari-RouhaniPhilippe Menini. A Modeling Tentative of Operation of Gas Sensor through Atomic Scale Insights
Gas sensors based on semiconducting metal oxides: basic understanding & application fields ( GSSMO 2015), Jun 2015, Tubingen, Germany
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-00349450v1  Conference papers
Guy JuanoleLaurent Gallon. Le modèle réseaux de Petri temporisés stochastiques et son adéquation aux systèmes distribués temps critique
Congrès AFCET "Modélisation des Systèmes Réactifs" MSR'96, Mar 1996, Brest, France. pp.301-308
hal-00349418v1  Conference papers
Guy JuanoleLaurent Gallon. Formal modeling and analysis of a critical time communication protocol
1st IEEE Workshop on Factory Communication Systems (WFCS'95), Oct 1995, Lausanne, Switzerland. pp.107-115, ⟨10.1109/WFCS.1995.482656⟩