Alain Plantec
Citado por
Citado por
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
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
AADL modeling and analysis of hierarchical schedulers
F Singhoff, A Plantec
Proceedings of the 2007 ACM international Conference on Sigada Annual …, 2007
The SMART project: Multi-agent scheduling simulation of real-time architectures
P Dissaux, O Marc, S Rubini, C Fotsing, V Gaudel, F Singhoff, A Plantec, ...
Embedded Real Time Software and Systems, -, 2014
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
Synchronization of models of rich languages with triple graph grammars: an experience report
D Blouin, A Plantec, P Dissaux, F Singhoff, JP Diguet
International Conference on Theory and Practice of Model Transformations …, 2014
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
Can we increase the usability of real time scheduling theory? The Cheddar project
F Singhoff, A Plantec, P Dissaux
International Conference on Reliable Software Technologies, 240-253, 2008
PLATYPUS: A STEP-based integration framework
A Plantec, V Ribaud
IDIMT 2006, 261-274, 2006
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
Towards User-Level extensibility of an Ada library: an experiment with Cheddar
F Singhoff, A Plantec
International Conference on Reliable Software Technologies, 180-191, 2007
Enforcing applicability of real-time scheduling theory feasibility tests with the use of design-patterns
A Plantec, F Singhoff, P Dissaux, J Legrand
International Symposium On Leveraging Applications of Formal Methods …, 2010
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
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
Cheddar architecture description language
C Fotsing, F Singhoff, A Plantec, V Gaudel, S Rubini, S Li, HN Tran, ...
Lab-STICC technical report, 2014
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
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
Exploitation de la norme STEP pour la spécification et la mise en œuvre de générateurs de code
A Plantec
PhD thesis, Université de Rennes I, 35065 Rennes cedex, France, 1999
Utilisation de la norme STEP pour la spécification et la mise en œuvre de générateurs de code
A Plantec
Rennes 1, 1999
EUGENE: a STEP-based framework to build Application Generators. AWCSET’98
A Plantec, V Ribaud
CSIRO-Macquarie University, 1998
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20