- 15
- 6
- 4
- 1
- 1
- 1
Frank Singhoff
28
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 28
- 14
- 10
- 9
- 7
- 7
- 4
- 4
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 4
- 3
- 2
- 1
- 3
- 1
Detection of scheduling anomalies in real-time systemsJournées nationales du GDR GPL 2023, Jun 2023, Rennes, France
Communication dans un congrès
hal-04251522v1
|
|
Work-In-Progress: Models and tools to detect Real-Time Scheduling AnomaliesBrief presentation at the 42nd IEEE Real-Time Systems Symposium (RTSS), Dec 2021, Dortmund, Germany
Communication dans un congrès
hal-03361920v1
|
|
About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADLInvited speaker at SYRCoSE 2018 - 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering, May 2018, Novgorod the Great, Russia
Communication dans un congrès
hal-01825157v1
|
|
Patrons de conception pour l’analyse d’ordonnancement temps réel multiprocesseursTutoriel présenté à l’école d'été temps réel (ETR'2017), Aug 2017, Rennes, France
Communication dans un congrès
hal-01716933v1
|
|
An example of early scheduling analysis with AADLPrésentation invitée à la Journée AADL du GDR SOC-SIP, Nov 2016, Paris, France
Communication dans un congrès
hal-01419160v1
|
|
|
Teaching Real-Time Scheduling Analysis with Cheddar9ème édition de l’Ecole d’Eté « Temps Réel », Aug 2015, Rennes, France
Communication dans un congrès
hal-01166136v1
|
|
The SMART Project: Multi-Agent Scheduling Simulation of Real-time ArchitecturesEmbedded Real Time Software and Systems, Feb 2014, Toulouse, France
Communication dans un congrès
hal-00983724v1
|
Synchronization of Models of Rich Languages with Triple Graph GrammarsInternational Conference on Model Transformation (ICMT), Jul 2014, York, United Kingdom
Communication dans un congrès
hal-01083267v1
|
|
Enforcing Software Engineering Tools Interoperability: An Example with AADL Subsets.24th International Symposium on Rapid System Prototyping (RSP), Oct 2013, Montreal, Canada
Communication dans un congrès
hal-01121242v1
|
|
Scheduling analysis principles and tool for time and space partitioned systemsSimposio de informatica, Sep 2012, Lisbone, Portugal. pp.582-585
Communication dans un congrès
hal-00801305v1
|
|
AADL real -time design-pattern automatic recognitionAerotech congress, Oct 2011, Toulouse, France. pp.0-0
Communication dans un congrès
hal-00801327v1
|
|
Sélection automatique de tests de faisabilité à l'aide de patrons de conceptionSession doctorants de l'école temps réel 2011, Aug 2011, Brest, France. pp.185-188
Communication dans un congrès
hal-00801332v1
|
|
|
Forward engineering and early model validation with Smalltalk5th Argentine Smalltalk Conference., Nov 2011, Buenos Aires., Argentina
Communication dans un congrès
hal-00664435v1
|
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
Communication dans un congrès
hal-00661001v1
|
|
Comparison of six ways to extend the scope of Cheddar to AADL v2 with Osate5th international workshop on AADL and UML, Mar 2010, United Kingdom. pp.367-372
Communication dans un congrès
hal-00502111v1
|
|
|
AADL Design-Patterns and Tools for Modelling and Performance Analysis of Real-Time systemsERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
Communication dans un congrès
hal-02264385v1
|
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
Communication dans un congrès
hal-00502358v1
|
|
Towards User-Level extensibility of an Ada library : an experiment with CheddarProceedings of the 12th International Conference on Reliable Software Technologies Ada-Europe, Jun 2007, Switzerland. pp.180-191
Communication dans un congrès
hal-00502360v1
|
|
Increasing the autonomy of an underwater ROVSea Tech Week, Sep 2022, Brest, France
Poster de conférence
hal-03778490v1
|