Publications

Mourad Dridi, Frank Singhoff, Stéphane Rubini, Jean-Philippe Diguet. ECTM: A network-on-chip communication model to combine task and message schedulability analysis. Journal of Systems Architecture, Elsevier, 2021, 114, pp.101931. ⟨10.1016/j.sysarc.2020.101931⟩. ⟨hal-03164501⟩

Hai Nam Tran, Stéphane Rubini, Jalil Boukhobza, Frank Singhoff. Feasibility interval and sustainable scheduling simulation with CRPD on uniprocessor platform. Journal of Systems Architecture, Elsevier, 2021, 115, pp.102007. ⟨10.1016/j.sysarc.2021.102007⟩. ⟨hal-03152032⟩

Mourad Dridi, Stéphane Rubini, Mounir Lallali, Martha Johanna Sepulveda Florez, Frank Singhoff, et al.. Design and Multi-Abstraction Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems. ACM Journal on Emerging Technologies in Computing Systems, Association for Computing Machinery, 2019, 15 (1), pp.2:1--2:37. ⟨10.1145/3264818⟩. ⟨hal-01867949⟩

Stéphane Rubini, Valérie-Anne Nicolas, Frank Singhoff, José Rufino. A Real-Time System Monitoring driven by Scheduling Analysis. Ada User Journal, 2018, 39 (4), pp.282--286. ⟨hal-01868845⟩

Valérie-Anne Nicolas, Mounir Lallali, Stéphane Rubini, Frank Singhoff. Verification of Scheduling Properties Based on Execution Traces. Ada User Journal, 2018. ⟨hal-01868846⟩

José Rufino, António Casimiro, Antónia Lopes, Frank Singhoff, Stéphane Rubini, et al.. NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.. Ada User Journal, 2018. ⟨hal-01869010⟩

Mourad Dridi, Stéphane Rubini, Frank Singhoff, Jean-Philippe Diguet. DTFM: a Flexible Model for Schedulability Analysis of Real-Time Applications on NoC-based Architectures. ACM SIGBED Review, Association for Computing Machinery (ACM), 2018, 14 (4), pp.53--59. ⟨10.1145/3177803.3177812⟩. ⟨hal-01497856⟩

Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Béchir Zalila, Mohamed Jmaiel. Multi-Objective Design Exploration Approach for Ravenscar Real-time Systems. . Real-Time Systems, Springer Verlag, 2018, 54 (2), pp 424-483. ⟨10.1007/s11241-018-9299-6⟩. ⟨hal-01717138⟩

Mourad Dridi, Stéphane Rubini, Mounir Lallali, Martha Johanna Sepulveda Florez, Frank Singhoff, et al.. Design and Multi-Abstraction Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems. ACM Journal on Emerging Technologies in Computing Systems, Association for Computing Machinery, 2018. ⟨hal-01867673⟩

Shuai Li, Frank Singhoff, Stéphane Rubini, Michel Bourdellès. Scheduling analysis of tasks constrained by TDMA: Application to software radio protocols. Journal of Systems Architecture, Elsevier, 2017, 76, pp.58-75. ⟨10.1016/j.sysarc.2016.11.003⟩. ⟨hal-01685444⟩

Arezki Laga, Jalil Boukhobza, Frank Singhoff, Michel Koskas. MONTRES : Merge ON-The-Run External Sorting algorithm for large data volumes on SSD based storage systems. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2017, 66 (10), pp.1689 - 1702. ⟨10.1109/TC.2017.2706678⟩. ⟨hal-01588600⟩

Hai-Nam Tran, Frank Singhoff, Stéphane Rubini, Jalil Boukhobza. Cache-aware real-time scheduling simulator: implementation and return of experience. ACM SIGBED Review, Association for Computing Machinery (ACM), 2016, Special Issue on the 5th Embedded Operating Systems Workshop (EWiLi 2015), 13 (1), pp.22-28 ⟨10.1145/2907972.2907975⟩. ⟨hal-01302239⟩

Hamza Ouarnoughi, Jalil Boukhobza, Frank Singhoff, Stéphane Rubini. Integrating I/Os in Cloudsim for Performance and Energy Estimation. Operating Systems Review, Association for Computing Machinery, 2016, 50 (3), pp.27-36 ⟨10.1145/3041710.3041715⟩. ⟨hal-01557984⟩

Stéphane Rubini, Christian Fotsing, Frank Singhoff, Hai-Nam Tran, Pierre Dissaux. Scheduling Analysis from Architectural Models of Embedded Multi-Processor Systems. ACM SIGBED Review, Association for Computing Machinery (ACM), 2014, 11 (1). ⟨hal-00983407⟩

Vincent Gaudel, Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand. Composition of Design Pattern : from the modeling of RTOS synchronization tools to schedulability analysis. ACM SIGBED Review, Association for Computing Machinery (ACM), 2014, 11 (1), pp.44-49. ⟨hal-01120561⟩

Li Shuai, Frank Singhoff, Stéphane Rubini, Michel Bourdellès. Applicability of Real-Time schedulability analysis on a software radio protocol. ACM SIGAda Ada Letters, 2012, 32 (3), p. 61-68. ⟨hal-00800893⟩

J. Craveiro, J. Rufino, Frank Singhoff. Architecture, Mechanisms and Scheduling analysis tool for multicore time-and space-partitioned systems. ACM SIGBED Review, Association for Computing Machinery (ACM), 2011, 8 (3), pp.23-27. ⟨hal-00800900⟩

Vincent Gaudel, Frank Singhoff, Alain Plantec, Stéphane Rubini, Pierre Dissaux, et al.. An ada design pattern recognition tool for AADL performance analysis. ACM SIGAda Ada Letters, 2011, 31 (3), pp.61-68. ⟨hal-00801282⟩

Julien Delange, Laurent Pautet, Alain Plantec, Mickael Kerboeuf, Frank Singhoff, et al.. Validate, Simulate and Implement ARINC653 Systems using the AADL. ACM SIGAda Ada Letters, 2009, 29 (3), pp.31-44. ⟨10.1145/1653616.1647435⟩. ⟨hal-00745370⟩

Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand. Investigating the usability of real-time scheduling theory with the Cheddar project. Journal of Real Time Systems. Volume 3. Number 43. Springer Verlag. ISSN:0922-6443, 2009, pp.259-295. ⟨hal-00502357⟩

Alain Plantec, Frank Singhoff. Un processus d'ingénierie de Cheddar pour la simulation de systèmes temps réel à grande échelle. Revue Génie Logiciel, ISSN:0295-6322, 2007, pp.26-35. ⟨hal-00502353⟩

Frank Singhoff, Alain Plantec. AADL Modeling and Analysis of Hierarchical Schedulers. Ada Letters, Association for Computing Machinery, 2007, pp.41-50. ⟨hal-00502359⟩

Alain Plantec, Frank Singhoff. Refactoring of an Ada 95 Library with a Meta CASE Tool. Ada Letters, Association for Computing Machinery, 2006, pp.61-70. ⟨hal-00502354⟩

Jean-Charles Roger, Pierre Dissaux, Jérôme Legrand, Mourad Dridi, Stéphane Rubini, et al.. Timing analysis of TASTE models for reconfigurable software. Model-Based Systems and Software Engineering (MBSE 2021) ESA Workshop, Sep 2021, Virtual, France. ⟨hal-03329757⟩

Blandine Djika, Frank Singhoff, Alain Plantec, Georges Kouamou. Work-In-Progress: Models and tools to detect Real-Time Scheduling Anomalies. Brief presentation at the 42nd IEEE Real-Time Systems Symposium (RTSS), Dec 2021, Dortmund, Germany. ⟨hal-03361920⟩

Ill-Ham Atchadam, Laurent Lemarchand, Hai Nam Tran, Frank Singhoff, Karim Bigou. When security affects schedulability of TSP systems: trade-offs observed by design space exploration. 25th international conference on emerging technologies and factory automaton, ETFA 2020, IEEE Industrial Electronics Society, Sep 2020, Vienna, Austria. ⟨hal-02859871⟩

P Dissaux, Frank Singhoff, L Lemarchand, Hai Nam Tran, Ill-Ham Atchadam. Combined Real-Time, Safety and Security Model Analysis. 9th European Congress ERTSS Embedded Real Time Software and System, Feb 2020, Toulouse, France. ⟨hal-02433963⟩

Thomas Alves, Jérémy Rivière, Cédric Alaux, Yves Le Conte, Frank Singhoff, et al.. An Interruptible Task Allocation Model : Application to a Honey Bee Colony Simulation. PAAMS 2020: 18th International Conference on Practical Applications of Agents and Multi-Agent Systems, Oct 2020, L'aquila, Italy. pp.3-15, ⟨10.1007/978-3-030-49778-1_1⟩. ⟨hal-02539830⟩

Thomas Alves, Jérémy Rivière, Cédric Alaux, Yves Le Conte, Frank Singhoff, et al.. Modèle d'Interruption pour la Répartition des Tâches : Application à une simulation de colonie d'abeilles. Rencontres des Jeunes Chercheur·ses en Intelligence Artificielle (RJCIA 2020 @ PFIA), Jun 2020, Angers, France. ⟨hal-03211869⟩

Mourad Dridi, Frank Singhoff, Stéphane Rubini, Jean-Philippe Diguet. ECTM: A New Communication Model to Network-On-Chip Schedulability Analysis. 24th International Conference on Reliable Software Technologies – Ada-Europe 2019, Jun 2019, Varsow, Poland. ⟨hal-02153512⟩

Ill-Ham Atchadam, Frank Singhoff, Hai Nam Tran, Nora Bouzid, Laurent Lemarchand. Combined security and schedulability analysis for MILS real-time critical architectures. 4th international workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS), Jun 2019, Stuttgart, Germany. ⟨hal-02153499⟩

Frank Singhoff, Pierre Dissaux. Scheduling analysis of AADL architecture models. Full day Tutorial présented at the CPS-WEEK conferences, Apr 2019, Montréal, Canada. ⟨hal-02153510⟩

Frank Singhoff, Pierre Dissaux. Scheduling analysis of AADL architecture models . Full day tutorial présented at the 23rd International Conference on Reliable Software Technologies - Ada-Europe, Jun 2018, Lisbon, Portugal. ⟨hal-01825034⟩

Jérémy Rivière, Cédric Alaux, Yves Le Conte, Yves Layec, André Lozac'H, et al.. Toward a Complete Agent-Based Model of a Honeybee Colony. Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, Jun 2018, Toledo, Spain. ⟨10.1007/978-3-319-94779-2_42⟩. ⟨hal-01826153⟩

Jérémy Rivière, Cédric Alaux, Yves Le Conte, Yves Layec, André Lozac'H, et al.. Recrutement et auto-organisation : Vers un modèle multi-agent complet d’une colonie d’abeilles. 26èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA'2018), Oct 2018, Métabief, France. ⟨hal-01898549⟩

Frank Singhoff, Stéphane Rubini, Hai Nam Tran, Jalil Boukhobza, Laurent Lemarchand, et al.. About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADL. Invited speaker at SYRCoSE 2018 - 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering, May 2018, Novgorod the Great, Russia. ⟨hal-01825157⟩

Mourad Dridi, Stéphane Rubini, Mounir Lallali, Martha Johanna Sepulveda Florez, Frank Singhoff, et al.. DAS: An Efficient NoC Router for Mixed-Criticality Real-Time Systems. 2017 IEEE 35th International Conference on Computer Design (ICCD), Nov 2017, Boston, United States. ⟨10.1109/ICCD.2017.42⟩. ⟨hal-01713312⟩

Stéphane Rubini, Frank Singhoff, Alain Plantec, Hai-Nam Tran, Jalil Boukhobza, et al.. Patrons de conception pour l’analyse d’ordonnancement temps réel multiprocesseurs. Tutoriel présenté à l’école d'été temps réel (ETR'2017), Aug 2017, Rennes, France. ⟨hal-01716933⟩

Mourad Dridi, Mounir Lallali, Stéphane Rubini, Frank Singhoff, Jean-Philippe Diguet. Modeling and Validation of a Mixed-Criticality NoC Router Using the IF Language. the 10th International Workshop on Network on Chip Architectures, Oct 2017, Boston, United States. ⟨10.1145/3139540.3139543⟩. ⟨hal-01713333⟩

Hamza Ouarnoughi, Jalil Boukhobza, Frank Singhoff, Stéphane Rubini. A Cost Model for Virtual Machine Storage in Cloud IaaS Context . 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP), Feb 2016, Heraklion, Greece. ⟨10.1109/PDP.2016.119⟩. ⟨hal-01302240⟩

Stéphane Rubini, Hai-Nam Tran, Mourad Dridi, Vincent Gaudel, Jalil Boukhobza, et al.. An example of early scheduling analysis with AADL. Présentation invitée à la Journée AADL du GDR SOC-SIP, Nov 2016, Paris, France. ⟨hal-01419160⟩

Arezki Laga, Jalil Boukhobza, Michel Koskas, Frank Singhoff. Lynx: A Learning Linux Prefetching Mechanism For SSD Performance Model. The 5th IEEE Non-Volatile Memory Systems and Applications Symposium (NVMSA 2016), Aug 2016, Daegu, South Korea. ⟨10.1109/NVMSA.2016.7547186⟩. ⟨hal-01354911⟩

Hamza Ouarnoughi, Jalil Boukhobza, Frank Singhoff, Stéphane Rubini, Erwann Kassis. Considering I/O Processing in CloudSim for Performance and Energy Evaluation. ISC- High Performance Computing, Jun 2016, Francfort, Germany. pp 591-603, ⟨10.1007/978-3-319-46079-6_40⟩. ⟨hal-01378353⟩

Nam Tran, Frank Singhoff, Stéphane Rubini, Jalil Boukhobza. Adapting a Fixed Priority Assignment Algorithm to Real-time Embedded Systems with Cache Memory. Colloque du GDR SoC-SiP, 2016, Rennes, France. ⟨hal-02501377⟩

Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel. Efficient Parallel Multi-Objective Optimization for Real-time Systems Software Design Exploration. International Symposium on Rapid System Prototyping (RSP'16), Oct 2016, Pittsburgh, United States. ⟨hal-01416904⟩

Pierre Dissaux, Sofien Kerkeni, Frank Singhoff. Application of AADL for Marine Control Systems. Dynamic positioning conference, Oct 2016, Houston, United States. ⟨hal-01716935⟩

Hai-Nam Tran, Frank Singhoff, Stéphane Rubini, Jalil Boukhobza. Addressing Cache Related Preemption Delay in Fixed Priority Assignment. 20th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2015, Luxembourg, France. ⟨hal-01166127⟩

Frank Singhoff, Alain Plantec, Stéphane Rubini, Hai-Nam Tran, Vincent Gaudel, et al.. Teaching Real-Time Scheduling Analysis with Cheddar. 9ème édition de l’Ecole d’Eté « Temps Réel », Aug 2015, Rennes, France. ⟨hal-01166136⟩

Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel. Architecture Exploration of Real-time Systems Based on Multi-Objective Optimization. 20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), Dec 2015, Golden Coast, Australia. ⟨hal-01196952⟩

Pierre Dissaux, Olivier Marc, Stéphane Rubini, Christian Fotsing, Vincent Gaudel, et al.. The SMART Project: Multi-Agent Scheduling Simulation of Real-time Architectures. Embedded Real Time Software and Systems, Feb 2014, Toulouse, France. ⟨hal-00983724⟩

Hai-Nam Tran, Frank Singhoff, Stéphane Rubini, Jalil Boukhobza. Integration of cache related preemption delay analysis into a priority assignment algorithm . EWiLi'14, The 4th Embedded Operating Systems Workshop., Sep 2014, Lisbon, Portugal. ⟨hal-01166868v2⟩

Etienne Borde, Smail Rahmoun, Fabien Cadoret, Laurent Pautet, Frank Singhoff, et al.. Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems. IEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India. ⟨hal-01121019⟩

Shuai Li, Frank Singhoff, Stéphane Rubini, Bourdelles Michel. Extending Schedulability Tests of Tree-Shaped Transactions for TDMA Radio Protocols.. 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014), Sep 2014, Barcelana, Spain. ⟨hal-01121229⟩

Hai-Nam Tran, Frank Singhoff, Stéphane Rubini, Jalil Boukhobza. Instruction cache in hard real-time systems: modeling and integration in scheduling analysis tools with AADL. International Conference on Embedded and Ubiquitous Computing (EUC), Aug 2014, Milan, Italy. pp.104-111, ⟨10.1109/EUC.2014.24⟩. ⟨hal-01067654⟩

Shuai Li, Stéphane Rubini, Frank Singhoff, Bourdelles Michel. Applying Holistic Schedulability Tests to Industrial Systems: Experience and Lessons Learned.. 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, Jul 2014, Madrid, Spain. ⟨hal-01121231⟩

Shuai Li, Stéphane Rubini, Frank Singhoff, Bourdelles Michel. Scheduling Analysis of TDMA-Constrained Tasks: Illustration with Software Radio Protocols.. 11th IEEE International Conference on Embedded Software and Systems, Aug 2014, paris, France. ⟨hal-01121232⟩

Jérôme Hugues, Frank Singhoff. AADLv2, An Architecture Description Language for the Analysis and Generation of Embedded Systems. Half day tutorial presented in the ACM HILT conference, Oct 2014, Portland, United States. ⟨hal-01121239⟩

Frank Singhoff, Jérôme Hugues. AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems. Half day tutorial presented in the International MODELS conferences, Sep 2014, Valencia, Spain. ⟨hal-01121240⟩

Stéphane Rubini, Pierre Dissaux, Frank Singhoff. Modeling Shared-Memory Multiprocessor Systems with AADL. 1st Architecture Centric Virtual Integration (ACVI) Workshop. In conjonction with the MODELS international conference., Sep 2014, Valencia, Spain. ⟨hal-01121245⟩

Shuai Li, Stéphane Rubini, Frank Singhoff, Bourdelles Michel. A Task Model for TDMA Communications. 9th IEEE International Symposium on Industrial Embedded Systems. WIP Session., Jun 2014, Pisa, Italy. ⟨hal-01121247⟩

Hamza Ouarnoughi, Jalil Boukhobza, Frank Singhoff, Stéphane Rubini. A Multilevel I/O Tracer for Timing and Performance Analysis of Storage Systems in IaaS Cloud. 3rd IEEE Real-Time and Distributed Computing in Emerging Applications (REACTION ), Dec 2014, Rome, Italy. ⟨hal-01097125⟩

Dominique Blouin, Pierre Dissaux, Frank Singhoff, Alain Plantec, Jean-Philippe Diguet. Synchronization of Models of Rich Languages with Triple Graph Grammars. International Conference on Model Transformation (ICMT), Jul 2014, York, United Kingdom. ⟨hal-01083267⟩

Etienne Borde, Laurent Pautet, Fabien Cadoret, Smail Rahmoun, Frank Singhoff. Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems. International Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50. ⟨hal-01115723⟩

P Dissaux, O Marc, S. Rubini, C Fotsing, V Gaudel, et al.. The SMART Project: Multi-Agent Scheduling Simulation of Real-time Architectures. Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France. ⟨hal-02272192⟩

Frank Singhoff. Cheddar : about the usability of the real-time scheduling theory. CCT CNES Seminar, Jun 2013, Toulouse, France. ⟨hal-01121003⟩

Jérôme Hugues, Frank Singhoff. AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems. Half day tutorial presented in the International EMSOFT/ESWEEK conferences, Sep 2013, Montreal, Canada. ⟨hal-01121241⟩

Fabien Cadoret, Robert Thomas, Etienne Borde, Laurent Pautet, Frank Singhoff. Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL. 17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2013), Jun 2013, Paderborn, Germany. ⟨hal-01121244⟩

Vincent Gaudel, Alain Plantec, Frank Singhoff, Jérôme Hugues, Pierre Dissaux, et al.. Enforcing Software Engineering Tools Interoperability: An Example with AADL Subsets.. 24th International Symposium on Rapid System Prototyping (RSP), Oct 2013, Montreal, Canada. ⟨hal-01121242⟩

Frank Singhoff. About architecture description languages and scheduling analysis. Schloss Dagstuhl Seminar number 12272, Driven semantic analysis of embedded systems, Jul 2012, Dagstuhl, Germany. ⟨hal-00801297⟩

J. Craveiro, J.L. Souza, J. Rufino, Vincent Gaudel, Laurent Lemarchand, et al.. Scheduling analysis principles and tool for time and space partitioned systems. Simposio de informatica, Sep 2012, Lisbone, Portugal. pp.582-585. ⟨hal-00801305⟩

Stéphane Rubini, Frank Singhoff, J. Hugues. Modeling and verification of memory architectures with AADL and REAL. In the proceedings of the 16th IEEE international conference on engineering of complex computer systems, Apr 2011, Las Vegas, United States. pp.338-343. ⟨hal-00801329⟩

Vincent Gaudel, Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand. Sélection automatique de tests de faisabilité à l'aide de patrons de conception. Session doctorants de l'école temps réel 2011, Aug 2011, Brest, France. pp.185-188. ⟨hal-00801332⟩

Pierre Dissaux, J. Legrand, Vincent Gaudel, Alain Plantec, Stéphane Rubini, et al.. AADL real -time design-pattern automatic recognition. Aerotech congress, Oct 2011, Toulouse, France. pp.0-0. ⟨hal-00801327⟩

J. Mccormick, Frank Singhoff. Building embedded real-time applications. ACM SIGAda conférence, Nov 2011, Denver, Colorado, United States. ⟨hal-00801301⟩

Alain Plantec, Frank Singhoff, V Gaudel, Vincent Ribaud. Forward engineering and early model validation with Smalltalk. 5th Argentine Smalltalk Conference., Nov 2011, Buenos Aires., Argentina. ⟨hal-00664435⟩

J. Hugues, Laurent Pautet, M Filali, Frank Singhoff. Panel session on AADL and its annexes. Panel session on AADL and its annexes 2010, Mar 2010, University of Oxford, United Kingdom. ⟨hal-00652435⟩

P. Disseaux, Alain Plantec, Mickael Kerboeuf, Frank Singhoff. AADL design patterns and tools for modelling and performance analysis of real-time systems.. 5th european congress ERTSS Embedded Real-Time Software and System., May 2010, France. ⟨hal-00661001⟩

Mickael Kerboeuf, Alain Plantec, Frank Singhoff, A. Schach, Pierre Dissaux. Comparison of six ways to extend the scope of Cheddar to AADL v2 with Osate. 5th international workshop on AADL and UML, Mar 2010, United Kingdom. pp.367-372. ⟨hal-00502111⟩

Pierre Dissaux, Jérôme Legrand, Alain Plantec, Mickael Kerboeuf, Frank Singhoff. AADL Design-Patterns and Tools for Modelling and Performance Analysis of Real-Time systems. ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. ⟨hal-02264385⟩

Frank Singhoff. About Real Time Scheduling Analysis of Ada Applications. Tutorial presented in the 13th International Conference on Reliable Software Technologies, Ada-Europe, Jun 2008, Italy. pp.x-y. ⟨hal-00504346⟩

Pierre Dissaux, Frank Singhoff. Stood and Cheddar: AADL as a Pivot Language for Analysing Performances of Real Time Architectures. 4th European Congress ERTS 2008, Jan 2008, Toulouse, France, France. ⟨hal-02269760⟩

Frank Singhoff, Alain Plantec, Pierre Dissaux. Can we increase the usability of real time scheduling theory ? The Cheddar project.. Invited paper in the 13th International Conference on Reliable Software technologies, Ada-Europe, LNCS/Lecture notes on computer science, Springer-Verlag editor, Jun 2008, France. ⟨hal-00502358⟩

Frank Singhoff, Alain Plantec. Towards User-Level extensibility of an Ada library : an experiment with Cheddar. Proceedings of the 12th International Conference on Reliable Software Technologies Ada-Europe, Jun 2007, Switzerland. pp.180-191. ⟨hal-00502360⟩

Frank Singhoff. Real Time Scheduling and its use with Ada. Tutorial presented to the annual international conference of the ACM SIGAda, Nov 2007, United States. pp.x-y. ⟨hal-00504347⟩

Frank Singhoff, Laurent Tchamnda Nana, Jérôme Legrand. Implementing an AADL performance analyzer. DASIA 2006, May 2006, Germany. pp.SP-630. ⟨hal-00504348⟩

Jean-Luc Cojan, Loic Plassart, Frank Singhoff, Philippe Le Parc. Performance Analysis of an Assembly System: a Case Study. 2nd European Modeling and Simulation Symposium October 4-6, 2006. Barcelone. pp. 189-194. Octobre 2006, Oct 2006, Barcelone, Spain. pp.189-194. ⟨hal-00498658⟩

Loic Plassart, Philippe Le Parc, Frank Singhoff, Lionel Marcé. Performance evaluation of a controlled flow-shop system with a timed petri net model. ICINCO 2006, Third International Conference on Informatics in Control, Automation and Robotics, Robotics and Automation, Aug 2006, setubal, Portugal. pp.494-499. ⟨hal-00498627v2⟩

J.W Mccormick, Frank Singhoff, J. Hugues. Building Parallel, Embedded, and Real-Time applications with Ada.. Cambridge university press UK, 365 p., 2011, 13:9780521197168. ⟨hal-00800816⟩

Jeremy Riviere, Cédric Alaux, Yves Le Conte, Yves Layec, André Lozac’h, et al.. Toward a Complete Agent-Based Model of a Honeybee Colony. Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection : International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings, 887 (Chapter 42), Springer International Publishing Ag, 552 p. - XXIII, 2018, Communications in Computer and Information Science, 978-3-319-94778-5. ⟨10.1007/978-3-319-94779-2_42⟩. ⟨hal-02786982⟩

Jalil Boukhobza, Jean-Philippe Diguet, Frank Singhoff. SIGBED Review, Volume 13, Number 1, January 2016 : Special Issue on 5th Embedded Operating Systems Workshop (EWiLi 2015). France. 13 (1), ACM, 2016, 1551-3688. ⟨hal-01302238⟩

Jalil Boukhobza, Jean-Philippe Diguet, Pierre Ficheux, Frank Singhoff. SIGBED Review, Volume 11, Number 1, February 2014 Special Issue the 4th Workshop on Embed With Linux (EWiLi 2014). ACM. France. 11 (4), ACM, 2014, ISSN: 1551-3688. ⟨hal-01166165⟩

Jalil Boukhobza, Jean-Philippe Diguet, Frank Singhoff. SIGBED Review, Volume 11, Number 1, February 2014 Special Issue the 3rd Workshop on Embed With Linux (EWiLi 2013). ACM, pp.79, 2014, 1551-3688. ⟨hal-00977927⟩

Jalil Boukhobza, Jean-Philippe Diguet, Frank Singhoff. SIGBED Review, Volume 9, Number 2, June 2012 Special Issue the 2nd Workshop on Embed With Linux (EWiLi 2012). ACM, pp.47, 2012, 1551-3688. ⟨hal-00806936⟩

Mourad Dridi, Stéphane Rubini, Mounir Lallali, Frank Singhoff, Jean-Philippe Diguet, et al.. NoC and Mixed-criticality Systems. 2017. ⟨hal-01716934⟩