Role of a NSAID in the apparent cure of a fungal mycetoma von Dupont, B., Datry, A., Poirée, S., Canestri, A., Boucheneb, S., Fourniols, E.

Volltext

Controller Synthesis of Time Petri Nets Using Stopwatch von Heidari, Parisa, Boucheneb, Hanifa

Volltext

Three-phase Bone Scintigraphy Can Predict the Analgesic Efficacy of Ketamine Therapy in CRPS von Sorel, Marc, Beatrix, Jacques-Christian, Locko, Blanche, Armessen, Catherine, Domec, Anne-Marie, Lecompte, Otilia, Boucheneb, Sofiane, Harache, Benoit, Robert, Jacques, Lefaucheur, Jean-Pascal

Volltext

Intertwined Global Optimization Based Reachability Analysis von Seghaier, Ibtissem, Tahar, Sofiène

Volltext

Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation von Jouini, Hana, Escheikh, Mohamed, Barkaoui, Kamel, Ezzedine, Tahar

Volltext

An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study von Boussif, Abderraouf, Ghazel, Mohamed

Volltext

WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction von Mangean, Armel, Béchennec, Jean-Luc, Briday, Mikaël, Faucou, Sébastien

Volltext

Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings von Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

Volltext

Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Volltext

Regression-Based Statistical Bounds on Software Execution Time von Poplavko, Peter, Nouri, Ayoub, Angelis, Lefteris, Zerzelidis, Alexandros, Bensalem, Saddek, Katsaros, Panagiotis

Volltext

Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model Checking von Younes, Sana, Benmbarek, Momtez

Volltext

A Toolset for Mobile Systems Testing von André, Pierre, Rivière, Nicolas, Waeselynck, Hélène

Volltext

Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot von Ayub, Muhammad Saad, Hasan, Osman

Volltext

Application of Generalized Stochastic Petri Nets to Performance Modeling of the RF Communication in Sensor Networks von Hakmi, Sedda, Lekadir, Ouiza, Aïssani, Djamil

Volltext

Factor-Based C-AMAT Analysis for Memory Optimization von Yu, Qi, Huang, Libo, Qian, Cheng, Ma, Jianqiao, Wang, Zhiying

Volltext

Uppaal vs Event-B for Modelling Optimised Link State Routing von Kamali, Mojgan, Petre, Luigia

Volltext

Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude von Aman, Bogdan, Ciobanu, Gabriel

Volltext

TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm von Guesmi, Hela, Ben Hedia, Belgacem, Bliudze, Simon, Bensalem, Saddek, Le Nabec, Briag

Volltext

Incidentalomes parotidiens en TEP-18F-FDG : prévalence, diagnostic et impact thérapeutique von Homo-Seban, M., Slimani Thevenet, H., Harache, B., Boucheneb, S., Ghazzar-Pierquet, N., Weinmann, P.

Volltext

Incidentalomes parotidiens en TEP-18-FDG : prévalence, diagnostic et impact thérapeutique von Homo Seban, M., Slimani Thevenet, H., Harache, B., Boucheneb, S., Ghazzar Pierquet, N., Maunoury, C., Weinmann, P.

Volltext