Follow
Alain Plantec
Title
Cited by
Cited by
Year
Validate, simulate, and implement ARINC653 systems using the AADL
J Delange, L Pautet, A Plantec, M Kerboeuf, F Singhoff, F Kordon
Proceedings of the ACM SIGAda annual international conference on Ada and …, 2009
892009
AADL modeling and analysis of hierarchical schedulers
F Singhoff, A Plantec
Proceedings of the 2007 ACM international Conference on Sigada Annual …, 2007
722007
Investigating the usability of real-time scheduling theory with the Cheddar project
F Singhoff, A Plantec, P Dissaux, J Legrand
Real-Time Systems 43 (3), 259-295, 2009
682009
Synchronization of models of rich languages with triple graph grammars: an experience report
D Blouin, A Plantec, P Dissaux, F Singhoff, JP Diguet
Theory and Practice of Model Transformations: 7th International Conference …, 2014
252014
The SMART project: Multi-agent scheduling simulation of real-time architectures
P Dissaux, OM Marc, S Rubini, C Fotsing, V Gaudel, F Singhoff, A Plantec, ...
Embedded Real Time Software and Systems, -, 2014
232014
An ada design pattern recognition tool for aadl performance analysis
V Gaudel, F Singhoff, A Plantec, S Rubini, P Dissaux, J Legrand
ACM SIGAda Ada Letters 31 (3), 61-68, 2011
222011
Can we increase the usability of real time scheduling theory? The Cheddar project
F Singhoff, A Plantec, P Dissaux
Reliable Software Technologies–Ada-Europe 2008: 13th Ada-Europe …, 2008
202008
A network resource management framework for multimedia applications distributed in heterogeneous home networks
M Louvel, P Bonhomme, JP Babau, A Plantec
2011 IEEE International Conference on Advanced Information Networking and …, 2011
172011
PLATYPUS: A STEP-based integration framework
A Plantec, V Ribaud
IDIMT 2006, 261-274, 2006
162006
Towards User-Level extensibility of an Ada library: an experiment with Cheddar
F Singhoff, A Plantec
Ada-Europe, 180-191, 2007
152007
Refactoring of an ada 95 library with a meta case tool
A Plantec, F Singhoff
Proceedings of the 2006 annual ACM SIGAda international conference on Ada, 61-70, 2006
152006
Enforcing applicability of real-time scheduling theory feasibility tests with the use of design-patterns
A Plantec, F Singhoff, P Dissaux, J Legrand
Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
142010
Debugging cyber-physical systems with pharo: An experience report
M Marra, EG Boix, S Costiou, M Kerboeuf, A Plantec, G Polito, S Ducasse
Proceedings of the 12th edition of the International Workshop on Smalltalk …, 2017
132017
Enforcing software engineering tools interoperability: An example with aadl subsets
V Gaudel, A Plantec, F Singhoff, J Hugues, P Dissaux, J Legrand
2013 International Symposium on Rapid System Prototyping (RSP), 59-65, 2013
132013
Cheddar architecture description language
C Fotsing, F Singhoff, A Plantec, V Gaudel, S Rubini, S Li, HN Tran, ...
Lab-STICC technical report, 2014
122014
Lub: A pattern for fine grained behavior adaptation at runtime
S Costiou, M Kerboeuf, G Cavarle, A Plantec
Science of Computer Programming 161, 149-171, 2018
92018
Quantity of resource aggregation for heterogeneous resource reservation for multimedia applications
M Louvel, J Pulou, A Plantec, JP Babau
2010 IEEE 15th Conference on Emerging Technologies & Factory Automation …, 2010
82010
EUGENE: a STEP-based framework to build Application Generators. AWCSET’98
A Plantec, V Ribaud
CSIRO-Macquarie University, 1998
71998
Pragmas: Literal messages as powerful method annotations
S Ducasse, E Miranda, A Plantec
Proceedings of the 11th edition of the International Workshop on Smalltalk …, 2016
62016
Des patrons de conception pour assurer l'analyse d'architectures: un exemple avec l'analyse d'ordonnancement
A PLANTEC
UNIVERSITÉ DE BRETAGNE OCCIDENTALE, 2014
62014
The system can't perform the operation now. Try again later.
Articles 1–20