738 results  save search

hal-02051994v1  Reports
Yann Argotti. Activity Report: PhD 1st Year
LAAS / CNRS; Renault Software Labs. 2019
hal-00802695v1  Conference papers
Julien ForgetFrédéric BoniolDavid LesensClaire Pagetti. A Multi-Periodic Synchronous Data-Flow Language
11th IEEE High Assurance Systems Engineering Symposium, Dec 2008, Nanjing, China. pp.251-260
hal-01402565v1  Conference papers
Ning GeShin NakajimaMarc Pantel. Hidden Markov Model Based Automated Fault Localization for Integration Testing
4th International Conference on Software Engineering and Service Science (ICSESS 2013), May 2013, Beijing, China. pp. 1-4
hal-01327102v1  Conference papers
Mohammad ChamiJean-Michel Bruel. Towards an Integrated Conceptual Design Evaluation of Mechatronic Systems: The SysDICE Approach
International Conference on Computational Science (ICCS 2015), Jun 2015, Reykjavik, Iceland. pp. 650-659
hal-01095110v1  Conference papers
Quentin GaudelElodie ChantheryPauline RibotEuriell Le Corronc. Hybrid systems Diagnosis using modified particle Petri nets
International Workshop on Principles of Diagnosis (DX), Sep 2014, Graz, Austria
hal-01095119v1  Conference papers
Quentin GaudelElodie ChantheryPauline Ribot. Health Monitoring of Hybrid Systems Using Hybrid Particle Petri Nets
Annual Conference of the Prognostics and Health Management Society 2014, Prognostics and Health Management Society (PHM), Sep 2014, Fort Worth, United States. pp.51
hal-01592022v1  Conference papers
Florent ChevrouAurélie HuraultPhilippe Quéinnec. Automated Verification of Asynchronous Communicating Systems with TLA+
15th International Workshop on Automated Verification of Critical Systems (AVOCS 2015), Sep 2015, Edinburgh, Scotland, United Kingdom. pp. 135-150
hal-01592031v1  Conference papers
Alain TchanaNoel de PalmaIbrahim SafieddineDaniel HagimontBruno Diot et al.  Software consolidation as an efficient energy and cost saving solution for a SaaS/PaaS cloud model
European Conference on Parallel Processing (Euro-Par 2015), Aug 2015, Vienna, Austria. pp. 305-316
hal-02147962v1  Journal articles
Ronald Pérez-ÁlvarezJorge Maldonado-MahauadMar Pérez-Sanagustin. Design of a Tool to Support Self-Regulated Learning Strategies in MOOCs
Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2018, 24 (8), pp.1090-1109. ⟨10.3217/jucs-024-08-1090⟩
hal-01095461v1  Journal articles
Philip AxerRolf ErnstHeiko FalkAlain GiraultDaniel Grund et al.  Building Timing Predictable Embedded Systems
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2014, 13 (4), pp.38. ⟨10.1145/2560033⟩
hal-01145209v1  Conference papers
Celia MartiniePhilippe Palanque. Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance
AAAI 2014 Symposium on Formal Verification on Human-Machine Systems - 2014, Mar 2014, Palo Alto, United States. pp. 27-32
hal-01146396v1  Conference papers
Adel ThaljaouiDamien BrulinThierry ValNejah Nasri. Localisation d'une source sonore par un réseau de microphones
Journées Nationales des Communications Terrestres - JNCT 2014, May 2014, Toulouse, France. pp. 95-109
hal-01445133v1  Journal articles
Viviana BustosJulien BroisinJaime Munoz-ArteagaJose Eder Guzman. Extension of IEEE LOM Standard for Describing Educational Interactive Application: An Accessibility approach
IEEE Latin America Transactions, Institute of Electrical and Electronics Engineers, 2016, vol. 14 (n° 8), pp. 3847-3855
hal-01394663v1  Conference papers
Riadh DhaouBenoît EscrigBéatrice PaillassaCaroline Bes. Extending satellite service availability through energy efficient cooperation
25th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2014), Sep 2014, Washington D.C., United States. pp. 1758-1762
hal-01739975v1  Journal articles
Mahamat Habib Senoussi HisseinAdrien van den BosscheThierry Val. Prototyping of a new Multi-channel Multi-hop Access Method without RendezVous
International Journal of Computer Science and Information Security, IJCSIS, 2017, vol. 15 (n° 1), pp. 68-74
hal-01524718v1  Journal articles
Dana PetcuGabriel IuhaszDaniel PopDomenico TaliaJesus Carretero et al.  On Processing Extreme Data
Scalable computing : Practice and Experience, 2016, vol. 16 (n° 4), pp. 467-489. ⟨10.12694/scpe.v16i4.1134⟩
hal-01233221v1  Conference papers
Rahma Bouaziz. GRIMACE: GeneRIc MetAmodel for domain Component modElling.
14th European Workshop on Dependable Computing (EWDC 2013), May 2013, Coimbra, Portugal. pp. 181-184
hal-01929441v1  Conference papers
Yannick PencoléGerald SteinbauerClemens MühlbacherLouise Travé-Massuyès. Diagnosing Discrete Event Systems Using Nominal Models Only
28th International Workshop on Principles of Diagnosis (DX'17), Sep 2017, Brecia, Italy. 15p., ⟨10.29007/1d2x⟩
hal-01929433v1  Conference papers
James Christopher CodyYannick PencoléAlban Grastien. Inference of fault signatures of discrete-event systems from event logs
28th International Workshop on Principles of Diagnosis (DX'17), Sep 2017, Brescia, Italy. 15p., ⟨10.29007/qmpw⟩
hal-01929533v1  Conference papers
Yannick Pencolé. DITO: a CSP-based diagnostic engine
Twenty-first European Conference on Artificial Intelligence (ECAI'14), Aug 2014, Prague, Czech Republic
hal-01979366v1  Journal articles
Karama Kanoun. Real-word Design Diversity: a case study on cost
IEEE Software, Institute of Electrical and Electronics Engineers, 2001, 18 (4), pp.29-33
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
hal-02316865v1  Conference papers
Cheikhou ThiamGeorges da CostaJean-Marc Pierson. A Decentralized Algorithm to Revisit the Debate of Centralization and Decentralization Approaches for Cloud Scheduling
7th International Conference on Smart Grids and Green IT Systems (SMARTGREENS 2018), Mar 2018, Funchal, Madeira, Portugal. pp.165-172
hal-01500510v1  Conference papers
Badr SialaMohamed Tahar BhiriJean-Paul BodeveixMamoun Filali. Un processus de développement Event-B pour des applications distribuées
15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL, Jun 2016, Besançon, France. pp. 94-100
hal-01052656v1  Conference papers
Maxime ChéramyPierre-Emmanuel HladikAnne-Marie DéplancheSébastien Dubé. Simulation of Real-Time Scheduling with Various Execution Time Models
9th IEEE International Symposium on Industrial Embedded Systems (SIES), Jun 2014, Pise, Italy