2025
Journal articles
- titre
- Characteristics analysis of silicone gel electrical treeing for power device packaging under high temperature coupled square wave pulse electric field
- auteur
- Yue Wang, Dongxin He, Keming Liu, Junyu Wei, Yunhao Li, Rui Wang, Abderrahmane Beroual, Usama Khaled
- article
- IEEE Transactions on Dielectrics and Electrical Insulation, 2025, pp.1-1. ⟨10.1109/TDEI.2025.3574949⟩
- Accès au bibtex
-
Conference papers
- titre
- Towards programming languages free of injection-based vulnerabilities by design
- auteur
- Eric Alata, Pierre-François Gimenez
- article
- LangSec 2025 - Eleventh Language-theoretic Security Workshop at IEEE Security & Privacy Symposium, May 2025, San Francisco CA, United States. pp.1-17
- Accès au texte intégral et bibtex
-
Book sections
- titre
- On Operational Diagnosis for Ground Stations: A Model-Based Approach
- auteur
- Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, David Canu, Jérôme Golenzer, Christophe Ducamp
- article
- Space Operations: Invest in space to serve Earth and Beyond, , pp.235-251, 2025, 9783031604072. ⟨10.1007/978-3-031-60408-9_11⟩
- Accès au bibtex
-
2024
Journal articles
- titre
- An Operational Quality Model of Embedded Software Aligned with ISO 25000
- auteur
- Yann Argotti, Yasmine Kenfaoui, Claude Baron, Alain Abran, Philippe Esteban
- article
- ACM Transactions on Embedded Computing Systems (TECS), 2024, 24 (1), pp.1-41. ⟨10.1145/3691642⟩
- Accès au bibtex
-
- titre
- On the Complexity of Proving Polyhedral Reductions
- auteur
- Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
- article
- Fundamenta Informaticae, 2024, 192 (3-4), pp.363-394. ⟨10.3233/FI-242197⟩
- Accès au texte intégral et bibtex
-
- titre
- Minimizing cache usage with fixed-priority and earliest deadline first scheduling
- auteur
- Binqi Sun, Tomasz Kloda, Sergio Arribas Garcia, Giovani Gracioli, Marco Caccamo
- article
- Real-Time Systems, 2024, 60, pp.625-664. ⟨10.1007/s11241-024-09423-7⟩
- Accès au texte intégral et bibtex
-
- titre
- Fostering the progressive deployment and standardisation of engineering processes – proposal of a dedicated framework for manufacturing SMEs
- auteur
- Rui Xue, Claude Baron, Rob Vingerhoeds, Philippe Esteban
- article
- Journal of Engineering Design, 2024, 35 (5), pp.570-596. ⟨10.1080/09544828.2024.2327914⟩
- Accès au bibtex
-
- titre
- Confidence assessment in safety argument structure - Quantitative vs. qualitative approaches
- auteur
- Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet
- article
- International Journal of Approximate Reasoning, 2024, 165, pp.109100. ⟨10.1016/j.ijar.2023.109100⟩
- Accès au texte intégral et bibtex
-
- titre
- Acceleration of Classic McEliece Post-Quantum Cryptosystem with Cache Processing
- auteur
- Cyrius Nugier, Vincent Migliore
- article
- IEEE Micro, 2024, 44 (1), pp.59 - 68. ⟨10.1109/MM.2023.3304425⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
- auteur
- Paul-Antoine Le Tolguenec, Emmanuel Rachelson, Yann Besse, Florent Teichteil-Koenigsbuch, Nicolas Schneider, Hélène Waeselynck, Dennis Wilson
- article
- ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, Sep 2024, Vienne, Austria. pp.920-931, ⟨10.1145/3650212.3680331⟩
- Accès au texte intégral et bibtex
-
- titre
- Wireless Modulation Identification: filling the gap in IoT networks security audit
- auteur
- Florent Galtier, Guillaume Auriol, Vincent Nicomette, Paul L R Olivier, Romain Cayre, Mohamed Kaâniche
- article
- 21st Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA '24), Jul 2024, Lausanne, Switzerland
- Accès au texte intégral et bibtex
-
- titre
- Can we Defend Against the Unknown? An Empirical Study About Threshold Selection for Neural Network Monitoring
- auteur
- Khoi Tran Dang, Kevin Delmas, Jérémie Guiochet, Joris Guérin
- article
- Uncertainty in Artificial Intelligence (UAI), PMLR, Jul 2024, Barcelone, Spain
- Accès au texte intégral et bibtex
-
- titre
- OASIS: An Intrusion Detection System Embedded in Bluetooth Low Energy Controllers
- auteur
- Romain Cayre, Vincent Nicomette, Guillaume Auriol, Mohamed Kaâniche, Aurélien Francillon
- article
- 2024 ACM Asia conference on Computer and Communications Security (ASIACCS)., Jul 2024, Singapore, Singapore
- Accès au texte intégral et bibtex
-
- titre
- Do Obsolescence and Shortages have an impact on Reliability, Maintainability and Availability ?
- auteur
- Sahar Karaani, Mariem Besbes, Zolghadri Marc, Claude Baron, Maher Barkallah
- article
- 6th IFAC Workshop on Advanced Maintenance Engineering, Services and Technologies (AMEST 2024), Jun 2024, Cagliari, Italy
- Accès au bibtex
-
- titre
- Approche intégrée pour la modélisation et la simulation des systèmes à structure dynamique
- auteur
- Aya Attia, Clément Foucher, Luiz Fernando Lavado Villa
- article
- Colloque National du GDR SoC2, Jun 2024, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Toward Context-aware Security for Individual Information Systems
- auteur
- Van-Tien Nguyen, Guillaume Doyen, Van-Tien Nguyen, Renzo E Navas, Eric Alata, Daniela Dragomirescu
- article
- RESSI 2024 : Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2024, Eppe-Sauvage, France
- Accès au texte intégral et bibtex
-
- titre
- Lightweight Security for IoT Systems leveraging Moving Target Defense and Intrusion Detection
- auteur
- Van-Tien Nguyen, Renzo Efrain Navas, Guillaume Doyen
- article
- NOMS 2024-2024 IEEE/IFIP Network Operations and Management Symposium, IEEE, May 2024, Seoul, South Korea. ⟨10.1109/NOMS59830.2024.10575913⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards a systems engineering framework for CubeSats development
- auteur
- Mamadou Lamine Ndao, Claude Baron, Einar Knudsen, Kelson Joao
- article
- Annual International Systems Conference (SysCON 2024), IEEE, Apr 2024, Montréal, Canada. pp.1-8, ⟨10.1109/SysCon61195.2024.10553549⟩
- Accès au bibtex
-
- titre
- An experimental approach for evaluating cache allocation policies in multicore for real-time mixed-criticality systems
- auteur
- Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre
- article
- 2024 19th European Dependable Computing Conference (EDCC), KU leuven, Apr 2024, Leuven (BE), Belgium. ⟨10.1109/EDCC61798.2024.00033⟩
- Accès au texte intégral et bibtex
-
- titre
- Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
- auteur
- Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
- article
- Verification, Model Checking, and Abstract Interpretation. VMCAI 2024, Jan 2024, London, United Kingdom. pp.101-123, ⟨10.1007/978-3-031-50524-9_5⟩
- Accès au texte intégral et bibtex
-
2023
Journal articles
- titre
- How to early integrate operational diagnosis objectives in model‐driven engineering processes: A methodological proposal based on fault and behavior trees
- auteur
- Nikolena Christofi, Claude Baron, Xavier Pucel, Marc Pantel, David Canu, Christophe Ducamp
- article
- Systems Engineering, 2023, 27 (3), pp.585--597. ⟨10.1002/sys.21740⟩
- Accès au texte intégral et bibtex
-
- titre
- Modeling Rabbit-Holes on YouTube
- auteur
- Erwan Le Merrer, Gilles Trédan, Ali Yesilkanat
- article
- Social Network Analysis and Mining, 2023, 13 (1), pp.100. ⟨10.1007/s13278-023-01105-9⟩
- Accès au texte intégral et bibtex
-
- titre
- A Toolchain to Compute Concurrent Places of Petri Nets
- auteur
- Nicolas Amat, Pierre Bouvier, Hubert Garavel
- article
- LNCS Transactions on Petri Nets and Other Models of Concurrency, 2023, Lecture Notes in Computer Science, 14150, pp.1-26. ⟨10.1007/978-3-662-68191-6_1⟩
- Accès au texte intégral et bibtex
-
- titre
- Knowledge obsolescence and loss in firms
- auteur
- Antonio Orgiu, Claude Baron, Marc Zolghadri, Jean Alinei
- article
- Les Techniques de l'Ingenieur, 2023, g7022, ⟨10.51257/a-v1-g7022⟩
- Accès au texte intégral et bibtex
-
- titre
- Obsolescence et perte des connaissances dans les organisations
- auteur
- Antonio Orgiu, Claude Baron, Marc Zolghadri, Jean Alinei
- article
- Les Techniques de l'Ingenieur, 2023, pp.Réf : G7022 v1. ⟨10.51257/a-v1-g7022⟩
- Accès au bibtex
-
- titre
- Algorithmic audits of algorithms, and the law
- auteur
- Erwan Le Merrer, Ronan Pons, Gilles Trédan
- article
- AI and Ethics, 2023, pp.1-21. ⟨10.1007/s43681-023-00343-z⟩
- Accès au texte intégral et bibtex
-
- titre
- Using the ARCADIA/Capella Systems Engineering Method and Tool to Design Manufacturing Systems—Case Study and Industrial Feedback
- auteur
- Claude Baron, Lorenzo Grenier, Vitalina Ostapenko, Rui Xue
- article
- Systems, 2023, 11 (8), pp.429. ⟨10.3390/systems11080429⟩
- Accès au texte intégral et bibtex
-
- titre
- Framework and tooling proposals for Agile certification of safety-critical embedded software in avionic systems
- auteur
- Claude Baron, Vincent Louis
- article
- Computers in Industry, 2023, 148, pp.103887. ⟨10.1016/j.compind.2023.103887⟩
- Accès au texte intégral et bibtex
-
- titre
- Tasks in modular proofs of concurrent algorithms
- auteur
- Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
- article
- Information and Computation, 2023, 292 (Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems), pp.105040. ⟨10.1016/j.ic.2023.105040⟩
- Accès au texte intégral et bibtex
-
- titre
- Synchronous t-resilient consensus in arbitrary graphs
- auteur
- Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
- article
- Information and Computation, 2023, 292, pp.105035. ⟨10.1016/j.ic.2023.105035⟩
- Accès au texte intégral et bibtex
-
- titre
- Lazy Load Scheduling for Mixed-criticality Applications in Heterogeneous MPSoCs
- auteur
- Tomasz Kloda, Giovani Gracioli, Rohan Tabish, Reza Mirosanlou, Renato Mancuso, Rodolfo Pellizzoni, Marco Caccamo
- article
- ACM Transactions on Embedded Computing Systems (TECS), 2023, 22 (3), pp.1-26. ⟨10.1145/3587694⟩
- Accès au texte intégral et bibtex
-
- titre
- How does outward foreign direct investment influence manufacturing industry sustainable growth in China?
- auteur
- Rui Xue, Jiaqi Zhang, Huizheng Liu, Keyu Li, Claude Baron
- article
- Applied Economics, 2023, 56 (23), pp.2752-2768. ⟨10.1080/00036846.2023.2200233⟩
- Accès au bibtex
-
- titre
- Toward an Operations-Dedicated Model for Space Systems
- auteur
- Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, Sebastien Guilmeau, Christophe Ducamp
- article
- Journal of Aerospace Information Systems, 2023, 20 (4), pp.168-180. ⟨10.2514/1.I011093⟩
- Accès au bibtex
-
- titre
- Supporting single and multi-core resource access protocols on object-oriented RTOSes
- auteur
- Lucas Matheus dos Santos, Giovani Gracioli, Tomasz Kloda, Marco Caccamo
- article
- Design Automation for Embedded Systems, 2023, 27 (1-2), pp.31-50. ⟨10.1007/s10617-023-09268-6⟩
- Accès au texte intégral et bibtex
-
- titre
- Intrusion Detection System for IoT: Analysis of PSD Robustness
- auteur
- Lamoussa Sanogo, Eric Alata, Alexandru Takacs, Daniela Dragomirescu
- article
- Sensors, 2023, 23 (4), pp.2353. ⟨10.3390/s23042353⟩
- Accès au texte intégral et bibtex
-
- titre
- Value-Added Trade, Trade Barriers, and International Technology Spillover—Evidence from China’s Manufacturing Industry
- auteur
- Xiaoyong Qiao, Xingyao Li, Xin Ling, Rui Xue, Claude Baron, Xiaoxuan Xin
- article
- Advances in Management and Applied Economics, 2023, 13 (2), pp.111-137. ⟨10.47260/amae/1326⟩
- Accès au bibtex
-
- titre
- A Survey on the Security Challenges of Low-Power Wireless Communication Protocols for Communicating Concrete in Civil Engineerings
- auteur
- Gaël Loubet, Eric Alata, Alexandru Takacs, Daniela Dragomirescu
- article
- Sensors, 2023, 23 (4), pp.1849. ⟨10.3390/s23041849⟩
- Accès au texte intégral et bibtex
-
- titre
- Leveraging polyhedral reductions for solving Petri net reachability problems
- auteur
- Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
- article
- International Journal on Software Tools for Technology Transfer, 2023, 25, pp.95-114. ⟨10.1007/s10009-022-00694-8⟩
- Accès au texte intégral et bibtex
-
- titre
- SchedGuard++: Protecting against Schedule Leaks Using Linux Containers on Multi-Core Processors
- auteur
- Jiyang Chen, Tomasz Kloda, Rohan Tabish, Ayoosh Bansal, Chien-Ying Chen, Bo Liu, Sibin Mohan, Marco Caccamo, Lui Sha
- article
- ACM Transactions on Cyber-Physical Systems, 2023, 7 (1), pp.1-25. ⟨10.1145/3565974⟩
- Accès au bibtex
-
- titre
- A formal toolchain for offline and run-time verification of robotic systems
- auteur
- Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
- article
- Robotics and Autonomous Systems, 2023, 159, pp.104301. ⟨10.1016/j.robot.2022.104301⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Co-Optimizing Cache Partitioning and Multi-Core Task Scheduling: Exploit Cache Sensitivity or Not?
- auteur
- Binqi Sun, Debayan Roy, Tomasz Kloda, Andrea Bastoni, Rodolfo Pellizzoni, Marco Caccamo
- article
- IEEE Real-Time Systems Symposium (RTSS 2023), Dec 2023, Taipei, Taiwan. pp.224-236, ⟨10.1109/RTSS59052.2023.00028⟩
- Accès au texte intégral et bibtex
-
- titre
- Benchmarking formalisms for dynamic structure system Modeling and Simulation
- auteur
- Aya Attia, Clément Foucher, Luiz Fernando Lavado Villa
- article
- Modélisation des Systèmes Réactifs (MSR'23), CNRS, Nov 2023, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- A Case Study on the "Jungle" Search for Industry-Relevant Regression Testing
- auteur
- Maria Laura Brzezinski Meyer, Hélène Waeselynck, Fernand Cuesta
- article
- 23rd IEEE International Conference on Software Quality, Reliability & Security (QRS 2023), Oct 2023, Chiang Mai, Thailand. ⟨10.1109/QRS60937.2023.00045⟩
- Accès au texte intégral et bibtex
-
- titre
- SENA: Similarity-based Error-checking of Neural Activations
- auteur
- Raul Sena Ferreira, Joris Guerin, Jeremie Guiochet, Hélène Waeselynck
- article
- 27th European Conference on Artificial Intelligence - ECAI 2023, Sep 2023, Krakow, Poland
- Accès au texte intégral et bibtex
-
- titre
- From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (invited)
- auteur
- Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio Medina, Nicolas Navet, Sophie Quinton, Juan Rivas, Youcheng Sun
- article
- 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Jul 2023, Vienne, Austria. pp.19:1--19:18, ⟨10.4230/LIPIcs.ECRTS.2023.19⟩
- Accès au texte intégral et bibtex
-
- titre
- Minimizing Cache Usage for Real-time Systems
- auteur
- Binqi Sun, Tomasz Kloda, Sergio Arribas Garcia, Giovani Gracioli, Marco Caccamo
- article
- 31st International Conference on Real-Time Networks and Systems, Jul 2023, Dortmund, Germany. pp.200 - 211, ⟨10.1145/3575757.3593651⟩
- Accès au texte intégral et bibtex
-
- titre
- Change-Relaxed Active Fairness Auditing
- auteur
- Augustin Godinot, Erwan Le Merrer, Gilles Trédan, Camilla Penzo, François Taïani
- article
- RJCIA 2023 - 21e Rencontres des Jeunes Chercheurs en Intelligence Artificiel, Association Française pour l'Intelligence Artificielle, Jul 2023, Strasbourg, France. pp.91-96
- Accès au texte intégral et bibtex
-
- titre
- Improving the repairability of technical systems, a methodological proposal based on collaborative documentation -Example/case of an open source power converter
- auteur
- Jean Alinei, Guillaume Arthaud, Luiz Fernando Lavado Villa, Antonio Orgiu, Sahar Karaani, Claude Baron
- article
- SGE - Symposium de Génie Electrique 2023, Jul 2023, Lille, France
- Accès au texte intégral et bibtex
-
- titre
- Battery-free Bluetooth Low Energy Wireless Sensor Powered by Radiative Wireless Power Transfer
- auteur
- Alassane Sidibe, Gael Loubet, Alexandru Takacs, Lamoussa Sanogo, Daniela Dragomirescu
- article
- NewCAS 2023, IEEE, Jun 2023, Edinburg,, United Kingdom. ⟨10.1109/NEWCAS57931.2023.10198088⟩
- Accès au texte intégral et bibtex
-
- titre
- Automated Polyhedral Abstraction Proving
- auteur
- Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
- article
- 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Jun 2023, Lisbon, Portugal. pp.324-345, ⟨10.1007/978-3-031-33620-1_18⟩
- Accès au texte intégral et bibtex
-
- titre
- Improving the Execution Time of Industrial Applications through Planned Cache Eviction Policy Selection
- auteur
- Sergio Arribas García, Giovani Gracioli, Denis Hoornaert, Tomasz Kloda, Marco Caccamo
- article
- IEEE 32nd International Symposium on Industrial Electronics (ISIE 2023), Jun 2023, Helsinki, Finland. pp.1-6, ⟨10.1109/ISIE51358.2023.10228033⟩
- Accès au texte intégral et bibtex
-
- titre
- Reflections on Trusting Docker: Invisible Malware in Continuous Integration Systems
- auteur
- Florent Moriconi, Axel Ilmari Neergaard, Lucas Georget, Samuel Aubertin, Aurélien Francillon
- article
- 17th IEEE Workshop on Offensive Technologies (WOOT 2023), IEEE, May 2023, San Francisco (CA, USA), United States. ⟨10.1109/SPW59333.2023.00025⟩
- Accès au texte intégral et bibtex
-
- titre
- Schedulability Analysis of Non-preemptive Sporadic Gang Tasks on Hardware Accelerators
- auteur
- Binqi Sun, Tomasz Kloda, Jiyang Chen, Cen Lu, Marco Caccamo
- article
- IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS 2023), May 2023, San Antonio, United States. pp.147-160, ⟨10.1109/RTAS58335.2023.00019⟩
- Accès au texte intégral et bibtex
-
- titre
- Pairwise Testing Revisited for Structured Data With Constraints
- auteur
- Luca Vittorio Sartori, Hélène Waeselynck, Jérémie Guiochet
- article
- IEEE International Conference on Software Testing, Verification and Validation (ICST 2023), Apr 2023, Dublin, Ireland. ⟨10.1109/ICST57152.2023.00027⟩
- Accès au texte intégral et bibtex
-
- titre
- Introducing Operational Diagnosis Models for Ground Station Architectures using Behaviour Trees
- auteur
- Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, David Canu, Jérôme Golenzer, Christophe Ducamp
- article
- 17th International Conference on Space Operations (SpaceOps 2023), Mohammed Bin Rashid Space Centre (MBRSC), Mar 2023, Dubaï, United Arab Emirates. pp.1--8
- Accès au texte intégral et bibtex
-
- titre
- SMPT: A Testbed for Reachability Methods in Generalized Petri Nets
- auteur
- Nicolas Amat, Silvano Dal Zilio
- article
- 25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.445-453, ⟨10.1007/978-3-031-27481-7_25⟩
- Accès au texte intégral et bibtex
-
- titre
- Out-Of-Distribution Detection Is Not All You Need
- auteur
- Joris Guérin, Kevin Delmas, Raul Ferreira, Jérémie Guiochet
- article
- The 37th AAAI conference on artificial intelligence (2023), Feb 2023, Washington DC, United States. pp.14829-14837, ⟨10.1609/aaai.v37i12.26732⟩
- Accès au texte intégral et bibtex
-
Books
- titre
- What is a black box algorithm?
- auteur
- Erwan Le Merrer, Gilles Trédan
- article
- 2023
- Accès au texte intégral et bibtex
-
2022
Journal articles
- titre
- Skill-based design of dependable robotic architectures
- auteur
- Alexandre Albore, David Doose, Christophe Grand, Jérémie Guiochet, Charles Lesire, Augustin Manecy
- article
- Robotics and Autonomous Systems, 2022, 160, pp.104318. ⟨10.1016/j.robot.2022.104318⟩
- Accès au texte intégral et bibtex
-
- titre
- A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model Checking
- auteur
- Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio
- article
- Fundamenta Informaticae, 2022, 187 (2-4), pp.103-138. ⟨10.3233/FI-222134⟩
- Accès au texte intégral et bibtex
-
- titre
- Model-driven engineering to ensure automotive embedded software safety. Methodological proposal and case study
- auteur
- Yandika Sirgabsou, Claude Baron, Laurent Pahun, Philippe Esteban
- article
- Computers in Industry, 2022, 2022-02, 138, pp.103636. ⟨10.1016/j.compind.2022.103636⟩
- Accès au texte intégral et bibtex
-
- titre
- Identification and Assessment of Obsolescence in the Early Stages of System Design
- auteur
- Sophia Salas Cordero, Marc Zolghadri, Rob Vingerhoeds, Claude Baron
- article
- Journal of Integrated Design and Process Science, 2022, 24 (3-4), pp.15-33. ⟨10.3233/JID-210018⟩
- Accès au texte intégral et bibtex
-
- titre
- Understanding Microgrid Sustainability: A Systemic and Comprehensive Review
- auteur
- Antoine Boche, Clément Foucher, Luiz Fernando Lavado Villa
- article
- Energies, 2022, 15 (8), pp.2906. ⟨10.3390/en15082906⟩
- Accès au texte intégral et bibtex
-
- titre
- Enhancing engineering project management through process alignment
- auteur
- Rui Xue, Claude Baron, Rob A. Vingerhoeds, Philippe Esteban
- article
- Engineering Management Journal, 2022, 34 (2), pp.230-248. ⟨10.1080/10429247.2020.1865002⟩
- Accès au bibtex
-
- titre
- Obsolescence des systèmes informatiques et du logiciel
- auteur
- Claude Baron, Yann Argotti, Zolghadri Marc, Sid-Ali Addouche, Mariem Besbes, Kevin Boissie
- article
- Les Techniques de l'Ingenieur, 2022, pp.Réf : H7002 v2. ⟨10.51257/a-v2-h7002⟩
- Accès au bibtex
-
- titre
- Insight of the Chinese enterprises’ investment performance along ‘one belt one road’
- auteur
- Rui Xue, Huizheng Liu, Claude Baron, Xinyue Miao, Muhammad Afaq Haider Jafri
- article
- Journal of the Asia Pacific Economy, 2022, 34 (2), pp.1-24. ⟨10.1080/13547860.2022.2035094⟩
- Accès au bibtex
-
- titre
- MATANA: A Reconfigurable Framework for Runtime Attack Detection Based on the Analysis of Microarchitectural Signals
- auteur
- Yuxiao Mao, Vincent Migliore, Vincent Nicomette
- article
- Applied Sciences, 2022, 12 (3), pp.1452. ⟨10.3390/app12031452⟩
- Accès au bibtex
-
- titre
- Improved Fast Rerouting Using Postprocessing
- auteur
- Klaus-Tycho Foerster, Andrzej Kamisinski, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- IEEE Transactions on Dependable and Secure Computing, 2022, 19 (1), pp.537-550. ⟨10.1109/TDSC.2020.2998019⟩
- Accès au texte intégral et bibtex
-
- titre
- Facing Emerging Challenges in Connected Vehicles: A Formally Proven, Legislation Compliant, and Post-Quantum Ready Security Protocol
- auteur
- Rémi Adelin, Cyrius Nugier, Éric Alata, Vincent Nicomette, Vincent Migliore, Mohamed Kaâniche
- article
- Journal of Computer Virology and Hacking Techniques, 2022, ⟨10.1007/s11416-022-00426-1⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- SiMOOD: Evolutionary Testing Simulation with Out-Of-Distribution Images
- auteur
- Raul Sena Ferreira, Joris Guérin, Jérémie Guiochet, Hélène Waeselynck
- article
- 27th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2022), Nov 2022, Beijing, China. ⟨10.1109/PRDC55274.2022.00021⟩
- Accès au texte intégral et bibtex
-
- titre
- Unifying Evaluation of Machine Learning Safety Monitors
- auteur
- Joris Guérin, Raul Sena Ferreira, Kevin Delmas, Jérémie Guiochet
- article
- 33rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2022), Oct 2022, Charlotte, United States. ⟨10.1109/ISSRE55969.2022.00047⟩
- Accès au texte intégral et bibtex
-
- titre
- A qualitative counterpart of belief functions with application to uncertainty propagation in safety cases
- auteur
- Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet
- article
- 7th International Conference on Belief Functions (BELIEF 2022), Oct 2022, Paris, France. ⟨10.1007/978-3-031-17801-6_22⟩
- Accès au texte intégral et bibtex
-
- titre
- A Novel Methodology to Construct Digital Twin Models for Spacecraft Operations Using Fault and Behaviour Trees
- auteur
- Nikolena Christofi, Xavier Pucel
- article
- 2nd International Workshop on Model-Driven Engineering of Digital Twins (ModDiT 2022), Oct 2022, Montréal, Canada. ⟨10.1145/3550356.3561550⟩
- Accès au texte intégral et bibtex
-
- titre
- Experimental Platform for Testing Cache Allocation Policies to Improve Linux Real-Time Behaviour
- auteur
- Aléxis Génèrès, Michaël Lauer
- article
- Workshop CARS 2022 - Critical Automotive applications : Robustness & Safety, Sep 2022, Zaragoza, Spain
- Accès au texte intégral et bibtex
-
- titre
- Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases
- auteur
- Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet
- article
- 41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022), Sep 2022, Munich, Germany. pp.1-14, ⟨10.1007/978-3-031-14835-4_8⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards a Customizable Architecture for Indoor Multi-Usages Drones
- auteur
- Eric Razafimahazo, Pierre De Saqui-Sannes, Rob A. Vingerhoeds, Julien Soula, Romain Mège, Claude Baron
- article
- 33rd Congress of the International Council of the Aeronautical Sciences (ICAS), Sep 2022, Stockholm (Suède), Sweden
- Accès au bibtex
-
- titre
- A Systemic and Multi-disciplinary Diagnosis Model for Microgrids Sustainability Studies
- auteur
- Antoine Boche, Clément Foucher, Luiz Fernando Lavado Villa
- article
- International Conference on Innovations in Energy Engineering & Cleaner Production (IEE CP 2022), IEECP, Jul 2022, Oxford, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Détection des lignes aéroportuaires par méthode hybride de filtrage particulaire et de réseaux de neurones
- auteur
- Esteban Perrotin, Matthieu Roy, Ariane Herbulot, Michel Devy, Fabrice Bousquet
- article
- Congrès Reconnaissance des Formes, Image, Apprentissage et Perception (RFIAP 2022), Jul 2022, Vannes, France
- Accès au texte intégral et bibtex
-
- titre
- Optimisation conjointe du contenu sémantique et du temps d'exécution pour une tâche robotisée de saisie d'objet
- auteur
- Frédéric Lerasle, Joris Guérin, Kimberley Gaume
- article
- Reconnaissance des Formes, Images, Apprentissage et Perception (RFIAP), Jul 2022, Vannes (Bretagne), France
- Accès au texte intégral et bibtex
-
- titre
- On the Price of Locality in Static Fast Rerouting
- auteur
- Klaus-Tycho Foerster, Juho Hirvonen, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Tredan
- article
- 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun 2022, Baltimore, United States. pp.215-226, ⟨10.1109/dsn53405.2022.00032⟩
- Accès au texte intégral et bibtex
-
- titre
- Kong: a Tool to Squash Concurrent Places
- auteur
- Nicolas Amat, Louis Chauvet
- article
- 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), Jun 2022, Bergen, Norway. ⟨10.1007/978-3-031-06653-5_6⟩
- Accès au texte intégral et bibtex
-
- titre
- Obsolescence management practices overview in Automotive Industry
- auteur
- K. Boissie, S.-A. Addouche, C. Baron, Zolghadri Marc
- article
- 11th IFAC Symposium on Intelligent Autonomous Vehicles, IAV 2022, Jun 2022, Prague, Czech Republic. pp.52-58, ⟨10.1016/j.ifacol.2022.07.582⟩
- Accès au bibtex
-
- titre
- Virtual Test Scenarios for ADAS: Distance to Real Scenarios Matters!
- auteur
- Mohamed El Mostadi, Hélène Waeselynck, Jean-Marc Gabriel
- article
- 33nd IEEE Intelligent Vehicles Symposium (IV 2022), Jun 2022, Aachen, Germany. ⟨10.1109/IV51971.2022.9827170⟩
- Accès au texte intégral et bibtex
-
- titre
- Software fault propagation patterns for model-based safety assessment in autonomous cars
- auteur
- Yandika Sirgabsou, Claude Baron, Laurent Pahun, Philippe Esteban
- article
- 11th European Congress on Embedded Real Time Systems (ERTS), Jun 2022, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- OASIS: un framework pour la détection d'intrusion embarquée dans les contrôleurs Bluetooth Low Energy
- auteur
- Romain Cayre, Clement Chaine, Guillaume Auriol, Vincent Nicomette, Geraldine Marconato
- article
- Symposium sur la sécurité des technologies de l'information et des communications (SSTIC 2022), Jun 2022, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- Towards the certification of vision based systems: modular architecture for airport line detection
- auteur
- Esteban Perrotin, Matthieu Roy, Ariane Herbulot, Michel Devy, Fabrice Bousquet
- article
- 11th European Congress on Embedded Real-Time Systems, Jun 2022, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Experimenting with Dynamic Cache Allocation to Improve Linux Real-Time Behaviour
- auteur
- Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre
- article
- 11th European Congress of Embedded Real Time Software and Systems, Jun 2022, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Towards an agile, model-based multidisciplinary process to improve operational diagnosis in complex systems
- auteur
- Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, Sébastien Guilmeau, Christophe Ducamp
- article
- 11th European Congress on Embedded real time systems (ERTS 2022), https://www.erts2022.org/, Jun 2022, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Polymorphism in Quality Modeling for Embedded Systems and Software: A Built-in Mechanism for Product Evolution and Variants
- auteur
- Yann Argotti, Claude Baron, Philippe Esteban
- article
- European Congress of Embedded Real Time Systems (ERTS), 3AF; SEE, Jun 2022, Toulouse, France
- Accès au bibtex
-
- titre
- Towards Automating Cryptographic Hardware Implementations: a Case Study of HQC
- auteur
- Carlos Aguilar-Melchor, Jean-Christophe Deneuville, Arnaud Dion, James Howe, Romain Malmain, Vincent Migliore, Mamuri Nawan, Kashif Nawaz
- article
- International Workshop on Code-Based Cryptography, CBCrypto 2022, May 2022, Trondheim, Norway. pp.0
- Accès au texte intégral et bibtex
-
- titre
- Evaluation of Runtime Monitoring for UAV Emergency Landing
- auteur
- Joris Guerin, Kevin Delmas, Jérémie Guiochet
- article
- International Conference on Robotics and Automation (ICRA), May 2022, Philadelphie, United States
- Accès au texte intégral et bibtex
-
- titre
- Regarding the COVID-19 crisis from a systems engineering perspective
- auteur
- Santiago Pantano-Calderón, Claude Baron, Jean-Charles Chaudemar, Elise Vareilles, Rob A. Vingerhoeds
- article
- 19th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2022), ISCRAM, May 2022, Tarbes, France. pp.0
- Accès au texte intégral et bibtex
-
- titre
- Integration of Test Generation Into Simulation-Based Platforms: An Experience Report
- auteur
- Luca Vittorio Sartori, Jérémie Guiochet, Hélène Waeselynck, Aizar Antonio Berlanga Galvan, Simon Hébert-Vernhes, Magnus Albert
- article
- 3rd ACM/IEEE International Conference on Automation of Software Test, May 2022, Pittsburgh, United States. ⟨10.1145/3524481.3527236⟩
- Accès au texte intégral et bibtex
-
- titre
- A skill fault model for autonomous systems
- auteur
- Gabriela Medina, Jérémie Guiochet, Charles Lesire, Augustin Manecy
- article
- 4th International Workshop on Robotics Software Engineering (RoSE’22), Co-located with ICSE 2022, May 2022, Pittsburgh, United States. ⟨10.1145/3526071.3527513⟩
- Accès au texte intégral et bibtex
-
- titre
- Property Directed Reachability for Generalized Petri Nets
- auteur
- Nicolas Amat, Silvano Dal Zilio, Thomas Hujsa
- article
- Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022, Apr 2022, Munich, Germany. ⟨10.1007/978-3-030-99524-9_28⟩
- Accès au texte intégral et bibtex
-
Book sections
- titre
- System dependability assessment -Interplay between research and practice
- auteur
- Mohamed Kaâniche, Karama Kanoun
- article
- System Dependability and Analytics. Approaching System Dependability from Data, System and Analytics Perspectives, Springer, pp.393-404, 2022, Springer Series in Reliability Engineering, 978-3-031-02062-9. ⟨10.1007/978-3-031-02063-6_23⟩
- Accès au texte intégral et bibtex
-
- titre
- Addressing Obsolescence from Day One in the Conceptual Phase of Complex Systems as a Design Constraint
- auteur
- Sophia Salas Cordero, Rob Vingerhoeds, Claude Baron, Marc Zolghadri
- article
- Product Lifecycle Management Enabling Smart X, 640, Springer International Publishing, pp.40-54, 2022, IFIP Advances in Information and Communication Technology, ⟨10.1007/978-3-030-94399-8_4⟩
- Accès au bibtex
-
- titre
- Epidemiology Forecasting of COVID-19 Using AI—A Survey
- auteur
- Igor Gadelha Pereira, Andouglas Gonçalves da Silva Junior, Dunfrey Pires Aragão, Emerson Vilar de Oliveira, Arthur Andrade Bezerra, Francinaldo de Almeida Pereira, Julio Gustavo F. S. Costa, Jordan Salas Cuno, Davi Henrique dos Santos, Joris Michel Guerin, Aura Conci, Esteban Walter Gonzalez Clua, Cosimo Distante, Luiz Marcos Garcia Gonçalves
- article
- Computational Intelligence for COVID-19 and Future Pandemics, Springer Singapore, pp.89-120, 2022, Disruptive Technologies and Digital Transformations for Society 5.0, 978-981-16-3782-7. ⟨10.1007/978-981-16-3783-4_5⟩
- Accès au bibtex
-
2021
Journal articles
- titre
- Obsolescence : un phénomène de société ? - Sources et risques industriels, économiques et sociétaux, remédiations possibles
- auteur
- Claude Baron, Zolghadri Marc, Sid-Ali Addouche, Yann Argotti, Kevin Boissie
- article
- Les Techniques de l'Ingenieur, 2021, pp.Réf : H7000 v2. ⟨10.51257/a-v2-h7000⟩
- Accès au bibtex
-
- titre
- On the Implications of Routing Models on Network Optimization
- auteur
- Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- IEEE Transactions on Network and Service Management, 2021, 18 (4), pp.4756 - 4769. ⟨10.1109/TNSM.2021.3090312⟩
- Accès au texte intégral et bibtex
-
- titre
- Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time Systems
- auteur
- Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal Zilio, Reyyan Tekin
- article
- Journal of Systems and Software, 2021, 181, pp.111033. ⟨10.1016/j.jss.2021.111033⟩
- Accès au texte intégral et bibtex
-
- titre
- Obsolescence, rarefaction and their propagation
- auteur
- Zolghadri Marc, Sid-Ali Addouche, Claude Baron, Amel Soltan, Kevin Boissie
- article
- Research in Engineering Design, 2021, 32, pp.451-468. ⟨10.1007/s00163-021-00372-x⟩
- Accès au bibtex
-
- titre
- A methodology to determine the resilience of a system to obsolescence during the design phase
- auteur
- Amel Soltane, Sid-Ali Addouche, Zolghadri Marc, Maher Barkallah, Mohamed Haddar
- article
- Research in Engineering Design, 2021, 32 (4), pp.523-543. ⟨10.1007/s00163-021-00373-w⟩
- Accès au bibtex
-
- titre
- Prediction of obsolescence degree as a function of time: A mathematical formulation
- auteur
- Imen Trabelsi, Marc Zolghadri, Besma Zeddini, Maher Barkallah, Mohamed Haddar
- article
- Computers in Industry, 2021, 129, pp.103470. ⟨10.1016/j.compind.2021.103470⟩
- Accès au texte intégral et bibtex
-
- titre
- Le problème du videur : la crédibilité des explications de l’IA en question
- auteur
- Erwan Le Merrer, Gilles Trédan
- article
- Interstices, 2021
- Accès au bibtex
-
- titre
- RIDS: Radio intrusion detection and diagnosis system for wireless communications in smart environment
- auteur
- Pierre-François Gimenez, Jonathan Roux, Eric Alata, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette
- article
- ACM Transactions on Cyber-Physical Systems, 2021, 5 (3), pp.Article No.: 24. ⟨10.1145/3441458⟩
- Accès au texte intégral et bibtex
-
- titre
- RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus
- auteur
- Ning Ge, Silvano Dal Zilio, Hongyu Liu, Li Zhang, Lianyi Zhang
- article
- Science of Computer Programming, 2021, 206, pp.102624. ⟨10.1016/j.scico.2021.102624⟩
- Accès au bibtex
-
- titre
- From Big Data to Smart Data: Application to performance management
- auteur
- Amel Souifi, Zohra Cherfi-Boulanger, Zolghadri Marc, Maher Barkallah, Mohamed Haddar
- article
- IFAC-PapersOnLine, 2021, 54 (1), pp.857-862. ⟨10.1016/j.ifacol.2021.08.100⟩
- Accès au texte intégral et bibtex
-
- titre
- Modeling and Verification of ERP Functional Requirements based on Colored Petri Net
- auteur
- Abd-El-Kader Sahraoui, Nafisa Osman
- article
- International Journal of Software Engineering & Applications, 2021, 12 (3), pp.27-43. ⟨10.5121/ijsea.2021.12303⟩
- Accès au bibtex
-
- titre
- Requirements and Design Consistency: A Bi-directional Traceability and Natural Language Processing Assisted Approach
- auteur
- Omer Salih Dawood Omer, Abd-El-Kader Sahraoui, Mukhtar Mahmoud, Abd-El-Aziz Babiker
- article
- European Journal of Engineering and Technology Research, 2021, 6 (3), pp.55-64. ⟨10.24018/ejers.2021.6.3.2373⟩
- Accès au bibtex
-
- titre
- Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond
- auteur
- Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
- article
- LNCS Transactions on Petri Nets and Other Models of Concurrency, 2021, Lecture Notes in Computer Science, 12530, pp.75-100. ⟨10.1007/978-3-662-63079-2_4⟩
- Accès au bibtex
-
- titre
- Towards a continuous certification of safety-critical avionics software
- auteur
- Claude Baron, Vincent Louis
- article
- Computers in Industry, 2021, 125, pp.103382. ⟨10.1016/j.compind.2020.103382⟩
- Accès au texte intégral et bibtex
-
- titre
- L’obsolescence : un phénomène de société ?
- auteur
- Claude Baron, Zolghadri Marc, Sid-Ali Addouche, Kevin Boissie, Yann Argotti
- article
- Les Techniques de l'Ingenieur, 2021
- Accès au bibtex
-
Conference papers
- titre
- TAF: a tool for diverse and constrained test case generation
- auteur
- Clément Robert, Jérémie Guiochet, Hélène Waeselynck, Luca Vittorio Sartori
- article
- 21st IEEE International Conference on Software Quality, Reliability and Security (QRS), Dec 2021, Hanan Island, China. ⟨10.1109/QRS54544.2021.00042⟩
- Accès au texte intégral et bibtex
-
- titre
- Benchmarking Safety Monitors for Image Classifiers with Machine Learning
- auteur
- Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck
- article
- 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021), IEEE, Dec 2021, Perth, Australia. ⟨10.1109/PRDC53464.2021.00012⟩
- Accès au texte intégral et bibtex
-
- titre
- TSAI - Test Selection using Artificial Intelligence for the Support of Continuous Integration
- auteur
- Maria Laura Brzezinski Meyer
- article
- 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Oct 2021, Wuhan, China. pp.306-309, ⟨10.1109/ISSREW53611.2021.00092⟩
- Accès au texte intégral et bibtex
-
- titre
- A method to solve 2D Facility Layout Problem with equipment inputs/outputs constraints using meta-heuristics algorithms
- auteur
- Mariem Besbes, Zolghadri Marc, Roberta Costa Affonso
- article
- CIRP CMS, Sep 2021, Grece, France. pp.1698-1703, ⟨10.1016/j.procir.2021.11.286⟩
- Accès au bibtex
-
- titre
- Solving Facility Layout Problem with safety consideration of Reconfigurable Manufacturing and Assembly Systems
- auteur
- Mariem Besbes, Yassine Idel Mahjoub, Thérèse Bonte, Thierry Berger, Yves Sallez, Zolghadri Marc
- article
- CIRP CMS, Sep 2021, Grece, France. pp.1942-1947, ⟨10.1016/j.procir.2021.11.328⟩
- Accès au texte intégral et bibtex
-
- titre
- Run-time Monitoring and Control for Temporal Fault Prevention in Mixed-criticality Systems
- auteur
- Daniel Loche, Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre
- article
- European Dependable Computing Conference (EDCC 2021), Intel; Fraunhofer IKS; LAAS, Sep 2021, Munich (virtual), Germany. pp.53-60, ⟨10.1109/EDCC53658.2021.00015⟩
- Accès au texte intégral et bibtex
-
- titre
- Détection des lignes aéroportuaires par méthode de filtrage particulaire: Évaluation de fonctions d'observations
- auteur
- Esteban Perrotin, Claire Meymandi-Nejad, Ariane Herbulot, Michel Devy, Fabrice Bousquet
- article
- ORASIS 2021, Centre National de la Recherche Scientifique [CNRS], Sep 2021, Saint Ferréol, France
- Accès au texte intégral et bibtex
-
- titre
- Mastering Complexity for Indoor Inspection Drone Development
- auteur
- Eric Razafimahazo, Pierre De Saqui-Sannes, Rob A. Vingerhoeds, Claude Baron, Julien Soula, Romain Mège
- article
- 7th IEEE International Symposium on Systems Engineering, Sep 2021, Virtual, Austria
- Accès au texte intégral et bibtex
-
- titre
- Accelerating the Computation of Dead and Concurrent Places using Reductions
- auteur
- Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
- article
- 27th International SPIN Symposium on Model Checking of Software, Jul 2021, Aarhus, Denmark. ⟨10.1007/978-3-030-84629-9_3⟩
- Accès au texte intégral et bibtex
-
- titre
- Seven Technical Issues That May Ruin Your Virtual Tests for ADAS
- auteur
- Mohamed El Mostadi, Hélène Waeselynck, Jean Marc Gabriel
- article
- 32nd IEEE Intelligent Vehicles Symposium, Jul 2021, Nagoya, Japan. ⟨10.1109/IV48863.2021.9575953⟩
- Accès au texte intégral et bibtex
-
- titre
- Can Proactive Obsolescence Management and Innovation go hand in hand during the Conceptual Design Phase of Complex Systems?
- auteur
- Sophia Salas-Cordero, Rob Vingerhoeds, Claude Baron, Zolghadri Marc
- article
- 18th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2021, Curitiba, Brazil. pp.40-54, ⟨10.1007/978-3-030-94399-8_4⟩
- Accès au texte intégral et bibtex
-
- titre
- An Upcycling Tokenization Method for Credit Card Numbers
- auteur
- Cyrius Nugier, Diane Leblanc-Albarel, Agathe Blaise, Simon Masson, Paul Huynh, Yris Brice Wandji Piugie
- article
- SECRYPT 2021 - 18th International Conference on Security and Cryptography, Jul 2021, Online, France
- Accès au texte intégral et bibtex
-
- titre
- A defensive man-in-middle approach to filter BLE packets
- auteur
- Ahmed Aboukora, Guillaume Bonnet, Florent Galtier, Romain Cayre, Vincent Nicomette, Guillaume Auriol
- article
- 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jun 2021, Abou Dhabi (virtual), United Arab Emirates. ⟨10.1145/3448300.3468259⟩
- Accès au texte intégral et bibtex
-
- titre
- Cross-protocol attacks: weaponizing a smartphone by diverting its Bluetooth controller
- auteur
- Romain Cayre, Géraldine Marconato, Florent Galtier, Mohamed Kaâniche, Vincent Nicomette, Guillaume Auriol
- article
- 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jun 2021, Abu Dhabi, United Arab Emirates. ⟨10.1145/3448300.3468258⟩
- Accès au texte intégral et bibtex
-
- titre
- InjectaBLE: Injecting malicious traffic into established Bluetooth Low Energy connections
- auteur
- Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche, Géraldine Marconato
- article
- IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2021), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN48987.2021.00050⟩
- Accès au texte intégral et bibtex
-
- titre
- WazaBee: attacking Zigbee networks by diverting Bluetooth Low Energy chips
- auteur
- Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche, Géraldine Marconato
- article
- IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2021), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN48987.2021.00049⟩
- Accès au texte intégral et bibtex
-
- titre
- Certifying Emergency Landing for Safe Urban UAV
- auteur
- Joris Guérin, Kevin Delmas, Jérémie Guiochet
- article
- 7th International Workshop on Safety and Security of Intelligent Vehicles (SSIV 2021) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN), Jun 2021, Taipei, Taiwan. ⟨10.1109/DSN-W52860.2021.00020⟩
- Accès au texte intégral et bibtex
-
- titre
- On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets
- auteur
- Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio
- article
- 42rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2021), Jun 2021, Paris (virtual), France. ⟨10.1007/978-3-030-76983-3_9⟩
- Accès au texte intégral et bibtex
-
- titre
- InjectaBLE : injection de trafic malveillant dans une connexion Bluetooth Low Energy
- auteur
- Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche, Géraldine Marconato
- article
- Symposium sur la sécurité des technologies de l'information et des communications (SSTIC 2021), Jun 2021, Rennes (en ligne), France
- Accès au texte intégral et bibtex
-
- titre
- Managing and controlling COVID-19 in Lebanon using IoT and Artificial Intelligence
- auteur
- Arz Wehbe, Chadi Azoury, Claude Baron, Rob Vingerhoeds
- article
- Virtual Conference on Fintech, Business Ecosystem & Economic Development, Jun 2021, virtual, France
- Accès au bibtex
-
- titre
- A Fault Tolerant Control Architecture Based on Fault Trees for an Underwater Robot Executing Transect Missions
- auteur
- Adrien Hereau, Karen Godary-Dejean, Jérémie Guiochet, Didier Crestani
- article
- ICRA 2021 - 38th IEEE International Conference on Robotics and Automation, May 2021, Xi’an, China. pp.2127-2133, ⟨10.1109/ICRA48506.2021.9561735⟩
- Accès au texte intégral et bibtex
-
- titre
- Attaques inter-protocolaires par détournement du contrôleur Bluetooth d'un téléphone mobile
- auteur
- Romain Cayre, Florent Galtier
- article
- GT Sécurité des Systèmes, Logiciels et Réseaux, May 2021, En ligne, France
- Accès au texte intégral et bibtex
-
- titre
- Grafting Arborescences for Extra Resilience of Fast Rerouting Schemes
- auteur
- Klaus-Tycho Foerster, Andrzej Kamisinski, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- Infocom 2021, May 2021, Virtual, France
- Accès au texte intégral et bibtex
-
- titre
- Setting the Record Straighter on Shadow Banning
- auteur
- Erwan Le Merrer, Benoît Morgan, Gilles Trédan
- article
- INFOCOM 2021 - IEEE International Conference on Computer Communications, IEEE, May 2021, Virtual, Canada. pp.1-10, ⟨10.1109/INFOCOM42981.2021.9488792⟩
- Accès au texte intégral et bibtex
-
- titre
- Model-driven engineering to ensure the security of automotive software
- auteur
- Yandika Sirgabsou, Claude Baron, Lorenzo Grenier, Laurent Pahun, Philippe Esteban
- article
- 14ème Conférence Internationale Génie Industriel CIGI-QUALITA, May 2021, Grenoble, France
- Accès au texte intégral et bibtex
-
- titre
- Colorimetric Space Study: Application for Line Detection on Airport Areas
- auteur
- Claire Meymandi-Nejad, Esteban Perrotin, Ariane Herbulot, Michel Devy
- article
- 7th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS 2021), Apr 2021, En ligne, France. pp.546-553, ⟨10.5220/0010456605460553⟩
- Accès au texte intégral et bibtex
-
- titre
- A Novel Method for Object Detection using Deep Learning and CAD Models.
- auteur
- Igor Garcia Ballhausen Sampaio, Luigy Machaca, Jose Viterbo, Joris Guérin
- article
- 23rd International Conference on Enterprise Information Systems (ICEIS2021), Apr 2021, Online, Portugal
- Accès au bibtex
-
- titre
- Le jumeau numérique dans le pilotage de performance
- auteur
- Amel Souifi, Zohra Cherfi, Zolghadri Marc, Maher Barkallah, Mohamed Haddar
- article
- 17ème colloque national S-mart AIP-PRIMECA, Université Polytechnique Hauts-de-France [UPHF], Mar 2021, LAVAL VIRTUAL WORLD, France
- Accès au texte intégral et bibtex
-
- titre
- Contract-Based Verification of Model Transformations: A Formally Founded Approach
- auteur
- Guillaume Brau, Mohammed Foughali
- article
- 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021), Mar 2021, Gwangju (virtual), South Korea
- Accès au texte intégral et bibtex
-
- titre
- On the Feasibility of Perfect Resilience with Local Fast Failover
- auteur
- Klaus-Tycho Foerster, Juho Hirvonen, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- 2nd Symposium on Algorithmic Principles of Computer Systems (APOCS 2021), Jan 2021, Alexandria (Virtual), United States
- Accès au bibtex
-
2020
Journal articles
- titre
- Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics
- auteur
- Mohammed Foughali, Pierre-Emmanuel Hladik
- article
- Journal of Systems Architecture, 2020, 111, pp.101817. ⟨10.1016/j.sysarc.2020.101817⟩
- Accès au texte intégral et bibtex
-
- titre
- Toward an Improved Monitoring of Engineering Projects
- auteur
- Rui Xue, Claude Baron, Philippe Esteban, Jian-Bo Yang, Li Zheng
- article
- IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2020, 50 (10), pp.3541 - 3553. ⟨10.1109/TSMC.2018.2884196⟩
- Accès au bibtex
-
- titre
- Urban-Scale NO2 Prediction with Sensors Aboard Bicycles: A Comparison of Statistical Methods Using Synthetic Observations
- auteur
- Christophe Bertero, Jean-François Léon, Gilles Trédan, Matthieu Roy, Alexandre Armengaud
- article
- Atmosphere, 2020, 11 (9), pp.1014. ⟨10.3390/atmos11091014⟩
- Accès au texte intégral et bibtex
-
- titre
- Collective Information Processing in Human Phase Separation
- auteur
- Bertrand Jayles, Ramon Escobedo, Roberto Pasqua, Christophe Zanon, Adrien Blanchet, Matthieu Roy, Gilles Trédan, Guy Theraulaz, Clément Sire
- article
- Philosophical Transactions of the Royal Society B: Biological Sciences, 2020, 375 (1807), ⟨10.1098/rstb.2019.0801⟩
- Accès au texte intégral et bibtex
-
- titre
- An implicit opinion analysis model based on feature-based implicit opinion patterns
- auteur
- Fang Zhao, Zhang Qiang, Xiaoan Tang, Anning Wang, Claude Baron
- article
- Artificial Intelligence Review, 2020, 53, pp.4547-4574. ⟨10.1007/s10462-019-09801-9⟩
- Accès au bibtex
-
- titre
- About adopting a systemic approach to design connected embedded systems: A MOOC promoting systems thinking and systems engineering
- auteur
- Claude Baron, Brigitte Daniel-Allegro
- article
- Systems Engineering, 2020, 23 (3), pp.261-280. ⟨10.1002/sys.21513⟩
- Accès au texte intégral et bibtex
-
- titre
- Counting Petri net markings from reduction equations
- auteur
- Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio
- article
- International Journal on Software Tools for Technology Transfer, 2020, 22, pp.163-181. ⟨10.1007/s10009-019-00519-1⟩
- Accès au texte intégral et bibtex
-
- titre
- Experimental Evaluation of Three Value Recommendation Methods in Interactive Configuration
- auteur
- Hélène Fargier, Pierre-François Gimenez, Jérôme Mengin
- article
- Journal of Universal Computer Science, 2020, 26 (3), pp.318-342
- Accès au texte intégral et bibtex
-
- titre
- A methodology for solving facility layout problem considering barriers: genetic algorithm coupled with A* search
- auteur
- Mariem Besbes, Marc Zolghadri, Roberta Costa Affonso, Faouzi Masmoudi, Mohamed Haddar
- article
- Journal of Intelligent Manufacturing, 2020, 31 (3), pp.615-640. ⟨10.1007/s10845-019-01468-x⟩
- Accès au bibtex
-
- titre
- The virtual lands of Oz: testing an agribot in simulation
- auteur
- Clément C. Robert, Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Simon Vernhes
- article
- Empirical Software Engineering, 2020, 25 (3), pp.2025-2054. ⟨10.1007/s10664-020-09800-3⟩
- Accès au texte intégral et bibtex
-
- titre
- Remote explainability faces the bouncer problem
- auteur
- Erwan Le Merrer, Gilles Trédan
- article
- Nature Machine Intelligence, 2020, 2 (9), pp.529-539. ⟨10.1038/s42256-020-0216-z⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Reconfigurable Hardware for Microarchitectural Timing Attacks Detection
- auteur
- Yuxiao Mao, Vincent Migliore, Vincent Nicomette
- article
- Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI 2020), Dec 2020, online, France
- Accès au texte intégral et bibtex
-
- titre
- A New Product Construction for the Diagnosability of Patterns in Time Petri Net
- auteur
- Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias
- article
- 59th Conference on Decision and Control (CDC) 2020, Dec 2020, Jeju Island (virtual conference), South Korea. ⟨10.1109/CDC42340.2020.9303826⟩
- Accès au texte intégral et bibtex
-
- titre
- A PSD-based fingerprinting approach to detect IoT device spoofing
- auteur
- Florent Galtier, Romain Cayre, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette
- article
- 25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2020), Dec 2020, Perth, Australia. ⟨10.1109/PRDC50213.2020.00015⟩
- Accès au texte intégral et bibtex
-
- titre
- Hardware-Performance-Counters-based anomaly detection in massively deployed smart industrial devices
- auteur
- Malcolm Bourdon, Pierre-François Gimenez, Eric Alata, Mohamed Kaâniche, Vincent Migliore, Vincent Nicomette, Youssef Laarouchi
- article
- 19th IEEE International Symposium on Network Computing and Applications (NCA 2020), Nov 2020, Cambridge, MA, United States. ⟨10.1109/NCA51143.2020.9306726⟩
- Accès au texte intégral et bibtex
-
- titre
- Industrial field autonomous systems: AI-assisted distributed applications at Edge
- auteur
- Yannick Fourastier, Claude Baron, Philippe Esteban, Hakima Chaouchi, Carsten Thomas, Victor Lehonov, Jean-Paul Smets
- article
- International Conference on Advances in Signal Processing and Artificial Intelligence, Nov 2020, berlin, Germany
- Accès au bibtex
-
- titre
- Investigating the use of a model-based approach to assess automotive embedded software safety
- auteur
- Yandika Sirgabsou, Claude Baron, Cyril Bonnard, Laurent Pahun, Lorenzo Grenier, Philippe Esteban
- article
- 13th International Conference on Modeling, Optimization and Simulation (MOSIM20), Nov 2020, AGADIR, Morocco
- Accès au texte intégral et bibtex
-
- titre
- Adopting a model-based approach for satellite operations' diagnosis
- auteur
- Nikolena Christofi, Claude Baron, X Pucel, Marc Pantel, M Machin, C Ducamp
- article
- 13ème Conférence Internationale de Modélisation, Optimisation et Simulation (MOSIM 2020), Nov 2020, Agadir, Morocco
- Accès au texte intégral et bibtex
-
- titre
- L’état interne des composants, grand oublié des formalismes DEVS à structure dynamique ?
- auteur
- Clément Foucher
- article
- Journées Francophones de la Modélisation et de la Simulation 2020, Nov 2020, Cargèse, France
- Accès au texte intégral et bibtex
-
- titre
- Interpreting the PDEVS formalism and algorithms to enhance the state handling mechanism
- auteur
- Clément Foucher
- article
- European Simulation and Modelling Conference 2020, Oct 2020, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Towards safety monitoring of ML-based perception tasks of autonomous systems
- auteur
- Raul Sena Ferreira
- article
- 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Oct 2020, Coimbra, Portugal. pp.135-138, ⟨10.1109/ISSREW51248.2020.00052⟩
- Accès au texte intégral et bibtex
-
- titre
- Brief Announcement: What Can(Not) Be Perfectly Rerouted Locally
- auteur
- Klaus-Tycho Foerster, Juho Hirvonen, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- 34th International Symposium on Distributed Computing (DISC 2020), Oct 2020, Virtual, France. ⟨10.4230/LIPIcs.DISC.2020.46⟩
- Accès au texte intégral et bibtex
-
- titre
- On-board Diagnosis: A First Step from Detection to Prevention of Intrusions on Avionics Applications
- auteur
- Aliénor Damien, Pierre-François Gimenez, Nathalie Feyt, Vincent Nicomette, Mohamed Kaâniche, Eric Alata
- article
- 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE), Oct 2020, Coimbra, Portugal. pp.358-368, ⟨10.1109/ISSRE5003.2020.00041⟩
- Accès au texte intégral et bibtex
-
- titre
- Bug ou ban ? Une Perspective Topologique sur le Shadow Banning
- auteur
- Erwan Le Merrer, Benoît Morgan, Gilles Trédan
- article
- ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. pp.1-4
- Accès au texte intégral et bibtex
-
- titre
- Belief functions for safety arguments confidence estimation : A comparative study
- auteur
- Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet
- article
- 14th International Conference on Scalable Uncertainty Management (SUM 2020), Research Centre on Knowledge and Data (KRDB); Free University of Bozen-Bolzano, Sep 2020, Bolzano, Italy. pp.1-15, ⟨10.1007/978-3-030-58449-8_10⟩
- Accès au texte intégral et bibtex
-
- titre
- Clustering Sargassum Mats from Earth Observation Data
- auteur
- Estèle Glize, Marie-José Huguet, Marc Lucas, Marion Sutton, Gilles Trédan
- article
- Machine Learning for Earth Observation - MACLEAN 2020, Sep 2020, Ghent, Belgium
- Accès au texte intégral et bibtex
-
- titre
- Testing an Underwater Robot Executing Transect Missions in Mayotte
- auteur
- Adrien Hereau, Karen Godary-Dejean, Jérémie Guiochet, Clément Robert, Thomas Claverie, Didier Crestani
- article
- TAROS 2020 - 21st Annual Conference Towards Autonomous Robotic Systems, Sep 2020, Virtual, United Kingdom. pp.116-127, ⟨10.1007/978-3-030-63486-5_14⟩
- Accès au texte intégral et bibtex
-
- titre
- REHAD: Using Low-Frequency Reconfigurable Hardware for Cache Side-Channel Attacks Detection
- auteur
- Yuxiao Mao, Vincent Migliore, Vincent Nicomette
- article
- 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Sep 2020, Genova, Italy. ⟨10.1109/EuroS&PW51379.2020.00100⟩
- Accès au texte intégral et bibtex
-
- titre
- Addressing Obsolescence from day one in the conceptual phase of complex systems as a design constraint
- auteur
- Sophia Karolina Salas Cordero, Rob A. Vingerhoeds, Marc Zolghadri, Claude Baron
- article
- IFIP 17th International Conference on Product Lifecycle Management, Jul 2020, Rapperswil-Jona, Switzerland. pp.369-383, ⟨10.1007/978-3-030-62807-9_30⟩
- Accès au texte intégral et bibtex
-
- titre
- A Short Overview on Diagnosability of Patterns in Timed Petri Net
- auteur
- Éric Lubat, Silvano Dal Zilio
- article
- 14th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2020), Jun 2020, (on line), France
- Accès au texte intégral et bibtex
-
- titre
- Implications of Routing Coherence and Consistency on Network Optimization
- auteur
- Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- IFIP Networking, Jun 2020, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Optimizing Vehicle-to-Cloud Data Transfers using Soft Real-Time Scheduling Concepts
- auteur
- Jean Ibarz, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre, Olivier Flébus
- article
- RTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, virtual conference, France. pp.161-171, ⟨10.1145/3394810.3394818⟩
- Accès au texte intégral et bibtex
-
- titre
- WazaBee : attaque de réseaux Zigbee par détournement de puces Bluetooth Low Energy
- auteur
- Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Geraldine Marconato
- article
- Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC 2020), Jun 2020, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- Comparison of evolution algorithms coupled with a* search for solving facility layout problem
- auteur
- Mariem Besbes, Zolghadri Marc, Roberta Costa Affonso
- article
- Thirteenth International Tools and Methods of Competitive Engineering Symposium (TMCE 2020), Jun 2020, Delft (online), Netherlands
- Accès au bibtex
-
- titre
- Assurance levels for decision making in autonomous intelligent systems and their safety
- auteur
- Yannick Fourastier, Claude Baron, Carsten Thomas, Philippe Esteban
- article
- IEEE 11th International Conference on Dependable Systems, Services and Technologies (DESSERT 2020), May 2020, KYIV, Ukraine. ⟨10.1109/DESSERT50317.2020.9125079⟩
- Accès au bibtex
-
- titre
- Analysing the impact of system obsolescence based on system architecture models
- auteur
- Zolghadri Marc, Rob Vingerhoeds, Claude Baron, Sophia Salas-Cordero
- article
- International Symposium on Tools and Methods of Competitive Engineering (TMCE), May 2020, dublin, Germany
- Accès au bibtex
-
- titre
- Contextualisation of the concept of Digital Twin in digital transformation
- auteur
- Yannick Fourastier, Claude Baron
- article
- Digital Twins Conference, Mar 2020, Grenoble, France
- Accès au bibtex
-
- titre
- A user privacy-centric access control policy of data for intelligent transportation systems
- auteur
- Rémi Adelin, Eric Alata, Vincent Migliore, Vincent Nicomette
- article
- Embedded Real Time Systems (ERTS), Jan 2020, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Anomaly detection using hardware performance counters on a large scale deployment
- auteur
- Malcolm Bourdon, Eric Alata, Mohamed Kaâniche, Vincent Migliore, Vincent Nicomette, Youssef Laarouchi
- article
- 10th European Congress Embedded Real Time Systems (ERTS 2020), Jan 2020, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Quality Quantification Applied to Automotive Embedded Systems and Software Advances with qualimetry science
- auteur
- Yann Argotti, Claude Baron, Philippe Esteban, Denis Chaton
- article
- Embedded Real Time Systems (ERTS) 2020, Jan 2020, Toulouse, France
- Accès au texte intégral et bibtex
-
2019
Journal articles
- titre
- Verifying parallel dataflow transformations with model checking and its application to FPGAs
- auteur
- Robert Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew Wallace
- article
- Journal of Systems Architecture, 2019, 101, pp.101657. ⟨10.1016/j.sysarc.2019.101657⟩
- Accès au bibtex
-
- titre
- Vers une certification continue des logiciels critiques en aéronautique
- auteur
- Vincent Louis, Claude Baron
- article
- Les Techniques de l'Ingenieur, 2019, pp.Réf : H8060 v1
- Accès au texte intégral et bibtex
-
- titre
- Using Leading Indicators to Improve Project Performance Measurement
- auteur
- Li Zheng, Claude Baron, Philippe Esteban, Rui Xue, Zhang Qiang, Shanlin Yang
- article
- Journal of Systems Science and Systems Engineering, 2019, 28, pp.529-554. ⟨10.1007/s11518-019-5414-z⟩
- Accès au bibtex
-
- titre
- An Interdisciplinary Capstone Design Experience on Critical Embedded Systems using Agile Methods
- auteur
- Pascal Acco, Guillaume Auriol, Elodie Chanthery, M.-A Détourbe, Pierre Emmanuel Hladik, Didier Le Botlan, N Noullet, Audine Subias
- article
- Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2019, 18 (0001), 23p. ⟨10.1051/j3ea/20190001⟩
- Accès au texte intégral et bibtex
-
- titre
- Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods
- auteur
- Raymond Devillers, Thomas Hujsa
- article
- Fundamenta Informaticae, 2019, 169 (1-2), pp.1 - 30. ⟨10.3233/FI-2019-1837⟩
- Accès au texte intégral et bibtex
-
- titre
- Computer-Security-Oriented Escape Room
- auteur
- Erwan Beguin, Solal Besnard, Adrien Cros, Barbara Joannes, Ombeline Leclerc-Istria, Alexa Noel, Nicolas Roels, Faical Taleb, Jean Thongphan, Eric Alata, Vincent Nicomette
- article
- IEEE Security and Privacy Magazine, 2019, 17 (4), pp.78-83. ⟨10.1109/MSEC.2019.2912700⟩
- Accès au texte intégral et bibtex
-
- titre
- Adversarial frontier stitching for remote neural network watermarking
- auteur
- Erwan Le Merrer, Patrick Pérez, Gilles Trédan
- article
- Neural Computing and Applications, 2019, 32 (13), pp.9233-9244. ⟨10.1007/s00521-019-04434-z⟩
- Accès au texte intégral et bibtex
-
- titre
- A Methodology for Requirement Volatility and Traceability
- auteur
- Abd-El-Kader Sahraoui, Abdelaziz Babiker
- article
- International Journal of Computer Science and Software Engineering, 2019, 8 (4), pp.86-98
- Accès au bibtex
-
- titre
- Safety Case Confidence Propagation Based on Dempster-Shafer theory
- auteur
- Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön
- article
- International Journal of Approximate Reasoning, 2019, 107, pp.46-64. ⟨10.1016/j.ijar.2019.02.002⟩
- Accès au texte intégral et bibtex
-
- titre
- Smart-TV security: risk analysis and experiments on Smart-TV communication channels
- auteur
- Yann Bachy, Vincent Nicomette, Mohamed Kaâniche, Eric Alata
- article
- Journal of Computer Virology and Hacking Techniques, 2019, 15 (1), pp.61-76. ⟨10.1007/s11416-018-0320-3⟩
- Accès au texte intégral et bibtex
-
- titre
- ERP Critical Success Factors: Software system Engineering Perspective
- auteur
- Nafisa Osman, Abd-El-Kader Sahraoui
- article
- International Journal of Computers and Applications, 2019, 182 (42), pp.35-42. ⟨10.5120/ijca2019918501⟩
- Accès au bibtex
-
- titre
- Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems
- auteur
- Achour Mostefaoui, Michel Raynal, Matthieu Roy
- article
- Computing, 2019, 101 (1), pp.3-17. ⟨10.1007/s00607-018-0615-8⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Implementation of a Host-Based Intrusion Detection System for Avionic Applications
- auteur
- Aliénor Damien, Michael Marcourt, Vincent Nicomette, Eric Alata, Mohamed Kaâniche
- article
- 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC), Dec 2019, Kyoto, Japan. pp.178-17809, ⟨10.1109/PRDC47002.2019.00048⟩
- Accès au texte intégral et bibtex
-
- titre
- The tool TWINA construction d'espaces d'états abstrait pour l'intersection de Time Petri nets
- auteur
- Éric Lubat
- article
- 12ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2019), Nov 2019, Angers, France
- Accès au texte intégral et bibtex
-
- titre
- Simulation-based testing to improve safety of autonomous robots
- auteur
- Luca Vittorio Sartori
- article
- 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Oct 2019, Berlin, Germany. ⟨10.1109/ISSREW.2019.00053⟩
- Accès au texte intégral et bibtex
-
- titre
- Mirage: towards a Metasploit-like framework for IoT
- auteur
- Romain Cayre, Vincent Nicomette, Guillaume Auriol, Eric Alata, Mohamed Kaâniche, Geraldine Marconato
- article
- 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), Oct 2019, Berlin, Germany
- Accès au texte intégral et bibtex
-
- titre
- On Reconciling Schedulability Analysis and Model Checking in Robotics
- auteur
- Mohammed Foughali
- article
- MEDI Workshops. 9th International Conference on Model and Data Engineering, Oct 2019, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Synchronous t-Resilient Consensus in Arbitrary Graphs
- auteur
- Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
- article
- 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. ⟨10.1007/978-3-030-34992-9_5⟩
- Accès au bibtex
-
- titre
- Application-aware adaptive partitioning for graph processing systems
- auteur
- Erwan Le Merrer, Gilles Trédan
- article
- MASCOTS 2019 - 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Oct 2019, Rennes, France. pp.235-240, ⟨10.1109/MASCOTS.2019.00033⟩
- Accès au texte intégral et bibtex
-
- titre
- Tasks in Modular Proofs of Concurrent Algorithms
- auteur
- Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
- article
- 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. pp.69-83, ⟨10.1007/978-3-030-34992-9_6⟩
- Accès au texte intégral et bibtex
-
- titre
- Using Systems Engineering to Model the Interaction of the Pilot, the Aircraft, and the Procedures
- auteur
- Vatsal Pant, Jean-Charles Chaudemar, Hamid Demmou
- article
- 5th International Symposium on Systems Engineering (ISSE 2019), Oct 2019, Edinburgh, United Kingdom. pp.1-6
- Accès au texte intégral et bibtex
-
- titre
- Certification continue des logiciels embarqués critiques
- auteur
- Vincent Louis, Claude Baron
- article
- ESA/CNES Software Product Assurance and Engineering Workshop, Oct 2019, Toulouse, France
- Accès au bibtex
-
- titre
- Mixed Critical Automotive Embedded Applications on Multicores: A Safe Scheduling Approach for Dependability
- auteur
- Daniel Loche, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre
- article
- 5th International Workshop on Critical Automotive Applications: Robustness & Safety, Sep 2019, Naples, Italy
- Accès au texte intégral et bibtex
-
- titre
- Attack Injection into Avionic Systems through Application Code Mutation
- auteur
- Aliénor Damien, Nathalie Feyt, Vincent Nicomette, Eric Alata, Mohamed Kaâniche
- article
- 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), Sep 2019, San Diego, United States. pp.1-8, ⟨10.1109/DASC43569.2019.9081616⟩
- Accès au texte intégral et bibtex
-
- titre
- A State Class Construction for Computing the Intersection of Time Petri Nets Languages
- auteur
- Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias
- article
- 17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Aug 2019, Amsterdam, Netherlands. ⟨10.1007/978-3-030-29662-9_5⟩
- Accès au texte intégral et bibtex
-
- titre
- Edge Computing at Smart Manufacturing : AI explicability for safety, how to achieve it ?
- auteur
- Yannick Fourastier, Claude Baron, Philippe Esteban, Carsten Thomas
- article
- International Conference on Industry 4.0 and Artificial Intelligence Technologies, Aug 2019, Cambridge, United Kingdom
- Accès au bibtex
-
- titre
- Statistical Model Checking of Complex Robotic Systems
- auteur
- Mohammed Foughali, Félix Ingrand, Cristina Seceleanu
- article
- 26th International SPIN Symposium on Model Checking of Software, Jul 2019, Beijing, China
- Accès au texte intégral et bibtex
-
- titre
- A Topological Perspective on Distributed Network Algorithms
- auteur
- Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Corentin Travers
- article
- 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2019), Jul 2019, L'Aquila, Italy. ⟨10.1007/978-3-030-24922-9_1⟩
- Accès au bibtex
-
- titre
- Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems
- auteur
- Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
- article
- International Workshop on Algorithms & Theories for the Analysis of Event Data 2019, Jun 2019, Aachen, Germany
- Accès au texte intégral et bibtex
-
- titre
- Bonsai: Efficient Fast Failover Routing Using Small Arborescences
- auteur
- Klaus-Tycho Foerster, Andrzej Kamisiński, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun 2019, Portland, United States. pp.276-288, ⟨10.1109/DSN.2019.00039⟩
- Accès au texte intégral et bibtex
-
- titre
- Repeatable Decentralized Simulations for Cyber-Physical Systems
- auteur
- Christophe Reymann, Mohammed Foughali, Simon Lacroix
- article
- International Conference on Software Quality, Reliability and Security (QRS), Jun 2019, Sofia, Bulgaria
- Accès au texte intégral et bibtex
-
- titre
- Un méta-modèle pour la représentation de systèmes à structure dynamique applicable à la reconfiguration dynamique partielle
- auteur
- Clément Foucher, Min Zhu
- article
- Colloque 2019 du GDR SOC², Jun 2019, Montpellier, France
- Accès au texte intégral et bibtex
-
- titre
- Mirage : un framework offensif pour l'audit du Bluetooth Low Energy
- auteur
- Romain Cayre, Jonathan Roux, Eric Alata, Vincent Nicomette, Guillaume Auriol
- article
- Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC 2019), Jun 2019, Rennes, France. pp.229-258
- Accès au texte intégral et bibtex
-
- titre
- Activité pédagogique sur la création d'un jeu d'évasion
- auteur
- Guillaume Auriol, Sonia Ben Dhia, Elodie Chanthery, Pierre-Emmanuel Hladik, Didier Le Botlan, G. Le Corre, C. Maranges, David Vignolles
- article
- 6ème Colloque Pédagogie & Formation - groupe INSA, May 2019, Bourges, France
- Accès au texte intégral et bibtex
-
- titre
- Une politique de contrôle d'accès à grains fins aux données pour les systèmes de transport intelligents
- auteur
- Rémi Adelin, Eric Alata, Vincent Migliore, Vincent Nicomette
- article
- Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI), May 2019, Erquy, France
- Accès au texte intégral et bibtex
-
- titre
- CASA: Congestion and Stretch Aware Static Fast Rerouting
- auteur
- Klaus-Tycho Foerster, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- IEEE Conference on Computer Communications (IEEE INFOCOM 2019), Apr 2019, Paris, France. ⟨10.1109/INFOCOM.2019.8737438⟩
- Accès au texte intégral et bibtex
-
- titre
- Quality quantification in Systems Engineering from the Qualimetry Eye
- auteur
- Yann Argotti, Claude Baron, Philippe Esteban
- article
- IEEE International Systems Conference (SysCon) (IEEE SysCon 2019), IEEE, Apr 2019, Orlando, United States. ⟨10.1109/SYSCON.2019.8836756⟩
- Accès au texte intégral et bibtex
-
- titre
- Graphical program transformations for embedded systems
- auteur
- Robert Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew Wallace
- article
- 34th ACM/SIGAPP Symposium on Applied Computing (SAC), Apr 2019, Limassol, Cyprus. pp.647-649, ⟨10.1145/3297280.3297555⟩
- Accès au bibtex
-
- titre
- Presentation of the 9th Edition of the Model Checking Contest
- auteur
- Elvio Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal Zilio, Francesco Gallà, Lom Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew Miner, Emmanuel Paviot-Adet, Jiří Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf
- article
- Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, Apr 2019, Prague, Czech Republic. pp.50-68, ⟨10.1007/978-3-030-17502-3_4⟩
- Accès au bibtex
-
- titre
- Edge Computing at Smart Manufacturing: AI explicability for safety, how to achieve it?
- auteur
- Claude Baron, Yannick Fourastier
- article
- Intelligence artificielle et industrie du futur, Feb 2019, Grenoble, France
- Accès au bibtex
-
Book sections
- titre
- Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach
- auteur
- Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
- article
- Transactions on Petri Nets and Other Models of Concurrency XIV, Springer, pp.172-191, 2019, 978-3-662-60650-6. ⟨10.1007/978-3-662-60651-3_7⟩
- Accès au bibtex
-
- titre
- AI-assisted distributed applications
- auteur
- Yannick Fourastier, Claude Baron
- article
- Advances in artificial intelligence: reviews, Vol.1, IFSA Publishing, 2019, Book Series, 978-8409090167
- Accès au bibtex
-
2018
Journal articles
- titre
- Modelling Confidence in Railway Safety Case
- auteur
- Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön
- article
- Safety Science, 2018, 110 (part B), pp.286-299. ⟨10.1016/j.ssci.2017.11.012⟩
- Accès au texte intégral et bibtex
-
- titre
- Load-Optimal Local Fast Rerouting for Dense Networks
- auteur
- Michael Borokhovich, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- IEEE/ACM Transactions on Networking, 2018, 26 (6), pp.2583-2597. ⟨10.1109/TNET.2018.2871089⟩
- Accès au texte intégral et bibtex
-
- titre
- SynchroState: A SPEM-based Solution for Synchronizing Activities and Products through State Transitions
- auteur
- Amal Rochd, Maria Zrikem, Thierry Millan, Christian Percebois, Claude Baron, Abderrahmane Ayadi
- article
- The international Arab journal of information technology, 2018, 15 (6), pp.951-961
- Accès au texte intégral et bibtex
-
- titre
- Addressing scalable, optimal and secure communications over LoRa networks: challenges and research directions
- auteur
- Nicola Accettura, Eric Alata, Pascal Berthou, Daniela Dragomirescu, Thierry Monteil
- article
- Internet Technology Letters, 2018, 1 (4), pp.e54. ⟨10.1002/itl2.54⟩
- Accès au texte intégral et bibtex
-
- titre
- Toward Requirements and Design Traceability Using Natural Language Processing
- auteur
- Abd-El-Kader Sahraoui, Omer Salih Dawood
- article
- European Journal of Engineering Research and Science, 2018, 7 (3), ⟨10.24018/ejers.2018.3.7.807⟩
- Accès au bibtex
-
- titre
- SMOF - A Safety MOnitoring Framework for Autonomous Systems
- auteur
- Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson
- article
- IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2018, 48 (5), pp.702-715. ⟨10.1109/TSMC.2016.2633291⟩
- Accès au texte intégral et bibtex
-
- titre
- Anomaly Detection and Diagnosis for Cloud services: Practical experiments and lessons learned
- auteur
- Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun, Kahina Lazri, Guthemberg Silvestre
- article
- Journal of Systems and Software, 2018, 139, pp.84-106. ⟨10.1016/j.jss.2018.01.039⟩
- Accès au texte intégral et bibtex
-
- titre
- Requirements Changing in System Engineering and Impact on Safety
- auteur
- Abdelaziz Babiker, Abd-El-Kader Sahraoui
- article
- International Journal of Computer Applications in Technology, 2018, 180 (37), pp.5-9. ⟨10.5120/ijca2018916915⟩
- Accès au bibtex
-
- titre
- Resilient Computing on ROS using Adaptive Fault Tolerance
- auteur
- Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, Miruna Stoicescu
- article
- Journal of Software: Evolution and Process, 2018, 30 (3), pp.e1917. ⟨10.1002/smr.1917⟩
- Accès au texte intégral et bibtex
-
- titre
- State of the art of network protocol reverse engineering tools
- auteur
- Julien Duchene, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
- article
- Journal of Computer Virology and Hacking Techniques, 2018, 14 (1), pp.53-68. ⟨10.1007/s11416-016-0289-8⟩
- Accès au texte intégral et bibtex
-
- titre
- IOMMU protection against I/O attacks: A vulnerability and a proof-of-concept
- auteur
- Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
- article
- Journal of the Brazilian Computer Society, 2018, 24, pp.Article number: 2. ⟨10.1186/s13173-017-0066-7⟩
- Accès au texte intégral et bibtex
-
- titre
- A language-based intrusion detection approach for automotive embedded networks
- auteur
- Ivan Studnia, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Youssef Laarouchi
- article
- International Journal of Embedded Systems, 2018, 10 (1), ⟨10.1504/IJES.2018.10010488⟩
- Accès au texte intégral et bibtex
-
- titre
- From PLM to ERP : A software systems engineering integration
- auteur
- Nafisa Osman, Abd-El-Kader Sahraoui
- article
- International Journal of Software Engineering & Applications, 2018, 9 (1), pp.11-27. ⟨10.5121/ijsea.2018.9102⟩
- Accès au texte intégral et bibtex
-
- titre
- A Software Requirement Engineering Framework to Enhance Critical Success Factors for ERP Implementation
- auteur
- Nafisa Osman, Abd-El-Kader Sahraoui
- article
- International Journal of Computer Applications, 2018, 180 (10), pp.32-37. ⟨10.5120/ijca2018916170⟩
- Accès au texte intégral et bibtex
-
- titre
- DYNASCORE: DYNAmic Software COntroller to increase REsource utilization in mixed-critical systems
- auteur
- Angeliki Kritikakou, Thibaut Marty, Matthieu Roy
- article
- ACM Transactions on Design Automation of Electronic Systems, 2018, 23 (2), pp.art ID n°13. ⟨10.1145/3110222⟩
- Accès au texte intégral et bibtex
-
- titre
- Convergence and covering on graphs for wait-free robots
- auteur
- Armando Castañeda, Sergio Rajsbaum, Matthieu Roy
- article
- Journal of the Brazilian Computer Society, 2018, 24 (1), ⟨10.1186/s13173-017-0065-8⟩
- Accès au texte intégral et bibtex
-
- titre
- Local Fast Failover Routing With Low Stretch
- auteur
- Klaus-Tycho Foerster, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- Computer Communication Review, 2018, 48 (1), pp.35-41. ⟨10.1145/3211852.3211858⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- An Assistance Tool to Design Interoperable Components for Co-simulation
- auteur
- Yassine Motie, Alexandre Nketsa, Philippe Truillet
- article
- 8th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (tun), Dec 2018, Hammamet, Tunisia. pp.494-503
- Accès au texte intégral et bibtex
-
- titre
- A Comparison of the Homomorphic Encryption Libraries HElib, SEAL and FV-NFLlib
- auteur
- Carlos Aguilar Melchor, Marc-Olivier Killijian, Cédric Lefebvre, Thomas Ricosset
- article
- International Conference on Security for Information Technology and Communications (SECITC 2018), Nov 2018, Bucharest, Romania. pp.425-442, ⟨10.1007/978-3-030-12942-2_32⟩
- Accès au bibtex
-
- titre
- Anomaly based Intrusion Detection for an Avionic Embedded System
- auteur
- Aliénor Damien, Marc Fumey, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
- article
- Aerospace Systems and Technology Conference (ASTC-2018), Nov 2018, Londres, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- SAAC: Secure Android Application Context a Runtime Based Policy and its Architecture
- auteur
- Guillaume Averlant, Eric Alata, Mohamed Kaâniche, Vincent Nicomette, Yuxiao Mao
- article
- IEEE 17th International Symposium on Network Computing and Applications (NCA 2018), Nov 2018, Cambridge, MA, United States. ⟨10.1109/NCA.2018.8548343⟩
- Accès au texte intégral et bibtex
-
- titre
- RadIoT: Radio Communications Intrusion Detection for IoT - A Protocol Independent Approach
- auteur
- Jonathan Roux, Eric Alata, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette, Romain Cayre
- article
- 17th IEEE International Symposium on Network Computing and Applications (NCA 2018), Nov 2018, Cambridge, Massachusetts, United States. 8p
- Accès au texte intégral et bibtex
-
- titre
- Malware Detection in PDF Files Using Machine Learning
- auteur
- Bonan Cuan, Aliénor Damien, Claire Delaplace, Mathieu Valois
- article
- SECRYPT 2018 - 15th International Conference on Security and Cryptography, Jul 2018, Porto, Portugal. 8p
- Accès au texte intégral et bibtex
-
- titre
- Interoperability based Dynamic Data Mediation using Adaptive Multi-Agent Systems for Co-Simulation
- auteur
- Yassine Motie, Elhadi Belghache, Alexandre Nketsa, Jean-Pierre Georgé
- article
- High Performance Computing and Simulation (HPCS 2018), Jul 2018, Orléans, France. 7p
- Accès au texte intégral et bibtex
-
- titre
- Data visualization in conceptual design: developing a prototype to support decision making
- auteur
- Xin Yi, Claude Baron, Rob A. Vingerhoeds, Alessandro Bertoni, Philippe Esteban
- article
- 12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018), Jun 2018, Toulouse, France. pp.181-188
- Accès au texte intégral et bibtex
-
- titre
- Implementing SCRUM to develop a connected robot
- auteur
- Diego Armando Diaz Vargas, Rui Xue, Claude Baron, Philippe Esteban, Rob Vingerhoeds, Citlalih Y. A. Gutierrez Estrada, Chao Liu
- article
- 12th International Conference on Modeling, Optimization and SIMulation (MOSIM 2018), Jun 2018, Toulouse, France. 8p
- Accès au texte intégral et bibtex
-
- titre
- Mise en œuvre d'un simulateur DEVS utilisant des réseaux de Petri temporisés sur FPGA
- auteur
- Clément Foucher, Vincent Albert
- article
- MOSIM 2018, Jun 2018, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Avez-vous identifié toutes les parties prenantes ?
- auteur
- Karla I. Gomez Sotelo, Xin Yi, Claude Baron, Philippe Esteban, Citlalih Y. A. Gutiérrez Estrada, Luis de J. Laredo Velázquez
- article
- 12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018 ), Jun 2018, Toulouse, France. 8p
- Accès au texte intégral et bibtex
-
- titre
- Safety Analysis of Pilot-System Interaction
- auteur
- Vatsal Pant, Jean-Charles Chaudemar, Hamid Demmou
- article
- 12e Conférence Internationale de Modélisation, Optimisation et Simulation (MOSIM), Jun 2018, Toulouse, France. 6p
- Accès au texte intégral et bibtex
-
- titre
- Safe Stop Trajectory Planning for Highly Automated Vehicles: An Optimal Control Problem Formulation
- auteur
- Lars Svensson, Lola Masson, Naveen Mohan, Erik Ward, Anna Pernestal Brenden, Lei Feng, Martin Törngren
- article
- 2018 IEEE Intelligent Vehicles Symposium (IV), Jun 2018, Changshu, China. ⟨10.1109/IVS.2018.8500536⟩
- Accès au bibtex
-
- titre
- Specification-Based Protocol Obfuscation
- auteur
- Julien Duchene, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Colas Le Guernic
- article
- DSN 2018 - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2018, Luxembourg City, Luxembourg. pp.1-12, ⟨10.1109/DSN.2018.00056⟩
- Accès au texte intégral et bibtex
-
- titre
- Petri Net Reductions for Counting Markings
- auteur
- Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio
- article
- International Symposium on Model Checking Software (SPIN 2018), Jun 2018, Malaga, Spain. ⟨10.1007/978-3-319-94111-0_4⟩
- Accès au texte intégral et bibtex
-
- titre
- Tomographic Node Placement Strategies and the Impact of the Routing Model
- auteur
- Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- SIGMETRICS, Jun 2018, Irvine, United States. 28p., ⟨10.1145/3154501⟩
- Accès au texte intégral et bibtex
-
- titre
- SRide: A Privacy-Preserving Ridesharing System
- auteur
- Ulrich Matchi Aïvodji, Kévin Huguenin, Marie-José Huguet, Marc-Olivier Killijian
- article
- 11th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec), Jun 2018, Stockholm, Sweden. pp.40-50, ⟨10.1145/3212480.3212483⟩
- Accès au texte intégral et bibtex
-
- titre
- Ingénierie dirigée par les modèles : du modèle au circuit logique en utilisant la génération automatique de code avec la plateforme Project DEVS
- auteur
- Clément Foucher, Vincent Albert
- article
- Colloque 2018 du GDR SOC², Jun 2018, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- How to find non-functional requirements in system developments
- auteur
- Karla I. Gomez Sotelo, Claude Baron, Philippe Esteban, Citlalih Y. A. Gutiérrez Estrada, Luis de J. Laredo Velázquez
- article
- 16th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2018), Jun 2018, Bergamo, Italy. 6p
- Accès au texte intégral et bibtex
-
- titre
- Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms
- auteur
- Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
- article
- FormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden
- Accès au texte intégral et bibtex
-
- titre
- Heterogeneous distributed simulation of DEVS Petri nets
- auteur
- Clément Foucher, Vincent Albert
- article
- Journées DEVS Francophones, Apr 2018, Cargèse, France
- Accès au texte intégral et bibtex
-
- titre
- Tuning permissiveness of active safety monitors for autonomous systems
- auteur
- Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren
- article
- Nasa Formal Methods, Apr 2018, Newport News, United States. ⟨10.1007/978-3-319-77935-5_23⟩
- Accès au texte intégral et bibtex
-
- titre
- A Brute-Force Schedulability Analysis for Formal Model under Logical Execution Time Assumption
- auteur
- Pierre-Emmanuel Hladik
- article
- The 33rd ACM/SIGAPP Symposium On Applied Computing (SAC), Apr 2018, Pau, France. 13p
- Accès au texte intégral et bibtex
-
- titre
- Timed Formal Model and Verification of Satellite FDIR in Early Design Phase
- auteur
- Alexandre Albore, Silvano Dal Zilio, Marie de Roquemaurel, Christel Seguin, Pierre Virelizier
- article
- 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France. 10p
- Accès au texte intégral et bibtex
-
- titre
- How Resilient is your computer system?
- auteur
- William Excoffon, Jean-Charles Fabre, Michaël Lauer
- article
- ERTS 2018,9th European Congress Embedded Real Time Software and systems, Jan 2018, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Software Quality Assurance Dashboard for Renault Software Robustness plan with SQUORE tool
- auteur
- Valérie Russo, Alexandre Oriou, Flavien Huynh, Claude Baron
- article
- 9th European Congress EMBEDDED REAL TIME SOFTWARE AND SYSTEMS (ERTS²), Jan 2018, Toulouse, France. 6p
- Accès au texte intégral et bibtex
-
- titre
- Integration of Electro-Absorption Modulator in a Vertical-Cavity Surface-Emitting Laser
- auteur
- Ludovic Marigo-Lombart, Stéphane Calvez, Alexandre Arnoult, Alexandre Rumeau, Christophe Viallon, Hugo Thienpont, Krassimir Panajotov, Guilhem Almuneau
- article
- SPIE Photonics West, SPIE, Jan 2018, San Francisco, United States. ⟨10.1117/12.2287465⟩
- Accès au texte intégral et bibtex
-
- titre
- CyberFactory#1 — Securing the industry 4.0 with cyber-ranges and digital twins
- auteur
- Adrien Becue, Yannick Fourastier, Isabel Praça, Adrien Savarit, Claude Baron, B. Gradussofs, Carsten Thomas
- article
- 14th IEEE International Workshop on Factory Communication Systems, 2018, Imperia, Italy
- Accès au bibtex
-
- titre
- Appproche systémique pour le développement de systèmes embarqués connectés
- auteur
- Claude Baron, Brigitte Daniel-Allegro
- article
- 12e Conférence Internationale de Modélisation, Optimisation et Simulation (MOSIM), 2018, toulouse, France
- Accès au bibtex
-
2017
Journal articles
- titre
- A framework to improve performance measurement in engineering projects
- auteur
- Li Zheng, Claude Baron, Philippe Esteban, Rui Xue, Qiang Zhang
- article
- INSIGHT - International Council on Systems Engineering (INCOSE), 2017, 20 (4), pp.40-43. ⟨10.1002/inst.12180⟩
- Accès au texte intégral et bibtex
-
- titre
- IS THERE ANY AGILITY IN SYSTEMS ENGINEERING?
- auteur
- Diego Armando Diaz Vargas, Claude Baron, Philippe Esteban, Citlalih Yollohtli Alejandra Gutierrez Estrada
- article
- INSIGHT - International Council on Systems Engineering (INCOSE), 2017, 20 (4), pp.11 - 14. ⟨10.1002/inst.12173⟩
- Accès au bibtex
-
- titre
- Metodología para transformar necesidades en requisitos, integrando Ingeniería de Sistemas, Calidad y Pensamiento Esbelto
- auteur
- Karla Itzel Gomez Sotelo, Claude Baron, Philippe Esteban, Citlalih Yollohtli Alejandra Gutierrez Estrada
- article
- Revista de Ingeniería Industrial, 2017, 1 (2), pp.42-51
- Accès au texte intégral et bibtex
-
- titre
- Reliability Enhancement of Redundancy Management in AFDX Networks
- auteur
- Meng Li, Guchuan Zhu, Yvon Savaria, Michaël Lauer
- article
- IEEE Transactions on Industrial Informatics, 2017, 13 (5), pp.2118-2129. ⟨10.1109/TII.2017.2732345⟩
- Accès au texte intégral et bibtex
-
- titre
- Safety-critical advanced robots: A survey
- auteur
- Jérémie Guiochet, Mathilde Machin, Hélène Waeselynck
- article
- Robotics and Autonomous Systems, 2017, 94, pp.43-52. ⟨10.1016/j.robot.2017.04.004⟩
- Accès au texte intégral et bibtex
-
- titre
- Assessment of E-learning Systems: A Systems Engineering Approach System
- auteur
- Aula Al-Shagran, Abd-El-Kader Sahraoui
- article
- International Journal of Computer Science and Software Engineering, 2017, 6 (8), pp.173-179
- Accès au texte intégral et bibtex
-
- titre
- Optimizing product development in industry by alignment of the ISO/IEC 15288 Systems Engineering Standard and the PMBoK Guide
- auteur
- Rui Xue, Claude Baron, Philippe Esteban
- article
- International Journal of Product Development, 2017, 22 (1), pp.65-80. ⟨10.1504/IJPD.2017.085278⟩
- Accès au texte intégral et bibtex
-
- titre
- Efficient and secure outsourcing of genomic data storage
- auteur
- João Sá Sousa, Cédric Lefebvre, Zhicong Huang, Jean Louis Raisaro, Carlos Aguilar Melchor, Marc-Olivier Killijian, Jean-Pierre Hubaux
- article
- BMC Medical Genomics, 2017, 10 (S2), pp.1--17. ⟨10.1186/s12920-017-0275-0⟩
- Accès au texte intégral et bibtex
-
- titre
- A new method for measuring process flexibility of product design
- auteur
- Qiang Zhang, Desheng Wu, Chaoying Fu, Claude Baron, Zhanglin Peng
- article
- International Transactions in Operational Research, 2017, 24 (4), pp.821-838. ⟨10.1111/itor.12299⟩
- Accès au bibtex
-
- titre
- Quantifying Interdependent Privacy Risks with Location Data
- auteur
- Alexandra-Mihaela Olteanu, Kévin Huguenin, Reza Shokri, Mathias Humbert, Jean-Pierre Hubaux
- article
- IEEE Transactions on Mobile Computing, 2017, 16 (3), pp.829-842. ⟨10.1109/TMC.2016.2561281⟩
- Accès au texte intégral et bibtex
-
- titre
- Architecting resilient computing systems: A component-based approach for adaptive fault tolerance
- auteur
- Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
- article
- Journal of Systems Architecture, 2017, 73, pp.6-16. ⟨10.1016/j.sysarc.2016.12.005⟩
- Accès au texte intégral et bibtex
-
- titre
- Culture Effect on Requirements Elicitation Practice in Developing Countries
- auteur
- Ayman Sadig, Abd-El-Kader Sahraoui
- article
- International Journal of Software Engineering & Applications, 2017, 8 (1), pp.49-58. ⟨10.5121/ijsea.2017.8105⟩
- Accès au texte intégral et bibtex
-
- titre
- From Requirements Engineering to UML using Natural Language Processing – Survey Study
- auteur
- Omer Salih Dawood, Abd-El-Kader Sahraoui
- article
- European Journal of Industrial Engineering, 2017, 2 (1), pp.44-50. ⟨10.24018/ejers.2017.2.1.236⟩
- Accès au texte intégral et bibtex
-
- titre
- The many faces of graph dynamics
- auteur
- Yvonne-Anne Pignolet, Matthieu Roy, Stefan Schmid, Gilles Trédan
- article
- Journal of Statistical Mechanics: Theory and Experiment, 2017, 2017 (6), pp.063401. ⟨10.1088/1742-5468/aa71ce⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- The topological face of recommendation: models and application to bias detection
- auteur
- Erwan Le Merrer, Gilles Trédan
- article
- Complex Networks, Nov 2017, Lyon, France
- Accès au texte intégral et bibtex
-
- titre
- Applying the Model-Driven Architecture Approach to Dynamic Structure Applications
- auteur
- Min Zhu, Clément Foucher, Vincent Albert, Alexandre Nketsa
- article
- 31st European Simulation and Modelling Conference (ESM 2017), Oct 2017, Lisbon, Portugal. 8p
- Accès au texte intégral et bibtex
-
- titre
- A co-simulation framework interoperability for Neo-campus project
- auteur
- Yassine Motie, Alexandre Nketsa, Philippe Truillet
- article
- ESM 2017 31st European Simulation and Modelling Conference, Oct 2017, Lisbon, Portugal. 7p
- Accès au texte intégral et bibtex
-
- titre
- Multi-level Isolation for Android Applications
- auteur
- Guillaume Averlant
- article
- IEEE 28th International Symposium on Software Reliability Engineering: Workshops (ISSREW 2017), Oct 2017, Toulouse, France. 4p., ⟨10.1109/ISSREW.2017.61⟩
- Accès au texte intégral et bibtex
-
- titre
- Experience Report: Log Mining using Natural Language Processing and Application to Anomaly Detection
- auteur
- Christophe Bertero, Matthieu Roy, Carla Sauvanaud, Gilles Trédan
- article
- 28th International Symposium on Software Reliability Engineering (ISSRE 2017), Oct 2017, Toulouse, France. 10p
- Accès au texte intégral et bibtex
-
- titre
- First insights into testing autonomous robot in virtual worlds
- auteur
- Clément Robert
- article
- 28th International Symposium on Software Reliability Engineering (ISSRE), Oct 2017, Toulouse, France. 4p., ⟨10.1109/ISSREW.2017.59⟩
- Accès au texte intégral et bibtex
-
- titre
- Formal Verification of User-Level Real-Time Property Patterns
- auteur
- Ning Ge, Marc Pantel, Silvano Dal Zilio
- article
- 11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), Sep 2017, Sophia Antipolis, France. 8p
- Accès au texte intégral et bibtex
-
- titre
- Confidence Assessment Framework for Safety Arguments
- auteur
- Rui Wang, Jérémie Guiochet, Gilles Motet
- article
- International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Trento, Italy, Sep 2017, Trento, Italy. 14p
- Accès au texte intégral et bibtex
-
- titre
- A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica
- auteur
- Alexandre Albore, Silvano Dal Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier
- article
- Model-Based Safety and Assessment. IMBSA 2017, Sep 2017, Trento, Italy. 15p., ⟨10.1007/978-3-319-64119-5_10⟩
- Accès au texte intégral et bibtex
-
- titre
- Analysis of Adaptive Fault Tolerance for Resilient Computing
- auteur
- William Excoffon, Jean-Charles Fabre, Michaël Lauer
- article
- 13th European Dependable Computing Conference (EDCC 2017), Sep 2017, Geneva, Switzerland. 9p., ⟨10.1109/EDCC.2017.22⟩
- Accès au texte intégral et bibtex
-
- titre
- Toward an Intrusion Detection Approach for IoT based on Radio Communications Profiling
- auteur
- Jonathan Roux, Eric Alata, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche
- article
- 13th European Dependable Computing Conference, Sep 2017, Geneva, Switzerland. 4p
- Accès au texte intégral et bibtex
-
- titre
- A toolset for mobile systems testing
- auteur
- Pierre André, Nicolas Rivière, Hélène Waeselynck
- article
- 11th International Conference on Verification and Evaluation of Computer and Communication Systems (VEcOS 2017), Aug 2017, Montréal, Canada. pp.124-138
- Accès au texte intégral et bibtex
-
- titre
- Can robot navigation bugs be found in simulation? An exploratory study
- auteur
- Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Félix Ingrand
- article
- 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS2017), Jul 2017, Prague, Czech Republic. 10p
- Accès au texte intégral et bibtex
-
- titre
- Considering the systems engineering leading indicators to improve project performance measurement
- auteur
- Li Zheng, Claude Baron, Philippe Esteban, Rui Xue, Qiang Zhang
- article
- IFAC world congress, Jul 2017, Toulouse, France. 6p
- Accès au texte intégral et bibtex
-
- titre
- Formal Framework for Discrete-Event Simulation
- auteur
- Vincent Albert, Clément Foucher
- article
- 20th IFAC World Congress, Jul 2017, Toulouse, France. pp.5812-5817, ⟨10.1016/j.ifacol.2017.08.535⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards Adaptive Fault Tolerance on ROS for Advanced Driver Assistance Systems
- auteur
- Matthieu Amy, Jean-Charles Fabre, Michaël Lauer
- article
- 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W), Jun 2017, Denver, United States. 7p., ⟨10.1109/DSN-W.2017.42⟩
- Accès au texte intégral et bibtex
-
- titre
- Load-Optimal Local Fast Rerouting for Resilient Networks
- auteur
- Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- 47th IEEE/IFIP International Conference on Dependable Systems and Networks DSN 2017, Jun 2017, Denver, United States. 12p
- Accès au texte intégral et bibtex
-
- titre
- L'aspect topologique des recommandations
- auteur
- Erwan Le Merrer, Gilles Trédan
- article
- ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France. 4p
- Accès au texte intégral et bibtex
-
- titre
- Détection d'Intrusion dans l'Internet des Objets : Problématiques de sécurité au sein des domiciles
- auteur
- Jonathan Roux
- article
- Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI), May 2017, Grenoble, France. 4p
- Accès au texte intégral et bibtex
-
- titre
- Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour
- auteur
- Armando Castañeda, Yoram Moses, Michel Raynal, Matthieu Roy
- article
- International Conference on Networked Systems (NETYS), May 2017, Marrakech, Morocco. pp.167 - 221, ⟨10.1007/978-3-319-59647-1_16⟩
- Accès au texte intégral et bibtex
-
- titre
- Mapping Systems engineering leading indicators with leading indicators in construction industry projects
- auteur
- Li Zheng, Claude Baron, Philippe Esteban, Rui Xue, Qiang Zhang
- article
- 12ème Congrès International de Génie Industriel (CIGI2017), May 2017, Compiègne, France. 10p
- Accès au texte intégral et bibtex
-
- titre
- Synthesis of safety rules for active monitoring: application to an airport light measurement robot
- auteur
- Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Augustin Desfosses, Marc Laval
- article
- IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.11⟩
- Accès au texte intégral et bibtex
-
- titre
- Uncovering Influence Cookbooks : Reverse Engineering the Topological Impact in Peer Ranking Services
- auteur
- Erwan Le Merrer, Gilles Trédan
- article
- 20th ACM Conference on Computer-Supported Cooperative Work and Social Computing CSCW 2017, Feb 2017, Portland, United States. 5p
- Accès au texte intégral et bibtex
-
- titre
- An abstraction model and a comparative analysis of Intel and ARM hardware isolation mechanisms
- auteur
- Guillaume Averlant, Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
- article
- The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), Jan 2017, Christchurch, New Zealand
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Dealing with Faults During Operations: Beyond Classical Use of Formal Methods
- auteur
- Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, Célia Martinie, Yannick Deleris
- article
- Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.549--575, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_20⟩
- Accès au bibtex
-
2016
Journal articles
- titre
- Symmetry reduction for time Petri net state classes
- auteur
- Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat
- article
- Science of Computer Programming, 2016, Science of Computer Programming, 132 (Part 2), pp.209 - 225. ⟨10.1016/j.scico.2016.08.008⟩
- Accès au texte intégral et bibtex
-
- titre
- Souk: Spatial Observation of hUman Kinetics
- auteur
- Marc-Olivier Killijian, Roberto Pasqua, Matthieu Roy, Gilles Trédan, Christophe Zanon
- article
- Computer Networks, 2016, 111, pp.109-119. ⟨10.1016/j.comnet.2016.08.008⟩
- Accès au texte intégral et bibtex
-
- titre
- De l'illustration du guidage à l'optimisation d'un plan par un robot Lego Mindstorm NXT
- auteur
- Elodie Chanthery, G Le Corre, Pierre-Emmanuel Hladik
- article
- Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2016, 15, ⟨10.1051/j3ea/2016006⟩
- Accès au texte intégral et bibtex
-
- titre
- Meeting points in ridesharing: A privacy-preserving approach
- auteur
- Ulrich Matchi Aïvodji, Sébastien Gambs, Marie-José Huguet, Marc-Olivier Killijian
- article
- Transportation research. Part C, Emerging technologies, 2016, 72, pp.239 - 253. ⟨10.1016/j.trc.2016.09.017⟩
- Accès au texte intégral et bibtex
-
- titre
- Upper and Lower Bounds for Deterministic Broadcast in Powerline Communication Networks
- auteur
- Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- Distributed Computing, 2016, 29 (4), pp.239-250. ⟨10.1007/s00446-016-0263-1⟩
- Accès au texte intégral et bibtex
-
- titre
- A New Specification-based Qualitative Metric for Simulation Model Validity
- auteur
- Damien Foures, Vincent Albert, Alexandre Nketsa
- article
- Simulation Modelling Practice and Theory, 2016, 66, pp.1-15. ⟨10.1016/j.simpat.2016.03.002⟩
- Accès au texte intégral et bibtex
-
- titre
- SecureRun: Cheat-Proof and Private Summaries for Location-Based Activities
- auteur
- Anh Pham, Kévin Huguenin, Igor Bilogrevic, Italo Dacosta, Jean-Pierre Hubaux
- article
- IEEE Transactions on Mobile Computing, 2016, 15 (8), pp.2109-2123. ⟨10.1109/TMC.2015.2483498⟩
- Accès au texte intégral et bibtex
-
- titre
- Outils pour la rétro-conception de protocoles : Analyse et classification
- auteur
- Julien Duchene, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2016, 35 (6), pp.609-640. ⟨10.3166/tsi.35.609-640⟩
- Accès au texte intégral et bibtex
-
- titre
- XPIR : Private Information Retrieval for Everyone
- auteur
- Carlos Aguilar Melchor, Joris Barrier, Laurent Fousse, Marc-Olivier Killijian
- article
- Proceedings on Privacy Enhancing Technologies, 2016, avril 2016, pp.155-174. ⟨10.1515/popets-2016-0010⟩
- Accès au texte intégral et bibtex
-
- titre
- Efficient and Transparent Wi-Fi Offloading for HTTP(S) POSTs
- auteur
- Kévin Huguenin, Erwan Le Merrer, Nicolas Le Scouarnec, Gilles Straub
- article
- IEEE Transactions on Mobile Computing, 2016, 15 (4), pp.826-839. ⟨10.1109/TMC.2015.2442237⟩
- Accès au texte intégral et bibtex
-
- titre
- Hazard analysis of human–robot interactions with HAZOP–UML
- auteur
- Jérémie Guiochet
- article
- Safety Science, 2016, 84, pp. 225-237. ⟨10.1016/j.ssci.2015.12.017⟩
- Accès au texte intégral et bibtex
-
- titre
- Multicriteria Decision-Making Methodology for Systems Engineering
- auteur
- Vikas Shukla, Guillaume Auriol, Keith Hipel
- article
- IEEE Systems Journal, 2016, 10 (1), pp.4 - 14. ⟨10.1109/JSYST.2014.2344635⟩
- Accès au bibtex
-
- titre
- SysPEM: Toward a consistent and unified System Process Engineering Metamodel
- auteur
- Abdeslam Jakjoud, Maria Zrikem, Claude Baron, Abderrahmanne Ayadi
- article
- Journal of Intelligent Manufacturing, 2016, 27 (1), pp.149-166. ⟨10.1007/s10845-014-0886-7⟩
- Accès au bibtex
-
- titre
- A Machine-Learning Based Approach to Privacy-Aware Information-Sharing in Mobile Social Networks
- auteur
- Igor Bilogrevic, Kévin Huguenin, Berker Ağir, Murtuza Jadliwala, Maria Gazaki, Jean-Pierre Hubaux
- article
- Pervasive and Mobile Computing, 2016, 25, pp.125-142. ⟨10.1016/j.pmcj.2015.01.006⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
- auteur
- Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Félix Ingrand, Anthony Mallet
- article
- 18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan
- Accès au texte intégral et bibtex
-
- titre
- Anomaly Detection and Root Cause Localization in Virtual Network Functions
- auteur
- Carla Sauvanaud, Kahina Lazri, Mohamed Kaâniche, Karama Kanoun
- article
- 27th International Symposium on Software Reliability Engineering (ISSRE 2016), Oct 2016, Ottawa, Canada. pp.196 - 206, ⟨10.1109/ISSRE.2016.32⟩
- Accès au texte intégral et bibtex
-
- titre
- Bypassing IOMMU Protection against I/O Attacks
- auteur
- Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
- article
- 7th Latin-American Symposium on Dependable Computing (LADC’16), Oct 2016, Cali, Colombia. pp.145-150, ⟨10.1109/LADC.2016.31⟩
- Accès au texte intégral et bibtex
-
- titre
- Two Convergence Problems for Robots on Graphs
- auteur
- Armando Castañeda, Sergio Rajsbaum, Matthieu Roy
- article
- 7th IEEE Latin-American Symposium on Dependable Computing, Oct 2016, Cali, Colombia. ⟨10.1109/LADC.2016.21⟩
- Accès au texte intégral et bibtex
-
- titre
- Solving Language Equations Using Flanked Automata
- auteur
- Florent Avellaneda, Silvano Dal Zilio, Jean-Baptiste Raclet
- article
- ATVA 2016: Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. pp.106 - 121, ⟨10.1007/978-3-319-46520-3_7⟩
- Accès au texte intégral et bibtex
-
- titre
- A method to help monitoring engineering projects
- auteur
- Rui Xue, Claude Baron, Philippe Esteban, Li Zheng
- article
- IEEE International Symposium on Systems Engineering (ISSE 2016), Oct 2016, Edinburgh, United Kingdom. 6p
- Accès au bibtex
-
- titre
- Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network
- auteur
- Sofiene Beji, Abdelouahed Gherbi, John Mullins, Pierre-Emmanuel Hladik
- article
- 9th System Analysis and Modelling (SAM 2016), Oct 2016, Saint-Malo, France. ⟨10.1007/978-3-319-46613-2_11⟩
- Accès au texte intégral et bibtex
-
- titre
- D-S Theory for Argument Confidence Assessment
- auteur
- Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön
- article
- 4th International Conference on Belief Functions (BELIEF 2016), Sep 2016, Prague, Czech Republic. pp.190-200, ⟨10.1007/978-3-319-45559-4_20⟩
- Accès au texte intégral et bibtex
-
- titre
- An Approach for Resilient Systems Analysis
- auteur
- William Excoffon, Jean-Charles Fabre, Michaël Lauer
- article
- Fast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway. 2p
- Accès au texte intégral et bibtex
-
- titre
- Building Confidence on Formal Verification Models
- auteur
- Pierre-Alain Bourdil, Eric Jenn, Silvano Dal Zilio
- article
- Fast Abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway
- Accès au texte intégral et bibtex
-
- titre
- Case Study Report : Safety rules synthesis for an autonomous robot
- auteur
- Lola Masson, Jérémie Guiochet, Hélène Waeselynck
- article
- Fast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway
- Accès au texte intégral et bibtex
-
- titre
- Loca: A Location-Oblivious Co-location Attack in Crowds
- auteur
- Roberto Pasqua, Matthieu Roy, Gilles Trédan
- article
- 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, Sep 2016, Heidelberg, Germany. ⟨10.1145/2971648.2971663⟩
- Accès au texte intégral et bibtex
-
- titre
- Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems
- auteur
- Angeliki Kritikakou, Thibaut Marty, Claire Pagetti, Christine Rochange, Michaël Lauer, Matthieu Roy
- article
- Workshop CARS 2016 - Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden
- Accès au texte intégral et bibtex
-
- titre
- Protocol reverse engineering: Challenges and obfuscation
- auteur
- Julien Duchene, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
- article
- The 11th International Conference on Risks and Security of Internet and Systems - CRiSIS 2016, Sep 2016, Roscoff, France. ⟨10.1007/978-3-319-54876-0_11⟩
- Accès au texte intégral et bibtex
-
- titre
- A Framework for Assessing Safety Argumentation Confidence
- auteur
- Rui Wang, Jérémie Guiochet, Gilles Motet
- article
- 8th International Workshop, SERENE , Sep 2016, Gothenburg, Sweden. ⟨10.1007/978-3-319-45892-2_1⟩
- Accès au texte intégral et bibtex
-
- titre
- Virtual Worlds for Testing Robot Navigation: a Study on the Difficulty Level
- auteur
- Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck
- article
- 12th European Dependable Computing Conference (EDCC 2016), Sep 2016, Göteborg, Sweden
- Accès au texte intégral et bibtex
-
- titre
- Quantifying Fidelity for Timed Transition Systems
- auteur
- Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault
- article
- 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2016), Jul 2016, Lisbonne, Portugal
- Accès au texte intégral et bibtex
-
- titre
- Towards a research road map for assessment of e-learning systems: a system engineering approach
- auteur
- A.Al Shagran, Abd-El-Kader Sahraoui
- article
- International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government ( EEE ), Jul 2016, las Vegas, United States. 6p
- Accès au bibtex
-
- titre
- Asynchronous Coordination with Constraints and Preferences
- auteur
- Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
- article
- 35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2016), Jul 2016, Chicago, United States. ⟨10.1145/2933057.2933081⟩
- Accès au texte intégral et bibtex
-
- titre
- On non functional requirements, their evolution and impact on safety
- auteur
- A. Babiker, Abd-El-Kader Sahraoui
- article
- International Conference on Software Engineering Research and Practice ( SERP ), Jul 2016, Las Vegas, United States
- Accès au bibtex
-
- titre
- Towards a Multi-views Approach for Software Requirement Engineering: Requirements Management Tools
- auteur
- Omer Salih Dawood, Abd-El-Kader Sahraoui
- article
- SERP'16 - The 14th International Conference on Software Engineering Research and Practice , Jul 2016, Las Vegas, United States
- Accès au texte intégral et bibtex
-
- titre
- Requirements engineering practice in developing countries: elicitation and traceability processes
- auteur
- A. Sadig, Abd-El-Kader Sahraoui
- article
- International Conference on Software Engineering Research and Practice ( SERP ), Jul 2016, Las Vegas, United States. 7p
- Accès au bibtex
-
- titre
- Asynchronous Coordination Under Preferences and Constraints
- auteur
- Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
- article
- 23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland
- Accès au texte intégral et bibtex
-
- titre
- On the Privacy Implications of Location Semantics
- auteur
- Berker Ağir, Kévin Huguenin, Urs Hengartner, Jean-Pierre Hubaux
- article
- 16th Privacy Enhancing Technologies Symposium (PETS), Jul 2016, Darmstadt, Germany. pp.165-183, ⟨10.1515/popets-2016-0034⟩
- Accès au texte intégral et bibtex
-
- titre
- Location Privacy with Probabilistic Co-Location Profiles [work in progress]
- auteur
- Jean-Pierre Hubaux, Kévin Huguenin, Roberto Pasqua, Alexandra-Mihaela Olteanu
- article
- Atelier sur la Protection de la Vie Privée 2016 (APVP16), Jul 2016, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Pointing out the gap between academic research and supporting software tools in the domain of the performance measurement management of engineering projects
- auteur
- Li Zheng, Claude Baron, Philippe Esteban, Rui Xue, Qiang Zhang
- article
- MIM 2016, IFAC Conference on Manufacturing Modelling, Management, and Control, Jun 2016, Troyes, France. pp.1561 - 1566, ⟨10.1016/j.ifacol.2016.07.802⟩
- Accès au texte intégral et bibtex
-
- titre
- Adaptive Fault Tolerance: Is ROS a Relevant Executive Support ?
- auteur
- Matthieu Amy
- article
- Student Forum of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2016, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Towards Black-Box Anomaly Detection in Virtual Network Functions
- auteur
- Carla Sauvanaud, Kahina Lazri, Mohamed Kaâniche, Karama Kanoun
- article
- The 46th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2016), Jun 2016, TOULOUSE, France. pp.254 - 257, ⟨10.1109/DSN-W.2016.17⟩
- Accès au texte intégral et bibtex
-
- titre
- Privacy Enhancing Technologies for Ridesharing
- auteur
- Ulrich Matchi Aïvodji
- article
- Student Forum of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2016, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Outillage pour la modélisation, la vérification et la génération d'applications temporisées et embarquées
- auteur
- Pierre-Emmanuel Hladik, Silvano Dal Zilio, Olivier Pasquier, Sébastien Pillement, Bernard Berthomieu
- article
- 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jun 2016, Besançon, France
- Accès au texte intégral et bibtex
-
- titre
- Bypassing DMA Remapping with DMA
- auteur
- Benoît Morgan, Guillaume Averlant, Eric Alata, Vincent Nicomette
- article
- Symposium sur le Sécurité des Technologies de l'Informatino et des Communications, Jun 2016, Rennes, France. 9p
- Accès au texte intégral et bibtex
-
- titre
- Process modeling of innovative design using Systems Engineering
- auteur
- Qiang Zhang, Ioana Deniaud, Christophe Lerch, Claude Baron, Emmanuel Caillaud
- article
- IFIP/MIM 2016, 8th IFAC Conference on Manufacturing Modelling, Management and Control, Jun 2016, Troyes, France. pp.1579-1584, ⟨10.1016/j.ifacol.2016.07.805⟩
- Accès au bibtex
-
- titre
- Retro-ingénierer les métriques topologiques dans les algorithmes de peer-ranking
- auteur
- Erwan Le Merrer, Gilles Trédan
- article
- ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
- Accès au texte intégral et bibtex
-
- titre
- Strategic business process requirements modeling
- auteur
- E.Haj Ahmed, Abd-El-Kader Sahraoui
- article
- International Conference on Engineering & Technology, Computer, Basic & Applied Sciences ( ECBA ), May 2016, Dubai, United Arab Emirates. 19p
- Accès au bibtex
-
- titre
- Considering the systems engineering leading indicators to measure projects performance
- auteur
- Li Zheng
- article
- Congrès des Doctorants EDSYS, May 2016, toulouse, France. 7p
- Accès au texte intégral et bibtex
-
- titre
- Encoding CDEVS and PDEVS into Timed Petri Net
- auteur
- Vincent Albert, Sangeeth Saagar Ponnusamy
- article
- JDF 2016 - Les Journées DEVS Francophones, Apr 2016, Cargèse, France. 9p
- Accès au texte intégral et bibtex
-
- titre
- Simulation Fidelity Distance: A Game-Theoretic Framework
- auteur
- Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault
- article
- SpringSim Spring Simulation Conference, Apr 2016, Pasadena, United States. ⟨10.23919/TMS.2016.7918815⟩
- Accès au texte intégral et bibtex
-
- titre
- NFLlib: NTT-based Fast Lattice Library
- auteur
- Carlos Aguilar Melchor, Joris Barrier, Serge Guelton, Adrien Guinet, Marc-Olivier Killijian, Tancrede Lepoint
- article
- Cryptographers' Track at the RSA Conference 2016, Feb 2016, San Francisco, United States. pp.341-356, ⟨10.1007/978-3-319-29485-8_20⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards Resilient Computing on ROS for Embedded Applications
- auteur
- Jean-Charles Fabre, Michaël Lauer, Matthieu Roy, Matthieu Amy, William Excoffon, Miruna Stoicescu
- article
- 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
- Accès au texte intégral et bibtex
-
- titre
- Towards an Ontology-Driven Framework for Simulation Model Development
- auteur
- Sangeeth Saagar Ponnusamy, Patrice Thebault, Vincent Albert
- article
- 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. 11p
- Accès au texte intégral et bibtex
-
- titre
- Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROS
- auteur
- Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, Miruna Stoicescu
- article
- HASE 2016 — IEEE 17th International Symposium on High Assurance Systems Engineering Symposium, Jan 2016, Orlando, FL, United States. pp.94-101, ⟨10.1109/HASE.2016.30⟩
- Accès au texte intégral et bibtex
-
- titre
- Consistent Behavioral Abstractions of Experimental Frame
- auteur
- Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault
- article
- AIAA SciTech 2016, Jan 2016, San Diego, United States. 11p
- Accès au texte intégral et bibtex
-
- titre
- Developing a System to Manage Research Projects Based on the Integration of Agile and Traditional Methodologies
- auteur
- Citlalih Yollohtli Alejandra Gutierrez Estrada, Sergio Díaz-Cardona, Karla Itzel Gomez Sotelo, Claude Baron, I. Mucino, E. Castaneda Miranda
- article
- International Conference on Software Engineering Research and Practice, 2016, las vegas, United States
- Accès au bibtex
-
Book sections
- titre
- BG Distributed Simulation Algorithm
- auteur
- Matthieu Roy
- article
- Ming-Yang Kao. Encyclopedia of Algorithms, Springer New York, pp.199-203, 2016, 978-1-4939-2863-7. ⟨10.1007/978-1-4939-2864-4_611⟩
- Accès au texte intégral et bibtex
-
Books
- titre
- Quaternions réels duaux et complexes
- auteur
- Jean Hladik, Pierre-Emmanuel Hladik
- article
- Ellipses Marketing, 2016, 978-2340010468
- Accès au bibtex
-
2015
Journal articles
- titre
- Replacing target setting by value models in the ‘house of quality’ for value-based requirements specifications
- auteur
- Xinwei Zhang, Hakki Eres, Claude Baron, Guillaume Auriol, Mario Kossmann
- article
- Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture, 2015, 229 (11), pp.2035 - 2046. ⟨10.1177/0954405414540296⟩
- Accès au bibtex
-
- titre
- Real-time scheduling algorithms for multiprocessor
- auteur
- Maxime Chéramy, Pierre-Emmanuel Hladik, Anne-Marie Déplanche
- article
- Journal Européen des Systèmes Automatisés, 2015, 48 (7-8), pp.613-639. ⟨10.3166/JESA.48.613-63⟩
- Accès au texte intégral et bibtex
-
- titre
- Adversarial Topology Discovery in Network Virtualization Environments: A Threat for ISPs?
- auteur
- Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- Distributed Computing, 2015, 29, pp.91-108. ⟨10.1007/s00446-014-0217-4⟩
- Accès au texte intégral et bibtex
-
- titre
- Test Languages for In-the-Loop Avionics Tests
- auteur
- Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber
- article
- Journal of Aerospace Information Systems, 2015, 12 (4), pp.374-391. ⟨10.2514/1.I010151⟩
- Accès au bibtex
-
- titre
- A Method and Tool to Support the Management of Systems Engineering Projects
- auteur
- Claude Baron, Philippe Esteban, Rui Xue, Daniel Estève, Michel Malbert
- article
- Technology Innovation Management Review, 2015, 5 (3), pp.18-28. ⟨10.22215/timreview/878⟩
- Accès au texte intégral et bibtex
-
- titre
- Establishing Profiles for Systems Engineering Standards: A Great Help for Companies to Manage Their Processes
- auteur
- Rui Xue, Claude Baron, Philippe Esteban, Qiang Zhang
- article
- Frontiers of Engineering Management, 2015, 1 (3), pp.297-303. ⟨10.15302/J-FEM-2014036⟩
- Accès au bibtex
-
- titre
- Mapping Applications on Volatile Resources
- auteur
- Henri Casanova, Fanny Dufossé, Yves Robert, Frédéric Vivien
- article
- International Journal of High Performance Computing Applications, 2015, 29 (1), pp.19. ⟨10.1177/1094342013518806⟩
- Accès au texte intégral et bibtex
-
- titre
- Using Systems Engineering Practices for Distributed Control and Building Performance Simulation
- auteur
- Azzedine Yahiaoui, Abd-El-Kader Sahraoui
- article
- INCOSE International Symposium, 2015, 25 (1), pp.1290-1304. ⟨10.1002/j.2334-5837.2015.00130.x⟩
- Accès au texte intégral et bibtex
-
- titre
- Modelado de los Procesos para el Seguimiento y Control de Proyectos de Investigación, en el Sector Educativo, utilizando redes de Petri
- auteur
- Claude Baron, Citlalih Y. A. Gutierrez Estrada, Sergio Díaz-Tendero, I. Reyes, R. Bartolo, J José C Rosas-Gómez de Salazar, M. Villanueva
- article
- Revista de Sistemas y Gestión Educativa, 2015
- Accès au bibtex
-
Conference papers
- titre
- Alignment of practices for an efficient management of Systems Engineering processes during the development of systems of systems
- auteur
- Rui Xue, Claude Baron, Philippe Esteban, Li Zheng
- article
- IEEE Third World Conference on Complex Systems, Dec 2015, Marrakech Morocco
- Accès au texte intégral et bibtex
-
- titre
- Towards a unified tool for collaborative software engineering projects
- auteur
- Amal Rochd, Zrikem Maria, Abdeslam Jakjoud, Claude Baron
- article
- IEEE World conference on complex systems (WCCS), Nov 2015, Marrakech, Morocco. 8p., ⟨10.1109/ICoCS.2015.7483250⟩
- Accès au bibtex
-
- titre
- Emergent properties and requirements evolution in engineering systems and a roadmap
- auteur
- Jia Luo, Abd-El-Kader Sahraoui, Ali Hessami
- article
- Third World Conference on Complex Systems (WCCS 2015 ), Nov 2015, Marrakech, France. 6p., ⟨10.1109/ICoCS.2015.7483236⟩
- Accès au texte intégral et bibtex
-
- titre
- Extending SysPEM's orchestration engine with decision support: Relaxing resources constraints
- auteur
- Zrikemb Maria, Abdeslam Jakjoud, Amal Rochd, Claude Baron
- article
- Third World Conference on Complex Systems (WCCS), Nov 2015, marrakech, Morocco. 8p
- Accès au bibtex
-
- titre
- Design and Implementation of a Hardware Assisted Security Architecture for Software Integrity Monitoring
- auteur
- Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Guillaume Averlant
- article
- The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015), Nov 2015, Zhangjiajie, China. 10p., ⟨10.1109/PRDC.2015.46⟩
- Accès au texte intégral et bibtex
-
- titre
- A language-based intrusion detection approach for automotive embedded networks
- auteur
- Ivan Studnia, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Youssef Laarouchi
- article
- IEEE Pacific Rim International Symposium on Dependable Computing ( PRDC ), Nov 2015, Zhangjiajie, China
- Accès au texte intégral et bibtex
-
- titre
- Fuzzy-PDEVS: towards handling δcon with conceptual method
- auteur
- P.-A Bisgambiglia, R Franceschini, Damien Foures, E Innocenti
- article
- 24ème Conférence sur la Logique Floue et ses Applications, Nov 2015, Poitiers, France
- Accès au texte intégral et bibtex
-
- titre
- A META-MODEL FOR CONSISTENT & AUTOMATIC SIMULATION MODEL SELECTION
- auteur
- Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault
- article
- ESM 29th European Simulation and Modelling Conference, Oct 2015, Leicester, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- A Model for Safety Case Confidence Assessment
- auteur
- Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche
- article
- 34th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Sep 2015, Delft, Netherlands. ⟨10.1007/978-3-319-24255-2_23⟩
- Accès au texte intégral et bibtex
-
- titre
- A MULTIMODAL APPROACH TO SIMULATION FIDELITY
- auteur
- Patrice Thebault, Sangeeth Saagar Ponnusamy, Vincent Albert
- article
- I3M 12th International Multidisciplinary Modeling & Simulation Multiconference, Sep 2015, Bergeggi, Italy. 8p
- Accès au texte intégral et bibtex
-
- titre
- COMMUNICATION INTEGRITY FOR FUTURE HELICOPTERS FLIGHT CONTROL SYSTEMS
- auteur
- Amira Zammali, Agnan de Bonneval, Yves Crouzet, Pascal Izzo, Jean-Maxime Massimi
- article
- 34th Digital Avionics Systems Conference (DASC), 2015, Sep 2015, PRAGUE, Czech Republic. pp.6D2-1 - 6D2-14, ⟨10.1109/DASC.2015.7311453⟩
- Accès au texte intégral et bibtex
-
- titre
- Partial Updates of AUTOSAR Embedded Applications — To What Extent?
- auteur
- Hélène Martorell, Jean-Charles Fabre, Michaël Lauer, Matthieu Roy, Régis Valentin
- article
- 11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Towards Adaptive Fault Tolerance: From a Component-Based Approach to ROS
- auteur
- Michaël Lauer, Matthieu Amy, William Excoffon, Matthieu Roy, Miruna Stoicescu
- article
- CARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases
- auteur
- Guthemberg Silvestre, Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun
- article
- 7th International Workshop on Software Engineering for Resilient Systems (SERENE 2015), Sep 2015, Paris, France. ⟨10.1007/978-3-319-23129-7_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Data Stream Clustering for Online Anomaly Detection in Cloud Applications
- auteur
- Carla Sauvanaud, Guthemberg Silvestre, Mohamed Kaâniche, Karama Kanoun
- article
- 11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Security of ISP Access Networks: practical experiments
- auteur
- Yann Bachy, Vincent Nicomette, Eric Alata, Mohamed Kaâniche, Jean-Christophe Courrège
- article
- 11th European Dependable Computing Conference - Dependability in Practice (EDCC 2015), Sep 2015, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Automated Evaluation of Network Intrusion Detection Systems in IaaS Clouds
- auteur
- Thibaut Probst, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
- article
- 11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus
- auteur
- Silvano Dal Zilio, Bernard Berthomieu
- article
- 1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Teheran, Iran. pp.90-104, ⟨10.1007/978-3-319-28678-5_7⟩
- Accès au texte intégral et bibtex
-
- titre
- ProDEVS : an Event-Driven Modeling and Simulation Tool for Hybrid Systems using State Machines
- auteur
- Le-Hung Vu, Damien Foures, Vincent Albert
- article
- Simutools 2015 Eighth EAI International Conference on Simulation Tools and Techniques, EAI, Aug 2015, ATHENES, Greece. pp.29-37
- Accès au texte intégral et bibtex
-
- titre
- Simulation of Real-Time Scheduling Algorithms with Cache Effects
- auteur
- Maxime Chéramy, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Silvano Dal Zilio
- article
- 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, Jul 2015, Lund, Sweden. 6p
- Accès au texte intégral et bibtex
-
- titre
- Test de la navigation de systèmes autonomes dans des mondes virtuels
- auteur
- Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck
- article
- Control Architectures of Robots ( CAR ), Jun 2015, Lyon, France
- Accès au texte intégral et bibtex
-
- titre
- Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime
- auteur
- Camille Fayollas, Célia Martinie, Philippe Palanque, Yannick Deleris
- article
- Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Jun 2015, Duisburg, Germany. pp. 19-23
- Accès au texte intégral et bibtex
-
- titre
- Smart-TV security analysis: practical experiments
- auteur
- Yann Bachy, Frédéric Basse, Vincent Nicomette, Eric Alata, Mohamed Kaâniche, Jean-Christophe Courrège, Pierre Lukjanenko
- article
- International Conference on Dependable Systems and Networks, Jun 2015, Rio de Janeiro, Brazil
- Accès au texte intégral et bibtex
-
- titre
- Abyme : un voyage au coeur des hyperviseurs récursifs
- auteur
- Benoît Morgan, Eric Alata, Vincent Nicomette, Guillaume Averlant
- article
- Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC), Jun 2015, Rennes, France. 29p
- Accès au texte intégral et bibtex
-
- titre
- Protocole HbbTV et sécurité : quelques expérimentations
- auteur
- Yann Bachy, Vincent Nicomette, Eric Alata, Mohamed Kaâniche, Jean-Christophe Courrège, Pierre Lukjanenko
- article
- Symposium sur la sécurité des technologies de l’information et des communications, Jun 2015, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- De-anonymizing Genomic Databases Using Phenotypic Traits
- auteur
- Mathias Humbert, Kévin Huguenin, Joachim Hugonot, Erman Ayday, Jean-Pierre Hubaux
- article
- 15th Privacy Enhancing Technologies Symposium (PETS), Jun 2015, Philadelphia, PA, United States. pp.99-114, ⟨10.1515/popets-2015-0020⟩
- Accès au texte intégral et bibtex
-
- titre
- Privacy-preserving carpooling
- auteur
- Ulrich Matchi Aïvodji, Sébastien Gambs, Marie-José Huguet, Marc-Olivier Killijian
- article
- Odysseus 2015 - 6th International Workshop on Freight Transportation and Logistics, May 2015, Ajaccio, France
- Accès au texte intégral et bibtex
-
- titre
- Using Fault Injection to Verify an AUTOSAR Application According to the ISO 26262
- auteur
- Ludovic Pintard, Michel Leeman, Abdelillah Ymlahi-Ouazzani, Jean-Charles Fabre, Karama Kanoun, Matthieu Roy
- article
- SAE 2015 World Congress & Exhibition, Apr 2015, Detroit, United States. ⟨10.4271/2015-01-0272⟩
- Accès au texte intégral et bibtex
-
- titre
- A Dynamic FPGA-based Hardware-in-the-Loop Co-simulation and Prototype Testing Platform
- auteur
- Clément Foucher, Alexandre Nketsa
- article
- ICONS 2015, IARIA, Apr 2015, Barcelona, Spain. pp.68-73
- Accès au texte intégral et bibtex
-
- titre
- Symmetry reduced state classes for Time Petri nets
- auteur
- Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat
- article
- 30th Annual ACM Symposium on Applied Computing, Apr 2015, Salamanca, Spain. pp.1751-1758, ⟨10.1145/2695664.2695803⟩
- Accès au texte intégral et bibtex
-
- titre
- Show Me New Counterexamples: A Path-Based Approach
- auteur
- Kalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels
- article
- 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015), Apr 2015, Graz, Austria. ⟨10.1109/ICST.2015.7102606⟩
- Accès au texte intégral et bibtex
-
- titre
- Analysis and comparison of project management standards and guides
- auteur
- Rui Xue, Claude Baron, Philippe Esteban, Li Zheng
- article
- Manifestation avec acte, Mechanics, Materials, Mechanical and Chemical Engineering Conference, Apr 2015, Barcelone, Spain. 8p
- Accès au bibtex
-
- titre
- Predicting Users' Motivations behind Location Check-Ins and Utility Implications of Privacy Protection Mechanisms
- auteur
- Igor Bilogrevic, Kévin Huguenin, Stefan Mihaila, Reza Shokri, Jean-Pierre Hubaux
- article
- 22nd Network and Distributed System Security Symposium (NDSS), Feb 2015, San Diego, CA, United States. ⟨10.14722/ndss.2015.23032⟩
- Accès au texte intégral et bibtex
-
- titre
- A Diversity-Based Approach for Communication Integrity in Critical Embedded Systems
- auteur
- Amira Zammali, Agnan de Bonneval, Yves Crouzet
- article
- 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.215-222, ⟨10.1109/HASE.2015.39⟩
- Accès au texte intégral et bibtex
-
- titre
- Model-Checking and Game theory for Synthesis of Safety Rules
- auteur
- Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, Hélène Waeselynck
- article
- 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.36-43, ⟨10.1109/HASE.2015.15⟩
- Accès au texte intégral et bibtex
-
- titre
- Model-checking and Game Theory for the Synthesis of Safety Rules
- auteur
- Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, Hélène Waeselynck
- article
- IEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Jan 2015, Daytona Beach, United States
- Accès au texte intégral et bibtex
-
2014
Journal articles
- titre
- Fiabilité de mission d’un avion. évaluation stochastique en opération
- auteur
- Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2014, 33 (9-10), pp.777 - 807. ⟨10.3166/tsi.33.777-807⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards privacy-driven design of a dynamic carpooling system
- auteur
- Jesús Friginal, Sébastien Gambs, Jérémie Guiochet, Marc-Olivier Killijian
- article
- Pervasive and Mobile Computing, 2014, 14, pp.71-82. ⟨10.1016/j.pmcj.2014.05.009⟩
- Accès au texte intégral et bibtex
-
- titre
- Identification de vulnérabilités Web et génération de scénarios d'attaque
- auteur
- Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2014, 33 (9-10), pp.809-840. ⟨10.3166/tsi.33.809-840⟩
- Accès au texte intégral et bibtex
-
- titre
- Determinism Enhancement of AFDX Networks via Frame Insertion and Sub-Virtual Link Aggregation
- auteur
- Meng Li, Michaël Lauer, Guchuan Zhu, Yvon Savaria
- article
- IEEE Transactions on Industrial Informatics, 2014, 10 (3), pp.1684-1695. ⟨10.1109/TII.2014.2315441⟩
- Accès au texte intégral et bibtex
-
- titre
- Collaborative Requirements Elicitation: A Process-Centred Approach
- auteur
- Jacqueline Konaté, Abd-El-Kader Sahraoui, Gwendolyn L. Kolfschoten
- article
- Group Decision and Negotiation, 2014, 23 (4), pp.847 - 877. ⟨10.1007/s10726-013-9350-x⟩
- Accès au texte intégral et bibtex
-
- titre
- An Invariant-based Approach for Detecting Attacks against Data in Web Applications
- auteur
- Romaric Ludinard, Eric Totel, Frédéric Tronel, Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Rim Akrout, Yann Bachy
- article
- International journal of secure software engineering, 2014, 5 (1), pp.19-38. ⟨10.4018/ijsse.2014010102⟩
- Accès au texte intégral et bibtex
-
- titre
- De-anonymization attack on geolocated data
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
- article
- Journal of Computer and System Sciences, 2014, 80 (8), pp.1597-1614. ⟨10.1016/j.jcss.2014.04.024⟩
- Accès au texte intégral et bibtex
-
- titre
- An automated black box approach for web vulnerability identification and attack scenario generation
- auteur
- Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
- article
- Journal of the Brazilian Computer Society, 2014, 20 (1), pp.1--16. ⟨10.1186/1678-4804-20-4⟩
- Accès au texte intégral et bibtex
-
- titre
- End-to-end latency and temporal consistency analysis in networked real-time systems
- auteur
- Michaël Lauer, Frédéric Boniol, Claire Pagetti, Jérôme Ermont
- article
- International Journal of Critical Computer-Based Systems, 2014, vol. 5 (n° 3/4), pp. 172-196. ⟨10.1504/IJCCBS.2014.064667⟩
- Accès au texte intégral et bibtex
-
- titre
- A Formal Framework to Specify and Verify Real Time Properties on Critical Systems
- auteur
- Didier Le Botlan, Silvano Dal Zilio, Nouha Abid
- article
- International Journal of Critical Computer-Based Systems, 2014, 5 (1/2), pp 4-30. ⟨10.1504/IJCCBS.2014.059593⟩
- Accès au texte intégral et bibtex
-
- titre
- La sécurité des box ADSL. Analyse de risques et expérimentations
- auteur
- Yann Bachy, Vincent Nicomette, Eric Alata, Mohamed Kaâniche, Jean-Christophe Courrège
- article
- Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2014, 19 (6), pp.63-88. ⟨10.3166/isi.19.6.63-88⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- The Opinion Number of Set-Agreement
- auteur
- Pierre Fraigniaud, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
- article
- OPODIS 2014 - 18th International Conference on Principles of Distributed Systems, Dec 2014, Cortina d’Ampezzo, Italy. pp.155-170
- Accès au texte intégral et bibtex
-
- titre
- From Safety Analyses to Experimental Validation of Automotive Embedded Systems
- auteur
- Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Karama Kanoun, Matthieu Roy
- article
- PRDC 2014, Nov 2014, Singapore, Singapore. pp.125-134, ⟨10.1109/PRDC.2014.23⟩
- Accès au texte intégral et bibtex
-
- titre
- A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics
- auteur
- Camille Fayollas, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Deleris
- article
- 20th Pacific Rim International Symposium on Dependable Computing (2014), Nov 2014, Singapour, Singapore. pp.21--30, ⟨10.1109/PRDC.2014.11⟩
- Accès au bibtex
-
- titre
- Implementing SysPEM in the context of a citizen data management system engineering
- auteur
- Maria Zrikem, Abdeslam Jakjoud, Abderrahmane Ayadi, Claude Baron
- article
- Second World Conference on Complex Systems (WCCS 2014), Nov 2014, Agadir, Morocco. ⟨10.1109/ICoCS.2014.7060972⟩
- Accès au bibtex
-
- titre
- A formal model of EIA-632 standard: An approach for emergent properties analysis
- auteur
- Abd-El-Kader Sahraoui
- article
- 2014 Second World Conference on Complex Systems (WCCS 2014), Nov 2014, Agadir, Morocco. ⟨10.1109/ICoCS.2014.7060971⟩
- Accès au texte intégral et bibtex
-
- titre
- Model-Checking Real-Time Properties of an Auto Flight Control System Function
- auteur
- Pierre-Alain Bourdil, Bernard Berthomieu, Éric Jenn
- article
- IEEE International Symposium on Software Reliability Engineering, Nov 2014, Naples, Italy. ⟨10.1109/ISSREW.2014.40⟩
- Accès au texte intégral et bibtex
-
- titre
- A Fault-Tolerant Architecture for Resilient Interactive Systems
- auteur
- Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
- article
- 26ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 2014), AFIA : Association Francophone d'Interaction Homme-Machine; Université Lille 1; INRIA Lille - Nord Europe, Oct 2014, Lille, France. pp.80-90, ⟨10.1145/2670444.2670462⟩
- Accès au bibtex
-
- titre
- A Fault-Tolerant Architecture for Resilient Interactive Systems
- auteur
- Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
- article
- 26ème Conférence francophone sur l'Interaction Homme-Machine (IHM 2014), Association Francophone d'Interaction Homme-Machine, Oct 2014, Lille, France. pp.80-90
- Accès au texte intégral et bibtex
-
- titre
- Co-Simulation of Complex Multi-Physics Systems Aeronautical example
- auteur
- Romaric Guillerm, Hamid Demmou, Alexandre Nketsa, Jean-Jacques Carrillo
- article
- 28th European Simulation and Modelling Conference (ESM 2014), Oct 2014, Porto, Portugal. 6p
- Accès au texte intégral et bibtex
-
- titre
- An anomaly detection approach for scale-out storage systems
- auteur
- Guthemberg Silvestre, Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun
- article
- 26th International Symposium on Computer Architecture and High Performance Computing, Oct 2014, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Vssdb: A Verifiable Secret-Sharing Distance-Bounding Protocol
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Cédric Lauradoux, Cristina Onete, Matthieu Roy, Moussa Traoré
- article
- International Conference on Cryptography and Information security (BalkanCryptSec'14), Oct 2014, Istanbul, France
- Accès au texte intégral et bibtex
-
- titre
- An Approach for the Automated Analysis of Network Access Controls in Cloud Computing Infrastructures
- auteur
- Thibaut Probst, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
- article
- 8th International Conference on Network and System Security (NSS 2014), Oct 2014, Xi'an, China. pp.1-14, ⟨10.1007/978-3-319-11698-3_1⟩
- Accès au texte intégral et bibtex
-
- titre
- Automatically Adjusting Concurrency to the Level of Synchrony
- auteur
- Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
- article
- International Symposium on Distributed Computing (DISC), Oct 2014, Austin, United States. pp.1-15, ⟨10.1007/978-3-662-45174-8_1⟩
- Accès au texte intégral et bibtex
-
- titre
- Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems
- auteur
- Angeliki Kritikakou, Claire Pagetti, Matthieu Roy, Christine Rochange, Madeleine Faugère, Sylvain Girbal, Daniel Gracia Pérez
- article
- 22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. ⟨10.1145/2659787.2659799⟩
- Accès au texte intégral et bibtex
-
- titre
- PROPS: A PRivacy-Preserving Location Proof System
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré
- article
- 33rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2014,, Oct 2014, Nara, Japan. ⟨10.1109/SRDS.2014.37⟩
- Accès au texte intégral et bibtex
-
- titre
- Automated Failure Analysis in Model Checking based on Data Mining
- auteur
- Ning Ge, Marc Pantel, Xavier Crégut
- article
- 4th International Conference On Model and Data Engineering, Sep 2014, Larnaca, Cyprus. pp.13-28, ⟨10.1007/978-3-319-11587-0_4⟩
- Accès au texte intégral et bibtex
-
- titre
- Managing Uncertainty in Innovative Design: Balancing Control and Flexibility
- auteur
- Qiang Zhang, Ioana Deniaud, Claude Baron, Emmanuel Caillaud
- article
- IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2014, Ajaccio, France. pp.313-319, ⟨10.1007/978-3-662-44733-8_39⟩
- Accès au texte intégral et bibtex
-
- titre
- Managing Requirements: For an Integrated Approach from System Engineering to Project Management
- auteur
- Michel Malbert, Daniel Estève, Claude Baron, Philippe Esteban, Rui Xue
- article
- IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2014, Ajaccio, France. pp.142-149, ⟨10.1007/978-3-662-44739-0_18⟩
- Accès au texte intégral et bibtex
-
- titre
- Specifying Safety Monitors for Autonomous Systems using Model-checking
- auteur
- Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck
- article
- International Conference on Computer Safety, Reliability and Security (SafeComp 2014), Sep 2014, Florence, Italy
- Accès au texte intégral et bibtex
-
- titre
- Time Petri Nets with Dynamic Firing Dates: Semantics and Applications
- auteur
- Silvano Dal Zilio, Lukasz Fronc, Bernard Berthomieu, François Vernadat
- article
- 12th International Conference, FORMATS 2014, Sep 2014, Florence, Italy. pp 85-99, ⟨10.1007/978-3-319-10512-3_7⟩
- Accès au texte intégral et bibtex
-
- titre
- A simulation fidelity assessment framework
- auteur
- Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault
- article
- International Conference on Simulation and Modeling Methodologies, Technologies and Applications ( SIMULTECH 2014), Aug 2014, Vienne, Austria. pp.463-471
- Accès au texte intégral et bibtex
-
- titre
- Modeling & simulation framework for the inclusion of simulation objectives by abstraction
- auteur
- Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault
- article
- International Conference on Simulation and Modeling Methodologies, Technologies and Applications ( SIMULTECH 2014), Aug 2014, Vienne, Austria. pp.385-394
- Accès au texte intégral et bibtex
-
- titre
- Does Mobility Matter? An Evaluation Methodology for Opportunistic Apps
- auteur
- Jesús Friginal, Marc-Olivier Killijian, Roberto Pasqua, Matthieu Roy, Gilles Trédan
- article
- IEEE International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, United States. ⟨10.1109/NCA.2014.8⟩
- Accès au texte intégral et bibtex
-
- titre
- Aligning systems engineering and project management standards to improve the management of processes
- auteur
- Rui Xue, Claude Baron, Philippe Esteban
- article
- 23rd international conference on systems engineering, Aug 2014, Las Vegas, United States. 14p
- Accès au bibtex
-
- titre
- Modeling and Measuring Graph Similarity: The Case for Centrality Distance
- auteur
- Matthieu Roy, Stefan Schmid, Gilles Trédan
- article
- FOMC 2014, 10th ACM International Workshop on Foundations of Mobile Computing, Aug 2014, Philadelphia, United States. pp.53
- Accès au texte intégral et bibtex
-
- titre
- Run-time Control to Increase Task Parallelism in Mixed-Critical Systems
- auteur
- Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy
- article
- 26th Euromicro Conference on Real-Time Systems (ECRTS14), Jul 2014, Madrid, Spain. 11p
- Accès au texte intégral et bibtex
-
- titre
- SimSo: A Simulation Tool to Evaluate Real-Time Multiprocessor Scheduling Algorithms
- auteur
- Maxime Chéramy, Pierre-Emmanuel Hladik, Anne-Marie Déplanche
- article
- 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), Jul 2014, Madrid, Spain. 6 p
- Accès au texte intégral et bibtex
-
- titre
- Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces
- auteur
- Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Racim Fahssi
- article
- 4th Workshop on Distributed User Interfaces and Multimodal Interaction (DIU 2014), Jul 2014, Toulouse, France. pp.27-30, ⟨10.1145/2677356.2677662⟩
- Accès au bibtex
-
- titre
- A Multi-function Error Detection Policy to Enhance Communication Integrity in Critical Embedded Systems
- auteur
- Amira Zammali, Agnan de Bonneval, Yves Crouzet
- article
- 2014 IEEE 8th International Conference on Software Security and Reliability-Companion (SERE-C), Jun 2014, San Francisco, United States. ⟨10.1109/SERE-C.2014.18⟩
- Accès au texte intégral et bibtex
-
- titre
- Integrating Systems Engineering with Project Management: a Current Challenge!
- auteur
- Rui Xue, Claude Baron, Philippe Esteban
- article
- 24th Annual INCOSE International Symposium, Jun 2014, Las Vegas, United States. 11p
- Accès au bibtex
-
- titre
- Specifications of a method and tool to support the management of systems engineering projects
- auteur
- Claude Baron, Philippe Esteban, Rui Xue, Daniel Estève, Michel Malbert
- article
- International Conference on Engineering, Technology and Innovation, Jun 2014, Bergame, Italy. 7p
- Accès au bibtex
-
- titre
- Simulation of Real-Time Scheduling with Various Execution Time Models
- auteur
- Maxime Chéramy, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Sébastien Dubé
- article
- 9th IEEE International Symposium on Industrial Embedded Systems (SIES), Jun 2014, Pise, Italy
- Accès au texte intégral et bibtex
-
- titre
- Towards the success of design projects by the alignment of processes in collaborative engineering
- auteur
- Rui Xue, Claude Baron, Philippe Esteban, Daniel Estève, Michel Malbert
- article
- A Joint conference on mechanical design engineering and advanced manufacturing, Jun 2014, Toulouse, France. 6p
- Accès au bibtex
-
- titre
- Inférence d'interactions sociales par colocalisation discrète
- auteur
- Roberto Pasqua, Matthieu Roy, Gilles Trédan
- article
- Atelier sur la Protection de la Vie Privée 2014 (APVP14), Jun 2014, Cabourg, France
- Accès au texte intégral et bibtex
-
- titre
- Les défis du Test Logiciel - Bilan et Perspectives
- auteur
- Frédéric Dadeau, Hélène Waeselynck
- article
- Journées Nationales du GDR GPL, Jun 2014, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
- auteur
- Bernard Berthomieu, Silvano Dal Zilio, Lukasz Fronc
- article
- 4th International ABZ Conference, Jun 2014, France. pp.110-125
- Accès au texte intégral et bibtex
-
- titre
- Analyse de sécurité des box ADSL
- auteur
- Yann Bachy, Vincent Nicomette, Eric Alata, Yves Deswarte, Mohamed Kaâniche, Jean-Christophe Courrège
- article
- Symposium sur la sécurité des technologies de l’information et des communications, Jun 2014, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- Tests d’intégrité d’hyperviseurs de machines virtuelles à distance et assisté par le matériel
- auteur
- Benoît Morgan, Eric Alata, Vincent Nicomette
- article
- Symposium sur la sécurité des technologies de l'information et des communications, Jun 2014, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- How to choose a systems engineering standard: analysis and comparison of current standards
- auteur
- Rui Xue, Claude Baron, Philippe Esteban
- article
- International Conference on Engineering Science and Technology ( ICEST 2014), Jun 2014, Beijing, China. 24p
- Accès au bibtex
-
- titre
- Establishing Profiles for Systems Engineering Standards: A Great Help for Companies to Manage Their Processes
- auteur
- Rui Xue, Claude Baron, Philippe Esteban, Qiang Zhang
- article
- 2014 CAETS International Conference on Engineering Science and Technology, Jun 2014, Beijing, China. ⟨10.15302/J-FEM-2014036⟩
- Accès au texte intégral et bibtex
-
- titre
- How compatible systems engineering and project management standards are considering the way they manage systems engineering processes ?
- auteur
- Rui Xue, Claude Baron, Philippe Esteban, Li Zheng
- article
- Congrès des Doctorants EDSYS 2014, May 2014, Toulouse, France. 7p
- Accès au bibtex
-
- titre
- Bipartite Matching Heuristics with Quality Guarantees on Shared Memory Parallel Computers
- auteur
- Fanny Dufossé, Kamer Kaya, Bora Uçar
- article
- 28th IEEE International Parallel & Distributed Processing Symposium (IPDPS), May 2014, Phoenix, Arizona, United States. ⟨10.1109/IPDPS.2014.63⟩
- Accès au texte intégral et bibtex
-
- titre
- Formalisation et génération d'injections
- auteur
- Eric Alata, Didier Le Botlan
- article
- 9ème édition de la conférence Francophone SARSSI, May 2014, Lyon, France. 13p
- Accès au texte intégral et bibtex
-
- titre
- Classification et caractérisation non supervisée des attaques vers des pots de miel
- auteur
- Richard Turc, Philippe Owezarski
- article
- Conférence sur la Sécurité des Architectures Réseaux et Systèmes d'Information (SARSSI 2014), May 2014, Lyon, France. 11p
- Accès au texte intégral et bibtex
-
- titre
- From Resilient Computing Architectural Concepts to Wireless Sensor Network-based Applications
- auteur
- Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy, Animesh Pathak
- article
- EDCC 2014 - Tenth European Dependable Computing Conference, May 2014, Newcastle upon Tyne, United Kingdom. pp.46 - 49, ⟨10.1109/EDCC.2014.23⟩
- Accès au bibtex
-
- titre
- An approach for assessing the impact of dependability on usability: application to interactive cockpits.
- auteur
- Camille Fayollas, Célia Martinie, Philippe Palanque, Yannick Deleris, Jean-Charles Fabre, David Navarre
- article
- European Dependable Computing Conference, May 2014, Newcastle upon Tyne, United Kingdom. pp.198--209, ⟨10.1109/EDCC.2014.17⟩
- Accès au bibtex
-
- titre
- Towards resilient cyber-physical systems: The ADREAM project
- auteur
- Jean Arlat, Michel Diaz, Mohamed Kaâniche
- article
- 9th IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS-2014), May 2014, Santorin, Greece. pp.1 - 5, ⟨10.1109/DTIS.2014.6850642⟩
- Accès au texte intégral et bibtex
-
- titre
- AZO electrodes deposited by atomic layer deposition for OLED fabrication
- auteur
- Benoit Dugrenil, Isabelle Séguy, H. y Lee, Thierry Camps, Y.-C. Lin, Jean Baptiste Doucet, Y.-S. Chiu, Ludovic Salvagnac, Eléna Bedel-Pereira, Marc Ternisien, C T Lee, Véronique Bardinal
- article
- SPIE Photonics Europe, Apr 2014, Brussels, Belgium. pp.91371D
- Accès au texte intégral et bibtex
-
- titre
- Implementing and validating SynchSPEM: A solution for synchronizing activities and products within a software engineering process
- auteur
- Amal Rochd, Maria Zrikem, Abderrahmane Ayadi, Christian Percebois, Thierry Millan, Claude Baron
- article
- International Conference on Multimedia Computing and Systems (ICMCS), Apr 2014, Marrakech, Morocco. ⟨10.1109/ICMCS.2014.6911272⟩
- Accès au bibtex
-
- titre
- Coverage Criteria for Model-Based Testing using Property Patterns
- auteur
- Frédéric Dadeau, Kalou Cabrera Castillos, Jacques Julliand
- article
- MBT 2014, 9th Workshop on Model-Based Testing, Satellite workshop of ETAPS 2014, Apr 2014, Grenoble, France. pp.15, ⟨10.4204/EPTCS.141.3⟩
- Accès au bibtex
-
- titre
- Managing Systems Engineering Processes: a Multi- Standard Approach
- auteur
- Rui Xue, Claude Baron, Philippe Esteban, Hamid Demmou
- article
- 8th Annual IEEE International Systems Conference (SysCon 2014), Mar 2014, OTTAWA, Canada. 5p
- Accès au texte intégral et bibtex
-
- titre
- Safety Management Method in Complex System Engineering
- auteur
- Romaric Guillerm, Hamid Demmou
- article
- 8th Annual IEEE International Systems Conference (SysCon 2014), Mar 2014, Ottawa, Canada. 7p
- Accès au texte intégral et bibtex
-
- titre
- Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles
- auteur
- Hélène Waeselynck, Simon Poulding
- article
- 7th IEEE International Conference on Software Testing, Verification and Validation (ICST 2014), Mar 2014, Cleveland, United States
- Accès au texte intégral et bibtex
-
- titre
- Managing Systems Engineering Processes: a Multi-Standard Approach
- auteur
- Rui Xue, Claude Baron, Philippe Esteban
- article
- IEEE International Systems Conference (SysCon), Mar 2014, Ottawa, Canada. 5p
- Accès au bibtex
-
- titre
- Improving Adaptiveness of AUTOSAR Embedded Applications
- auteur
- Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin
- article
- ACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea. pp.384-390
- Accès au texte intégral et bibtex
-
- titre
- Dynamic software updates vs AUTOSAR
- auteur
- Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin
- article
- Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems
- auteur
- Camille Fayollas, Philippe Palanque, Jean Charles Fabre, David Navarre, Yannick Deleris, Arnaud Hamon
- article
- Conference Embedded Real Time Software and Systems (ERTS 2014), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies., Feb 2014, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Fault injection and automotive development process
- auteur
- Karama Kanoun, Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Matthieu Roy
- article
- Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France. 9p
- Accès au bibtex
-
- titre
- UML-Based Modeling of Robustness Testing
- auteur
- Regina Moraes, Hélène Waeselynck, Jérémie Guiochet
- article
- 15th IEEE International Symposium on High Assurance Systems Engineering (HASE2014), Jan 2014, Miami, United States. pp.168-175, ⟨10.1109/HASE.2014.31⟩
- Accès au texte intégral et bibtex
-
2013
Journal articles
- titre
- Interactive Cockpits as Critical Applications: a Model-Based and a Fault-Tolerant Approach
- auteur
- Camille Fayollas, Jean-Charles Fabre, Philippe Palanque, Eric Barboni, David Navarre, Yannick Deleris
- article
- International Journal of Critical Computer-Based Systems, 2013, Special Issue on Fault-Tolerant Computer Systems, 4 (3), pp.202-226. ⟨10.1504/IJCCBS.2013.058407⟩
- Accès au bibtex
-
- titre
- Aircraft Operational Reliability-A Model-based Approach and a Case Study
- auteur
- Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
- article
- Reliability Engineering and System Safety, 2013, 120, pp.163-176. ⟨10.1016/j.ress.2013.07.008⟩
- Accès au texte intégral et bibtex
-
- titre
- A prescriptive approach to qualify and quantify customer value for value-based requirements engineering
- auteur
- Xinwei Zhang, Guillaume Auriol, Hakki Eres, Claude Baron
- article
- International Journal of Computer Integrated Manufacturing, 2013, 26 (4), pp.327-345. ⟨10.1080/0951192X.2012.717718⟩
- Accès au bibtex
-
- titre
- A vulnerability life cycle based security modeling and evaluation approach
- auteur
- Géraldine Vache Marconato, Mohamed Kaâniche, Vincent Nicomette
- article
- The Computer Journal, 2013, 56 (4), pp.422 - 439. ⟨10.1093/comjnl/bxs112⟩
- Accès au texte intégral et bibtex
-
- titre
- Optimal Design of Virtual Links in AFDX Networks
- auteur
- Ahmad Al Sheikh, Olivier Brun, Maxime Chéramy, Pierre-Emmanuel Hladik
- article
- Real-Time Systems, 2013, 49 (3), 31p. ⟨10.1007/s11241-012-9171-z⟩
- Accès au texte intégral et bibtex
-
- titre
- Evaluation quantitative de la sécurité: Approche basée sur les vulnérabilités
- auteur
- Géraldine Vache Marconato, Vincent Nicomette, Mohamed Kaâniche
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2013, 32 (1), pp.41-75
- Accès au bibtex
-
- titre
- évaluation quantitative de la sécurité. Approche basée sur les vulnérabilités
- auteur
- Géraldine Vache Marconato, Vincent Nicomette, Mohamed Kaâniche
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2013, 32 (1), pp.41-75. ⟨10.3166/tsi.32.41-75⟩
- Accès au texte intégral et bibtex
-
- titre
- The rationale paradigm in system development lifecycle
- auteur
- Abd-El-Kader Sahraoui
- article
- International Journal of System of Systems Engineering, 2013, 4 (1), pp.44-54. ⟨10.1504/IJSSE.2013.053479⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Monitoring On-line Timing Information to Support Mixed-Critical Workloads
- auteur
- Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy, Fabian Vargas
- article
- IEEE Real-Time Systems Symposium 2013, Dec 2013, Vancouver, Canada. pp.9-10
- Accès au texte intégral et bibtex
-
- titre
- Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems
- auteur
- Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy
- article
- The 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013), Dec 2013, Vancouver, Canada. 10p
- Accès au texte intégral et bibtex
-
- titre
- Towards a Privacy Risk Assessment Methodology for Location-Based Systems
- auteur
- Jesús Friginal, Jérémie Guiochet, Marc-Olivier Killijian
- article
- 10th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MOBIQUITOUS), Dec 2013, Tokyo, Japan. pp.748-753, ⟨10.1007/978-3-319-11569-6_65⟩
- Accès au texte intégral et bibtex
-
- titre
- Specifying safety monitors for autonomous systems
- auteur
- Mathilde Machin, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck
- article
- Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC
- Accès au texte intégral et bibtex
-
- titre
- An Approach for Security Evaluation and Analysis in Cloud Computing
- auteur
- Thibaut Probst, Eric Alata, Mohamed Kaâniche, Vincent Nicomette, Yves Deswarte
- article
- Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC
- Accès au texte intégral et bibtex
-
- titre
- Communication integrity for slow-dynamic critical embedded systems
- auteur
- Amira Zammali, Agnan de Bonneval, Yves Crouzet
- article
- Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC
- Accès au texte intégral et bibtex
-
- titre
- Towards Dynamic Updates In AUTOSAR
- auteur
- Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin
- article
- SAFECOMP 2013 - Workshop CARS (2nd Workshop on Critical Automotive applications : Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA
- Accès au texte intégral et bibtex
-
- titre
- Security of embedded automotive networks: state of the art and a research proposal
- auteur
- Ivan Studnia, Vincent Nicomette, Eric Alata, Yves Deswarte, Mohamed Kaâniche, Youssef Laarouchi
- article
- SAFECOMP 2013 - Workshop CARS (2nd Workshop on Critical Automotive applications : Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA
- Accès au texte intégral et bibtex
-
- titre
- SOUK: Social Observation of hUman Kinetics
- auteur
- Marc-Olivier Killijian, Matthieu Roy, Gilles Trédan, Christophe Zanon
- article
- Ubicomp 2013 (2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing), Sep 2013, Zurich, Switzerland. 4p., ⟨10.1145/2493432.2494526⟩
- Accès au texte intégral et bibtex
-
- titre
- Carpooling : the 2 Synchronization Points Shortest Paths Problem
- auteur
- Arthur Bit-Monnot, Christian Artigues, Marie-José Huguet, Marc-Olivier Killijian
- article
- 13th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS), Sep 2013, Sophia Antipolis, France. 12 p, ⟨10.4230/OASIcs.ATMOS.2013.150⟩
- Accès au texte intégral et bibtex
-
- titre
- Simulation d'ordonnancement temps réel avec prise en compte de l'impact des caches
- auteur
- Maxime Chéramy, Pierre-Emmanuel Hladik, Anne-Marie Déplanche
- article
- École d'été Temps Réel 2013, Aug 2013, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Proposal of an Activity-Based Adaptive Process Model for Innovative Design
- auteur
- Qiang Zhang, Ioana Deniaud, Claude Baron, Emmanuel Caillaud
- article
- ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Aug 2013, Portland, United States. 10p., ⟨10.1115/DETC2013-12581⟩
- Accès au texte intégral et bibtex
-
- titre
- Simulation of Real-Time Multiprocessor Scheduling with Overheads
- auteur
- Maxime Chéramy, Anne-Marie Déplanche, Pierre-Emmanuel Hladik
- article
- International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013), Jul 2013, Reykjavik, Iceland. pp. 5-14
- Accès au texte intégral et bibtex
-
- titre
- De-anonymization attack on geolocated datasets
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
- article
- The 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-13), Jul 2013, Melbourne, Australia. 9p
- Accès au texte intégral et bibtex
-
- titre
- Simulation validation using the compatibility between Simulation Model and Experimental Frame
- auteur
- Damien Foures, Vincent Albert, Alexandre Nketsa
- article
- SummerSim'13 ( 45th Summer Simulation Multi-conference 2013), Jul 2013, Toronto, Canada. pp.75
- Accès au texte intégral et bibtex
-
- titre
- A Survey of Security Threats and Protection Mechanisms in Embedded Automotive Networks
- auteur
- Ivan Studnia, Vincent Nicomette, Eric Alata, Yves Deswarte, Mohamed Kaâniche, Youssef Laarouchi
- article
- The 2nd Workshop on Open Resilient human-aware Cyber-physical Systems (WORCS-2013), co-located with the IEEE/IFIP Annual Symposium on Dependable Systems and Networks (DSN-2013), Jun 2013, Budapest, Hungary. pp.1-12
- Accès au texte intégral et bibtex
-
- titre
- Survey on security threats and protection mechanisms in embedded automotive networks
- auteur
- Ivan Studnia, Vincent Nicomette, Eric Alata, Yves Deswarte, Mohamed Kaâniche, Youssef Laarouchi
- article
- 2nd Workshop on Open Resilient Human-aware Cyber-Physical Systems (WORCS-2013), co-located with The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2013), Jun 2013, Budapest, Hungary. ⟨10.1109/DSNW.2013.6615528⟩
- Accès au texte intégral et bibtex
-
- titre
- Model-Based Safety Analysis of Human-Robot Interactions: the MIRAS Walking Assistance Robot
- auteur
- Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche, David Powell
- article
- International Conference on Rehabilitation Robotics (ICORR), Jun 2013, Seattle, United States. pp.1-7
- Accès au texte intégral et bibtex
-
- titre
- STELAE - A Model-Driven Test Development Environment for Avionics Systems
- auteur
- Alexandru Robert Ciprian Guduvan, Hélène Waeselynck, V. Wiels, Gaël Durrieu, Yann Fusero, Michel Schieber
- article
- IEEE ISORC 2013, Jun 2013, Paderborn, Germany. 8p
- Accès au texte intégral et bibtex
-
- titre
- Design-Driven Development Methodology for Resilient Computing
- auteur
- Quentin Enard, Miruna Stoicescu, Emilie Balland, Charles Consel, Laurence Duchien, Jean-Charles Fabre, Matthieu Roy
- article
- CBSE'13: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, Jun 2013, Vancouver, Canada
- Accès au texte intégral et bibtex
-
- titre
- MapReducing GEPETO or Towards Conducting a Privacy Analysis on Millions of Mobility Traces
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Izabela Moise, Miguel Nuñez del Prado Cortez
- article
- 2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum, May 2013, Cambridge, United States. pp.1937-1946, ⟨10.1109/IPDPSW.2013.180⟩
- Accès au bibtex
-
- titre
- Fault Injection in the Automotive Standard ISO 26262: An Initial Approach
- auteur
- Ludovic Pintard, Jean-Charles Fabre, Karama Kanoun, Michel Leeman, Matthieu Roy
- article
- 14th European Workshop, EWDC 2013, May 2013, Coimbra, Portugal. 8p., ⟨10.1007/978-3-642-38789-0_11⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards a recommender system for bush taxis
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez, Moussa Traoré
- article
- 3rd Conference on the Analysis of Mobile Phone Datasets (NetMob'13), May 2013, Boston, United States
- Accès au bibtex
-
- titre
- An Automated Approach to Generate Web Applications Attack Scenarios
- auteur
- Eric Alata, Mohamed Kaâniche, Vincent Nicomette, Rim Akrout
- article
- The 6th Latin-American Symposium on Dependable Computing (LADC-2013), Apr 2013, Rio de Janeiro, Brazil. pp.78-85, ⟨10.1109/LADC.2013.22⟩
- Accès au texte intégral et bibtex
-
2012
Journal articles
- titre
- Service Requirements. Knowing and managing the whole end-to-end service lifecycle
- auteur
- Abd-El-Kader Sahraoui, Thomas Blum
- article
- ARPN Journal of Systems and Software, 2012, 2 (10), pp.255-261
- Accès au texte intégral et bibtex
-
- titre
- Safety evaluation and management of complex systems: A system engineering approach
- auteur
- Romaric Guillerm, Hamid Demmou, Nabil Sadou
- article
- Concurrent Engineering: Research and Applications, 2012, 20 (2), pp.149-159. ⟨10.1177/1063293X12446665⟩
- Accès au texte intégral et bibtex
-
- titre
- Multimodal Interactive Robot for Assistance in Strolling
- auteur
- Viviane Pasqui, Ludovic Saint-Bauzel, Cong Zong, Xavier Clady, Philippe Decq, François Piette, Valérie Michel-Pellegrino, Amine El Helou, Michael Carré, Audrey Durand, Quynh Anh Do Hoang, Jérémie Guiochet, Pierre Rumeau, Vincent Dupourque, Julie Caquas
- article
- Innovation and Research in BioMedical engineering, 2012, 33 (2), pp.165-172
- Accès au texte intégral et bibtex
-
- titre
- SysPEM: a SysML and SPEM based process modelling language for systems engineering
- auteur
- Abdeslam Jakjoud, Maria Zrikem, Claude Baron, Abderrahmane Ayadi
- article
- International Journal of Services Operations and Informatics, 2012, 7 (4), pp.330. ⟨10.1504/IJSOI.2012.052183⟩
- Accès au bibtex
-
Conference papers
- titre
- Illustration of the information model for complex system modeling: from requirement to V&V
- auteur
- Romaric Guillerm, Hamid Demmou, Nabil Sadou
- article
- Complex Systems Design & Management (CSD&M) 2012, Dec 2012, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Survey of Security Problems in Cloud Computing Virtual Machines
- auteur
- Ivan Studnia, Eric Alata, Yves Deswarte, Mohamed Kaâniche, Vincent Nicomette
- article
- Computer and Electronics Security Applications Rendez-vous (C&ESAR 2012). Cloud and security:threat or opportunity, Nov 2012, Rennes, France. p. 61-74
- Accès au texte intégral et bibtex
-
- titre
- From Design for Adaptation to Component-Based Resilient Computing
- auteur
- Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
- article
- IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p
- Accès au texte intégral et bibtex
-
- titre
- Safety Trigger Conditions for Critical Autonomous Systems
- auteur
- Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy
- article
- The 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p., ⟨10.1109/PRDC.2012.22⟩
- Accès au texte intégral et bibtex
-
- titre
- Why don't we use free 868 MHz band for geolocation?
- auteur
- Zineb Aqachmar, Pascal Acco, Jean-Yves Fourniols, Guillaume Auriol, Christophe Escriba
- article
- IEEE 27th Convention of Electrical & Electronics Engineers in Israel (IEEEI 2012), Nov 2012, Eilat, Israel. ⟨10.1109/EEEI.2012.6377141⟩
- Accès au texte intégral et bibtex
-
- titre
- FROM SEQUENCE DIAGRAMS UML 2.x TO FD-DEVS BY MODEL TRANSFORMATION
- auteur
- Roberto Pasqua, Damien Foures, Vincent Albert, Alexandre Nketsa
- article
- European Simulation and Modelling Conference, Oct 2012, Essen, Germany. pp.37-43 N° 12481
- Accès au texte intégral et bibtex
-
- titre
- Impact de l'évaluation de la fiabilité opérationnelle pendant la mission d'un avion
- auteur
- Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
- article
- Congrès de Maîtrise des Risques et de sûreté de Fonctionnement (Lamda Mu 17), Oct 2012, Tours, France. 9 p
- Accès au texte intégral et bibtex
-
- titre
- Towards Timed Requirement Verification for Service Choreographies
- auteur
- Nawal Guermouche, Silvano Dal Zilio
- article
- 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2012, Pittsburgh, United States. pp.10
- Accès au texte intégral et bibtex
-
- titre
- Security-related vulnerability life cycle analysis
- auteur
- Géraldine Vache Marconato, Vincent Nicomette, Mohamed Kaâniche
- article
- 7th International Conference on Risk and Security of Internet and Systems (CRiSIS-2012), Oct 2012, Cork, Ireland. pp.1-8, ⟨10.1109/CRISIS.2012.6378954⟩
- Accès au texte intégral et bibtex
-
- titre
- Distributed Monitoring of Temporal System Properties using Petri Nets
- auteur
- Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy
- article
- 31st IEEE International Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, United States. 10p
- Accès au texte intégral et bibtex
-
- titre
- Impact of Operational Reliability Re-assessment during Aircraft Missions
- auteur
- Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
- article
- The 31st IEEE Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, United States. pp.219-224, ⟨10.1109/SRDS.2012.37⟩
- Accès au texte intégral et bibtex
-
- titre
- Applying Existing Standards to a Medical Rehabilitation Robot: Limits and Challenges
- auteur
- Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche, David Powell
- article
- Workshop FW5: Safety in Human-Robot Coexistence & Interaction: How can Standardization and Research benefit from each other?, IEEE/RSJ Intern. Conference Intelligent Robots and Systems (IROS2012), Oct 2012, Vilamoura, Portugal
- Accès au texte intégral et bibtex
-
- titre
- An Experiment on Parallel Model Checking of a CTL Fragment
- auteur
- Rodrigo Tacla Saad, Silvano Dal Zilio, Bernard Berthomieu
- article
- 10th International Symposium, ATVA 2012, Automated Technology for Verification and Analysis, Oct 2012, Thiruvananthapuram, India. pp.284-299, ⟨10.1007/978-3-642-33386-6_23⟩
- Accès au texte intégral et bibtex
-
- titre
- Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach
- auteur
- Camille Fayollas, David Navarre, Jean-Charles Fabre, Philippe Palanque, Yannick Deleris
- article
- 4th International Workshop on Software Engineering for Resilient Systems (SERENE 2012), Sep 2012, Pisa, Italy. pp.32-46, ⟨10.1007/978-3-642-33176-3_3⟩
- Accès au texte intégral et bibtex
-
- titre
- Integrating competence management into a coupled project-system design management
- auteur
- Arz Wehbe, Christophe Merlo, Véronique Pilniere
- article
- International Conference on Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece
- Accès au bibtex
-
- titre
- Real-Time Specification Patterns and Tools
- auteur
- Nouha Abid, Silvano Dal Zilio, Didier Le Botlan
- article
- 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, Aug 2012, Paris, France. pp. 1-15, ⟨10.1007/978-3-642-32469-7_1⟩
- Accès au texte intégral et bibtex
-
- titre
- A Verified Approach for Checking Real-Time Specification Patterns
- auteur
- Nouha Abid, Silvano Dal Zilio, Didier Le Botlan
- article
- VECoS 2012, 6th International Workshop on Verification and Evaluation of Computer and Communication Systems, Aug 2012, France. pp.11
- Accès au texte intégral et bibtex
-
- titre
- A Verified Approach to Checking Real-Time Patterns on Fiacre Programs
- auteur
- Nouha Abid, Silvano Dal Zilio
- article
- Doctoral Symposium of FM 2012, Aug 2012, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- A distributed plateform of high interaction honeypots and experimental results (extended version)
- auteur
- Ivan Studnia, Vincent Nicomette, Mohamed Kaâniche, Eric Alata
- article
- Privacy Security Trust (PST 2012), Jul 2012, Paris, France. 8p
- Accès au texte intégral et bibtex
-
- titre
- Application of Systems Engineering in Distributed Control and Building Performance Applications
- auteur
- Azzedine Yahiaoui, Abd-El-Kader Sahraoui
- article
- 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2012, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Campagne de collecte de données et vie privée
- auteur
- Nicolas Haderer, Miguel Nuñez del Prado Cortez, Romain Rouvoy, Marc-Olivier Killijian, Matthieu Roy
- article
- 3ème Journées du GDR CNRS GPL, Jun 2012, Rennes, France. pp.253-254
- Accès au texte intégral et bibtex
-
- titre
- De-anonymization attack on geolocated datasets
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
- article
- Atelier Protection de la Vie Privée (APVP 2012), 3ième édition, Jun 2012, Ile de Groix, France
- Accès au bibtex
-
- titre
- Locanyms: Towards privacy-preserving location-based services
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré
- article
- Atelier Protection de la Vie Privée (APVP 2012), 3ième édition, Jun 2012, Ile de Groix, France
- Accès au bibtex
-
- titre
- FORMAL COMPATIBILITY OF EXPERIMENTAL FRAME CONCEPT AND FD-DEVS MODEL
- auteur
- Damien Foures, Vincent Albert, Alexandre Nketsa
- article
- 9th International Conference on Modeling, Optimization & SIMulation, Jun 2012, Bordeaux, France
- Accès au texte intégral et bibtex
-
- titre
- Modelling in innovative design using systems engineering
- auteur
- Qiang Zhang, Ioana Deniaud, Emmanuel Caillaud, Claude Baron
- article
- 9th International Conference of Modeling, Optimization and Simulation, Jun 2012, Bordeaux, France. pp.68-78
- Accès au texte intégral et bibtex
-
- titre
- Exécution répartie et temps-réel de réseaux de Petri
- auteur
- Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy
- article
- 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2012, La Grande Motte, France. pp.1-4
- Accès au texte intégral et bibtex
-
- titre
- Descriptive model for interpreting innovative design
- auteur
- Qiang Zhang, Ioana Deniaud, Emmanuel Caillaud, Claude Baron
- article
- International Design Conference 2012, May 2012, Dubrovnik, Croatia. pp.343-353
- Accès au texte intégral et bibtex
-
- titre
- Experimenting with Component-Based Middleware for Adaptive Fault Tolerant Computing
- auteur
- Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
- article
- European Dependable Computing Conference (EDCC 2012), May 2012, Sibiu, Romania. 2p
- Accès au bibtex
-
- titre
- Locanyms: Towards Privacy-Preserving Location-Based Services
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré
- article
- 1st European Workshop on AppRoaches to MObiquiTous Resilience, May 2012, Sibiu, Romania. pp.6
- Accès au texte intégral et bibtex
-
- titre
- Next place prediction using mobility Markov chains
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
- article
- MPM - EuroSys 2012 Workshop on Measurement, Privacy, and Mobility - 2012, Apr 2012, Bern, Switzerland
- Accès au bibtex
-
- titre
- AMORES: an architecture for mobiquitous resilient systems
- auteur
- Christian Artigues, Yves Deswarte, Jérémie Guiochet, Marie-José Huguet, Marc-Olivier Killijian, David Powell, Matthieu Roy, Christophe Bidan, Nicolas Prigent, Emmanuelle Anceaume, Sébastien Gambs, Gilles Guette, Michel Hurfin, Frédéric Schettini
- article
- ARMOR'12, Apr 2012, Sibiu, Romania. Article N°7 (7p.), ⟨10.1145/2222436.2222443⟩
- Accès au bibtex
-
- titre
- Secure architecture for information systems in avionics
- auteur
- Maxime Lastera, Eric Alata, Jean Arlat, Yves Deswarte, David Powell, Bertrand Leconte, Cristina Simache
- article
- Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 7p
- Accès au texte intégral et bibtex
-
- titre
- Online model adaptation for aircraft operational reliability assessment
- auteur
- Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
- article
- 6th International Congress, Embedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France. pp.1-11
- Accès au texte intégral et bibtex
-
- titre
- Elicitation of Executable Safety Rules for Critical Autonomous Systems
- auteur
- Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy
- article
- Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 10p
- Accès au texte intégral et bibtex
-
- titre
- Human-robot interactions: model-based risk analysis and safety case construction
- auteur
- Quynh Anh Do Hoang, Jérémie Guiochet, David Powell, Mohamed Kaâniche
- article
- Embedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France
- Accès au texte intégral et bibtex
-
Book sections
- titre
- System Dependability: Characterization and Benchmarking
- auteur
- Yves Crouzet, Karama Kanoun
- article
- A.Hurson, S.Sedigh. Advances in Computers. Special issue: Dependable and Secure Systems Engineering, Elsevie, pp.93-139, 2012, 978-0-12-396525-7
- Accès au texte intégral et bibtex
-
- titre
- MUSTER: A Situational Tool for Requirements Elicitation
- auteur
- Chad Coulin, Didar Zowghi, Abd-El-Kader Sahraoui
- article
- Computer Engineering: Concepts, Methodologies, Tools and Applications, IGI Global, II, , pp.620-638, 2012, 9781613504567
- Accès au texte intégral et bibtex
-
Books
- titre
- Supervision, surveillance et sûreté de fonctionnement des grands systèmes
- auteur
- Nada Matta, Yves Vanderboomgaerde, Jean Arlat
- article
- Hermes Science Publications, 2012, 978-2746238404
- Accès au bibtex
-
2011
Journal articles
- titre
- The Advantages of Systems Engineering Standards, a Case Study of Application of the EIA632 Standard to Design of a Small-Scale Yacht
- auteur
- Claude Baron, Guillaume Auriol, Jean-Yves Fourniols
- article
- International journal of engineering and industries (IJEI), 2011, 2 (3), pp.40-56. ⟨10.4156/ijei⟩
- Accès au bibtex
-
- titre
- The many meanings of UML 2 Sequence Diagrams: a survey
- auteur
- Zoltán Micskei, Hélène Waeselynck
- article
- Software and Systems Modeling, 2011, 10 (4), pp.489-514. ⟨10.1007/s10270-010-0157-9⟩
- Accès au bibtex
-
- titre
- Show me how you move and I will tell you who you are
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
- article
- Transactions on Data Privacy, 2011, 4 (2), pp.103-126
- Accès au bibtex
-
- titre
- The HIDENETS holistic approach for the analysis of large critical mobile systems
- auteur
- Andrea Bondavalli, Ossama Hamouda, Mohamed Kaâniche, Paolo Lollini, Istvan Majzik, Hans-Peter Schwefel
- article
- IEEE Transactions on Mobile Computing, 2011, 10 (6), pp.783-796. ⟨10.1109/TMC.2010.222⟩
- Accès au texte intégral et bibtex
-
- titre
- Set-up and deployment of a high-interaction honeypot: experiment and lessons learned
- auteur
- Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Matthieu Herrb
- article
- Journal in Computer Virology, 2011, 7 (2), pp.143-157. ⟨10.1007/s11416-010-0144-2⟩
- Accès au texte intégral et bibtex
-
- titre
- Intrusion-tolerant fine-grained authorization for Internet applications
- auteur
- Vincent Nicomette, David Powell, Y. Deswarte, Noreddine Abghour, Christophe Zanon
- article
- Journal of Systems Architecture, 2011, 57 (4), pp.441-451. ⟨10.1016/j.sysarc.2010.05.005⟩
- Accès au bibtex
-
Conference papers
- titre
- Towards Temporal Mobility Markov Chains
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
- article
- 1st International Workshop on Dynamicity Collocated with OPODIS 2011, Toulouse, France, Dec 2011, Toulouse, France. 2 p
- Accès au texte intégral et bibtex
-
- titre
- Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques
- auteur
- Adrienne Tankeu Choitat, David Navarre, Philippe Palanque, Yannick Deleris, Jean-Charles Fabre, Camille Fayollas
- article
- 17th Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Dec 2011, Pasadena, California, United States. pp.164-173, ⟨10.1109/PRDC.2011.28⟩
- Accès au bibtex
-
- titre
- Towards dynamic graph analysis: a position note
- auteur
- Erwan Le Merrer, Gilles Trédan
- article
- DYNAM: 1st International Workshop on Dynamicity, Dec 2011, Toulouse, France. pp.20
- Accès au texte intégral et bibtex
-
- titre
- A clustering approach for web vulnerabilities detection
- auteur
- Anthony Dessiatnikoff, Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
- article
- 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Dec 2011, Pasadena, CA, United States. pp.194-203, ⟨10.1109/PRDC.2011.31⟩
- Accès au texte intégral et bibtex
-
- titre
- SynchSPEM: A synchronization metamodel between activities and products within a SPEM-based Software Development Process
- auteur
- Amal Rochd, Zrikem Maria, Abderrahmane Ayadi, Thierry Millan, Christian Percebois, Claude Baron
- article
- IEEE Conference on Computer Applications and Industrial Electronics (ICCAIE), Dec 2011, Penang, Malaysia
- Accès au bibtex
-
- titre
- ACTIVITYDIAGRAM2PETRINET : TRANSFORMATION-BASED MODEL IN ACCORDANCE WITH THE OMG SYSML SPECIFICATIONS
- auteur
- Damien Foures, Vincent Albert, Jean-Claude Pascal
- article
- Eurosis, The 2011 European Simulation and Modelling Conference, Oct 2011, Guimaraes, Portugal. p429-p433
- Accès au texte intégral et bibtex
-
- titre
- Architecting Resilient Computing Systems: Overall Approach and Open Issues
- auteur
- Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
- article
- Software Engineering for Resilient Systems, Sep 2011, Geneva, Switzerland. pp.48-62, ⟨10.1007/978-3-642-24124-6_5⟩
- Accès au texte intégral et bibtex
-
- titre
- Modeling Aircrafts Operational Reliability
- auteur
- Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
- article
- International Conference on Computer Safety, Reliability ans Security (SAFECOMP 2011), Sep 2011, Naples, Italy. pp.157-170
- Accès au texte intégral et bibtex
-
- titre
- Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction
- auteur
- Rodrigo Tacla Saad, Silvano Dal Zilio, Bernard Berthomieu
- article
- International Symposium on Parallel and Distributed Computing (ISPDC 2011), Jul 2011, Cluj-Napoca, Romania. 8p
- Accès au texte intégral et bibtex
-
- titre
- WOSD 2011 The First International Workshop on Open Systems Dependability
- auteur
- Mario Tokoro, Karama Kanoun, Kimio Kuramitsu, Jean-Charles Fabre
- article
- International Workshop on Open Systems Dependability (WOSD), organised with DSN 2011, Jun 2011, Hong Kong, China. pp.593 - 594
- Accès au texte intégral et bibtex
-
- titre
- The ARUM Experimentation Platform : an Open Tool to evaluate Mobile Systems Applications
- auteur
- Marc-Olivier Killijian, Matthieu Roy, Gaetan Severac
- article
- AMiRE 2011: 6th International Symposium on Autonomous Minirobots for Research and Edutainment, May 2011, Bielefeld, Germany. pp.1
- Accès au texte intégral et bibtex
-
- titre
- Self-Checking Widgets for Interactive Cockpits
- auteur
- Adrienne Tankeu Choitat, Jean-Charles Fabre, Philippe Palanque, David Navarre, Yannick Deleris
- article
- 13th European Workshop on Dependable Computing (EWDC 2011), May 2011, Pisa, Italy. pp.34-42, ⟨10.1145/1978582.1978592⟩
- Accès au bibtex
-
- titre
- Définition de règles de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiques
- auteur
- Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell
- article
- Journée Sécurité des Systèmes & Sureté des Logiciels (3SL), May 2011, Saint-Malo, France
- Accès au texte intégral et bibtex
-
- titre
- Model-Based Risk Analysis Of Human-Robot Interactions And Safety Argument Construction
- auteur
- Quynh Anh Do Hoang, Jérémie Guiochet, Mohamed Kaâniche, David Powell
- article
- Model Based Safety Assessment Workshop (MBSAW), Mar 2011, Toulouse, France
- Accès au bibtex
-
- titre
- A Necessary and Sufficient Synchrony Condition for Solving Byzantine Consensus in Symmetric Networks
- auteur
- Olivier Baldellon, Achour Mostefaoui, Michel Raynal
- article
- 12th International Conference on Distributed Computing and Networking (ICDCN'11), Jan 2011, Bangalore, India. pp.215-226
- Accès au bibtex
-
Book sections
- titre
- Tolerance of design faults
- auteur
- David Powell, Jean Arlat, Yves Deswarte, Karama Kanoun
- article
- C.B. Jones, J.L. Lloyd. Dependable and Historic Computing, Springer, pp.428-452, 2011, Lecture Notes in Computer Science 6875
- Accès au texte intégral et bibtex
-
2010
Journal articles
- titre
- Core Disciplines for Unifying Engineering Education Revisiting with a focus on Modelling and Simulation
- auteur
- Abd-El-Kader Sahraoui
- article
- IEEE Multidisciplinary Engineering Education Magazine, 2010, 5 (3), pp.24-27
- Accès au texte intégral et bibtex
-
- titre
- Guest Editors' Introduction to the Special Section on Evaluation and Improvement of Software Dependability
- auteur
- Katerina Goseva-Popstojanova, Karama Kanoun
- article
- IEEE Transactions on Software Engineering, 2010, 36 (3)
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Embedded blade microsystem and events recorder for drone structural health monitoring
- auteur
- Mathieu Lastapis, Christophe Escriba, Guillaume Auriol, Roxana Albu, Pascal Berthou, Jean-Louis Boizard, Jean-Marie Dilhac, Jean-Yves Fourniols
- article
- Asian-Pacific workshop on structural health monitoring, Nov 2010, Tokyo, Japan
- Accès au texte intégral et bibtex
-
- titre
- Partition Scheduling on an IMA Platform with Strict Periodicity and Communication Delays
- auteur
- Ahmad Al Sheikh, Olivier Brun, Pierre-Emmanuel Hladik
- article
- 18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.179-188
- Accès au texte intégral et bibtex
-
- titre
- Early Error Detection for Fault Tolerance Strategies
- auteur
- Thomas Robert, Matthieu Roy, Jean-Charles Fabre
- article
- 18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.159-168
- Accès au texte intégral et bibtex
-
- titre
- Experience with Model-Based User-Centered Risk Assessment for Service Robots
- auteur
- Jérémie Guiochet, Damien Martin-Guillerez, David Powell
- article
- International High Assurance Systems Engineering Symposium (HASE), Nov 2010, San Jose, United States. 10p., ⟨10.1109/HASE.2010.10⟩
- Accès au texte intégral et bibtex
-
- titre
- Show me how you move and I will tell you who you are
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
- article
- Proceedings of the 3rd ACM SIGSPATIAL International Workshop on Security and Privacy in GIS and LBS (SPRINGL'10), Nov 2010, San José, United States. ⟨10.1145/1868470.1868479⟩
- Accès au bibtex
-
- titre
- Information model for model driven safety requirements management of complex systems
- auteur
- Romaric Guillerm, Hamid Demmou, Nabil Sadou
- article
- Complex Systems Design & Management (CSDM) 2010, Oct 2010, Paris, France. pp.99-111, ⟨10.1007/978-3-642-15654-0⟩
- Accès au texte intégral et bibtex
-
- titre
- ARUM: A cooperative middleware and an experimentation platform for mobile systems
- auteur
- Marc-Olivier Killijian, Matthieu Roy, Gaétan Séverac
- article
- 2010 IEEE 6th International Conference onWireless and Mobile Computing, Networking and Communications (WiMob), Oct 2010, Niagara Falls, Canada. pp.442 - 449, ⟨10.1109/WIMOB.2010.5645030⟩
- Accès au texte intégral et bibtex
-
- titre
- BASE DE CONNAISSANCES SYSML POUR LA CONCEPTION DE SYSTEMES COMPLEXES SURS DE FONCTIONNEMENT
- auteur
- Romaric Guillerm, Hamid Demmou, Nabil Sadou
- article
- Lambda Mu 17 - Innovation et Maîtrise des risques, Oct 2010, La Rochelle, France. pp.173
- Accès au texte intégral et bibtex
-
- titre
- A General Lock-Free Algorithm for Parallel State Space Construction
- auteur
- Rodrigo Tacla Saad, Silvano Dal Zilio, Bernard Berthomieu
- article
- 2010 Ninth International Workshop onParallel and Distributed Methods in Verification (PDMC 2010), Second International Workshop on High Performance Computational Systems Biology (HIBI 2010), Sep 2010, Twente, Netherlands. p.8-16, ⟨10.1109/PDMC-HiBi.2010.10⟩
- Accès au texte intégral et bibtex
-
- titre
- Experience with a Model-based Safety Analysis Process for Autonomous Service Robot
- auteur
- Damien Martin-Guillerez, Jérémie Guiochet, David Powell
- article
- 7th International Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), Jun 2010, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Analyse d'un modèle AADL à l'aide de Pola
- auteur
- Pierre-Emmanuel Hladik, Florent Peres, Xiaomu Shi
- article
- 10es journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2010, Poitiers, France. p. 239--243
- Accès au texte intégral et bibtex
-
- titre
- Dependability Modelling of Safety Applications in Communicating Automotive Systems
- auteur
- Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun
- article
- ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Verification Based Development Process for Embedded Systems
- auteur
- T Correa, L. B. Becker, Jean-Paul Bodeveix, J-M Farines, M Filali, François Vernadat
- article
- European conference on Embedded Real Time Software & Systems (ERTS2 2010), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies; SIA: the French Society of Automobive Engineers, May 2010, Toulouse, France. pp.1-10
- Accès au texte intégral et bibtex
-
- titre
- Formal Verification of AADL models with Fiacre and Tina
- auteur
- Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Pierre Dissaux, M Filali, Pierre Gaufillet, Sebastien Heim, François Vernadat
- article
- ERTSS 2010 - Embedded Real-Time Software and Systems, 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies; SIA: the French Society of Automobive Engineers, May 2010, Toulouse, France. pp.1-9, ⟨10.5281/zenodo.32930⟩
- Accès au texte intégral et bibtex
-
- titre
- Beyond San Fancisco Cabs : Building a *-lity Mining Dataset for Social Traces Analysis
- auteur
- Marc-Olivier Killijian, Matthieu Roy, Gilles Tredan
- article
- Workshop on the Analysis of Mobile Phone Networks, May 2010, Cambridge, MA, United States. 6p
- Accès au texte intégral et bibtex
-
- titre
- Availability Modelling of a Virtual Black Box for Automotive Systems
- auteur
- Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun
- article
- The 2nd International Workshop on Software Engineering for Resilient Systems (SERENE'10), Apr 2010, Londres, United Kingdom. pp.52-60, ⟨10.1145/2401736.2401742⟩
- Accès au texte intégral et bibtex
-
- titre
- A UML-based method for risk analysis of human-robot interactions
- auteur
- Damien Martin-Guillerez, Jérémie Guiochet, David Powell, Christophe Zanon
- article
- 2nd International Workshop on Software Engineering for Resilient Systems (SERENE), Apr 2010, London, United Kingdom. pp. 32-41, ⟨10.1145/2401736.2401740⟩
- Accès au texte intégral et bibtex
-
- titre
- GEPETO: a GEoPrivacy-Enhancing TOolkit
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
- article
- Proceedings of the International Workshop on Advances in Mobile Computing and Applications: Security, Privacy and Trust, held in conjunction with the 24th IEEE AINA conference, Apr 2010, Perth, Australia. ⟨10.1109/WAINA.2010.170⟩
- Accès au bibtex
-
- titre
- Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience sur la chaîne de vérification formelle Fiacre
- auteur
- Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, M Filali, Marc Pantel, François Vernadat
- article
- IDM 2010 : journées sur l'Ingénierie Dirigée par les Modèles, Mar 2010, Pau, France
- Accès au texte intégral et bibtex
-
2009
Journal articles
- titre
- PolyOrBAC: a security framework for critical infrastructures
- auteur
- Anas Abou El Kalam, Yves Deswarte, Amine Baïna, Mohamed Kaâniche
- article
- International journal of critical infrastructure protection, 2009, 2 (4), pp.154-169. ⟨10.1016/j.ijcip.2009.08.005⟩
- Accès au texte intégral et bibtex
-
- titre
- Composer les réseaux de Petri temporels
- auteur
- Florent Peres, Bernard Berthomieu, François Vernadat
- article
- Journal Européen des Systèmes Automatisés, 2009, 43 (7-9), pp.1001-1015
- Accès au texte intégral et bibtex
-
- titre
- Modélisation de la sûreté de fonctionnement basée sur le langage AADL et les RdPSG
- auteur
- Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2009, 28 (1), pp.7-37
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- An approach for improving Fault-Tolerance in Automotive Modular Embedded Software
- auteur
- Caroline Lu, Jean-Charles Fabre, Marc-Olivier Killijian
- article
- 17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.132-147
- Accès au texte intégral et bibtex
-
- titre
- System engineering approach for safety management of complex systems
- auteur
- Romaric Guillerm, Hamid Demmou, Nabil Sadou
- article
- The 2009 European Simulation and Modelling Conference, Oct 2009, Leicester, United Kingdom. pp.150-157
- Accès au texte intégral et bibtex
-
- titre
- Coupling product and project configuration with constraints : a CSP software comparison
- auteur
- Élise Vareilles, Sabine Carbonnel, Meriem Djefel, Michel Aldanondo, Samuel Rochet, Guillaume Auriol, Claude Baron
- article
- SKIMA 2009 -3rd International conference on software, knowledge, information management and applications, Oct 2009, Fez, Morocco. 5 p
- Accès au bibtex
-
- titre
- Plateforme pour l'exécution contrôlée de logiciels malveillants
- auteur
- Ion Alberdi, Vincent Nicomette, Philippe Owezarski
- article
- Colloque Francophone d'Ingenierie des Protocoles (CFIP), Oct 2009, Strasbourg, France. 12p
- Accès au texte intégral et bibtex
-
- titre
- ESA PetriNet: Petri net Based Tool for Reliability Analysis
- auteur
- Romaric Guillerm, Hamid Demmou, Nabil Sadou
- article
- 2009 IEEE International Conference on Systems, Man, and Cybernetics, Oct 2009, San Antonio, Texas, United States. 6p
- Accès au texte intégral et bibtex
-
- titre
- Towards a Privacy-preserving National Identity Card
- auteur
- Yves Deswarte, Sébastien Gambs
- article
- Fourth International Workshop on Data Privacy Management, Sep 2009, Saint Malo, France. pp.30-43
- Accès au texte intégral et bibtex
-
- titre
- A Platform for Experimenting with Mobile Algorithms in a Laboratory
- auteur
- Marc-Olivier Killijian, Matthieu Roy
- article
- Principles Of Distributed Computing, Aug 2009, Calgary, Canada. pp.Brief announcements session
- Accès au texte intégral et bibtex
-
- titre
- Using OWA Operators for Gene Sequential Pattern Clustering
- auteur
- Jordi Nin, Paola Salle, Sandra Bringay, Maguelonne Teisseire
- article
- CBMS: Computer-Based Medical Systems, Aug 2009, Albuquerque, NM, United States. ⟨10.1109/CBMS.2009.5255363⟩
- Accès au texte intégral et bibtex
-
- titre
- Safety modeling and evaluation of Automated Highway Systems
- auteur
- Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun
- article
- The IEEE/IFIP International Conference on Dependable Systems & Networks (DSN '09), Jun 2009, Lisbonne, Portugal. pp.73 - 82, ⟨10.1109/DSN.2009.5270352⟩
- Accès au texte intégral et bibtex
-
- titre
- Connectivity dynamics in vehicular freeway scenarios
- auteur
- Ossama Hamouda, Mohamed Kaâniche, Erling Moller Matthiesen, Jakob Gulddahl Rasmussen, Hans-Peter Schwefel
- article
- Global Information Infrastructure Symposium (GIIS '09), Jun 2009, Hammamet, Tunisia. pp.1-8, ⟨10.1109/GIIS.2009.5307090⟩
- Accès au texte intégral et bibtex
-
- titre
- Formal Verification of AADL Specifications in the Topcased Environment
- auteur
- Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal Zilio, M Filali, François Vernadat
- article
- Reliable Software Technologies - Ada Europe 2009, Jun 2009, Brest, France. 15p., ⟨10.1007/978-3-642-01924-1_15⟩
- Accès au texte intégral et bibtex
-
- titre
- Présentation des résultats du projet OpenEmbeDD
- auteur
- Charles André, Mariano Belaunde, Bernard Berthomieu, Christian Brunette, Agusti Canals, Hubert Garavel, Susanne Graf, Frederic Lang, Vincent Mahé, Michel Nakhlé, Rémi Schnekenburger, Robert de Simone, Jean-Pierre Talpin, François Vernadat
- article
- Neptune, May 2009, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Observation Graph implementation for TINA toolbox
- auteur
- Rodrigo Tacla Saad, François Vernadat, Bernard Berthomieu, Silvano Dal Zilio
- article
- 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
- Accès au texte intégral et bibtex
-
- titre
- Criticality and Confidence Issues in Avionics
- auteur
- Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat, Eric de Nadai
- article
- 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 2 p
- Accès au texte intégral et bibtex
-
- titre
- Application of Early Error Detection for Handling Degraded Modes of Operation
- auteur
- Thomas Robert, Jean-Charles Fabre, Matthieu Roy
- article
- 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
- Accès au texte intégral et bibtex
-
- titre
- Some Challenges in Adaptive Fault Tolerant Computing
- auteur
- François Taïani, Jean-Charles Fabre
- article
- 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
- Accès au texte intégral et bibtex
-
- titre
- Discrete and Hybrid Systems Dependability Analysis with ESA PetriNet
- auteur
- Romaric Guillerm, Nabil Sadou, Hamid Demmou
- article
- 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
- Accès au texte intégral et bibtex
-
- titre
- Robustness Testing of Robot Controller Software
- auteur
- Hoang-Nam Chu, Jean Arlat, Marc-Olivier Killijian, Benjamin Lussier, David Powell
- article
- 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 2 p
- Accès au texte intégral et bibtex
-
- titre
- Signature Matching Applied to Simulation/Frame Duality
- auteur
- Alexandre Nketsa, Vincent Albert
- article
- 2009 Fourth International Conference on Systems, Mar 2009, Gosier, France. ⟨10.1109/ICONS.2009.32⟩
- Accès au bibtex
-
2008
Journal articles
- titre
- Modeling the resilience of large and evolving systems
- auteur
- Mohamed Kaâniche, Paolo Lollini, Andrea Bondavalli, Karama Kanoun
- article
- International Journal of Performability Engineering, 2008, 4 (2), pp.153-168
- Accès au texte intégral et bibtex
-
- titre
- A Property-Driven Approach to Formal Verification of Process Models
- auteur
- Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat
- article
- Enterprise Information Systems, 2008, 12, pp.286-300. ⟨10.1007/978-3-540-88710-2⟩
- Accès au texte intégral et bibtex
-
- titre
- Systems engineering research
- auteur
- Abd-El-Kader Sahraoui, Dennis M Buede, Andrew P Sage
- article
- Journal of Systems Science and Systems Engineering, 2008, 17 (3), pp.319 - 333. ⟨10.1007/s11518-008-5083-9⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Geo-registers : an abstraction for spatial-based distributed computing
- auteur
- Matthieu Roy, François Bonnet, Leonardo Querzoni, Silvia Bonomi, Marc-Olivier Killijian, David Powell
- article
- Principles of Distributed Systems. OPODIS 2008, Dec 2008, Louxor, Egypt. 11p., ⟨10.1007/978-3-540-92221-6_34⟩
- Accès au texte intégral et bibtex
-
- titre
- On-line Monitoring of Real Time Applications for Early Error Detection
- auteur
- Thomas Robert, Jean-Charles Fabre, Matthieu Roy
- article
- 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2008), Dec 2008, Taipei, Taiwan. pp.24-31, ⟨10.1109/PRDC.2008.31⟩
- Accès au bibtex
-
- titre
- Multi-level dependability modeling of interdependencies between the Electricity and Information Infrastructures
- auteur
- Marco Beccuti, Giuliana Franceschinis, Mohamed Kaâniche, Karama Kanoun
- article
- 3rd International Workshop on Critical Information Infrastructures Security (CRITIS 2008), Rome (Italie), Octobre 2008, pp.63-74, Oct 2008, Rome, Italy. pp.48-59
- Accès au texte intégral et bibtex
-
- titre
- Modélisation et évaluation de la sûreté de fonctionnement d'un système d'autoroute automatisée
- auteur
- Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun
- article
- 16ème Colloque de Maîtrise des Risques et de Sûreté de Fonctionnement. LAMBDA-MU 16, Oct 2008, Avignon, France
- Accès au texte intégral et bibtex
-
- titre
- Surveillance en ligne de la sécurité basée sur les modes de sécurité
- auteur
- Jérémie Guiochet, David Powell, Étienne Baudin, Jean-Paul Blanquart
- article
- Lambda mu 16 - 16e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2008, Avignon, France. pp.1-7
- Accès au texte intégral et bibtex
-
- titre
- Ladder Metamodeling & PLC Program Validation through Time Petri Nets
- auteur
- Darlam Bender, Benoit Combemale, Xavier Crégut, Jean-Marie Farines, Bernard Berthomieu, François Vernadat
- article
- Model Driven Architecture - Foundations and Applications (ECMDA 2008), Jun 2008, Berlin, Germany. pp.121-136, ⟨10.1007/978-3-540-69100-6_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Dependability Evaluation of a Replication Service for Mobile Applications in Dynamic Ad-Hoc Networks
- auteur
- Erling V. Matthiesen, Ossama Hamouda, Mohamed Kaâniche, Hans-Peter Schwefel
- article
- 5th International Service Availability Symposium, ISAS 2008, May 2008, Tokyo, Japan. pp.171-186, ⟨10.1007/978-3-540-68129-8_14⟩
- Accès au texte intégral et bibtex
-
- titre
- Online Safety Monitoring Using Safety Modes
- auteur
- Jérémie Guiochet, David Powell, Étienne Baudin, Jean-Paul Blanquart
- article
- Workshop on Technical Challenges for Dependable Robots in Human Environments, May 2008, PASADENA, United States. pp.1-13
- Accès au texte intégral et bibtex
-
- titre
- The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
- auteur
- Ana-Elena E. Rugina, Karama Kanoun, Mohamed Kaâniche
- article
- 7th European Dependable Computing Conference (EDCC), May 2008, Kaunas, Lithuania. pp.85-90
- Accès au texte intégral et bibtex
-
- titre
- Dependability modeling and evaluation of an automated highway system
- auteur
- Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun
- article
- Fast Abstract, 7th European Dependable Computing Conference (EDCC 2008), May 2008, Kaunas, Lithuania
- Accès au texte intégral et bibtex
-
- titre
- A prospective proposal for coupling product and project configuration with constraints
- auteur
- Élise Vareilles, Michel Aldanondo, Paul Gaborit, Guillaume Auriol, Samuel Rochet, Claude Baron
- article
- SKIMA 2008 -2nd International conference on Software, Knowledge, Information Management and Applications, Mar 2008, Kathmandu, Nepal. p.148-153
- Accès au bibtex
-
- titre
- Evaluation of a Real-Time Monitoring Framework
- auteur
- Thomas Robert, Matthieu Roy, Jean-Charles Fabre
- article
- Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Towards Adaptive Fault Tolerance in Embedded Systems
- auteur
- Thomas Pareaud, Jean-Charles Fabre, Marc-Olivier Killijian
- article
- Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Software dependability modeling using an industry-standard architecture description language
- auteur
- Ana-Elena Rugina, Peter H. Feiler, Karama Kanoun, Mohamed Kaâniche
- article
- 4th European Congress ERTS Embedded Real Time Software, Jan 2008, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Fiacre: an Intermediate Language for Model Verification in the Topcased Environment
- auteur
- Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail, M Filali, Hubert Garavel, Pierre Gaufillet, Frederic Lang, François Vernadat
- article
- 4th European Congress ERTS Embedded Real Time Software (ERTS 2008), SEE : Société de l'électricité, de l'électronique et des technologies de l'information et de la communication; 3AF : Association Aéronautique et Astronautique de France, Jan 2008, Toulouse, France. pp.1-8
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Windows and Linux Robustness Benchmarks With Respect to Application Erroneous Behavior
- auteur
- Karama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina
- article
- Karama Kanoun et Lisa Spainhower. Dependability Benchmarking for Computer Systems, IEEE Computer Society et WILEY, pp.227-254, 2008, 978-0-470-23055-8
- Accès au texte intégral et bibtex
-
Books
- titre
- Dependability Benchmarking for Computer Systems
- auteur
- Karama Kanoun, Philip Koopman, Henrique Madeira, Lisa Spainhower
- article
- IEEE Computer Society; WILEY, pp.xiii-xviii, 2008, 978-0-470-23055-8
- Accès au texte intégral et bibtex
-
- titre
- Dependability Benchmatking for Computing Systems
- auteur
- Karama Kanoun, Lisa Spainhower
- article
- IEEE Computer Society; WILEY, 2008, 978-0-470-23055-8
- Accès au bibtex
-
2007
Journal articles
- titre
- Sécurité des systèmes de la robotique médicale
- auteur
- Jérémie Guiochet, Gilles Motet, Bertrand Tondu, Claude Baron
- article
- Techniques de l'Ingénieur, 2007, Sécurité et gestion des risques, SE2
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices
- auteur
- Ludovic Courtès, Ossama Hamouda, Mohamed Kaâniche, Marc-Olivier Killijian, David Powell
- article
- 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007), Dec 2007, Melbourne, Australia. pp.139 - 146, ⟨10.1109/PRDC.2007.21⟩
- Accès au texte intégral et bibtex
-
- titre
- Planning with Diversified Models for Fault-Tolerant Robots
- auteur
- Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell
- article
- The International Conference on Automated Planning and Scheduling (ICAPS), Sep 2007, Providence, RI, United States. pp.216-223
- Accès au texte intégral et bibtex
-
- titre
- Modelling interdependencies between the electricity and information infrastructures
- auteur
- Jean-Claude Laprie, Karama Kanoun, Mohamed Kaâniche
- article
- 26th International Conference on Computer Safety, Reliability and Security, SAFECOMP-2007, Sep 2007, Nurenberg, Germany. pp.54-67
- Accès au texte intégral et bibtex
-
- titre
- Access Control for Collaborative Systems: A Web Services Based Approach
- auteur
- Anas Abou El Kalam, Yves Deswarte, Amine Baïna, Mohamed Kaâniche
- article
- IEEE International Conference on Web Services, ICWS 2007, Jul 2007, Salt Lake City, UT, United States. pp.1064-1071
- Accès au texte intégral et bibtex
-
- titre
- Fault Tolerant Planning for Critical Robots
- auteur
- Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell
- article
- DSN 2007 The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks , Jun 2007, Edimbourg, United Kingdom. ⟨10.1109/DSN.2007.50⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards a Formal Verification of Process Model's Properties - SimplePDL and TOCL Case Study
- auteur
- Benoit Combemale, Pierre-Loïc Garoche, Xavier Crégut, Xavier Thirioux, François Vernadat
- article
- 9th International Conference on Enterprise Information Systems, Jun 2007, Funchal, Madeira, Portugal. pp.80-89
- Accès au texte intégral et bibtex
-
2006
Journal articles
- titre
- Dependability Benchmarks for Operating Systems
- auteur
- Karama Kanoun, Yves Crouzet
- article
- International Journal of Performability Engineering, 2006, 2 (3), pp.275 - 287
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- An architecture-based dependability modeling framework using AADL
- auteur
- Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche
- article
- IASTED International Conference on Software Engineering and Applications, Nov 2006, France. pp.222-227
- Accès au texte intégral et bibtex
-
- titre
- Lessons Learned from the deployment of a high-interaction honeypot
- auteur
- Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Marc Dacier, Matthieu Herrb
- article
- European Dependable Computing Conference, Oct 2006, France. pp.39-44
- Accès au texte intégral et bibtex
-
- titre
- MODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES À PARTIR DU LANGAGE AADL
- auteur
- Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche
- article
- 15ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement (Lambda-Mu'15), Oct 2006, Lille, France. 8p
- Accès au texte intégral et bibtex
-
- titre
- Safe and dependable physical human-robot interaction in anthropic domains: State of the art and challenges
- auteur
- Rachid Alami, A. Albu-Schaeffer, A. Bicchi, R. Bischoff, Raja Chatila, A. De Luca, A. De Santis, Georges Giralt, Jérémie Guiochet, G. Hirzinger, Félix Ingrand, V. Lippiello, R. Mattone, David Powell, S. Sen, B. Siciliano, G. Tonietti, L. Villani
- article
- IROS'06 Workshop on Physical Human-Robot Interaction in Anthropic Domains, Oct 2006, Beijing, China. ⟨10.1109/IROS.2006.6936985⟩
- Accès au texte intégral et bibtex
-
- titre
- Empirical analysis and statistical modeling of attack processes based on honeypots
- auteur
- Mohamed Kaâniche, Yves Deswarte, Eric Alata, Marc Dacier, Vincent Nicomette
- article
- IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2006), Workshop on Empirical Evaluation of Dependability and Security (WEEDS), Jun 2006, France. pp.119-124
- Accès au texte intégral et bibtex
-
- titre
- Modeling user perceived unavailability due to long response times
- auteur
- Magnos Martinello, Mohamed Kaâniche, Karama Kanoun, Carlos Aguilar Melchor
- article
- 20th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2006), Apr 2006, Rhodes Island, Greece. 8p., ⟨10.1109/IPDPS.2006.1639671⟩
- Accès au texte intégral et bibtex
-
- titre
- CRITICAL UTILITY INFRASTRUCTURAL RESILIENCE
- auteur
- Giovanna Dondossola, Geert Deconinck, Felicita Di Giandomenico, Susanna Donatelli, Mohamed Kaâniche, Paulo Verissimo
- article
- International Workshop on Complex Network and Infrastructure Protection (CNIP-06), Mar 2006, Rome, Italy. 12 p
- Accès au texte intégral et bibtex
-
- titre
- Behavioural descriptions in architecture description languages Application to AADL
- auteur
- Jean-Paul Bodeveix, P Dissaux, M Filali, P Farail, P Gaufillet, François Vernadat
- article
- 3rd European Congress on Embedded Real Time Software (ERTS 2006), Jan 2006, Toulouse, France
- Accès au texte intégral et bibtex
-
2005
Journal articles
- titre
- Sûreté de Fonctionnement du Logiciel
- auteur
- Jean-Claude Laprie, Karama Kanoun
- article
- La Revue de l'électricité et de l'électronique, 2005, 11, pp.37-41
- Accès au texte intégral et bibtex
-
- titre
- Web service availability--impact of error recovery and traffic model
- auteur
- Magnos Martinello, Mohamed Kaâniche, Karama Kanoun
- article
- Reliability Engineering and System Safety, 2005, 89 (1), pp.6-16. ⟨10.1016/j.ress.2004.08.003⟩
- Accès au bibtex
-
- titre
- A Seven-degrees-of-freedom Robot-arm Driven by Pneumatic Artificial Muscles for Humanoid Robots
- auteur
- Bertrand Tondu, Serge Ippolito, Jérémie Guiochet, Alain Daidié
- article
- The International Journal of Robotics Research, 2005, 24 (4), p.257-274. ⟨10.1177/0278364905052437⟩
- Accès au texte intégral et bibtex
-
- titre
- Vers un profil UML pour la conception de composants multivues
- auteur
- Mahmoud Nassar, Bernard Coulette, Jérémie Guiochet, Sophie Ebersold, Bouchra El Asri, Xavier Crégut, Abdelaziz Kriouile
- article
- Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2005, 11 (4), ⟨10.3166/objet.11.4.83-113⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Availability assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx logfiles : a case study
- auteur
- Cristina Simache, Mohamed Kaâniche
- article
- IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'2005), Dec 2005, Changsha Hunan, China. pp.49-56, ⟨10.1109/PRDC.2005.20⟩
- Accès au texte intégral et bibtex
-
- titre
- Benchmarking the Dependability of Windows and Linux using PostMark ™ Workloads *
- auteur
- Karama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina, Philippe Rumeau
- article
- 16th IEEE International Symposium on Software Reliability Engineering, ISSRE 2005, Nov 2005, Chicago, United States. pp.11-20
- Accès au texte intégral et bibtex
-
- titre
- Collection and analysis of attack data based on honeypots deployed on the Internet
- auteur
- Eric Alata, Marc Dacier, Yves Deswarte, Mohamed Kaâniche, Kostya Kortchinsky, Vincent Nicomette, Van Hau Pham, Fabien Pouget
- article
- Workshop on Quality of protection (QoP 2005), Security Measurements and Metrics, Sep 2005, France. pp.79-92
- Accès au texte intégral et bibtex
-
- titre
- DBench * (Dependability Benchmarking)
- auteur
- Karama Kanoun, Henrique Madeira, Mario Dalcin, Francisco Moreira, Juan Carlos Ruiz Garcia
- article
- 5th European Dependable Computing Conference, Apr 2005, Budapest, Hungary
- Accès au texte intégral et bibtex
-
- titre
- Vérification de propriétés invariantes par surapproximation
- auteur
- Florent Peres, Pierre-Olivier Ribet, François Vernadat, Bernard Berthomieu
- article
- Formalisation des activités concurrentes (2005), Mar 2005, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Fault Tolerance in Autonomous Systems: How and How Much?
- auteur
- Benjamin Lussier, Alexandre Lampe, Raja Chatila, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell
- article
- 4th IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), 2005, Nagoya, Japan
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Vérification des applications temps réel
- auteur
- Françoise Simonot-Lion, Ye-Qiong Song, Bernard Berthomieu, François Vernadat
- article
- Jacky Akoka, Isabelle Comyn-Wattiau. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, 2005
- Accès au texte intégral et bibtex
-
2004
Journal articles
- titre
- Dependability modelling of instrumentation and control systems: a comaprison of competing architectures
- auteur
- Claudia Betous-Almeida, Karama Kanoun
- article
- Safety Science, 2004, 42 (5)
- Accès au texte intégral et bibtex
-
- titre
- An investigation on mutation strategies for fault injection into RDD-100 models
- auteur
- Mohamed Kaâniche, Yannick Le Guédard, Jean Arlat, Thierry Boyer
- article
- Safety Science, 2004, 42 (5), pp.385-403
- Accès au texte intégral et bibtex
-
- titre
- Construction and stepwise refinement of dependability models
- auteur
- Claudia Betous-Almeida, Karama Kanoun
- article
- Performance Evaluation, 2004, 56 (1-4), pp.277-306
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Simulation and Detection of Some Properties of Hybrid System Based Differential Predicate-Transition Petri Nets by Means of VHDL-AMS
- auteur
- Alexandre Nketsa, Jean-Claude Pascal, David Andreu, Philippe Esteban
- article
- European Simulation and Modelling Conference (ESM), Oct 2004, Paris, France. pp.294-298
- Accès au bibtex
-
- titre
- ETALONNAGE DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES D'EXPLOITATION
- auteur
- Yves Crouzet, Ali Kalakech, Karama Kanoun, Jean Arlat
- article
- Congrès de Maîtrise des Risques et Sûreté de Fonctionnement, Oct 2004, Bourges, France
- Accès au texte intégral et bibtex
-
- titre
- Generic error model of human-robot interaction
- auteur
- Jérémie Guiochet, G Motet, C Baron
- article
- 3rd IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments, Manchester, UK, Sep 2004, Manchester, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Toward a Human-Centered UML for Risk Analysis - Application to a medical robot
- auteur
- Jérémie Guiochet, Gilles Motet, Claude Baron, Guy Boy
- article
- 18th IFIP World Computer Congress (WCC), Human Error, Safety and Systems Development (HESSD04), IFIP/WCC, Aug 2004, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Benchmarking The Dependability of Windows NT4, 2000 and XP *
- auteur
- Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat
- article
- 2004 International Conference on Dependable Systems and Networks (DSN'2004), Jun 2004, Florence, Italy. pp.681-686
- Accès au texte intégral et bibtex
-
- titre
- UML based risk analysis - Application to a medical robot
- auteur
- Jérémie Guiochet, Claude Baron
- article
- Quality Reliability and Maintenance 5th International Conference, Oxford, UK, Apr 2004, Oxford, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Decomposition and learning for a hard real-time task allocating problem
- auteur
- Hadrien Cambazard, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Narendra Jussien, Yvon Trinquet
- article
- CORS/INFORMS Joint International Meeting, 2004, Banff, Alberta, Canada
- Accès au bibtex
-
- titre
- Toward a human-centered UML for risk analysis
- auteur
- Jérémie Guiochet, Gilles Motet, Claude Baron, Guy Boy
- article
- IFIP WCC, 2004, Toulouse, France. pp.177-191
- Accès au texte intégral et bibtex
-
2003
Journal articles
- titre
- Impact of internal and external software faults on the Linux kernel
- auteur
- Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau
- article
- IEICE Transactions on Information and Systems, 2003, E86-D (12), pp.2571-2578
- Accès au bibtex
-
- titre
- Multi-Level Modeling Approach for the Availability Assessment of e-Business Applications
- auteur
- Mohamed Kaâniche, Karama Kanoun, Mourad Rabah
- article
- Software: Practice and Experience, 2003, 33 (14), pp.1323-1341. ⟨10.1002/spe.550⟩
- Accès au texte intégral et bibtex
-
- titre
- Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach
- auteur
- Mourad Rabah, Karama Kanoun
- article
- IEEE Transactions on Computers, 2003, 52 (2), ⟨10.1109/TC.2003.1176988⟩
- Accès au texte intégral et bibtex
-
- titre
- ORBAC : un modèle de contrôle d'accès basé sur les organisations
- auteur
- Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, Frederic Cuppens, Yves Deswarte, Alexandre Miege, Claire Saurel, Gilles Trouessin
- article
- Cahiers francophones de la recherche en sécurité de l'information, 2003, 2, pp.30--40
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Integration of UML in human factors analysis for safety of a medical robot for tele-echography
- auteur
- Jérémie Guiochet, Bertrand Tondu, Claude Baron
- article
- IEEE/RSJ International Conference on Intelligent Robots and Systems, Intelligent Robots and Systems for Human Security, Health, and Prosperty IROS 2003, Las Vegas, USA, IEEE/RSJ, Oct 2003, Las Vegas, United States. pp.3212-3217, ⟨10.1109/IROS.2003.1249651⟩
- Accès au texte intégral et bibtex
-
- titre
- UML Based FMECA in Risk Analysis
- auteur
- Jérémie Guiochet, C Baron
- article
- ESMc'2003, University of Naples II, Naples, Italy, Oct 2003, Naples, Italy
- Accès au texte intégral et bibtex
-
- titre
- A User-Perceived Availability Evaluation of a Web Based Travel Agency
- auteur
- Mohamed Kaâniche, Karama Kanoun, Magnos Martinello
- article
- International Conference on Deependable Systems and Networks (DSN-2003), Jun 2003, San Francisco, CA, United States. pp.709 - 718, ⟨10.1109/DSN.2003.1209986⟩
- Accès au texte intégral et bibtex
-
- titre
- Organization based access control
- auteur
- Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, Frederic Cuppens, Yves Deswarte, Alexandre Miege, Claire Saurel, Gilles Trouessin
- article
- 4th International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), IEEE, Jun 2003, Lake Como, Italy. pp.120--131, ⟨10.1109/POLICY.2003.1206966⟩
- Accès au texte intégral et bibtex
-
- titre
- Modèles et politiques de sécurité des systèmes d'information et de communication en santé et en social
- auteur
- Anas Abou El Kalam, Philippe Balbiani, Salem Benferhat, Frédéric Cuppens, Yves Deswarte, Rania El-Baida, Claire Saurel, Gilles Trouessin
- article
- 1ère Conférence Francophone en Gestion et Ingénierie des Systèmes Hospitaliers (GISEH'2003), Jan 2003, Lyon, France
- Accès au texte intégral et bibtex
-
2002
Conference papers
- titre
- Event log based dependability analysis of Windows NT and 2K systems
- auteur
- Cristina Simache, Mohamed Kaâniche, Ayda Saidane
- article
- Pacific Rim International Symposium on Dependable Computing (PRDC 2002), Dec 2002, Tsukuba, Japan. pp.311-315, ⟨10.1109/PRDC.2002.1185651⟩
- Accès au texte intégral et bibtex
-
- titre
- Analysis of the Effects of Real and Injected Software Faults: Linux as a Case Study*
- auteur
- Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau
- article
- Pacific Rim International Symposium on Dependable Computing (PRDC'2002), Dec 2002, Tsukuba, Japan. pp.51-58
- Accès au texte intégral et bibtex
-
- titre
- Safety Analysis of a Medical Robot for Tele-echography
- auteur
- Jérémie Guiochet, Adriana Vilchis
- article
- 2nd IARP IEEE/RAS joint workshop on Technical Challenge for Dependable Robots in Human Environments, Toulouse, France, Oct 2002, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Dependability Evaluation: a Survey
- auteur
- Karama Kanoun
- article
- 2nd IARP/IEEE-RAS Joint Workshop on Technical Challenge for Dependable Robots in Human Environments, Oct 2002, Toulouse, France. pp.209 - 216
- Accès au texte intégral et bibtex
-
- titre
- A Preliminary Framework for Dependability Benchmarking
- auteur
- Karama Kanoun, Henrique Madeira, Jean Arlat
- article
- 2002 International Conference on Dependable Systems & Networks (DSN'2002). Workshop on Dependability Benchmarking, Jun 2002, Washington D.C., United States
- Accès au texte intégral et bibtex
-
- titre
- Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques
- auteur
- Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun
- article
- International Conference on Dependable Systems & Networks (DSN'2002), Jun 2002, Washington D.C, United States
- Accès au texte intégral et bibtex
-
2001
Journal articles
- titre
- Real-word Design Diversity: a case study on cost
- auteur
- Karama Kanoun
- article
- IEEE Software, 2001, 18 (4), pp.29-33
- Accès au bibtex
-
- titre
- Safety, Reliability and Security of Industrial Computer Systems
- auteur
- Karama Kanoun, A Pasquini
- article
- Reliability Engineering and System Safety, 2001, 71 (3)
- Accès au texte intégral et bibtex
-
- titre
- A Measurement-Based Framework for Software Reliability Improvement
- auteur
- Karama Kanoun
- article
- Annals of Software Engineering, Special Volume on Software Management, 2001, 11, pp.89 - 106
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Measurement-based availability analysis of Unix systems in a distributed environment
- auteur
- Cristina Simache, Mohamed Kaâniche
- article
- 12th International Symposium on Software Reliability Engineering (ISSRE 2001), Nov 2001, Hong-Kong, Hong Kong SAR China. pp.346 - 355, ⟨10.1109/ISSRE.2001.989489⟩
- Accès au texte intégral et bibtex
-
- titre
- A framework for modeling availability of E-business systems
- auteur
- Mohamed Kaâniche, Karama Kanoun, Mourad Rabah
- article
- 10th International Conference on Computer Communications and Networks, 2001 (ICCCN 2001), Oct 2001, Scottsdale, AZ, United States. pp. 40-45, ⟨10.1109/ICCCN.2001.956217⟩
- Accès au texte intégral et bibtex
-
- titre
- Dependability evaluation. From functional to structural modelling
- auteur
- Claudia Betous-Almeida, Karama Kanoun
- article
- 20th International Conference on Computer Safety, Reliability and Security (SAFECOMP'2001), Sep 2001, Budapest, Hungary
- Accès au texte intégral et bibtex
-
- titre
- Simulation techniques for component-based software reliability modeling with project application
- auteur
- Ruohao Huang, Michael Lyu, Karama Kanoun
- article
- 2001 International Symposium on Information Systems and Engineering (ISE'2001), pp.283-289, Jun 2001, Las Vegas, United States
- Accès au texte intégral et bibtex
-
Book sections
- titre
- GUARDS: dependability evaluation, Chapter 9
- auteur
- Jean Arlat, Andrea Bondavalli, Felicita Di Giandomenico, Tahar Jarboui, Éric Jenn, Karama Kanoun, I Mura, David Powell
- article
- David Powell. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, Kluwer Academic Publishers, pp.157-192, 2001, 0-7923-7295-6
- Accès au bibtex
-
2000
Journal articles
- titre
- Dependability of Fault-Tolerant Systems-Explicit Modeling of the Interactions Between Hardware and Software Components
- auteur
- Karama Kanoun, Marie Borrel
- article
- IEEE Transactions on Reliability, 2000, 49, pp.363 - 376
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Dependability engineering of complex computing systems
- auteur
- Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart
- article
- 6th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'2000), Sep 2000, Tokyo, Japan. pp.36-46, ⟨10.1109/ICECCS.2000.873926⟩
- Accès au texte intégral et bibtex
-
- titre
- Dependability Assessment of GUARDS Instances
- auteur
- Jean Arlat, Tahar Jarboui, Karama Kanoun, David Powell
- article
- 4th IEEE International Computer Performance and Dependability Symposium (IPDS'2000), Mar 2000, Chicago, United States
- Accès au texte intégral et bibtex
-
- titre
- Stepwise Construction and Refinement of Dependability Models
- auteur
- Claudia Betous-Almeida, Karama Kanoun
- article
- 4th IEEE International Computer Performance and Dependability Symposium (IPDS'2000), Mar 2000, Chicago, United States
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Dependability of computer control systems in power plants. Analytical and experimental evaluation
- auteur
- Claudia Betous-Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun
- article
- F. Koornneff, M. Van der Meulen,. Lecture Notes in Computer Science 1943, Computer Safety, Reliability and Security, Springer, pp.165-175, 2000, 3-540-41186-0
- Accès au texte intégral et bibtex
-
1999
Journal articles
- titre
- Availability of CAUTRA, a Subset of the French Air Traffic Control System
- auteur
- Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin
- article
- IEEE Transactions on Computers, 1999, 48 (5), pp.528 - 535. ⟨10.1109/12.769435⟩
- Accès au texte intégral et bibtex
-
- titre
- Dependability Evaluation of an Air Traffic Control Computing System
- auteur
- Nicolae Fota, Mohamed Kaâniche, Karama Kanoun
- article
- Performance Evaluation, 1999, 35 (3-4), pp.253-273
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Reliability analyses of workstation failure data
- auteur
- Sara Brocklehurst, Karama Kanoun, Jean-Claude Laprie, Bev Littlewood, Sylvain Metge, Peter Mellor, A. Tanner
- article
- Esprit Conference, (CEC-DGXIII), pp. 806-821., Nov 1999, Bruxelles, Belgium
- Accès au texte intégral et bibtex
-
- titre
- Cost of Software Design Diversity-A Case Study
- auteur
- Karama Kanoun
- article
- 10-th IEEE International Conference on Software Reliability Engineering (ISSRE-99), Nov 1999, Boca Raton, FL, United States
- Accès au texte intégral et bibtex
-
- titre
- SQUALE Dependability Assessment Criteria
- auteur
- Yves Deswarte, Mohamed Kaâniche, Pierre Corneillie, John Goodson
- article
- 18th International Conference on Computer Safety, Reliability, and Security (SAFECOMP-99), Sep 1999, Toulouse, France. pp.27-38, ⟨10.1007/3-540-48249-0_3⟩
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Dependability evaluation of a distributed shared memory multiprocessor system
- auteur
- Mourad Rabah, Karama Kanoun
- article
- J.Hlavicka, E.Maehle, A.Pataricza. Dependable Computing — EDCC-3 Third European Dependable Computing Conference Prague, Czech Republic, September 15–17, 1999 Proceedings, 1667,, Springer, pp.42-59, 1999, Lecture Notes in Computer Science, 3-540-66483-1
- Accès au texte intégral et bibtex
-
- titre
- Diversity against accidental and deliberate faults
- auteur
- Yves Deswarte, Karama Kanoun, Jean-Claude Laprie
- article
- P.Ammann, B.H.Barnes, S.Jajodia, E.H.Sibley. Computer Security, Dependability, & Assurance: from needs to solutions, IEEE Computer Society, pp.171-181, 1999, 0-7695-0337-3
- Accès au texte intégral et bibtex
-
1998
Conference papers
- titre
- A Hierarchical Approach for Dependability Analysis of a Commercial Cache-Based RAID Storage Architecture
- auteur
- Mohamed Kaâniche, Luigi Romano, Zbigniew Kalbarczyk, Ravishankar Iyer, Rick Karcich
- article
- 28th IEEE International Symposium on Fault-Tolerant Computing, Jun 1998, Munich, Germany. pp.6-15
- Accès au texte intégral et bibtex
-
1997
Journal articles
- titre
- Fiabilité du logiciel : de la collecte des données à l'évaluation probabiliste
- auteur
- Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1997, 16 (7), pp.865-895
- Accès au texte intégral et bibtex
-
1996
Conference papers
- titre
- Reliability of a commercial telecommunications system
- auteur
- Mohamed Kaâniche, Karama Kanoun
- article
- 7th International Symposium on Software Reliability Engineering (ISSRE'96), Oct 1996, White Plains, New York, United States. ⟨10.1109/ISSRE.1996.558807⟩
- Accès au texte intégral et bibtex
-
- titre
- An Holistic Approach to Dependability ?
- auteur
- Alberto Pasquinin, W. Goerke, Karama Kanoun, A Rizzo
- article
- 15th International Conference on Computer Safety, Reliability and Security (Safecomp'96), 149-154., Oct 1996, Vienne, Austria
- Accès au texte intégral et bibtex
-
- titre
- Safety Analysis and Evaluation of an Air Traffic Control Computing System
- auteur
- Nicolae Fota, Mohamed Kaâniche, Karama Kanoun, Alain Peytavin
- article
- The 15th International Conference on Computer Safety, Reliability and Security (SAFECOMP-1996), Oct 1996, Vienne, Austria. pp.219-229
- Accès au texte intégral et bibtex
-
- titre
- Dependability of Fault-Tolerant Systems — Explicit Modeling of the Interactions Between Hardware and Software Components
- auteur
- Karama Kanoun, Marie Borrel
- article
- 2nd Annual IEEE International Computer Performance and Dependability Symposium (IPDS'96), 4-6 septembre 1996, pp.252-261, Sep 1996, Urbana-Champaign, United States
- Accès au texte intégral et bibtex
-
- titre
- Modelling the dependability of CAUTRA, a subset of the French air traffic control system
- auteur
- Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin
- article
- 26th Annual International Symposium on Fault-Tolerant Computing (FTCS-26), Jun 1996, Sendai, Japan
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Software reliability and system reliability
- auteur
- Jean-Claude Laprie, Karama Kanoun
- article
- M. Lyu. Handbook for Software Reliability Engineering, McGraw-Hill, pp.27-69, 1996, 0-07-039400-8
- Accès au texte intégral et bibtex
-
- titre
- Trend Analysis
- auteur
- Karama Kanoun, Jean-Claude Laprie
- article
- M. Lyu. Handbook for Software Reliability Engineering, McGraw-Hill, pp.401-437, 1996, 0-07-039400-8
- Accès au texte intégral et bibtex
-
1995
Book sections
- titre
- Architectural issues in software fault tolerance
- auteur
- Jean-Claude Laprie, Jean Arlat, Christian Beounes, Karama Kanoun
- article
- M. Lyu. Software Fault Tolerance,, Willey, Chapitre 3, 1995
- Accès au bibtex
-
1994
Journal articles
- titre
- SOFTWARE RELIABILITY TREND ANALYSES: FROM THEORETICAL TO PRACTICAL CONSIDERATIONS
- auteur
- Karama Kanoun, Jean-Claude Laprie
- article
- IEEE Transactions on Software Engineering, 1994, 20, pp.740 - 747
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- DATA COLLECTION FOR SOFTWARE RELIABILITY DATABASES
- auteur
- Karama Kanoun
- article
- 2nd International Coference on Reliability, maintainability and Safety (ICRMS), Jun 1994, Pékin, China. pp.3 - 10
- Accès au texte intégral et bibtex
-
- titre
- MODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DU CAUTRA (Coordinateur AUtomatique du TRafic Aérien) AVEC PRISE EN COMPTE DES DÉFAILLANCES DU MATÉRIEL ET DU LOGICIEL
- auteur
- M Borrel, Karama Kanoun, T Morteveille, A Peytavin°
- article
- 9ème Colloque International de Fiabilité et de Maintenabilité, May 1994, La Baule, France
- Accès au texte intégral et bibtex
-
- titre
- SURF-2 1 ◊ : OUTIL D'ÉVALUATION DE LA SÛRETÉ DE FONCTIONNEMENT PAR CHAÎNES DE MARKOV ET RÉSEAUX DE PETRI STOCHASTIQUES
- auteur
- S Metge, Martine Aguéra, Jean Arlat, Serge Bachmann, C. Bourdeau, J.-E Doucet, Karama Kanoun, J.-C Laprie, J Moreira, David Powell, Philippe Spiesser
- article
- 9ème Colloque International de Fiabilité et de Maintenabilité, May 1994, La Baule, France
- Accès au texte intégral et bibtex
-
Book sections
- titre
- FAULT TOLERANT COMPUTING
- auteur
- Jean-Claude Laprie, Jean Arlat, Christian Beounes, Karama Kanoun
- article
- Encyclopedia of Software Engineering, Vol.1, J.Marciniak, Ed.in Chief - Wiley Interscience, N°ISBN 0-471-54001-3, 1, pp.482 - 503, 1994
- Accès au texte intégral et bibtex
-
1993
Conference papers
- titre
- Experience in Software Reliability: From Data Collection to Quantitative Evaluation
- auteur
- Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie
- article
- Fourth International Symposium on Software Reliability Engineering (ISSRE-1993), Nov 1993, Denver, United States. pp.234-245
- Accès au texte intégral et bibtex
-
- titre
- Field failures and reliability in operation
- auteur
- Karama Kanoun, Ram Chillarege, Ravishankar Iyer, Jean-Claude Laprie, John Musa
- article
- 4th International Symposium on Software Reliability Engineering, pp.122-126., Nov 1993, Denver, United States
- Accès au texte intégral et bibtex
-
- titre
- Software Failure Data Analysis of two Successive Generations of a Switching System
- auteur
- Mohamed Kaâniche, Karama Kanoun
- article
- 12th IFAC International Conference on Computer Safety, Reliability and Security (SAFECOMP'93), Oct 1993, Poznan, Poland. ⟨10.1007/978-1-4471-2061-2_24⟩
- Accès au texte intégral et bibtex
-
- titre
- SoRel: A tool for reliability growth analysis and prediction from statistical failure data
- auteur
- Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie, Sylvain Metge
- article
- The Twenty-Third International Symposium on Fault-Tolerant Computing (FTCS-23), Jun 1993, Toulouse, France. pp.654-659, ⟨10.1109/FTCS.1993.627370⟩
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Definition and analysis of hardware-and-software fault-tolerant architectures
- auteur
- Jean-Claude Laprie, Karama Kanoun, Jean Arlat, Christian Beounes
- article
- R.H. Thayer, A.D. McGettick. Software Engineering. A European Perspective, IEEE Computer Society Press, pp.256-268, 1993
- Accès au bibtex
-
1992
Journal articles
- titre
- X-ware reliability and availability modeling
- auteur
- Jean-Claude Laprie, Karama Kanoun
- article
- IEEE Transactions on Software Engineering, 1992, 18 (2), pp.130-147
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- The discrete time hyperexponential model for software reliability growth evaluation
- auteur
- Mohamed Kaâniche, Karama Kanoun
- article
- Third International Symposium on Software Reliability Engineering (ISSRE-1992), Oct 1992, Research Triangle Park, NC, United States. pp.64 - 75, ⟨10.1109/ISSRE.1992.285857⟩
- Accès au texte intégral et bibtex
-
- titre
- COLLECTE ET ANALYSE DE DONNÉES RELATIVES A LA SÛRETÉ DE FONCTIONNEMENT DU LOGICIEL
- auteur
- Karama Kanoun
- article
- Journées nationales ISdF "Retour d'expérience et banques de données", Mar 1992, Paris, France
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Definition and analysis of hardware-and-software fault-tolerant architectures
- auteur
- Jean-Claude Laprie, Jean Arlat, Christian Beounes, Karama Kanoun
- article
- Hoang Pham. Fault-tolerant software systems: techniques and applications, IEEE Computer Society Press technology Series, Los Alamitos, pp.5-17, 1992
- Accès au bibtex
-
- titre
- Dependability modeling of software fault-tolerant systems
- auteur
- Jean Arlat, Karama Kanoun, Jean-Claude Laprie
- article
- Hoang Pham. Fault-tolerant software systems: techniques and applications, IEEE Computer Society, Press technology Series, pp.25-34, 1992
- Accès au bibtex
-
1991
Journal articles
- titre
- A method for software reliability analysis and prediction, application to the TROPICO-R switching system.
- auteur
- Karama Kanoun, Marta Bastos-Martini, Georges Moreira de Souza
- article
- IEEE Transactions on Software Engineering, 1991, 17 (4), pp.334-344
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- THE ROLE OF TREND ANALYSIS IN SOFTWARE DEVELOPMENT AND VALIDATION
- auteur
- Karama Kanoun, Jean-Claude Laprie
- article
- IFAC Int. Conf. on Safety, Security and Reliability (SAFECOMP'91), Nov 1991, Trondheim, Norway. pp.169 - 172
- Accès au texte intégral et bibtex
-
- titre
- Evaluation of bus and ring communication topologies for the DELTA-4 distributed fault-tolerant architecture
- auteur
- Karama Kanoun, David Powell
- article
- 10th IEEE Symposium on Reliable Distributed Systems, IEEE, Sep 1991, Pise, Italy. ⟨10.1109/RELDIS.1991.145415⟩
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Validation
- auteur
- Karama Kanoun, Jean Arlat, L. Burrill, Yves Crouzet, Susanne Graf, Eliane Martins, David Powell
- article
- D. Powell. DELTA-4: A generic architecture for dependable distributed computing, Volume 1, 1, Springer Verlag, pp.371-406, 1991, 3.540.54985.4
- Accès au bibtex
-
1990
Journal articles
- titre
- Analyse des défaillances et suivi de la validation du logiciel d'un équipement de télécommunication
- auteur
- Mohamed Kaâniche, Karama Kanoun, Sylvain Metge
- article
- Annals of Telecommunications - annales des télécommunications, 1990, 45 (11-12), pp.657-670
- Accès au bibtex
-
- titre
- Software reliability evaluation of the TROPICO-R switching system.
- auteur
- Karama Kanoun, Marta Bastos Martini, Georges Moreira de Souza
- article
- IEEE Transactions on Reliability, 1990, 39 (3), pp.369-379. ⟨10.1109/24.103020⟩
- Accès au bibtex
-
- titre
- DEPENDABILITY MODELING AND EVALUATION OF SOFTWARE-FAULT TOLERANT SYSTEMS
- auteur
- Jean Arlat, Karama Kanoun, Jean-Claude Laprie
- article
- IEEE Transactions on Computers, 1990, 39, pp.504 - 513
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- The transformation approach to the modeling and evaluation of the reliability and availability growth
- auteur
- Jean-Claude Laprie, Christian Beounes, Mohamed Kaâniche, Karama Kanoun
- article
- The 20th International Symposium on Fault-Tolerant Computing (FTCS-20), Jun 1990, Newcastle Upon Tyne, United Kingdom. pp.364 - 371, ⟨10.1109/FTCS.1990.89390⟩
- Accès au bibtex
-