Technical papers – pdf and bibtex

@inproceedings{FeReMiNa18,
  author = {Fejoz, L. AND Régnier, B. AND Miramont, P. AND Navet, N.},
  title = {Simulation-Based Fault Injection as a Verification Oracle for the Engineering of Time-Triggered Ethernet networks},
  booktitle = {To appear in Proceedings of Embedded Real-Time Software and Systems (ERTSS'18)},
  year = {2018},
  url = {https://www.realtimeatwork.com/wp-content/uploads/TTE-ERTSS2018.pdf}
}

@inproceedings{Bertolotti_2017,
  author = {Ivan Cibrario Bertolotti and Tingting Hu and Nicolas Navet},
  title = {Model-based design languages: A case study},
  booktitle = {2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS)},
  publisher = {IEEE},
  year = {2017},
  url = {https://www.designcps.com/wp-content/uploads/WFCS2017_Promela_vs_CPAL.pdf},
  doi = {http://doi.org/10.1109/wfcs.2017.7991964}
}

@inproceedings{HuCBNa:17,
  author = {Hu, Tingting AND Cibrario Bertolotti, Ivan AND Navet, Nicolas},
  title = {Towards Seamless Integration of N-Version Programming in Model-Based Design},
  booktitle = {Proc. 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)},
  year = {2017},
  pages = {1--8},
  note = {To appear},
  url = {https://www.designcps.com/wp-content/uploads/NVP-ETFA2017.pdf}
}

@inproceedings{HuCBNa:17_2,
  author = {Navet, Nicolas AND Cibrario Bertolotti, Ivan AND Hu, Tingting},
  title = {Software Patterns for Fault Injection in CPS Engineering},
  booktitle = {Proc. 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)},
  year = {2017},
  pages = {1--6},
  note = {To appear},
  url = {https://www.designcps.com/wp-content/uploads/fault_injection-ETFA2017.pdf}
}

@article{AlNa16,
  author = {Altmeyer, S. and Navet, N.},
  title = {Towards a Declarative Modeling and Execution Framework for Real-time Systems},
  journal = {SIGBED Review},
  publisher = {ACM},
  year = {2016},
  volume = {13},
  number = {2},
  pages = {30--33},
  note = {Initially presented at the 1st Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems (DPRTCPS '15)},
  url = {https://www.designcps.com/wp-content/uploads/DPRTCPS_2015.pdf},
  doi = {http://doi.org/10.1145/2930957.2930962}
}

@techreport{AlSuNa16,
  author = {Altmeyer, S. AND Manikandan Sundharam, S. AND Navet, N.},
  title = {The Case for FIFO Real-Time Scheduling},
  school = {University of Luxembourg},
  year = {2016},
  url = {http://orbilu.uni.lu/bitstream/10993/24935/1/FIFO_scheduling_TR.pdf}
}

@inproceedings{CiFeGuNa16,
  author = {Ciarletta, L. AND Fejoz, L. AND Guenard, A. AND Navet, N},
  title = {Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS},
  booktitle = {Proceedings Embedded Real-Time Software and Systems (ERTSS'16)},
  year = {2016},
  url = {https://www.designcps.com/wp-content/uploads/UAV-ERTSS-2016.pdf}
}

@manual{NaFe16a,
  author = {Navet, N AND Fejoz, L.},
  title = {The CPAL Programming Language},
  year = {2016},
  edition = {version 1.16},
  url = {https://www.designcps.com/wp-content/uploads/cpal-intro.pdf}
}

@inproceedings{NaFe16b,
  author = {Navet, N AND Fejoz, L.},
  title = {CPAL: High-Level Abstractions for Safe Embedded Systems},
  booktitle = {Proc. 16th Workshop on Domain-Specific Modeling},
  publisher = {ACM},
  year = {2016},
  url = {https://www.designcps.com/wp-content/uploads/DSM2016_CPAL.pdf}
}

@inproceedings{NaFeHaAl16,
  author = {Navet, N. AND Fejoz, L. AND Havet, L. AND Altmeyer, S.},
  title = {Lean Model-Driven Development through Model-Interpretation: the CPAL design flow},
  booktitle = {Proceedings of Embedded Real-Time Software and Systems (ERTSS '16)},
  year = {2016},
  url = {https://www.designcps.com/wp-content/uploads/CPAL-ERTSS-2016.pdf}
}

@inproceedings{SuAlHaNa16,
  author = {Sundharam, S. M. AND Altmeyer, S. AND Havet, L. AND Navet, N.},
  title = {A Model-Based Development Environment for Rapid-Prototyping of Latency-Sensitive Control Software},
  booktitle = {Proceedings of the 6th International Symposium on Embedded Computing and System Design (ISED)},
  year = {2016},
  url = {https://www.designcps.com/wp-content/uploads/CPAL-in-Simulink-ISED2016.pdf}
}

@inproceedings{SuAlNa16,
  author = {Sundharam, S. M. AND Altmeyer, S. AND Navet, N.},
  title = {Model Interpretation for an AUTOSAR compliant Engine Control Function},
  booktitle = {Proceedings of the 7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS)},
  year = {2016},
  url = {http://orbilu.uni.lu/bitstream/10993/27711/1/Model_Interpretation_Enginefunction_Final.pdf}
}

@inproceedings{SuAlNa16a,
  author = {Sundharam, S. M. AND Altmeyer, S. AND Navet, N.},
  title = {Poster Abstract: An Optimizing Framework for Real-Time Scheduling},
  booktitle = {Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)},
  year = {2016},
  url = {http://orbilu.uni.lu/bitstream/10993/24827/1/RTAS-Wip-2016.pdf},
  doi = {http://doi.org/10.1109/RTAS.2016.7461346}
}

@inproceedings{AlNa15,
  author = {Altmeyer, S. and Navet, N.},
  title = {Towards a declarative modeling and execution framework for real-time systems},
  booktitle = {Proceeding of the 1st Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems (DPRTCPS '15)},
  year = {2015},
  url = {https://www.designcps.com/wp-content/uploads/DPRTCPS_2015.pdf}
}

@inproceedings{AlNaFe15,
  author = {Altmeyer, S. AND Navet, N. AND Fejoz, L.},
  title = {Using CPAL to model and validate the timing behaviour of embedded systems},
  booktitle = {Proceeding of the 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS)},
  year = {2015},
  url = {http://orbilu.uni.lu/bitstream/10993/21250/1/challenge.pdf}
}

@inproceedings{SeTrGlNaTe15,
  author = {Seyler, J. R. and Streichert, T. and Gla M. and Navet, N. and Teich, J.},
  title = {Formal Analysis of the Startup Delay of SOME/IP Service Discovery},
  booktitle = {Proceedings 2015 Design, Automation & Test in Europe Conference & Exhibition},
  year = {2015},
  pages = {49--54},
  url = {https://www.designcps.com/wp-content/uploads/Date2015-SomeIP.pdf}
}