FoToVP



Ce projet fait partie du programme ARA SETIN
This project belongs to the ARA SETIN programme.

 

Menu
Accueil / Home
Participants

Réunions physiques/ Meetings
Grenoble, 05/06/07
Rennes, 27/05/08
Paris, 05/09/08 First Evaluation
Paris Montparnasse, 14/04/09
Paris Montparnasse, 30/06/09



Documents
Liste


Publications

 
CNRS-VERIMAG :

  1. N. Halbwachs, E. Jahier, P. Raymond, X. Nicollin, D. Lesens
    Virtual execution of AADL models via a translation into synchronous programs
    Seventh International Conference on Embedded Software (EMSOFT 2007), September 30 - October 5, 2007 Salzburg, Austria

  2. C. Traulsen, J. Cornet, M. Moy and F. Maraninchi

    A SystemC/TLM semantics in Promela and its possible applications,
    14th Workshop on Model Checking Software  (SPIN '07)     July 1-3, 2007, Berlin, Germany

  3. P. Raymond, Y. Roux, E. Jahier
    Specifying and executing reactive scenarios with Lutin
    SLA++P'07, ETAPS'07 Satellite Workshop on Model-driven High-level Programming of Embedded Systems,     March 31, 2007, Braga, Portugal

  4. F. Maraninchi, L. Samper, K. Baradon, A. Vasseur
    Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks
    SLA++P'07, ETAPS'07 Satellite Workshop on Model-driven High-level Programming of Embedded Systems,     March 31, 2007, Braga, Portugal

  5. J. Cornet, F. Maraninchi, and L. Maillet-Contoz
    A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-Chip
    Design Automation and Test in Europe (DATE) , March 10-14, 2008, Munich, Germany
    Full text available

  6. Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
    Synchronous modeling and validation of schedulers dealing with shared resources
    Verimag Technical Report number TR-2008-10, July 2008.

  7. E. Jahier, N. Halbwachs, P. Raymond.
    Synchronous modeling and validation of priority inheritance schedulers
    Proc. of Fundamental Approaches to Software Engineering (FASE'09) York, UK, 22 - 29 March, 2009

  8. K. Altisen, M. Moy
    Arrival Curves for Real-Time Calculus: the Causality Problem and its Solutions ,
    To appear in TACAS'10, Sixteenth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, Paphos, Cyprus, 2010

  9. Kevin Marquet, Matthieu Moy
    PinaVM: a SystemC Front-End Based on an Executable Intermediate Representation
    To appear in EMSOFT'10, International Conference on Embedded Software , Scottsdale, USA, 2010

  10. Kevin Marquet, Matthieu Moy, Bageshri Karkare
    A Theoretical and Experimental Review of SystemC Front-ends
    To appear in FDL'10, Forum for Design Languages, Southampton, GB, 2010



VERIMAG + INRIA-ESPRESSO :
  1. June 2009: INRIA Research Report 6976, see HAL
  2. September 2009: AVOCS'09 paper accepted
    3. (the published version of the above research report).



INRIA-ESPRESSO :

  1. Ma, Y., Talpin, J.-P.,Gautier, T.
    Virtual prototyping AADL architectures in a polychronous model of computation
    ACM-IEEE Conference on Methods and Models for Codesign (MEMOCODE'08). IEEE, June 2008.
  2. Shukla, S. K., Suhaib, S. M., Mathaikutty, D. A., Talpin, J.-P
    On the polychronous approach to embedded software design
    Next generation design and verification methodologies for distributed embedded systems (GM R&D WORKSHOP'07), Springer Verlag, 2007.

Valid HTML 4.0! Valid CSS!