Leiter

Nicolas NAVET

Full professor in Computer science

Research Scientist

Tingting HU

Research scientist

Doktorand

Patrick KELLER

Doctoral researcher

TIEU LONG MAI

Doctoral researcher

Ricardo Gonzalez de Oliveira

Doktorand

Past Members

Sebastian ALTMEYER

Research Fellow

Guillaume BRAU

Doktorand

Sakthivel Manikandan SUNDHARAM

Doktorand

2021

Journal Article

• Deep Learning to Predict the Feasibility of Priority-Based Ethernet Network Configurations, Mai Tieu Long, Navet Nicolas. In: ACM Transactions on Cyber-Physical Systems, University of Luxembourg.

Conference Paper

• Improvements to Deep-Learning-based Feasibility Prediction of Switched Ethernet Network Configurations, Mai Tieu Long, Navet Nicolas. In: The 29th International Conference on Real-Time Networks and Systems (RTNS2021).
• Virtual Verification of Cause-Effect Chains in Automotive Cyber-Physical Systems, Gonzalez de Oliveira Ricardo, Raghupatruni Indrasen, Hamman Arne, Henkel Achim. In: 21. Internationales Stuttgarter Symposium, Springer.

Thesis

• Enhancing Smart Grid Resilience and Reliability by Using and Combining Simulation and Optimization Methods, Antoniadis Nikolaos, Jury: Le Traon Yves (Promotor), Navet Nicolas (President), Barais Olivier (Member), Kubler Sylvain (Member), Cordy Maxime (Member).

2020

Journal Article

• Automated Fault Tolerance Augmentation in Model-Driven Engineering for CPS, Hu Tingting, Cibrario Bertolotti Ivan, Navet Nicolas, Havet Lionel. In: Computer Standards and Interfaces, Elsevier.

2019

Journal Article

• Event Notification in CAN-based Sensor Networks, Bloom Gedare, Cena Gianluca, Cibrario Bertolotti Ivan, Hu Tingting, Navet Nicolas, Valenzano Adriano. In: IEEE Transactions on Industrial Informatics.
• On a Software-Defined CAN Controller for Embedded Systems, Cena Gianluca, Cibrario Bertolotti Ivan, Hu Tingting, Valenzano Adriano. In: Computer Standards and Interfaces, Elsevier.

Conference Paper

• A Hybrid Machine Learning and Schedulability Method for the Verification of TSN Networks, Mai Tieu Long, Navet Nicolas, Migge Jörn. In: 15th IEEE International Workshop on Factory Communication Systems (WFCS2019), IEEE.
• On the use of supervised machine learning for assessing schedulability: application to Ethernet TSN, Mai Tieu Long, Navet Nicolas, Migge Jörn. In: 27th International Conference on Real-Time Networks and Systems (RTNS 2019).

Thesis

• CONFIDENCE-BASED DECISION-MAKING SUPPORT FOR MULTI-SENSOR SYSTEMS, Neyens Gilles, Jury: Zampunieris Denis (Promotor), van der Torre Leon (President), Waber Jens (Member), Cleve Anthony (Member), Navet Nicolas (Member).
• Timing-aware Model Based Design with Application to Automotive Embedded Systems, Sundharam Sakthivel Manikandan, Jury: Navet Nicolas (Promotor), Kelsen Pierre (President), Le Traon Yves (Member), Altmeyer Sebastian (Member), Grolleau Emmanuel (Member).
• TOWARDS A MODELLING FRAMEWORK WITH TEMPORAL AND UNCERTAIN DATA FOR ADAPTIVE SYSTEMS, Mouline Ludovic, Jury: Le Traon Yves (Promotor), Barais Olivier (Promotor), Navet Nicolas (President), Wimmer Manuel (Member), Collet Philippe (Member), Bourcier Johann (Member).

2018

Journal Article

• A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints, Sundharam Sakthivel Manikandan, Navet Nicolas, Altmeyer Sebastian, Havet Lionel. In: Sensors, Molecular Diversity Preservation International (MDPI).
• Pre-shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS Mechanism, Navet Nicolas, Migge Jörn, Villanueva Josetxo, Boyer Marc. In: SAE International Journal of Passenger Cars - Electronic and Electrical Systems, SAE || Society of Automotive Engineers.
• Towards the Systematic Analysis of Non-Functional Properties in Model-Based Engineering for Real-Time Embedded Systems, Brau Guillaume, Navet Nicolas, Hugues Jérôme. In: Science of Computer Programming, Elsevier Science.

Conference Paper

• Error detection and management in CAN XR, Cena Gianluca, Cibrario Bertolotti Ivan, Hu Tingting, Valenzano Adriano. In: 2018 14th IEEE International Workshop on Factory Communication Systems (WFCS).
• Insights on the Performance and Configuration of AVB and TSN in Automotive Ethernet Networks, Migge Jörn, Villanueva Josetxo, Navet Nicolas, Boyer Marc. In: Proc. Embedded Real-Time Software and Systems (ERTS 2018).
• Pre-shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS Mechanism, Navet Nicolas, Migge Jörn, Villanueva Josetxo, Boyer Marc. In: Proc. WCX World Congress Experience, SAE.
• Simulation-Based Fault Injection as a Verification Oracle for the Engineering of Time-Triggered Ethernet networks, Fejoz Loïc, Regnier Bruno, Miramont Philippe, Navet Nicolas. In: Proc. Embedded Real-Time Software and Systems (ERTS 2018).

2017

Journal Article

• CAN With eXtensible In-Frame Reply: Protocol Definition and Prototype Implementation, Cena Gianluca, Cibrario Bertolotti Ivan, Hu Tingting, Valenzano Adriano. In: IEEE Transactions on Industrial Informatics.

Conference Paper

• A Low-Overhead Framework for Inexpensive Embedded Control Systems, Cibrario Bertolotti Ivan, Hu Tingting, Ghafour Zadeh Kashani Gilda. In: Proc. 12th International Conference on Digital Telecommunications (ICDT2017).
• Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study, Brau Guillaume, Navet Nicolas, Hugues Jérôme. In: 25th International Conference on Real-Time Networks and Systems, Grenoble 4-6 October 2017, ACM.
• Model-based design languages: A case study, Cibrario Bertolotti Ivan, Hu Tingting, Navet Nicolas. In: 2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS), IEEE.
• Optimized event notification in CAN through in-frame replies and Bloom filters, Bloom Gadare, Cena Gianluca, Cibrario Bertolotti Ivan, Hu Tingting, Valenzano Adriano. In: 2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS), IEEE.
• Software patterns for fault injection in CPS engineering, Navet Nicolas, Cibrario Bertolotti Ivan, Hu Tingting. In: 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE.
• Supporting Security Protocols on CAN-Based Networks, Bloom Gedare, Cena Gianlua, Cibrario Bertolotti Ivan, Hu Tingting, Valenzano Adriano. In: 2017 IEEE 18th International Conference on Industrial Technology (ICIT2017).
• Towards Seamless Integration of N-Version Programming in Model-Based Design, Hu Tingting, Cibrario Bertolotti Ivan, Navet Nicolas. In: 22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA’2017), Limassol, Cyprus, September 12-15 2017, IEEE.

Thesis

• Integration of the analysis of non-functional properties in Model-Driven Engineering for embedded systems, Brau Guillaume, Jury: Navet Nicolas (Promotor), Hugues Jérôme (Promotor), Kelsen Pierre (President), de Saqui-Sannes Pierre (Member), Grolleau Emmanuel (Member), Singhoff Frank (Member).
• On the Use of Alloy in Engineering Domain Specific Modeling Languages, Gammaitoni Loïc, Jury: Kelsen Pierre (Promotor), Sorger Ulrich (President), Combemale Benoit (Member), Cuhna Alcino (Member), Navet Nicolas (Member).

2016

Journal Article

• Regime switching model for financial data: empirical risk analysis, Khaled Salhi, Deaconu Madalina, Lejay Antoine, Champagnat Nicolas, Navet Nicolas. In: Physica A: Statistical Mechanics and its Applications, Elsevier Science.
• Towards a declarative modeling and execution framework for real-time systems, Altmeyer Sebastian, Navet Nicolas. In: ACM SIGBED Review.

Conference Paper

• A Model-Based Development Environment for Rapid-Prototyping of Latency-Sensitive Automotive Control Software, Sundharam Sakthivel Manikandan, Havet Lionel, Altmeyer Sebastian, Navet Nicolas. In: Proceedings of 6th Intentional Symposium on Embedded computing & system Design (ISED 2016).
• Connected Motorized Riders - A Smart Mobility System to Connect Two and Three-wheelers, Sundharam Sakthivel Manikandan, Fejoz Loic, Navet Nicolas. In: Proceedings of 6th Intentional Symposium on Embedded computing & system Design (ISED 2016).
• CPAL: High-Level Abstractions for Safe Embedded Systems, Navet Nicolas, Fejoz Loïc. In: DSM 2016: Proceedings of the International Workshop on Domain-Specific Modeling, ACM.
• Model Interpretation for an AUTOSAR compliant Engine Control Function, Sundharam Sakthivel Manikandan, Altmeyer Sebastian, Navet Nicolas. In: 7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS).
• Poster Abstract: An Optimizing Framework for Real-Time Scheduling, Sundharam Sakthivel Manikandan, Altmeyer Sebastian, Navet Nicolas. In: Proceedings of 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2016).

Thesis

• Enabling Model-Driven Live Analytics For Cyber-Physical Systems: The Case of Smart Grids, Hartmann Thomas, Jury: Le Traon Yves (Promotor), Navet Nicolas (President), Fouquet François (Member), Cabot Jordi (Member), Taïani François (Member), Klein Jacques (Member).
• Towards Ambient Intelligent Applications Using Models@run.time And Machine Learning For Context-Awareness, Moawad Assaad, Jury: Le Traon Yves (Promotor), Navet Nicolas (President), Fouquet François (Member), Rouvoy Romain (Member), Sahraoui Houari (Member).

2015

Journal Article

• Insights on the Configuration and Performances of SOME/IP Service Discovery, Seyler Jan, Navet Nicolas, Fejoz Loïc. In: SAE International Journal of Passenger Cars- Electronic and Electrical Systems, SAE International.

Conference Paper

• A Contract-Based approach to support Goal-Driven Analysis, Brau Guillaume, Hugues Jérôme, Navet Nicolas. In: Proceedings of the IEEE 18th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE.
• Formal Analysis of the Startup Delay of SOME/IP Service Discovery, Seyler Jan, Streichert Thilo, Glaß Michael, Navet Nicolas, Teich Jürgen. In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, EDA Consortium.
• Using CPAL to model and validate the timing behaviour of embedded systems, Altmeyer Sebastian, Navet Nicolas, Fejoz Loïc. In: 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS).

Thesis

• Supporting Stress Testing in Real-Time Systems with Constraint Programming, Di Alesio Stefano, Jury: Briand Lionel (Promotor), Nejati Shiva (Promotor), Gotlieb Arnaud (Promotor), Navet Nicolas (President), Régin Jean-Charles (Member), Gérard Sébastian (Member).

2014

Conference Paper

• Analysis as a first-class citizen: an application to Architecture Description Languages, Hugues Jérôme, Brau Guillaume. In: Proceedings of the IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE.

2013

Conference Paper

• Combining static priority and weighted round-robin like packet scheduling in AFDX for incremental certification and mixed-criticality support, Boyer Marc, Navet Nicolas, Fumey Marc, Migge Jörn, Havet Lionel. In: Proceedings of the 5th European Conference for Aeronautics and Space Sciences (EUCASS).
• Refinement of AADL models using early-stage analysis methods, Brau Guillaume, Hugues Jérôme, Navet Nicolas. In: Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Linköping University Electronic Press; Linköpings universitet.