Skip to Main content Skip to Navigation

Search by documents

hal-01206569v1  Conference papers
Sébastien AubinPatrice BriandPatrick PlainchaultJean-Michel AuberletThierry Bosch. Capteurs pour un observatoire de trajectoires
In Proc of Prévention des Risques et Aides à la Conduite (PRAC), 2010, Paris, France
hal-01206575v1  Conference papers
Sébastien AubinSio Song IengPatrick PlainchaultJean-Michel AuberletThierry Bosch. Capteurs coopératifs pour un observatoire de trajectoires
5ème Conférence internationale Francophone d’automatique (CIFA), Sep 2008, Bucarest, Romania
hal-01206570v1  Conference papers
Patrick PlainchaultSébastien AubinPatrice BriandJean-Michel AuberletThierry Bosch. Des capteurs enfouis pour l'analyse du comportement des conducteurs
C2I 2010, 5ème Colloque Interdisciplinaire en Instrumentation, Jan 2010, LE MANS, France
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-03059942v1  Conference papers
Guillaume BrauMohammed Foughali. Contract-Based Verification of Model Transformations: A Formally Founded Approach
36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021), Mar 2021, Gwangju (virtual), South Korea
hal-00345089v1  Conference papers
Ismael Bouassida RodriguezMohammed Karim GuennounKhalil DriraChristophe ChassotMohamed Jmaiel. Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism
5th International Conference on Soft Computing as Transdisciplinary Science and Technology (CSTST'2008), Oct 2008, PARIS, France. pp.484-491
hal-00358827v1  Conference papers
Riadh Ben HalimaKhalil DriraMohamed Jmaiel. A QoS-Oriented Reconfigurable Middleware For Self-Healing Web Services
IEEE International Conference on Web Services (ICWS 2008), Sep 2008, Beijing, China. pp.104-111
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-01827116v1  Conference papers
Khalil Drira. Adaptive communication for collaborative interaction in smart environments
LAAS RT Days 2018, Jun 2018, Toulouse, France. 1p
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
hal-00438377v1  Journal articles
Florent PeresBernard BerthomieuFrançois Vernadat. Composer les réseaux de Petri temporels
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2009, 43 (7-9), pp.1001-1015
hal-01561994v1  Journal articles
Pierre-Alain BourdilBernard BerthomieuSilvano Dal ZilioFrançois Vernadat. Symmetry reduction for time Petri net state classes
Science of Computer Programming, Elsevier, 2016, Science of Computer Programming, 132 (Part 2), pp.209 - 225. ⟨10.1016/j.scico.2016.08.008⟩
hal-00323983v1  Conference papers
Ana-Elena RuginaPeter FeilerKarama KanounMohamed Kaâniche. Software dependability modeling using an industry-standard architecture description language
4th European Congress ERTS Embedded Real Time Software, Jan 2008, Toulouse, France
hal-00323969v1  Conference papers
Ana-Elena RuginaKarama KanounMohamed Kaâniche. The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
7th European Dependable Computing Conference (EDCC), May 2008, Kaunas, Lithuania. pp.85-90
hal-01534011v1  Conference papers
Khalil Drira. Multiscale and Multiobjective modelling: a perspective for mastering the design and operation complexity of IoT Systems
Mipro - The 40th Jubilee International ICT Convention – MIPRO 2017, Modeling System Behaviour session, May 2017, Opatija, Croatia. 3p
hal-01533221v1  Conference papers
Rui WangJérémie GuiochetGilles Motet. Confidence Assessment Framework for Safety Arguments
SafeComp 2017, Sep 2017, Trento, Italy. 14p
hal-00942429v2  Conference papers
Ikbel GuidaraNawal GuermoucheTarak ChaariSaïd TaziMohamed Jmaiel. Pruning based Service Selection Approach under QoS and Temporal Constraints
21th IEEE International Conference on Web Services (ICWS 2014), Jun 2014, Alaska, United States. 8p
hal-01539004v1  Conference papers
Sana RekikNouha BaccourMohamed JmaielKhalil Drira. Holistic link quality estimation-based routing metric for RPL networks in smart grids
27th IEEE Annual International Symposium on Personal, Indoor, and Mobile Radio Communications (PIMRC), Sep 2016, Valence, Spain. pp.1 - 6, ⟨10.1109/PIMRC.2016.7794925⟩
hal-00747429v1  Conference papers
Miruna StoicescuJean-Charles FabreMatthieu Roy. Experimenting with Component-Based Middleware for Adaptive Fault Tolerant Computing
European Dependable Computing Conference (EDCC 2012), May 2012, Sibiu, Romania. 2p
hal-01145339v1  Conference papers
Amal GassaraIsmael Bouassida RodriguezMohamed Jmaiel. A multi-scale modeling approach for software architecture deployment
The 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015), Apr 2015, Salamanca, Spain. 7p
hal-01539713v1  Conference papers
Akram KamounMohamed KacemAhmed KacemKhalil Drira. Feature Model based on Design Pattern for the Service Provider in the Service Oriented Architecture
The 19th International Conference on Enterprise Information Systems (ICEIS’2017), Apr 2017, Porto, Portugal. pp.111-120, ⟨10.5220/0006332301110120⟩
hal-02865816v1  Journal articles
Jakapan SuabootAdil FahadZahir TariJohn GrundyAbdun Naser Mahmood et al.  A Taxonomy of Supervised Learning for IDSs in SCADA Environments
ACM Computing Surveys, Association for Computing Machinery, 2020, 53 (2), pp.1-37. ⟨10.1145/3379499⟩