Publications HAL du labo/EPI aoste

2017

Article dans une revue

titre
Scheduling Live Migration of Virtual Machines
auteur
Vincent Kherbache, Eric Madelaine, Fabien Hermenier
article
IEEE transactions on cloud computing, IEEE, 2017, pp.1-14. 〈10.1109/TCC.2017.2754279〉
Accès au bibtex
BibTex

Communication dans un congrès

titre
Probabilistic Analysis for Mixed Criticality Systems using Fixed Priority Preemptive Scheduling
auteur
Dorin Maxim, Robert Davis, Liliana Cucu-Grosjean, Arvind Easwaran
article
RTNS 2017 - International Conference on Real-Time Networks and Systems, Oct 2017, Grenoble, France. pp.10, 2017, 〈10.1145/3139258.3139276〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01614684/file/RTNS2017_DMaxim_pMC_final.pdf BibTex
titre
Analysis and Simulation Tools for Probabilistic Real-Time Systems
auteur
Dorin Maxim, Antoine Bertout
article
8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), Jun 2017, Dubrovnik, Croatia. 2017, 〈https://waters2017.inria.fr/〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01552798/file/WATERS_2017_probabilistic-analysis.pdf BibTex
titre
Automatic parallelization of multi-rate fmi-based co-simulation on multi-core
auteur
Salah Eddine Saidi, Nicolas Pernet, Yves Sorel
article
TMS/DEVS 2017 - Symposium on Theory of Modeling and Simulation , Apr 2017, Virginia Beach, United States. ACM, Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, pp.Article No. 5 2017, 〈http://scs.org/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01610268/file/final_cr_paper.pdf BibTex
titre
Probabilistic Schedulability Analysis for Fixed Priority Mixed Criticality Real-Time Systems
auteur
Yasmina Abdeddaïm, Maxim Dorin
article
Design, Automation and Test in Europe - DATE 2017, Mar 2017, Lausanne, Switzerland
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-01583159/file/main.pdf BibTex

Rapport

titre
Parametric and Non-Parametric Statistics for Program Performance Analysis and Comparison
auteur
Julien Worms, Sid Touati
article
[Research Report] RR-8875, INRIA Sophia Antipolis - I3S; Université Nice Sophia Antipolis; Université Versailles Saint Quentin en Yvelines; Laboratoire de mathématiques de Versailles. 2017, pp.70
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01286112/file/main-VARCORE.pdf BibTex
titre
Sheep in wolf's clothing: Implementation models for data-flow multi-threaded software
auteur
Keryan Didier, Albert Cohen, Adrien Gauffriau, Amaury Graillat, Dumitru Potop-Butucaru
article
[Research Report] RR-9057, Inria Paris. 2017, pp.31
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01509314/file/RR-9057.pdf BibTex

2016

Article dans une revue

titre
Periodicity of real-time schedules for dependent periodic tasks on identical multiprocessor platforms
auteur
Goossens Joël, Emmanuel Grolleau, Liliana Cucu-Grosjean
article
Real-Time Systems, Springer Verlag, 2016, 52 (6), pp.808-832. 〈10.1007/s11241-016-9256-1〉
Accès au bibtex
BibTex
titre
Towards a bisimulation theory for open synchronized networks of automata
auteur
Eric Madelaine, Min Zhang
article
Science China Information Sciences, 2016, Special Focus on Advanced Technology of Software, 59 (5), pp.3. 〈10.1007/s11432-016-5557-1〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01417652/file/ScienceChina-PNets.pdf BibTex
titre
A review of priority assignment in real-time systems
auteur
Robert I. Davis, Liliana Cucu-Grosjean, Marko Bertogna, Alan Burns
article
Journal of Systems Architecture, Elsevier, 2016, 65, pp.64 - 82
Accès au bibtex
BibTex

Communication dans un congrès

titre
Reproducibility and representativity - mandatory properties for the compositionality of measurement-based WCET estimation approaches
auteur
Cristian Maxim, Adriana Gogonel, Irina Asavoae, Mihail Asavoae, Liliana Cucu-Grosjean, Walid Talaboulma
article
The 9th International Workshop on Compositional Theory and Technology for Real-Time Embedded System (CRTS2016), Dec 2016, Porto, Portugal. ACM Sigbed 2016
Accès au bibtex
BibTex
titre
Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC
auteur
Dorin Maxim, Robert Davis, Liliana Cucu-Grosjean, Arvind Easwaran
article
WMC 2016 - 4th International Workshop on Mixed Criticality Systems, Nov 2016, Porto, Portugal. 2016, 〈http://2016.rtss.org/〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01416310/file/WMC_2016_paper_5%20%282%29.pdf BibTex
titre
A formal approach to the mapping of tasks on an heterogenous multicore, energy-aware architecture
auteur
Emilien Kofman, Robert De Simone
article
MEMOCODE'16 - 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, Nov 2016, Kanpur, India
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01412790/file/final.pdf BibTex
titre
An SMT-Based Approach to the Formal Analysis of MARTE/CCSL
auteur
Min Zhang, Frédéric Mallet, Huibiao Zhu
article
Formal Methods and Software Engineering, Nov 2016, Tokyo, Japan. Springer, 10009, pp.433-449, 2016, Lecture Notes in Computer Science. 〈10.1007/978-3-319-47846-3_27〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01394677/file/ICFEM2016_authorfile.pdf BibTex
titre
Divergence Detection for CCSL Specification via Clock Causality Chain
auteur
Qingguo Xu, Julien Deantoni, Robert De Simone
article
Symposium on Dependable Software Engineering Theories, Tools and Applications, Nov 2016, Beijing, China. Springer International Publishing, Dependable Software Engineering: Theories, Tools, and Applications (9984), Programming and Software Engineering. 〈http://www.springer.com/us/book/9783319476766#otherversion=9783319476766〉. 〈10.1007/978-3-319-47677-3_2〉
Accès au bibtex
BibTex
titre
MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks
auteur
Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet, Mingrui Yang
article
FACS 2016 - The 13th International Conference on Formal Aspects of Component Software, Oct 2016, Besançon, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01394769/file/main%20of%20Spring-0912.pdf BibTex
titre
Schedulability analysis of dependent probabilistic real-time tasks
auteur
Slim Ben-Amor, Dorin Maxim, Liliana Cucu-Grosjean
article
RTNS 2016 - 24th International Conference on Real-Time Networks and Systems, Oct 2016, Brest, France. ACM DL, pp.99-107, 2016, 〈10.1145/2997465.2997499〉
Accès au bibtex
BibTex
titre
Going beyond mean and median programs performances
auteur
Julien Worms, Sid Touati
article
IEEE MCSoC 2016 : IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, Sep 2016, Lyon, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01371467/file/MCSoC-16-Worms-Touati.pdf BibTex
titre
Flexible Runtime Verification Based On Logical Clock Constraints
auteur
Daian Yue, Vania Joloboff, Frédéric Mallet
article
FDL 2016 - Forum on specification & Design Languages, Sep 2016, Bremen, Germany. 〈https://ecsi.org/fdl〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01421890/file/yue.pdf BibTex
titre
Using SystemC Cyber Models in an FMI Co-Simulation Environment
auteur
Stefano Centomo, Julien Deantoni, Robert De Simone
article
19th Euromicro Conference on Digital System Design 31 August - 2 September 2016, Aug 2016, Limassol, Cyprus. DSD 2016: 19th Euromicro Conference on Digital System Design, 19, 2016, 19th Euromicro Conference on Digital System Design. 〈http://dsd-seaa2016.cs.ucy.ac.cy/〉. 〈10.1109/DSD.2016.86〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01358702/file/systemc-cyber-models_cameraReady.pdf BibTex
titre
PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis
auteur
Francisco J. Cazorla, Jaume Abella, Jan Andersson, Tullio Vardanega, Francis Vatrinet, Ian Bate, Ian Broster, Mikel Azkarate-Askasua, Franck Wartel, Liliana Cucu-Grosjean, Fabrice Cros, Glenn Farrall, Adriana Gogonel, Andrea Gianarro, Benoit Triquet, Hernandez Carles, Code Lo, Cristian Maxim, David Morales, Eduardo Quinones, Enrico Mezzetti, Leonidas Kosmidis, Irune Agirre, Mikel Fernandez, Mladen Slijepcevic, Conmy Philippa, Walid Talaboulma
article
2016 Euromicro Conference on Digital System Design, Aug 2016, Limassol, France. 2016 Euromicro Conference on Digital System Design, 2016, 〈10.1109/DSD.2016.22〉
Accès au bibtex
BibTex
titre
A Denotational Semantics for Parameterised Networks of Synchronised Automata
auteur
Siqi Li, Eric Madelaine
article
The 6th International Symposium on Unifying Theories of Programming, Jun 2016, Reykjavik, Iceland. Proceedings of the 6th International Symposium on Unifying Theories of Programming, pp.20, 〈http://http://utp2016.ecnu.edu.cn〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01417662/file/UTP-2016.pdf BibTex
titre
Acceleration of FMU Co-Simulation On Multi-core Architectures
auteur
Salah Eddine Saidi, Nicolas Pernet, Yves Sorel, Abir Ben Khaled
article
Modelica Association; Linköping University Electronic Press. Japanese Modelica Conference, May 2016, Tokyo, Japan. Proceedings of first Japanese Modelica Conference, 124, pp.106 - 112, 2016, Proceedings of first Japanese Modelica Conference. 〈10.3384/ecp16124106〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01400033/file/confModelica2016.pdf BibTex
titre
Integrated Environment for Verifying and Running Distributed Components
auteur
Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine
article
Perdita Stevens; Andrzej Wąsowski. Fundamental Approaches to Software Engineering, Apr 2016, Eindhoven, Netherlands. Springer, Lecture Notes in Computer Science, 9633, pp.66-83, 2016, Fundamental Approaches to Software Engineering. 〈http://www.springer.com/us/book/9783662496640〉. 〈10.1007/978-3-662-49665-7_5〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01303557/file/paper.pdf BibTex
titre
Modeling the Behavioral Semantics of Heterogeneous Languages and their Coordination
auteur
Julien Deantoni
article
Architecture Centric Virtual Integration (ACVI), Apr 2016, Venise, Italy. 〈http://acvi-workshop.org/acvi2016〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01291299/file/ACVI2016.pdf BibTex
titre
Multicore SMT scheduling of periodic task systems with energy minimization
auteur
Emilien Kofman, Robert De Simone, Amani Khecharem
article
Workshop on Highly-Reliable Power-Efficient Embedded Designs, Mar 2016, Barcelone, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01282264/file/paper.pdf BibTex
titre
Hard Real Time and Mixed Time Criticality on Off-The-Shelf Embedded Multi-Cores
auteur
Albert Cohen, Valentin Perrelle, Dumitru Potop-Butucaru, Marc Pouzet, Elie Soubiran, Zhen Zhang
article
International Conference on Embedded and Real-Time Software and Systems (ERTS2), Jan 2016, Toulouse, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01425887/file/main.pdf BibTex
titre
A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models
auteur
Benoit Combemale, Cédric Brun, Joël Champeau, Xavier Crégut, Julien Deantoni, Jérome Le Noir
article
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France. 2016, 〈www.erts2016.org〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01258358/file/erts16-gemoc.pdf BibTex
titre
VCU: The Three Dimensions of Reuse
auteur
Jörg Kienzle, Gunter Mussbacher, Omar Alam, Matthias Schöttle, Nicolas Belloir, Philippe Collet, Benoit Combemale, Julien Deantoni, Jacques Klein, Bernhard Rumpe
article
The 15th International Conference on Software Reuse (ICSR-15), 2016, Limassol, Cyprus. 2016, The 15th International Conference on Software Reuse. 〈http://www.cyprusconferences.org/icsr2016/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01287720/file/vcu.pdf BibTex

Brevet

titre
BigGraphs: distributed graph computing
auteur
Luc Hogie, Michel Syska, Nicolas Chleq
article
France, Patent n° : IDDN.FR.001.410005.000.S.P.2015.000.31235. 2016
Accès au bibtex
BibTex

Poster

titre
Average Probabilistic Response Time Analysis of Tasks with Multiple Probabilistic Parameters
auteur
Antoine Bertout, Dorin Maxim, Liliana Cucu-Grosjean
article
RTSS 2016 - Work in Progress of the 22nd IEEE Real-Time Systems Symposium, Dec 2016, Porto, Portugal. IEEE RTSS 2016 proceedings, 2016, 〈10.1109/RTSS.2016.046〉
Accès au bibtex
BibTex

Rapport

titre
Natural Interpretation of UML/MARTE Diagrams for System Requirements Specification
auteur
Aamir Mehmood Khan, Frédéric Mallet, Muhammad Rashid
article
[Research Report] RR-8909, I3S; INRIA. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01309604/file/rr8909.pdf BibTex
titre
A Theory for the Composition of Concurrent Processes -Extended version
auteur
Ludovic Henrio, Eric Madelaine, Min Zhang
article
[Research Report] RR-8898, INRIA Sophia Antipolis - I3S. 2016, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01299562/file/RR-8898.pdf BibTex

Thèse

titre
Ordonnancement des migrations à chaud de machines virtuelles
auteur
Vincent Kherbache
article
Autre [cs.OH]. Université Côte d'Azur, 2016. Français. 〈NNT : 2016AZUR4130〉
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01419310/file/2016AZUR4130.pdf BibTex
titre
A framework for rigorous development of distributed components : formalisation and tools
auteur
Oleksandra Kulankhina
article
Other [cs.OH]. Université Côte d'Azur, 2016. English. 〈NNT : 2016AZUR4077〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01419298/file/2016AZUR4077.pdf BibTex
titre
MuVArch : une approche de méta-modélisation pour la représentation multi-vues des architectures hétérogènes embarqués
auteur
Amani Khecharem
article
Autre [cs.OH]. Université Nice Sophia Antipolis, 2016. Français. 〈NNT : 2016NICE4019〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01361473/file/2016NICE4019.pdf BibTex
titre
BCOol : the Behavioral Coordination Operator Language
auteur
Matias Vara Larsen
article
Other [cs.OH]. Université Nice Sophia Antipolis, 2016. English. 〈NNT : 2016NICE4013〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01302875/file/2016NICE4013.pdf BibTex

2015

Article dans une revue

titre
From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation *
auteur
Thomas Carle, Dumitru Potop-Butucaru, Yves Sorel, David Lesens
article
Leibniz Transactions on Embedded Systems, European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing., 2015, 〈10.4230/LITES-v002-i002-a001〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01263994/file/43-225-1-PB.pdf BibTex
titre
On the Compatibility of Exact Schedulability Tests for Global Fixed Priority Preemptive Scheduling with Audsley’s Optimal Priority Assignment Algorithm
auteur
Robert Davis, Marko Bertogna, Vincenzo Bonifaci
article
Real-Time Systems, Springer Verlag, 2015, 〈10.1007/s11241-015-9241-0〉
Accès au bibtex
BibTex
titre
Correctness Issues on MARTE/CCSL constraints
auteur
Frédéric Mallet, Robert De Simone
article
Science of Computer Programming, Elsevier, 2015, 106, pp.78-92. 〈10.1016/j.scico.2015.03.001〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01257978/file/scico.pdf BibTex
titre
Quand la RespberryPi se met à l'avionique
auteur
Dumitru Potop-Butucaru
article
Open Silicium, Éditions Diamond, 2015
Accès au bibtex
BibTex
titre
Modeling and Analyzing Dataflow Applications on NoC-Based Many-Core Architectures
auteur
Jean-Vivien Millo, Emilien Kofman, Robert De Simone
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2015, Special Issue on Embedded Platforms for Crypto and Regular Papers, 14 (3), pp.article 46. 〈10.1145/2700081〉
Accès au bibtex
BibTex
titre
A Probabilistic Calculus for Probabilistic Real-Time Systems
auteur
Luca Santinelli, Liliana Cucu-Grosjean
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2015, RTAS2012 special issue, 14 (3), 〈10.1145/2717113〉
Accès au bibtex
BibTex
titre
Static probabilistic timing analysis for real-time systems using random replacement caches
auteur
Altmeyer Sebastian, Liliana Cucu-Grosjean, Robert Davis
article
Real-Time Systems, Springer Verlag, 2015, 51 (1), pp.77-123. 〈10.1007/s11241-014-9218-4〉
Accès au bibtex
BibTex

Communication dans un congrès

titre
Quantifying the Exact Sub-Optimality of Non-Preemptive Scheduling
auteur
Robert Davis, Abhilash Thekkilakattil, Oliver Gettings, Radu Dobrin, Sasikumar Punnekkat
article
36th Real-Time Systems Symposium (RTSS 2015), Dec 2015, San Antonio, Texas, United States
Accès au bibtex
BibTex
titre
Static Probabilistic Timing Analysis for Multi-path Programs
auteur
Benjamin Lesage, David Griffin, Sebastian Altmeyer, Robert Davis
article
RTSS 2015 - 36th Real-Time Systems Symposium., Dec 2015, San Antonio, Texas, United States
Accès au bibtex
BibTex
titre
An Executable Semantics of Clock Constraint Specification Language and its Applications
auteur
Min Zhang, Frédéric Mallet
article
Cyrille Artho, Peter Csaba Ölveczky. Formal Techniques for Safety-Critical Systems, Nov 2015, Luxembourg, Luxembourg. Springer, 596, pp.37-51, 2016, Communications in Computer and Information Science. 〈10.1007/978-3-319-29510-7_2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01353824/file/main%20%281%29.pdf BibTex
titre
A Multi-View Co-Modeling and Co-Simulation Framework for Heterogeneous Embedded Systems
auteur
Amani Khecharem, Robert De Simone
article
eSAME 2015 - Embedded software and micro-electronics conference, Nov 2015, Sophia Antipolis, France. 2015, 〈http://www.esame-conference.org/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01243219/file/esame-khecharem.pdf BibTex
titre
Modelling Fault Dependencies when Execution Time Budgets are Exceeded
auteur
David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis
article
23rd International Conference on Real-Time Networks and Systems (RTNS 2015), Nov 2015, Lille, France. pp.129-138, 〈10.1145/2834848.2834870〉
Accès au bibtex
BibTex
titre
A Framework For The Evaluation Of Measurement-based Timing Analyses
auteur
Benjamin Lesage, David Griffin, Frank Soboczenski, Iain Bate, Robert Davis
article
23rd International Conference on Real-Time Networks and Systems (RTNS 2015), Nov 2015, Lille, France. pp.35-44
Accès au bibtex
BibTex
titre
On Priority Assignment for Controller Area Network when some Message Identifiers are Fixed
auteur
Robert Davis, Alan Burns, Victor Pollex, Frank Slomka
article
RTNS 2015 - 23rd International Conference on Real-Time Networks and Systems., Nov 2015, Lille, France. pp.279-288, 〈10.1145/2834848.2834866〉
Accès au bibtex
BibTex
titre
Mixed criticality systems with weakly-hard constraints
auteur
Oliver Gettings, Sophie Quinton, Robert Davis
article
International Conference on Real Time and Networks Systems, Nov 2015, Lille, France. 〈10.1145/2834848.2834850〉
Accès au bibtex
BibTex
titre
A Generic and Compositional Framework for Multicore Response Time Analysis
auteur
Sebastian Altmeyer, Robert Davis, Leandro Soares Indrusiak, Claire Maiza, Vincent Nélis, Jan Reineke
article
RTNS 2015 - 23rd International Conference on Real-Time Networks and Systems., Nov 2015, Lille, France. pp.129-138, 〈10.1145/2834848.2834862〉
Accès au bibtex
BibTex
titre
A Model-Driven Based Environment for Automatic Model Coordination
auteur
Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet
article
CEUR. Models 2015 demo and posters, Oct 2015, Ottawa, Canada. Models 2015 demo and posters
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01198744/file/models2015-bcool-demo.pdf BibTex
titre
A Behavioral Coordination Operator Language (BCOoL)
auteur
Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet
article
Timothy Lethbridge; Jordi Cabot; Alexander Egyed. International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. ACM; IEEE, 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) pp.462, 2015, 〈http://cruise.eecs.uottawa.ca/models2015/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01182773/file/models2015-bcool.pdf BibTex
titre
Probabilistic Approaches for Time Critical Embedded Systems
auteur
Liliana Cucu-Grosjean
article
9th International Workshop on Verification and Evaluation of Computer and Communication Systems , Sep 2015, Bucarest, Romania. 2015
Accès au bibtex
BibTex
titre
On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling
auteur
Raul Gorcitz, Emilien Kofman, Thomas Carle, Dumitru Potop-Butucaru, Robert De Simone
article
13th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2015, Madrid, Spain. 2015, 〈10.1007/978-3-319-22975-1_8〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01250010/file/paper.pdf BibTex
titre
Modeling SystemVerilog Assertions using SysML and CCSL
auteur
Aamir Mehmood Khan, Frédéric Mallet, Rashid Muhammad
article
Electronic System Level Synthesis Conference, Jun 2015, San Francisco, United States
Accès au bibtex
BibTex
titre
Automatic implementation of TTEthernet-based time-triggered avionics applications
auteur
Raul Adrian Gorcitz, Thomas Carle, David Lesens, David Monchaux, Dumitru Potop-Butucaru, Yves Sorel
article
DASIA 2015, May 2015, Barcelone, Spain. 2015, 〈http://eurospace.org/dasia-2015.aspx〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01264687/file/dasia2015.pdf BibTex
titre
Estimation of probabilistic worst case execution time while accounting OS costs
auteur
Walid Talaboulma, Cristian Maxim, Adriana Gogonel, Yves Sorel, Liliana Cucu-Grosjean
article
21st IEEE Real-Time Embedded Technology and Applications Symposium, Apr 2015, Seattle, United States. 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01298737/file/WTalaboulmaWIP_RTAS2015.pdf BibTex
titre
Towards a Meta-Language for the Concurrency Concern in DSLs
auteur
Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau, Benoit Combemale
article
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France. IEEE proceedings of Design, Automation and Test in Europe Conference and Exhibition (DATE), 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01087442/file/date2015_moccml.pdf BibTex
titre
Timing analysis of an avionics case study on complex hardware/software platforms
auteur
Franck Wartel, Leonidas Kosmidis, Adriana Geanina Gogonel, Andrea Baldovin, Zoe Stephenson, Benoit Triquet, Eduardo Quinones, Code Lo, Enrico Mezzetti, Broster Ian, Jaume Abella, Liliana Cucu-Grosjean, Tullio Vardanega, Francisco J. Cazorla
article
DATE 2015 - Design, Automation and Test in Europe, Mar 2015, Grenoble, France. pp.397-402, 2015
Accès au bibtex
BibTex
titre
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
auteur
Florent Latombe, Xavier Crégut, Benoît Combemale, Julien Deantoni, Marc Pantel
article
8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States. ACM, 2015, 〈http://www.sleconf.org/2015/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01185911/file/sle2015-weavingconcurrency.pdf BibTex
titre
Coping with Semantic Variation Points in Domain-Specific Modeling Languages
auteur
Florent Latombe, Xavier Crégut, Julien Deantoni, Marc Pantel, Benoit Combemale
article
1st International Workshop on Executable Modeling (EXE'15), co-located with MODELS'15, 2015, Ottawa, Canada. CEUR, 2015, 〈http://www.modelexecution.org/?page_id=1619〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01222999/file/CopingWithSemanticVariationPointsInDomainSpecificModelingLanguages_camera-ready.pdf BibTex
titre
CLARITY: Open-Sourcing the Model-Based Systems Engineering Solution Capella
auteur
Christophe Boudjennah, Benoit Combemale, Daniel Exertier, Stéphane Lacrampe, Marie-Agnès Peraldi-Frati
article
Second Workshop on Open Source Software for Model Driven Engineering (OSS4MDE’15), 2015, Ottawa, Canada. CEUR, 2015, 〈http://flux.cs.queensu.ca/oss4mde/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01186019/file/oss4mde-capella.pdf BibTex
titre
A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio
auteur
Benoit Combemale, Julien Deantoni, Olivier Barais, Arnaud Blouin, Erwan Bousse, Cédric Brun, Thomas Degueule, Didier Vojtisek
article
8th Transformation Tool Contest, 2015, l'Aquila, Italy. CEUR, 〈http://www.transformation-tool-contest.eu/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01152342/file/ttc15-combemale-cameraready.pdf BibTex

Chapitre d'ouvrage

titre
MARTE/CCSL for Modeling Cyber-Physical Systems
auteur
Frédéric Mallet
article
Formal Modeling and Verification of Cyber-Physical Systems, Springer Fachmedien Wiesbaden, pp.26-49, 2015, 978-3-658-09993-0. 〈10.1007/978-3-658-09994-7_2〉
Accès au bibtex
BibTex
titre
Co-Algebraic Semantic Model for the Clock Constraint Specification Language
auteur
Frédéric Mallet, Zholtkevych Grygoriy
article
Communications in Computer and Information Science, 476, Springer, pp.174-188, 2015, 〈10.1007/978-3-319-17581-2_12〉
Accès au bibtex
BibTex
titre
Domain Globalization: Using Languages to Support Technical and Social Coordination
auteur
Julien Deantoni, Cédric Brun, Benoît Caillaud, Robert France, Gabor Karsai, Oscar Nierstrasz, Eugene Syriani
article
Combemale, Benoit and Cheng, Betty H.C. and France, Robert B. and Jézéquel, Jean-Marc and Rumpe, Bernhard. Globalizing Domain-Specific Languages, 9400, Springer International Publishing, pp.70-87, 2015, Lecture Notes in Computer Science, 978-3-319-26171-3. 〈10.1007/978-3-319-26172-0_5〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01234653/file/gemoc-dag144412_3rdgroup.pdf BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Proceedings of the 3rd International Workshop on Mixed Criticality Systems
auteur
Liliana Cucu-Grosjean, Robert Davis
article
Dec 2015, San Antonio, United States. 2015
Accès au bibtex
BibTex
titre
Mixed Criticality on Multicore/Manycore Platforms (Dagstuhl Seminar 15121)
auteur
Sanjoy Baruah, Liliana Cucu-Grosjean, Robert Davis, Claire Maiza
article
Dagstuhl Seminar on Mixed Criticality on Multicore/Manycore Platforms , Mar 2015, Dagstuhl, Germany. 2015, 〈10.4230/DagRep.5.3.84〉. 〈http://drops.dagstuhl.de/opus/volltexte/2015/5270/〉
Accès au bibtex
BibTex
titre
Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling
auteur
Benoit Combemale, Julien Deantoni, Jeff Gray
article
GEMOC+MPM 2015, Ottawa, Canada. 1511, CEUR, 2015, Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling
Accès au bibtex
BibTex
titre
Proceedings of the 23rd International Conference on Real-Time Networks and Systems
auteur
Liliana Cucu-Grosjean, Nathan Fisher
article
the 23rd International Conference on Real-Time Networks and Systems, Nov 2015, Lille, France. ACM Digital Library, 2015, 〈http://dl.acm.org/citation.cfm?id=2834848〉
Accès au bibtex
BibTex

HDR

titre
Real-Time Systems Compilation
auteur
Dumitru Potop-Butucaru
article
Embedded Systems. EDITE, 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01264021/file/hdr.pdf BibTex

Poster

titre
How do we prove that probabilistic worst case response time is a Gumbel?
auteur
Adriana Geanina Gogonel, Liliana Cucu-Grosjean
article
6th Real-Time Scheduling Open Problems Seminar, Jul 2015, Lund, Sweden. 2015, 6th Real-Time Scheduling Open Problems Seminar. 〈http://2015.rtsops.org/〉
Accès au bibtex
BibTex
titre
Estimation of probabilistic worst case execution time while accounting OS costs
auteur
Talaboulma Walid, Cristian Maxim, Adriana Geanina Gogonel, Yves Sorel, Liliana Cucu-Grosjean
article
Work in Progress of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS2015), Apr 2015, Seattle, France
Accès au bibtex
BibTex

Rapport

titre
A Multi-View Co-Modeling and Co-Simulation Framework for Heterogeneous Embedded Systems
auteur
Amani Khecharem, Robert De Simone
article
[Research Report] Inria Sophia Antipolis. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01181003/file/khecharem_desimone_multiview.pdf BibTex
titre
Logical Clock Constraint Specification in PVS
auteur
Qingguo Xu, Robert De Simone, Julien Deantoni
article
[Research Report] 8748, Inria Sophia Antipolis. 2015, pp.11
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01192839/file/RR-8748.pdf BibTex

Thèse

titre
Adaptation du calcul de la Transformée de Fourier Rapide sur une architecture mixte CPU/GPU intégrée
auteur
Mohamed Amine Bergach
article
Autre [cs.OH]. Université Nice Sophia Antipolis, 2015. Français. 〈NNT : 2015NICE4060〉
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01245958/file/2015NICE4060.pdf BibTex

Pré-publication, Document de travail

titre
On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling
auteur
Raul Gorcitz, Emilien Kofman, Thomas Carle, Dumitru Potop-Butucaru, Robert De Simone
article
2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01179489/file/preprint.pdf BibTex

2014

Article dans une revue

titre
Globalizing Modeling Languages
auteur
Benoit Combemale, Julien Deantoni, Benoit Baudry, Robert B. France, Jean-Marc Jézéquel, Jeff Gray
article
Computer, Institute of Electrical and Electronics Engineers, 2014, pp.10-13
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00994551/file/ieee-computer-column-gemoc-v8.pdf BibTex
titre
PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems
auteur
Robert Davis, Tullio Vardanega, Jan Alexanderson, Francis Vatrinet, Mark Pearce, Ian Broster, Mikel Azkarate-Askasua, Franck Wartel, Liliana Cucu-Grosjean, Mathieu Patte, Glenn Farrall, Francisco J. Cazorla
article
Ada User Journal, ADA-Europe, 2014, pp.118-122
Accès au bibtex
BibTex
titre
Predicate-aware, makespan-preserving software pipelining of scheduling tables
auteur
Thomas Carle, Dumitru Potop-Butucaru
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2014, 11, pp.1 - 26. 〈10.1145/2579676〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01095123/file/paper.pdf BibTex

Communication dans un congrès

titre
Co-Algebraic Semantic Model for the Clock Constraint Specification Language
auteur
Frédéric Mallet, Zholtkevych Grygoriy
article
Formal Techniques for Safety-Critical Systems - ICFEM/FTSCS 2014, Nov 2014, Luxembourg, Luxembourg. Springer, 〈http://csaba.olveczky.se/ftscs14-preproceedings.pdf〉
Accès au bibtex
BibTex
titre
Execution of Heterogeneous Models for Thermal Analysis with a Multi-view Approach
auteur
Amani Khecharem, Carlos Gomez, Julien Deantoni, Frédéric Mallet, Robert De Simone
article
FDL 2014 : Forum on specification and Design Languages, Oct 2014, Munich, Germany. IEEE, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01060309/file/FDL2014.pdf BibTex
titre
Timed Automata Semantics of Spatio-Temporal Consistency Language STeC
auteur
Yuanrui Zhang, Frédéric Mallet, Yixiang Chen
article
International Symposium on Theoretical Aspects of Software Engineering, Sep 2014, Changsa, China. IEEE Computer Society, pp.201-208, 〈10.1109/TASE.2014.10〉
Accès au bibtex
BibTex
titre
Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications
auteur
Thorsten Koch, Jörg Holtmann, Julien Deantoni
article
Avgeriou, Paris and Zdun, Uwe. European Conference on Software Architecture, Aug 2014, Vienna, Austria. Springer International Publishing, 8627, pp.146-153, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-319-09970-5_14〉
Accès au bibtex
BibTex
titre
Rare events and worst-case execution times
auteur
Cristian Maxim, Liliana Cucu-Grosjean, Benoit Triquet
article
5th Real-Time Scheduling Open Problems Seminar(RTSOPS 2014), Jul 2014, Madrid, Spain. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01298734/file/RTSOPSMaximCristian.pdf BibTex
titre
Mixed-criticality in Railway Systems: A Case Study on Signalling Application
auteur
Albert Cohen, Valentin Perrelle, Dumitru Potop-Butucaru, Elie Soubiran, Zhen Zhang
article
Workshop on Mixed Criticality for Industrial Systems (WMCIS'2014), Jun 2014, Paris, France. Proceedings WMCIS 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01095111/file/WMCIS2014.pdf BibTex
titre
Static mapping of real-time applications onto massively parallel processor arrays
auteur
Thomas Carle, Manel Djemal, Dumitru Potop-Butucaru, Robert De Simone
article
14th International Conference on Application of Concurrency to System Design, Jun 2014, Hammamet, Tunisia. Proceedings ACSD 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01095130/file/acsd14.pdf BibTex
titre
Framework for Heterogeneous Modeling and Composition
auteur
Matias Ezequiel Vara Larsen, Julien Deantoni, Frédéric Mallet
article
Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.81, 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01073202/file/ciel2014.pdf BibTex
titre
Reconciling performance and predictability on a many-core through off-line mapping
auteur
Thomas Carle, Manel Djemal, Daniela Genius, François Pêcheux, Dumitru Potop-Butucaru, Robert De Simone, Franck Wajsbürt, Zhen Zhang
article
9th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC'2014), May 2014, Montpellier, France. IEEE, Proceedings ReCoSoC 2014, pp.1-8, 2014, 〈10.1109/ReCoSoC.2014.6861367〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01095116/file/paper.pdf BibTex
titre
A mixed model for estimating the probabilistic worst case execution time
auteur
Cristian Maxim, Adriana Gogonel, Liliana Cucu-Grosjean
article
Seminar Open Problems in real-time computing (OPRT-ULB 2012), Apr 2014, Bruxelles, Belgium. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01298725/file/CMaximActris%20%281%29.pdf BibTex
titre
Mixed-criticality in Railway Systems: A Case Study on Signaling Application
auteur
Albert Cohen, Valentin Perrelle, Dumitru Potop-Butucaru, Elie Soubiran, Zhen Zhang
article
Workshop on Mixed Criticality for Industrial Systems (WMCIS, associated with Ada-Europe), 2014, Paris, France. 2014
Accès au bibtex
BibTex
titre
Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting
auteur
Yasmina Abdeddaïm, Younès Chandarli, Robert I. Davis, Damien Masson
article
RTNS 2014, 2014, Versailles, France. pp.311:311--311:320, Proceedings of the 22Nd International Conference on Real-Time Networks and Systems. 〈10.1145/2659787.2659821〉
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Approche synchrone et ordonnancement
auteur
Dumitru Potop-Butucaru, Yves Sorel
article
Maryline Chetto. Ordonnancement dans les systèmes temps réel, ISTE, 2014, 978-1-78405-039-9
Accès au bibtex
BibTex
titre
UML MARTE Time Model and Its Clock Constraint Specification Language
auteur
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Julien Deantoni, Robert De Simone
article
Alessandra Bagnato; Leandro Soares Indrusiak; Imran Rafiq Quadri; Matteo Rossi. Embedded Systems Design, IGI Global, 2014, Handbook of Research on, 9781466661943. 〈10.4018/978-1-4666-6194-3.ch002〉. 〈http://www.igi-global.com/book/handbook-research-embedded-systems-design/102212〉
Accès au bibtex
BibTex
titre
Fostering Analysis from Industrial Embedded Systems Modeling
auteur
Bourdelles Michel, Shuai Li, Imran Rafiq Quadri, Etienne Brosse, Andrey Sadovykh, Emmanuel Gaudin, Frédéric Mallet, Arda Goknil, David George, Kreku Jari
article
Alessandra Bagnato; Leandro Soares Indrusiak; Imran Rafiq Quadri; Matteo Rossi. Handbook of Research on Embedded Systems Design, IGI Global, pp.283--300, 2014, 9781466661943. 〈10.4018/978-1-4666-6194-3.ch011〉. 〈http://www.igi-global.com/chapter/fostering-analysis-from-industrial-embedded-systems-modeling/116113〉
Accès au bibtex
BibTex
titre
Focus sur l'ordonnancement probabiliste
auteur
Liliana Cucu-Grosjean, Adriana Geanina Gogonel, Maxim Dorin
article
Maryline Chetto. Ordonnancement des systèmes temps réel, ISTE/Wiley, 2014
Accès au bibtex
BibTex
titre
Probabilistic real-time scheduling
auteur
Liliana Cucu-Grosjean, Adriana Geanina Gogonel, Maxim Dorin
article
Maryline Chetto. Reat-time Systems Scheduling, ISTE/Wiley, 2014, 978-1-84821-789-8
Accès au bibtex
BibTex
titre
Synchronous Approach and Scheduling
auteur
Dumitru Potop-Butucaru, Yves Sorel
article
Maryline Chetto. Real-time Systems Scheduling 2: Focuses, Wiley-ISTE, 2014, 978-1-84821-789-8. 〈10.1002/9781119042976.ch4〉
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
GEMOC 2014 2nd International Workshop on The Globalization of Modeling Languages
auteur
Benoit Combemale, Julien Deantoni, Robert France
article
Benoit Combemale; Julien Deantoni; Robert France. GEMOC 2014 co-located with MODELS 2014, Sep 2014, Valencia, France. 1236, pp.82, 2014, CEUR-WS, 1613-0073. 〈http://ceur-ws.org/Vol-1236/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01074602/file/GEMOC2014-complete.pdf BibTex
titre
CIEL 2014 : Conférence en IngénieriE du Logiciel
auteur
Marie-Agnès Peraldi-Frati, Christelle Urtado
article
Marie-agnès Peraldi-Frati Christelle Urtado. Conférence en Ingénierie du logiciel, Jun 2014, Paris, France. pp.158, 2014, Actes de la troisième édition de CIEL 2014, 〈http://ciel2014.i3s.unice.fr/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01094542/file/ActesCiel2014.pdf BibTex

HDR

titre
Contributions to real-time systems
auteur
Liliana Cucu-Grosjean
article
Embedded Systems. UPMC, Paris Sorbonne, 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01092915/file/hdr-cucugrosjean.pdf BibTex

Ouvrage (y compris édition critique et traduction)

titre
Advanced Backend Code Optimization
auteur
Sid Touati, Benoît De Dinechin
article
ISTE, Wiley, pp.384, 2014, Jean-Charles Pomerol, 9781848215382. 〈http://www.iste.co.uk〉
Accès au bibtex
BibTex

Brevet

titre
KPASSA
auteur
Jean-Vivien Millo
article
France, Patent n° : IDDN.FR.001.350040.000.S.P.2014.000.10600. 2014
Accès au bibtex
BibTex

Rapport

titre
CCSL denotational semantics
auteur
Julien Deantoni, Charles André, Régis Gascon
article
[Research Report] RR-8628, Inria. 2014, pp.29
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01082274/file/RR-8628.pdf BibTex
titre
Operational Semantics of the Model of Concurrency and Communication Language
auteur
Julien Deantoni, Papa Issa Diallo, Joël Champeau, Benoit Combemale, Ciprian Teodorov
article
[Research Report] RR-8584, INRIA. 2014, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01060601/file/RR-8584.pdf BibTex

Thèse

titre
Reconciling performance and predictability on a noc-based mpsoc using off-line scheduling techniques
auteur
Manel Fakhfakh
article
Data Structures and Algorithms [cs.DS]. Université Pierre et Marie Curie - Paris VI, 2014. English. 〈NNT : 2014PA066145〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01126944/file/2014PA066145.pdf BibTex
titre
Ordonnancement temps réel préemptif multiprocesseur avec prise en compte du coût du système d’exploitation
auteur
Falou Ndoye
article
Autre [cs.OH]. Université Paris Sud - Paris XI, 2014. Français. 〈NNT : 2014PA112056〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00978366/file/VD2_NDOYE_FALOU_03042014.pdf BibTex

2013

Article dans une revue

titre
Generation and Validation of Traces between Requirements and Architecture based on Formal Trace Semantics
auteur
Arda Goknil, Ivan Kurtev, Klaas Van den Berg
article
Journal of Systems and Software, Elsevier, 2013, 〈10.1016/j.jss.2013.10.006〉
Accès au bibtex
BibTex
titre
Exploring system architectures in AADL via Polychrony and SynDEx
auteur
Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Jean-Pierre Talpin, Paul Le Guernic, Yves Sorel
article
Frontiers of Computer Science, Springer Verlag, 2013, 7 (5), pp.627-649. 〈10.1007/s11704-013-2307-z〉
Accès au bibtex
BibTex
titre
How to eliminate non-positive circuits in periodic scheduling: a procative strategy based on shortest path equations
auteur
Sid Touati, Sébastien Briais, Karine Deschinkel
article
RAIRO - Operations Research, EDP Sciences, 2013, 47 (3), pp.223-249. 〈10.1051/ro/2013036〉
Accès au bibtex
BibTex
titre
Scenario-based verification in presence of variability using a synchronous approach
auteur
Jean-Vivien Millo, Frédéric Mallet, Anthony Coadou, S. Ramesh
article
Frontiers of Computer Science, Springer Verlag, 2013, 7 (5), pp.650-672. 〈http://link.springer.com/article/10.1007%2Fs11704-013-3094-6〉. 〈10.1007/s11704-013-3094-6〉
Accès au bibtex
BibTex
titre
Explicit routing schemes for implementation of cellular automata on processor arrays
auteur
Jean-Vivien Millo, Robert De Simone
article
Natural Computing, Springer Verlag, 2013, 12 (3), pp.353-368. 〈http://link.springer.com/article/10.1007%2Fs11047-013-9378-5〉. 〈10.1007/s11047-013-9378-5〉
Accès au bibtex
BibTex
titre
Hybrid MARTE statecharts
auteur
Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding
article
Frontiers of Computer Science, Springer Verlag, 2013, 〈http://link.springer.com/article/10.1007%2Fs11704-012-1301-1〉. 〈10.1007/s11704-012-1301-1〉
Accès au bibtex
BibTex
titre
Le nouveau défi de la coordination des langages de modélisation. Gestion de l'hétérogénéité des modèles dans le développement et l'exécution de systèmes logiciels complexes
auteur
Benoit Combemale, Julien Deantoni, Ali Koudri, Jérôme Le Noir
article
Génie logiciel, C & S, 2013, pp.4-11
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00854221/file/Neptune2013-gemoc.pdf BibTex
titre
The Speedup-Test: A Statistical Methodology for Program Speedup Analysis and Computation
auteur
Sid Touati, Julien Worms, Sébastien Briais
article
Concurrency and Computation: Practice and Experience, Wiley, 2013, 25 (10), pp.1410-1426. 〈10.1002/cpe.2939〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00764454/file/Speedup-Test-Article-freestyle.pdf BibTex
titre
PROARTIS: Probabilistically Analyzable Real-Time System
auteur
Francisco J. Cazorla, Eduardo Quinones, Tullio Vardanega, Liliana Cucu-Grosjean, Benoit Triquet, Guillem Bernat, E. Berger, Jaume Abella, Franck Wartel, Michael Houston, Luca Santinelli, Leonidas Kosmidis, Codé Lo, Dorin Maxim
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2013, 12 (2s), 〈10.1145/2465787.2465796〉
Accès au bibtex
BibTex

Communication dans un congrès

titre
Monoprocessor Real-Time Scheduling of Data Dependent Tasks with Exact Preemption Cost for Embedded Systems
auteur
Falou Ndoye, Yves Sorel
article
ICSE'2013 16th IEEE International Conference on Computational Science and Engineering, Dec 2013, Sydney, Australia. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00930224/file/Monoprocessor_Real-Time_Scheduling_of_Data_Dependent_Tasks_with_Exact_Preemption_Cost_for_Embedded_Systems.pdf BibTex
titre
Response Time Analysis for Fixed-Priority Tasks with Multiple Probabilistic Parameters
auteur
Dorin Maxim, Liliana Cucu-Grosjean
article
RTSS 2013 - IEEE Real-Time Systems Symposium, Dec 2013, Vancouver, Canada. 2013
Accès au bibtex
BibTex
titre
Schedulability analysis with CCSL specifications
auteur
Ling Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert De Simone
article
The 20th Asia-Pacific Software Engineering Conference, Dec 2013, Bangkok, Thailand. IEEE, pp.414-421, 2013, 〈10.1109/APSEC.2013.62〉
Accès au bibtex
BibTex
titre
Boundness Issues in CCSL Specifications
auteur
Frédéric Mallet, Jean-Vivien Millo
article
Groves, Lindsay and Sun, Jing. ICFEM 2013 - 15th International Conference on Formal Engineering Methods, Oct 2013, Queenstown, New Zealand. Springer, 8144, pp.20-35, 2013, Lecture Notes in Computer Sciences. 〈10.1007/978-3-642-41202-8_3〉
Accès au bibtex
BibTex
titre
Reifying Concurrency for Executable Metamodeling
auteur
Benoit Combemale, Julien Deantoni, Matias Ezequiel Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry, Robert France
article
Erwig, Martin and Paige, Richard F. and Van Wyk, Eric. SLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. Springer, 8225, pp.365-384, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-319-02654-1_20〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00850770/file/sle13-eventdrivenmetamodeling-cameraready-v1.1.pdf BibTex
titre
Safe CCSL Specifications and Marked Graphs
auteur
Frédéric Mallet, Jean-Vivien Millo, Robert De Simone
article
Roncken, Marly and Talpin, Jean-Pierre. MEMOCODE - 11th IEEE/ACM International Conference on Formal Methods and Models for Codesign, Oct 2013, Portland, United States. IEEE CS, pp.157-166, 2013, 〈http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6670955〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00913962/file/memocodePub.pdf BibTex
titre
Probabilistic real-time systems
auteur
Liliana Cucu-Grosjean
article
RTNS 2013 - 21st International Conference on Real-Time Networks and Systems, Oct 2013, Sophia Antipolis, France. ACM, 2013
Accès au bibtex
BibTex
titre
Application Architecture Adequacy through an FFT case study
auteur
Emilien Kofman, Jean-Vivien Millo, Robert De Simone
article
JRWRTC2013 - 7th Junior Researcher Workshop on Real-Time Computing, Oct 2013, Sophia Antipolis, France. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00950533/file/aaafft.pdf BibTex
titre
Railroad Crossing Heterogeneous Model
auteur
Matias Ezequiel Vara Larsen, Arda Goknil
article
GEMOC workshop 2013 - International Workshop on The Globalization of Modeling Languages, Sep 2013, Miami, Florida, United States. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00867316/file/workshop-gemoc2013.pdf BibTex
titre
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013)
auteur
Benoit Combemale, Julien Deantoni, Robert France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler
article
GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. CEUR, Vol-1102, pp.3-13, 2013, Joint Proceedings of GEMOC '13 and AMINO '13 @ MODELS 2013. 〈http://ceur-ws.org/Vol-1102/gemoc13-report.pdf〉
Accès au bibtex
BibTex
titre
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL
auteur
Jagadish Suryadevara, Cristina Seceleanu, Frédéric Mallet, Paul Pettersson
article
Software Engineering and Formal Methods, Sep 2013, Madrid, Spain. Springer, 8137, pp.1-15, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40561-7_1〉
Accès au bibtex
BibTex
titre
Power consumption analysis using multi-view modeling
auteur
Carlos Gomez, Julien Deantoni, Frédéric Mallet
article
PATMOS - 23th International Workshop on Power and Timing Modeling, Optimization and Simulation, Sep 2013, Karlsruhe, Germany. pp.235-238, 2013, 〈10.1109/PATMOS.2013.6662180〉
Accès au bibtex
BibTex
titre
A Metamodeling Approach for Reasoning on Multiple Requirements Models
auteur
Arda Goknil, Ivan Kurtev, Jean-Vivien Millo
article
EDOC 2013 - The 17th IEEE International Enterprise Distributed Object Computing Conference Conference, Sep 2013, Vancouver, Canada. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00850678/file/PID2828751.pdf BibTex
titre
Dynamic Thread Pinning for Phase-Based OpenMP Programs
auteur
Abdelhafid Mazouz, Sid Touati, Denis Barthou
article
Wolf, Felix and Mohr, Bernd and an Mey, Dieter. The Euro-Par 2013 conference, Aug 2013, Aachen, Germany. Springer, 8097, pp.53-64, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40047-6_8〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00847482/file/MainEuroPar2013.pdf BibTex
titre
Probabilistic real-time scheduling
auteur
Liliana Cucu-Grosjean
article
ETR 2013 - Ecole d'été temps réel, Aug 2013, Toulouse, France. 2013
Accès au bibtex
BibTex
titre
Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquare
auteur
Arda Goknil, Julien Deantoni, Marie-Agnès Peraldi-Frati, Frédéric Mallet
article
ICECCS'2013 - 18th International Conference on Engineering of Complex Computer Systems, Jul 2013, Singapore, Singapore. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00850673/file/paper.pdf BibTex
titre
Integrated Worst-Case Execution Time Estimation of Multicore Applications
auteur
Dumitru Potop-Butucaru, Isabelle Puaut
article
Claire Maiza. 13th International Workshop on Worst-Case Execution Time Analysis, Jul 2013, Paris, France. Schloss Dagstuh, 30, pp.21-31, 2013, 13th International Workshop on Worst-Case Execution Time Analysis. 〈10.4230/OASIcs.WCET.2013.i〉
Accès au bibtex
BibTex
titre
Analysis Support for TADL2 Timing Constraints on EAST-ADL Models
auteur
Arda Goknil, Jagadish Suryadevara, Marie-Agnès Peraldi-Frati, Frédéric Mallet
article
Khalil Drira. ECSA 2013 - European Conference on Software Architecture, Jul 2013, Montpellier, France. Springer, 7957, pp.89-105, 2013, LNCS. 〈10.1007/978-3-642-39031-9_8〉
Accès au bibtex
BibTex
titre
Analysis of Probabilistic Cache Related Pre-emption Delays
auteur
Robert Davis, Luca Santinelli, Sebastian Altmeyer, Claire Maiza, Liliana Cucu-Grosjean
article
ECRTS - the 25th Euromicro Conference on Real-time Systems, Jul 2013, Paris, France. 2013
Accès au bibtex
BibTex
titre
Lazy Parallel Synchronous Composition of In finite Transition Systems
auteur
Yuliia Romenska, Frédéric Mallet
article
International Conference on ICT in Education, Research and Industrial Applications, Jun 2013, Kherson, Ukraine. CEUR-WS.org, 1000, pp.130-145, 2013, 〈http://ceur-ws.org/Vol-1000/ICTERI-2013-p-130-145.pdf〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00839978/file/06_ICTERI13.pdf BibTex
titre
Measurement-Based Probabilistic Timing Analysis: Lessons from an Integrated-Modular Avionics Case Study
auteur
Franck Wartel, Leonidas Kosmidis, Benoit Triquet, Eduardo Quinones, Jaume Abella, Adriana Geanina Gogonel, Andreea Baldovin, Enrico Mezzetti, Liliana Cucu-Grosjean, Tullio Vardanega, Francisco J. Cazorla
article
SIES 2013 - the 8th IEEE International Symposium on Industrial Embedded Systems, Jun 2013, Porto, Portugal. IEEE, pp.241-248, 2013, 〈10.1109/SIES.2013.6601497〉
Accès au bibtex
BibTex
titre
Compositional Verification of Software Product Lines
auteur
Jean-Vivien Millo, S. Ramesh, Shankara Krishna, Ganesh Narwane
article
Einar Broch Johnsen and Luigia Petre. iFM 2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. Springer, 7940, pp.109-123, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-38613-8_8〉
Accès au bibtex
BibTex
titre
Independence - a misunderstood property of and for probabilistic real-­‐time systems
auteur
Liliana Cucu-Grosjean
article
N. Audsley and S. Baruah. Alan Burns 60th Anniversary, Mar 2013, York, United Kingdom. 2013
Accès au bibtex
BibTex
titre
Safety Critical Multiprocessor Real-Time Scheduling with Exact Preemption Cost
auteur
Falou Ndoye, Yves Sorel
article
ICONS 2013 - Eighth International Conference on Systems, Jan 2013, Seville, Spain. IARIA, pp.127-136, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00786225/file/icons2013.pdf BibTex

Chapitre d'ouvrage

titre
Two Semantic Models for Clock Relations in the Clock Constraint Specification Language
auteur
Zholtkevych Grygoriy, Frédéric Mallet, Zaretska Iryna, Galyna Zholtkevych
article
Ermolayev, Vadim and Mayr, Heinrich C. Communications in Computer and Information Science, 412, Springer, pp.190-209, 2013, Communications in Computer and Information Science, 978-3-319-03997-8. 〈10.1007/978-3-319-03998-5_10〉
Accès au bibtex
BibTex
titre
Improving the Efficiency of Synchronized Product with Infinite Transition Systems
auteur
Yuliia Romenska, Frédéric Mallet
article
Ermolayev, Vadim and Mayr, Heinrich C. Communications in Computer and Information Science, 412, Springer, pp.287-307, 2013, Communications in Computer and Information Science, 978-3-319-03997-8. 〈10.1007/978-3-319-03998-5_15〉
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Proceedings of 1st International Workshop on Mixed-Criticality Systems
auteur
Liliana Cucu-Grosjean, Robert Davis
article
L Cucu and R Davis. University of York, pp.90, 2013
Accès au bibtex
BibTex
titre
Joint Proceedings of GEMOC '13 and AMINO '13 @ MODELS 2013
auteur
Benoit Combemale, Julien Deantoni, Robert B. France, Balbir Barn, Tony Clark, Ulrich Frank, Vinay Kulkarni, Dan Turk
article
Combemale, Benoit and Deantoni, Julien and France, Robert B. and Barn, Balbir and Clark, Tony and Frank, Ulrich and Kulkarni, Vinay and Turk, Dan. 1102, CEUR-WS, pp.88, 2013
Accès au bibtex
BibTex

Rapport

titre
Off-line mapping of real-time applications onto massively parallel processor arrays
auteur
Thomas Carle, Manel Djemal, Dumitru Potop-Butucaru, Robert De Simone, Zhen Zhang
article
[Research Report] RR-8429, INRIA. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00919411/file/RR-8429.pdf BibTex
titre
State-based representation of CCSL operators
auteur
Frédéric Mallet, Jean-Vivien Millo, Yuliia Romenska
article
[Research Report] RR-8334, INRIA. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00846684/file/rr-8334.pdf BibTex
titre
Integrated Worst-Case Response Time Evaluation of Multicore Non-Preemptive Applications
auteur
Dumitru Potop-Butucaru, Isabelle Puaut
article
[Research Report] RR-8234, INRIA. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00787931/file/RR-8234.pdf BibTex

Thèse

titre
Modeling functional and non-functional properties of systems based on a multi-view approach
auteur
Carlos Ernesto Gómez Cárdenas
article
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. 〈NNT : 2013NICE4153〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00931001/file/2013NICE4153.pdf BibTex

Pré-publication, Document de travail

titre
On the periodic behavior of real-time schedulers on identical multiprocessor platforms
auteur
Emmanuel Grolleau, Joël Goossens, Liliana Cucu-Grosjean
article
2013
Accès au bibtex
https://arxiv.org/pdf/1305.3849 BibTex

2012

Article dans une revue

titre
Periodic scheduling of marked graphs using balanced binary words
auteur
Jean-Vivien Millo, Robert De Simone
article
Theoretical Computer Science, Elsevier, 2012, 458 (2), pp.113-130. 〈http://www.sciencedirect.com/science/article/pii/S0304397512007852〉. 〈10.1016/j.tcs.2012.08.012〉
Accès au bibtex
BibTex
titre
Dynamic Scheduling Algorithm for Parallel Real-time Graph Tasks
auteur
Manar Qamhieh, Serge Midonnet, Laurent George
article
ACM SIGBED Review, Association for Computing Machinery (ACM), 2012, 9 (Special Issue on the Work-in-Progress session of the 24th Euromicro Conference on Real-Time Systems), pp.12-16
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00773586/file/ecrtsWiP2012_FV.pdf BibTex
titre
Minimal Unroll Factor for Code Generation of Software Pipelining
auteur
Mounira Bachir, Sid Touati, Brault Frédéric, David Gregg, Albert Cohen
article
International Journal of Parallel Programming, Springer Verlag, 2012, 〈10.1007/s10766-012-0203-z〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00764521/file/mainSubmitMinPPCMJounal.pdf BibTex
titre
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte
auteur
Calin Glitia, Julien Deantoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié
article
Design Automation for Embedded Systems, Springer Verlag, 2012, 16 (2), pp.137-169. 〈http://www.springerlink.com/content/t03t7nl8463tjpr4/?MUD=MP〉. 〈10.1007/s10617-012-9093-y〉
Accès au bibtex
BibTex

Communication dans un congrès

titre
Relating Requirement and Design Variabilities
auteur
Jean-Vivien Millo, S. Ramesh
article
APSEC '12 - Proceedings of the 19th Asia-Pacific Software Engineering Conference 2012, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.35-42, 2012, 〈10.1109/APSEC.2012.67〉
Accès au bibtex
BibTex
titre
Programmable routers for efficient mapping of applications onto NoC-based MPSoCs
auteur
Manel Djemal, François Pêcheux, Dumitru Potop-Butucaru, Robert De Simone, Franck Wajsburt, Zhen Zhang
article
DASIP 2012 -Conference on Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. IEEE, pp.1-8, 2012, 〈http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6385370&tag=1〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00787497/file/PID2529925.pdf BibTex
titre
Modeling a BSG-E Automotive System with the Timing Augmented Description language.
auteur
Marie-Agnès Peraldi-Frati, Arda Goknil, Morayo Adedjouma, Pierre-Yves Gueguen
article
Tiziana Margaria and Bernhard Steffen. ISOLA 2012 -5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2012, Amirandes, Héraklion, Greece. Springer, 7610, pp.111-125, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-34032-1_14〉
Accès au bibtex
BibTex
titre
Automatic Generation of Observers from MARTE/CCSL
auteur
Frédéric Mallet
article
RSP 2012 - International Symposium on Rapid System Prototyping, Oct 2012, Tampere, Finland. IEEE, 2012, 〈10.1109/RSP.2012.6380695〉
Accès au bibtex
BibTex
titre
A DSL for Specifying Timing Requirements
auteur
Arda Goknil, Marie-Agnès Peraldi-Frati
article
MoDRE- 2sd International Model-Driven Requirements Engineering (MoDRE) Workshop, Sep 2012, Chicago, United States. IEEE, pp.49-57, 2012, 〈http://cserg0.site.uottawa.ca/modre2012/proceedings.htm〉. 〈10.1109/MoDRE.2012.6360074〉
Accès au bibtex
BibTex
titre
Schedulability analysis for a combination of non-preemptive strict periodic tasks and preemptive sporadic tasks
auteur
Mohamed Marouf, Laurent George, Yves Sorel
article
ETFA'12 - 17th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2012, Kraków, Poland. IEEE, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00737917/file/etfa12.pdf BibTex
titre
Multi-View Power Modeling based on UML, MARTE and SysML
auteur
Carlos Gomez, Julien Deantoni, Frédéric Mallet
article
SEAA - 38th Euromicro Conference on Software Engineering and Advanced Applications, Sep 2012, Cesme, Turkey. pp.17-20, 2012, 〈10.1109/SEAA.2012.66〉
Accès au bibtex
BibTex
titre
Tracing SPLs precisely and efficiently
auteur
Swarup Mohalik, S. Ramesh, Jean-Vivien Millo, Shankara Krishna, Ganesh Narwane
article
SPLC '12 - Proceedings of the 16th International Software Product Line Conference, Sep 2012, Salvador, Brazil. ACM, pp.186-195, 2012, 〈10.1145/2362536.2362562〉
Accès au bibtex
BibTex
titre
A timing model for specifying multi clock automotive systems. The Timing Augmented Description Language V2
auteur
Marie-Agnès Peraldi-Frati, Arda Goknil, Julien Deantoni, Johan Nordlander
article
ICECCS 2012 : International Conference on Engineering of Complex Computer Systems, Jul 2012, Paris, France. IEEE, 10 p., 2012, Proceeding of the 17th ICECCS conference
Accès au bibtex
BibTex
titre
On the Effectiveness of Register Moves to Minimise Post-Pass Unrolling in Software Pipelined Loops
auteur
Mounira Bachir, Albert Cohen, Sid Touati
article
IEEE, ACM. HPCS 2012 : International Conference on High Performance Computing & Simulation, Jul 2012, Madrid, Spain. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00716183/file/Touati_hpcs_2012.pdf BibTex
titre
Formal Specification of Hybrid MARTE Statecharts
auteur
Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Zhang Miaomiao
article
Sixth International Symposium on Theoretical Aspects of Software Engineering, Jul 2012, Beijing, China. IEEE, 2012, 〈http://doi.ieeecomputersociety.org/10.1109/TASE.2012.26〉. 〈10.1109/TASE.2012.26〉
Accès au bibtex
BibTex
titre
TimeSquare: Treat your Models with Logical Time
auteur
Julien Deantoni, Frédéric Mallet
article
Carlo A. Furia, Sebastian Nanz. TOOLS - 50th International Conference on Objects, Models, Components, Patterns - 2012, May 2012, Prague, Czech Republic. Springer, 7304, pp.34-41, 2012, Lecture Notes in Computer Science - LNCS. 〈10.1007/978-3-642-30561-0_4〉
Accès au bibtex
BibTex
titre
An exploratory study of the exposure draft of IAS 19 due process
auteur
Samira Demaria, Dominique Dufour, Moïse Louisy-Louis, Philippe Luu
article
AFC 2012 - 33ème Congrès de l'Association Française de Comptabilité : Comptabilités et innovation, May 2012, Grenoble, France. pp.cd-rom, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00690943/file/431_Demaria_Dufour_Louisy-Louis_Luu.pdf BibTex
titre
A Parallelizing Algorithm for Real-Time Tasks of Directed Acyclic Graphs Model
auteur
Manar Qamhieh, Serge Midonnet, Laurent George
article
RTAS'12 : The 18th IEEE Real-Time and Embedded Technology and Applications Symposium. Work-In-Progress Session, Apr 2012, Beijing, China. pp.45-48, 2012
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00695818/file/RTAS2012WiP_Final.pdf BibTex
titre
Timing Modeling with AUTOSAR. Current State and Future Directions
auteur
Stefan Kuntz, Marie-Agnès Peraldi-Frati, Hans Blom, Karlsson Daniel
article
DATE 2012. Design Automation & Test in Europe, Mar 2012, Dresden, Germany. 2012
Accès au bibtex
BibTex
titre
Vérification formelle de conditions d'ordonnancabilité de tâches temps réel périodiques strictes
auteur
Daniel De Rauglaudre
article
JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00665929/file/paper_5.pdf BibTex
titre
The TIMMO-2-USE project: Time modeling and analysis to use
auteur
Marie-Agnès Peraldi-Frati, Daniel Karlsson, Arne Hamann, Stefan Kuntz, Johan Nordlander
article
3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace * SEE: the French Society for Electricity Electronics and Information & Communication Technologies. ERTS2012 International Congres on Embedded Real Time Software and Systems, Feb 2012, Toulouse, France. 2012, 6th International Congres on Embedded Real Time Software and Systems
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Logical Time @ Work: Capturing Data Dependencies and Platform Constraints
auteur
Calin Glitia, Julien Deantoni, Frédéric Mallet
article
Kaźmierski, Tom J. J. and Morawiec, Adam. System Specification and Design Languages, 106, Springer New York, pp.223--238, 2012, Lecture Notes in Electrical Engineering, 978-1-4614-1426-1. 〈10.1007/978-1-4614-1427-8_14〉
Accès au bibtex
BibTex

Brevet

titre
TimeSquare
auteur
Nicolas Chleq, Benoît Ferrero, Julien Deantoni, Frédéric Mallet, Charles André
article
France, Patent n° : IDDN.FR.001.430002.000.S.A.2012.000.10600. 2012
Accès au bibtex
BibTex

Rapport

titre
Schedulability analysis by exhaustive state space construction: translating CCSL to transition-based Generalized Buchi Automata
auteur
Ling Yin, Julien Deantoni, Frédéric Mallet, Robert De Simone
article
[Research Report] RR-8102, 2012, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00743874/file/RR-8102.pdf BibTex
titre
From dataflow specification to multiprocessor partitioned time-triggered real-time implementation
auteur
Thomas Carle, Dumitru Potop-Butucaru, Yves Sorel, David Lesens
article
[Research Report] RR-8109, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00742908/file/RR-8109.pdf BibTex
titre
Compositional Verification of Evolving SPL
auteur
Jean-Vivien Millo, S. Ramesh, Shankara Krishna, Ganesh Narwane
article
[Research Report] RR-8125, INRIA. 2012, pp.34
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00747533/file/mainRR8125.pdf BibTex
titre
Refining cellular automata with routing constraints
auteur
Jean-Vivien Millo, Robert De Simone
article
[Research Report] RR-8051, INRIA. 2012, pp.15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00725878/file/RR8051.pdf BibTex
titre
ECL: the Event Constraint Language, an Extension of OCL with Events
auteur
Julien Deantoni, Frédéric Mallet
article
[Research Report] RR-8031, INRIA. 2012, pp.24
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00721169/file/ECL_RR_2012.pdf BibTex
titre
Multi-View Power Modeling based on UML MARTE and SysML
auteur
Carlos Gomez, Julien Deantoni, Frédéric Mallet
article
[Research Report] RR-7934, INRIA. 2012, pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00688853/file/pwMarte.pdf BibTex
titre
Periodic scheduling of marked graphs using balanced binary words
auteur
Jean-Vivien Millo, Robert De Simone
article
[Research Report] RR-7891, INRIA. 2012, pp.33
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00672606/file/RR-7891.pdf BibTex
titre
Correct Transformation from CCSL to Promela for verification
auteur
Frédéric Mallet, Ling Yin
article
[Research Report] RR-7491, INRIA. 2012, pp.33
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00667849/file/RR-7491.pdf BibTex

Thèse

titre
Extraction de modèles pour la conception de systèmes sur puce
auteur
Jean-François Le Tallec
article
Systèmes embarqués. Université Nice Sophia Antipolis, 2012. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00767040/file/JFLTthesis.pdf BibTex

2011

Article dans une revue

titre
Logical Time: observation vs. implementation
auteur
Frédéric Mallet, Charles André, Robert De Simone
article
ACM SIGSOFT Software Engineering Notes, ACM, 2011, 36 (1), pp.1--8. 〈10.1145/1921532.1921554〉
Accès au bibtex
BibTex
titre
SIRALINA: efficient two-steps heuristic for storage optimisation in single period task scheduling
auteur
Karine Deschinkel, Sid Touati, Sébastien Briais
article
Journal of Combinatorial Optimization, Springer Verlag, 2011, 22 (4), pp.819-844. 〈http://www.springerlink.com/content/r30422pm90m33602/〉. 〈10.1007/s10878-010-9332-8〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00636028/file/siralina.pdf BibTex
titre
Job vs. portioned partitioning for the earliest deadline first semi-partitioned scheduling
auteur
Laurent George, Pierre Courbin, Yves Sorel
article
Journal of Systems Architecture, Elsevier, 2011, 57 (5), pp.518-535. 〈10.1016/j.sysarc.2011.02.008〉
Accès au bibtex
BibTex
titre
The December 2008 Crammont rock avalanche, Mont Blanc massif area, Italy
auteur
Philip Deline, W. Alberto, Massimo Broccolato, Oldrich Hunger, Jeannette Noetzli, Ludovic Ravanel, Andrea Tamburini
article
Natural Hazards and Earth System Sciences, European Geosciences Union, 2011, en ligne : http://www.nat-hazards-earth-syst-sci.net/11/3307/2011/nhess-11-3307-2011.html. 〈10.5194/nhess-11-3307-2011〉
Accès au bibtex
BibTex

Communication dans un congrès

titre
Modeling Timing Requirements in Problem Frames Using CCSL
auteur
Chen Xiaohong, Jing Liu, Frédéric Mallet, Zhi Jin
article
Tran Dan Thu, Karl R. P. H. Leung. APSEC 2011 - 18th Asia Pacific Software Engineering Conference, Dec 2011, Ho Chi Minh, Vietnam. IEEE CS, pp.381-388, 2011, 〈10.1109/APSEC.2011.30〉
Accès au bibtex
BibTex
titre
Logical time and temporal logics: comparing UML MARTE/CCSL and PSL
auteur
Régis Gascon, Frédéric Mallet, Julien Deantoni
article
18th International Symposium on Temporal Representation and Reasoning (TIME'11), Sep 2011, Lubeck, Germany. 2011
Accès au bibtex
BibTex
titre
Scheduling non-preemptive hard real-time tasks with strict periods
auteur
Mohamed Marouf, Yves Sorel
article
ETFA'11 - 16th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2011, Toulouse, France. IEEE, pp.1-8, 2011, 〈10.1109/ETFA.2011.6059014〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00737916/file/etfa11.pdf BibTex
titre
A Model-Based Approach for Reconciliation of Polychronous Execution Traces
auteur
Kelly Garcés, Julien Deantoni, Frédéric Mallet
article
SEAA 2011 - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, Aug 2011, Oulu, Finland. IEEE, 2011, 〈http://www.computer.org/portal/web/csdl/doi/10.1109/SEAA.2011.47〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00597981/file/garces_deantoni_mallet_SEAA2011.pdf BibTex
titre
Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs
auteur
Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis
article
Workshop on Formal Methods for Industrial Critical Systems (FMICS), Aug 2011, Trento, Italy. pp.85-101, 2011
Accès au bibtex
BibTex
titre
Probabilistic Sensitivity Analysis
auteur
Luca Santinelli, Liliana Cucu-Grosjean, Laurent George
article
RTSOPS 2011 - the 2nd International Real-Time Scheduling Open Problems Seminar, Jul 2011, Porto, Portugal. 2011
Accès au bibtex
BibTex
titre
Schedulability analysis for a combination of preemptive strict periodic tasks and sporadic tasks
auteur
Mohamed Marouf, Laurent George, Yves Sorel
article
MAPSP 2011 - 10th Workshop on Models and Algorithms for Planning and Scheduling Problems, Jun 2011, Nymburk, Czech Republic. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00737918/file/mapsp11.pdf BibTex
titre
Semantic Multi-View model for Low-Power
auteur
Carlos Gomez, Julien Deantoni, Frédéric Mallet
article
Journées nationales IDM, CAL, et du GDR GPL, Jun 2011, Lille, France. pp.19, 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00596239/file/actionsIDM.pdf BibTex
titre
SCIPX: a SystemC to IP-XACT extraction tool
auteur
Jean-François Le Tallec, Robert De Simone
article
ESLsyn : Electronic System Level Synthesis Conference, Jun 2011, San Diego, United States. 2011
Accès au bibtex
BibTex
titre
Verification of MARTE/CCSL Time Requirements in Promela/SPIN
auteur
Ling Yin, Frédéric Mallet, Jing Liu
article
IEEE ICECCS 2011 - 16th IEEE International Conference on Engineering of Complex Computer Systems, Apr 2011, Las Vegas, United States. IEEE, 2011, 〈10.1109/ICECCS.2011.14〉
Accès au bibtex
BibTex
titre
Logical time @ work: the RT-Simex project
auteur
Julien Deantoni, Frédéric Mallet, Charles André, Frédéric Thomas
article
Sophia Antipolis Formal Approach, Apr 2011, Sophia, France. 2010, 〈http://www-sop.inria.fr/oasis/SAFA/Safa2010/04_DeAntoni_SAFA2010_final.pdf〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587151/file/deantoni_SAFA_2010.pdf BibTex
titre
Scheduling Multi Clock Real Time Systems: From Requirements to Implementation
auteur
Marie-Agnès Peraldi-Frati, Julien Deantoni
article
International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, Mar 2011, Newport Beach, United States. IEEE computer society, pp.50; 57, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing. 〈10.1109/ISORC.2011.16〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00586851/file/isorc2011.pdf BibTex
titre
Combining SystemC, IP-XACT and UML/MARTE in model-based SoC design
auteur
Jean-François Le Tallec, Julien Deantoni, Robert De Simone, Benoît Ferrero, Frédéric Mallet, Laurent Maillet-Contoz
article
Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), Mar 2011, Grenoble, France. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00601840/file/M-BED_2011_fullpaper.pdf BibTex
titre
Ordonnancement multiprocesseur global basé sur la laxité avec migrations restreintes
auteur
Frédéric Fauberteau, Laurent George, Damien Masson, Serge Midonnet
article
ROADEF 2011, Mar 2011, Saint-Étienne, France. 2 pp., 2011
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00620394/file/hal.pdf BibTex
titre
A schedulability test for real-time dependant periodic task systems with latency constraints
auteur
Liliana Cucu-Grosjean, Yves Sorel
article
12e congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision, Mar 2011, Saint Etienne, France. 2011
Accès au bibtex
BibTex
titre
Job vs. portioned partitioning for the earliest deadline first semi-partitioned scheduling
auteur
Laurent George, Pierre Courbin, Yves Sorel
article
Journal of Systems Architecture, 2011, Paris, France. Journal of Systems Architecture (ISSN : 1383-7621), 57 (5), pp.518-535, 2011, 〈10.1016/j.sysarc.2011.02.008〉
Accès au bibtex
BibTex
titre
The December 2008 Crammont rock avalanche, Mont Blanc massif area, Italy
auteur
Philip Deline, Massimo Broccolato, Jeannette Noetzli, Ludovic Ravanel, Andrea Tamburini
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-408, 2011
Accès au bibtex
BibTex
titre
L'écroulement rocheux du Crammont (région du massif du Mont Blanc, Italie) de décembre 2008 : un effet de la dégradation du permafrost ?
auteur
Philip Deline, Massimo Broccolato, Jeannette Noetzli, Ludovic Ravanel, A. Tamburini
article
Réunion annuelle de l'AFDP, Paris, 2011, Paris, France
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Automatic Test of Lustre/SCADE Programs
auteur
Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis
article
Model-Based Testing for Embedded Systems, CRC Press, pp.171-194, 2011, 978-1-43-981845-9
Accès au bibtex
BibTex

Ouvrage (y compris édition critique et traduction)

titre
Logical Time @ Work for the Modeling and Analysis of Embedded Systems
auteur
Frédéric Mallet
article
LAP LAMBERT Academic Publishing, pp.124, 2011, 978-3-8433-9388-1
Accès au bibtex
BibTex

Brevet

titre
GRPH
auteur
Luc Hogie, Issam Tahiri, Aurélien Lancin, Nathann Cohen, David Coudert
article
France, Patent n° : FR.001.310007.000.S.P.2011.000.31235. 2011
Accès au bibtex
BibTex

Rapport

titre
Transforming CCSL partially-ordered Traces into UML Interaction Diagrams
auteur
Kelly Garcés, Julien Deantoni, Frédéric Mallet
article
INRIA. 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00652987/file/RR-7842.pdf BibTex
titre
Modèles de temps et de contraintes temporelles de MARTE et leurs applications
auteur
Charles André
article
[Rapport de recherche] RR-7788, INRIA. 2011, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00639211/file/RR-7788.pdfarticle
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-408, 2011
Accès au bibtex
auteura='SousRubrtablitre
Verification of MARTE/CCSL Time Rerom CCSL to Promela fo606 leurs applic/a>
auteur
Charles André
article
Accès a319file/RR-_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-408, 2011
Accès au bibtex
ex" urr" /> -ctitlepre d'ou
-ttexa Article dansuvrage

titre
J601840" target="_blaLo7" ef="ardon du -107668"Talp://hal.inria.fr/hal-00667849" target="_blank" >Correct Transformation from CCSL to Promela fo577 leurs applications
auteur
Charles André
article
Accès78585file/Rr Prom_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-408, 2011
Accès au bibtex
titre
Logical time and temporal logics: comparing UML MARTrom CCSL to Promela for59 leurs applic/a>
auteur
Charles André
article
Accès40738file/RR-or59_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-408, 2011
Accès au bibtex
titre
Padl> k Meumeu Yomsi="_blank" >Job vs. portioned partitioning for the earliest deadline first semi-prom CCSL to Promela fo702 leurs application43/a>
auteur
Charles André
article
INRIA. 2011
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https://tel.archive0-ouvertes.fr/tel-00767040/bibtex" target="_self"> BibTex
ss='Nex" e/ddo"Vde
at0" tp cspecdd> sre">
titre
k" >SIRALINDematdt a="_blanBurRerdonUML/MARTE in model-basx dutteo Bld tre">Automatic Test of Lustre/SCADE ProgrGénieTex" /i>Jobdt>auteur
Charles André
article
Accès4526xfile/RLambdaNe/d_se2too_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40t="BibTex" src="http://haltools.inria.fr/images/Haltools_bibtex3.png" border="0" title="BibTex" />
uteur

ssex" evoiss=ord

titre
Probabilistic Sensitivity Ana"> <
auteu>
aen 29 Courbin,391-419Distributed Computing, Mar 201tsi.f">
, Apr 2011, Las Vegas, United States. IEEE, 2011,
article
2nd World landslide Forum, 2011, Rome, pp. 403-40t="BibTex" src="http://haltools.inria.fr/images/Haltools_bibtex3.png" border="0" title="BibTex" />
titre
SCIPX: a SystemC to IP-XAInnovass="ChinVSl classlass=auteur
aen 6 (1-2urbin,99-106ValeurRes Auteurs">Laurent George, Pierre Courbin,07/s1133aer->rnal of Systems07/s1133aer->Conference on Engineering of Complex Computer Systems, Apr 2011, Las Vegas, United States. IEEE, 2011,
article
2nd World landslide Forum, 2011, Rome, pp. 403-40 href="https://hal.archives-ouvertes.fr/halsde-00653747/bibtex" target="_self"> BibTex
titre
Correct Transformation fGruhalCadt cnAute53" KevcnAJ. S/fiivanChampSIGSOFT FSErRes ANovs">aen /dt>a Feen Deantoni
Virgin60558-791-2rbin,377-378es">aen P/spaedrRectionditidt>
Foundass="Chass=auteur
Laurent George, rreacmport Beachr5f1882291.188235th EUROMICRO Confe rreacmport Beachr5f1882291.188235tConference oDistributed Computing, Mar 2011, Newport Beachr5f1882291.188235th EUROMICRBeachr5f1882291.188235tConference os="ChampRes">auteur
Frédéric Mallet
article
article
2nd World landslide Forum, 2011, Rome, pp. 403-40BibTex
titre
Scheduling non-preemptive harM. href="slassY.//hal.ChampCSL and PSLautent/ServiclassNetrderVSl classRTNS'e0-oes ANovs">aen hamed Marouf, Yves">aen P/spaedrRectionCSL and PSLautent/ServiclassNetrderVSl clas,sRTNS'e0-o>
auteur
Charles André
article
article
Accèsl635lfile/Rrtns">article article
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40t="BibTex" src="http://haltools.inria.fr/images/Haltools_bibtex3.png" border="0" title="BibTex" />
"BiFixed PriRes"ysNg" Pre-der="0" S"ChampRes">titre
SCIPX: a SystemC to IP-XACSL and PSLautent/ServiclassNetrderVSl clas-oes ANovs">aen hamed Marouf, Yves
aen 20e0-o>
auteur
Charles André
article
Accès36363file/Rrtns>, ApdavPhe
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40t="BibTex" src="http://haltools.inria.fr/images/Haltools_bibtex3.png" border="0" title="BibTex" />rc="http://haltoo44665" />
titre
Scheduling Multi Clock Real Time Systems: From Requirements to Implementat"ChampRes">aute

aen /cottsdaV"_bAZen Deantoni
dCMmbedde99-208es">aen stributed Computing, Mar 2011, Newport Beachr5f1879021.1879048h EUROMICRBeachr5f1879021.187904857, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing. Li_SAFA2010_final.pdf〉
Accès44665file/Rrticl-ver">Li_SAFA2
Li_SAFA2"https://hal.inria.fr/inria-00587151/file/deantoni_SAFA_2010.pdf" src="http://haltoo44665fs Aus="Vedrea Tamburini
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40t="BibTex" src="http://haltools.inria.fr/images/Haltools_bibtex3.png" border="0" title="BibTex" />rc="http://haltoo4586x" />
titre
Semantic Multi-View model flass=teuraen /out0059tal.a DeantoKd> domesaen P/spaedrRectionditi">aeclass=>autspecibtex3.png&, Mar 201www.ecswport fdlis Fofdl-is F-p/spaedrRec/t>
Accès4586xfile/Rrdlis F-hcle
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40t="BibTex" src="http://haltools.inria.fr/images/Haltools_bibtex3.png" border="0" title="BibTex" />
titre
Logical time and temporal logics: comparing UML MARTampSon
IndriquivicChampRes">auteurPhili
ar">aen stributed Computing, Mar 201ieeexplore.ieeeport xpls/abs_rte.jsp?arnu0" =5551372VHDL Ob on cs eur< titleC
, Mar 2011, Newport Beach09/SIEnatio0.5551372 IEEE computer socSIEnatio0.555137257, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing. Accès au0pfile/Rlass-Ob _SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40t="BibTex" src="http://haltools.inria.fr/images/Haltools_bibtex3.png" border="0" title="BibTex" />
t traductionTi/dl> <
titre
SCIPX: a SystemC to IP-XAIa>
Jean-François Le Tallec, Jent/Serviculien Deantoni, Robert liana Cuys">aen Parad, Jclasarps:a Auplas. 7 Auteur0-o>
auteur
Charles André
article
Accè49724lfile/Ryueur0ma h_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40t="BibTex" src="http://haltools.inria.fr/images/Haltools_bibtex3.png" border="0" title="BibTex" />d class=df" "Va8755ges/Haltools_bibtex3
st'Notder="0" inVsafe0" c696/ordesclass='NoticeRes'>
titre
"https://hal.inria.fr/inria-A< du -"https:/Faes">lassOlivt c Guetta>lass"htto'>Rap De-XACDCC">aec-=Res Auteurs"C696/orde>

ae)>

aen dCM to Implementat"ChampRes">P/spaedrRencemis"Distributed Computing, Mar 2011, Newport Beachr5f1772643.177264th EUROMICRBeachr5f1772643.177264tConference on Engineering of Complex Computer Systems, Apr 2011, Las Vegas, United States. IEEE, 2011,
article
2nd World landslide Forum, 2011, Rome, pp. 403-40t="BibTex" src="http://haltools.inria.fr/images/Haltools_bibtex3.png" border="0" title="BibTex" />
mn> .v0" s='Notic
titre
Hu href=uboPhil"https://hal.inria.fr/inria-Lak>lassM. KwiatkowskaDe-XAIntern'e0-oes ACucu-Gren Oxe="d.a DeantoKd> domesIa>araen 15IN
auteur
LDistributed Computing, Mar 2011, Newport Beach, Unnternatioeac3 2011 - 16th IEEE Internatioeac3Conference os="ChampRes">auteur
Frédéric Mallet
article
article
2nd World landslide Forum, 2011, Rome, pp. 403-40t="BibTex" src="http://haltools.inria.fr/images/Haltools_bibtex3.png" border="0" title="BibTex" />
titre
The Decemberdécembre 2008 : un effet de la dégradation du permafrost ?
auteur
Frédéric Mallet
articlcle
article
2nd World landslide Forum, 2011, Rome, pp. 403-40 href="https://hal.archives-ouvertes.fr/halsde-00951569/bibtex" target="_self"> BibTexJeanusRub" borde titlsa> titre
SCIPX: a SystemC to IPSlaseep K. Shukla>lass du -107668"Talp:/ChampSynditduction)

auteueur< o668cqnesssby <
aen Virgini419-6399-4s="ChampRes">auteur
Frédéric Mallet
article
article
2nd World landslide Forum, 2011, Rome, pp. 403-4000951569/bibtex" target="_self"> BibTex
titre
Scheduling non-preemptive harSlaseep K. Shukla>lass du -107668"Talp:/ChampSynditduction)

auteueur< o668cqnesssby <
aen Virgini419-6399-4s="ChampRes">auteur
Frédéric Mallet
article
article
2nd World landslide Forum, 2011, Rome, pp. 403-40 href="https://hal.archHDRalsde-00951569/bibtex" target="_self"> BibTexssl'lasénierieTdiriséelass li m3.png" 'NoticeRes'>
titre
Logical Time @ Work forMn critique eet=ul dans.a Dever">/dd>Nex"l aphiaaAndipolPhileur0-o>
auteur
Charles André
article
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https:x"> BibTex
titre
Andiony <SCIPX: a SystemC to IProm CCSL to Promela fo286 leurs appli0-o>
auteur
Charles André
article
Accè485609file/RR-77286_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTexmn>
.v0" s='Notic
titre
Hu href=uboPhil"https://hal.inria.fr/inria-FaNew-Lak>SCIPX: a SystemC to IProm CCSL to Promela fo292 leurs appli0mbedde9-o>
auteur
Charles André
article
Accè48397gfile/RR-_o292_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex Deveau'NoticeRes'>
titre
Probabilistic Sensitivityaintes temporelles de MARTE287 leurs appli0-o>
auteur
Charles André
article
Accè48272pfile/RR-77287_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
titre
Modèles de temps et de contraim CCSL to Promela fo2icateurs appli0mbedd59-o>
auteur
Charles André
article
Accè4588
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https:x"> BibTexutefloteu>ss='Nm3.plPhNotic'NoticeRes'>
titre
Andiony </dd>Nex"l aphiaaAndipolPhileur0.riaref=ates.fr/hal-00680696" target="s">auteur
Charles André
article
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-4000951569/bibtex" target="_self"> BibTex
lassIP-XACT'NoticeRes'>
titre
Aamir Mehmood Khat/hal.inria.fr/inria-00601843" target="_blank" >SCIPX: a SystemC to IP)

/dd>Nex"l aphiaaAndipolPhileur0.rEnglPhhDistributed Computing, Mar 201www.ditdhs="Vaeur0NICE4002 IEEE compNNT : eur0NICE400257, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https://tel.archiv09-ouvertes.fr/tel-00767040/bibtex" target="_self"> BibTex
/"0" obert :to tryto lay-SoticeRllassFu">Li Shel.ins'>
titre
SCIPX: a SystemC to IP-XAClectralic sres inVTitore6/ordeurRes Aute AlberrRes AElsevmpRes">09es"45n stributed Computing, Mar 2011, Newport Beac016/j.entcs.">09.07.026rnal of Systems16/j.entcs.">09.07.026Conference os="ChampRes">auteur
Frédéric Mallet
article
article
2nd World landslide Forum, 2011, Rome, pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex ssdl cès unpolydd> <" 'NoticeRes'>
titre
"https://hal.inria.fr/inriaertes./hal.inria.fr/inria-00601843" target="_blank" >SCIPX: a SystemC to IP-XAJ">sass=Europé n
09es7-9 (43urbin,725-739Distributed Computing, Mar 201jesa.f">
Accè434462file/Rjesa09_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
titre
"https://hal.inria.fr/inriaertes./hal.inria.fr/inria-00601843" target="_blank" >SCIPX: a SystemC to IP-XAGénieTex" /i>Jobdt>
auteurFrédéric Mallet
article
article
2nd World landslide Forum, 2011, Rome, pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
titre
SCIPX: a SystemC to IP-XAj">sass=ru r/ipnte"/dl>sin>
, ApSAIA_SAFA2010_final.pdf〉
Accès a09pfile/RIF_juin_>, ApSAIA_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https:x"> BibTexs:la f
titre
Logical time and temporal logics: comparing UML MARTamp3itlJ-ou, Jen CCSL AutRes Auteurs"d claervicurRes rRen(JRWRTCaiv09enoît O/dl">09esParPhiluf, Yves">09-o international Symposium on Object/Component/service Oriented Real-Time Distributed Computing. _a_f
Accè49422.file/RTowtit_a_TLM_to_RTL_re_eu/dl>_a_f
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
titre
lums Lu Potop-Butucara="1840" target="_blatps://hal.on du -107668"Talp:/inria.fr/hal-00737916" target="_blank" >Scheduling non-preemptive harSlmarjis ChakrarldtyclassNi(réanResbwitlsDe-XAId>
aute

09-oît O/dl">09esGpReoblarouf, YvesdCMmb">09esstributed Computing, Mar 2011, Newport Beachr5f1629335.1629356h EUROMICRBeachr5f1629335.1629356Conference os="ChampRes">auteur
Frédéric Mallet
article
article
2nd World landslide Forum, 2011, Rome, pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex e="BI>ArticlerRenM/a> lev>J/Dp cis">Jeans'NoticeRes'>
titre
SIRALINGérardoniaref="httT766iScheduling Multi Clock Real Time Systems: From RequiremenM. van
09esDenvpResColorad,en Deantoni
upclaser-VerlagnBur cnAHeiean40"gn ass314-333es">aen Lteurs" sre inVurRes Aute AlberLDistributed Computing, Mar 2011, Newport Beac00pfVirg3-642-12107-4_22rnal of Systems07/Virg3-642-12107-4_2257, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè46488gfile/Rslh_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
<" />
titre
Scheduling non-preemptive haramp>JeansclassAlgRes"hm> e="BPd> nitique ee"ChampRes Prsblam> - MAPSP'09-oît J-ol">09esAbbeysRolducfrNetherlandses">09-o international Symposium on Object/leurRes Auteurs">Frédéric Mallet
article
article
2nd World landslide Forum, 2011, Rome, pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
<='Not

titre
SCIPX: a SystemC to IPChr-oroph Kirsg">lass"hhmut KlasemirChampLanguves",VurRele/r",VlassTarti e="BChampRes">auteur09esDubl:/laI/l.las.ddCM SIGPLAN/SIGBED, 44mbedde67-176mb">09esdCM SIGPLAN -01355"Distributed Computing, Mar 2011, Newport Beachr5f1543136.1542475h EUROMICRBeachr5f1543136.1542475Conference os="ChampRes">auteur
Frédéric Mallet
article
article
2nd World landslide Forum, 2011, Rome, pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTexmn>
titre
Logical time and temporal logics: comparing UML MARTampId>.="Cha.teur
L - Intern'09-oît J-ol">09esPotsdamesGermanyes09esstributed Computing, Mar 2011, Newport Beach, Unnternati09ems 2011 - 16th IEEE Internati09ems57, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè416592file/Raadle
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
titre
s"hhl.nr"utiel Nakhl.inr<émiee"Cnekenbubter="1840" target="_bla du -107668"Talp:/laiaref="httV SCIPX: a SystemC to IP107668"BazalelassAguorA Canal"VlassTing.ryIMilg" ChampNeptuneliana Cuys">09esParPhiluf, YvesR"> < GénieTLx" /i>J/- AFCET.aiv09-o international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè38163lfile/RNeptune-09_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
titre
Modèles de temps et de contrampId>.=Son<.>autObject/lass"_bnt/ on Oce-or/ined Rd clabTex"/-oriented RurRes rRen(ISORC'09enoît Cucu-G09esToky-008ap" Ch/a>09esstributed Computing, Mar 2011, Newport Beach, UnSORCati09e2th EUROMICRBeach, UnSORCati09e2t57, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè38327lfile/RISORC09a_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTexTi/dl> Rbdd> 'NoticeRes'>
titre
Modèles de temps et de contrampId>.=Son<.>autObject/lass"_bnt/ on Oce-or/ined Rd clabTex"/-oriented RurRes rRen(ISORC'09enoît Cucu-G09esToky-008ap" Ch/a>09esstributed Computing, Mar 2011, Newport Beach, UnSORCati09e18h EUROMICRBeach, UnSORCati09e1857, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè383262file/REastMnte"_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40 href="https://hal.archives-ouvertes.fr/halsde-00951569/bibtex" target="_self"> BibTex
.v0ADL>eurslassoiscrete-ervicDp cis 'NoticeRes'>
titre
SCIPX: a SystemC to IPMntein RadetzkiChampLanguves" e="BChampRes">auteurslassditirv0" s='Noticr<36 Aupclasern ass27-41mb">09esLteurs" sres inVElectr/ordeeur, Mar 2011, Newport Beac00pfVirgini020-9714-0_2rnal of Systems07/Virgini020-9714-0_2Conference os="ChampRes">auteur
Frédéric Mallet
article
article
2nd World landslide Forum, 2011, Rome, pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex hypoditductlasspolydd> languves"'NoticeRes'>
titre
lums Lu Potop-Butucara="1840" target="_bla du -107668"Talp:/inria.fr/hal-00737916" target="_blank" >Scheduling non-preemptive harRutitrd=ZurawskiChampulien Deantoni, Robert gue eV09esVirgini398-0755-2Distributed Computing, Mar 2011, Newport Beac201/Vir1i39807637.ch6h EUROMICRBeac201/Vir1i39807637.ch6Conference on Engineering of Complex Computer Systems, Apr 2011, Las Vegas, United States. IEEE, 2011, article
2nd World landslide Forum, 2011, Rome, pp. 403-40 href="https://hal.archDocu/dl>sf="ocié àOdl Wmanifese dansu s Albtdbt.ar747/bibtex" target="_self"> BibTexlasso cl>Jeans'NoticeRes'>
titre
Modèles de temps et de contrampWIPgionditi4IN
Jean-Driv-005ev>Jop/dl>seurauteur
Accès au0gfile/Rmdd4dreswip09_ds="Vale_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https:x"> BibTexSpecibtex3.pn/Languves-( p c)ins'>
titre
Modèles de temps et de contraim CCSL to Promela f6925ateurs appl09esion37EE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè384077file/RR-76925_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTexslassFIFOgetz
titre
SCIPX: a SystemC to IPaim CCSL to Promela f6919ateurs appl09esione9-o>
auteur
Charles André
article
Accè38164.file/RR-76919_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
titre
SCIPX: a SystemC to IProm CCSL to Promela fo293ateurs appl09-o>
auteur
Charles André
article
Accè484185file/RR-77293_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex 'NoticeRes'>
titre
="https://hal.nria.fr/inriaertes./hal.inria.fr/inria-00601843" target="_blank" >SCIPX: a SystemC to IPaim CCSL to Promela f6839ateurs appl09-o>
auteur
Charles André
article
Accè360528file/RR-76839_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTexArticle danstionitseC
titre
SCIPX: a SystemC to IPaim CCSL to Promela f6918ateurs appl09esione5-o>
auteur
Charles André
article
Accè381563file/RR-76918_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https://tel.archiv08-ouvertes.fr/tel-00767040/bibtex" target="_self"> BibTex
e">ss=orddl cès untr="0"a.f>J/embarqué>'NoticeRes'>
titre
k" >SIRALINDemathieuf=k" >SIRALINGérardonia.fr/inriaertes./hal.inria.fr/inria-00601843" target="_blank" >SCIPX: a SystemC to IP-XAClectraliqurrRes AElectraliqurmb">08n ass2-6Distributed Computing, Mar 201www.electraliqur.biz/emC to /385880.htmlt>
auteur
Frédéric Mallet
article
article
2nd World landslide Forum, 2011, Rome, pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex <"ib"BibTex"s"ChampRes: from deadritedd> titre
Scheduling non-preemptive harampAnnal"VionOper dansu im CCSL rRes Aupclaser Verlagmb">08n 159 (1urbin,41-51s="ChampRes">auteur
Frédéric Mallet
article
article
2nd World landslide Forum, 2011, Rome, pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex <'NoticeRes'>
titre
Logical Time @ Work forampIdnov dansu in">auteurslassSauteur
08n Speci="VIssu">aut/dl>&iF , Mar 2011, Newport Beac00pfs11334lto8ltoo5-2rnal of Systems07/s11334lto8ltoo5-257, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè371371file/Risse08_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https:x"> BibTexJ/mn>d>
titre
"https://hal.inria.fr/inria-tps://hal.inria.fr/hal-00737916" target="_blank" >Scheduling non-preemptive harStefal.van.tRes Auteurf MODEL'Sb">08 - Id>.tRes Auteurs">Jeanauteur08n Toul"> arouf, Yvess">articn-p-wsport, 503esione29-144mb">08n First
Jeanauteur, Apr 2011, Las Vegas, United States. IEEE, 2011, article
2nd World landslide Forum, 2011, Rome, pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTexdd> .vervi-Trigserd RurRs-ouvertess ='NotUML Mnte"'NoticeRes'>
titre
Logical Time @ Work forampF 08n Stuttg WoesGermanyes/a>08n stributed Computing, Mar 2011, Newport Beach, UFDLati08.4641438h EUROMICRBeach, UFDLati08.464143857, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè371392file/Rfdl08_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
titre
Su-Yolsg LeeurRes Titre">SCIPX: a SystemC to IP-XAIntern - UML&0ADL08n stributed Computing, Mar 2011, Newport Beach, UInternati08.14 2011 - 16th IEEE Internati08.1457, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè37140gfile/Ruml_aadl08_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTexauteur
titre
"o="CJngi=B n Gaïdnr<émy Kociklatps://hal.on<édha Hhmol"Ch/hal.inria.fr/inria-00601843" target="_blank" >SCIPX: a SystemC to IP-XAobert ,nAr

Accè27463.file/RIP_0489_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTexauteurs>Jean
titre
SCIPX: a SystemC to IP-XAFirst
autSimulclaeRsTarti lassTdchliqur" e="BurRs-ouvertessfrNetwes A lassSauteursSIMUTarti'08-oît Cucu-G08n Marseillarouf, YvesdCMmbass1-8,siv08-o international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè37139pfile/Rsimu arti08_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex5-oriented Rd claervic)hampRes">auteur
titre
Scheduling non-preemptive harampPrspaeditisgionditi4IN
Manves/dl>seurauteur, SRMPDS'08-oît -G08n PortlredonOregpn,s Deantoni iv08-o international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè413485file/Rsrmpdi08_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40 href="https://hal.archives-ouvertes.fr/halsde-00951569/bibtex" target="_self"> BibTex
data-crRs-ouvertess ='NotUML Md> <'NoticeRes'>
titre
="https://hal.nria.fr/inriaertes.f=SCIPX: a SystemC to IPEugenio vilg"rChampulien Deantoni, RSpecibtex3.pngue eobert gLanguves"-oît aen upclasern ass150-170t -G08n Lteurs" sres inVElectr/ordeeur, Mar 2011, Newport Beacs07/Virgini020-8297-9_11rnal of Systems07/Virgini020-8297-9_11Conference os="ChampRes">auteur
Frédéric Mallet
article
article
2nd World landslide Forum, 2011, Rome, pp. 403-40f="https:x"> BibTex
titre
lums Lu Potop-Butucara="tps://hal.inria.fr/hal-00737916" target="_blank" >Scheduling non-preemptive haraim CCSL to Promela f6655ateurs appl08n ass21s="ChampRes">auteur
Accè322561file/RR-76655_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTexarily Harps:a<"d claervicSclass= ='NotPrepadRes">lassStr/ot P
<"0" C
titre
Patr/okiMeumeu Yomsia-tps://hal.inria.fr/hal-00737916" target="_blank" >Scheduling non-preemptive haraim CCSL to Promela f66aen eurs appl08n ass21s="ChampRes">auteur
Accè310248file/RR-766steSAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex Rbdd> >lassSpirit IP-XACT'NoticeRes'>
titre
AamiriMehmood KhanurRes Titre">SCIPX: a SystemC to IPaim CCSL to Promela f6647n eurs appl08s="ChampRes">auteur
Accè321953file/RR-76647_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
titre
Modèles de temps et de contraim CCSL to Promela f6545n eurs appl08s="ChampRes">auteur
Accè283077file/RR-76545_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTexTi/dl> Rbdd> 'NoticeRes'>
titre
Modèles de temps et de contraim CCSL to Promela f6781n eurs appl08s="ChampRes">auteur
Accè34813.file/RR-76781_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex <'NoticeRes'>
titre
Su-Yolsg LeeurRes Titre">SCIPX: a SystemC to IPaim CCSL to Promela f6402n eurs appl08n ass20s="ChampRes">auteur
Accè2l0834file/RR-7FlowLa>
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTextitre
SIRALINGérardoniaref="httTerttprinria.fr/hal-00639211" target="_blank" >Modèles de temps et de contraim CCSL to Promela f6525ateurs appl08n ass17EE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè276653file/Rrrf6525_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTextitre
SCIPX: a SystemC to IPaim CCSL to Promela f6541n eurs appl08s="ChampRes">auteur
Accè281559file/RR-76541_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
titre
="https://hal.nria.fr/inriaertes./hal.inria.fr/inria-00601843" target="_blank" >SCIPX: a SystemC to IPaim CCSL to Promela f6540n eurs appl08s="ChampRes">auteur
Accè280941file/Rrrf654teSAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex proervms inVal.as"ndd> envi> . A lass"si class=nepan>aryclasssuffi Albticondi3.pnoboticeRes'>
titre
lums Lu Potop-Butucara="1840" target="_blatps://hal.inria.fr/hal-00737916" target="_blank" >Scheduling non-preemptive haraim CCSL to Promela f6656n eurs appl08n ass20s="ChampRes">auteur
Accè322563file/RR-76656_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
titre
SIRALINGérardoniaref="httTerttprinria.fr/hal-00639211" target="_blank" >Modèles de temps et de contraim CCSL to Promela f6599n eurs appl08s="ChampRes">auteur
Accè30838xfile/RR-76599_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https:x"> BibTex pitreodiqur" fr/hatps:al. CCux de>propassdl>:.0" s='Notic<à laiconceprtesnensen">bli Cux la>
titre
du -Viv claMilgoinria.fr/hal-00639211" target="_blank" >Modèles de temps et de contrRl. CCux e Ot/slécrRs-ouvertess [cs.NI].s De crsi ésNi(rgeophiaaAndipolPhilti08.niaref=air ss=telltoo07498fs Aus="Vedrea Tamburini
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https://tel.archiv07-ouvertes.fr/tel-00767040/bibtex" target="_self"> BibTex hhref=78446.png" border="0" tiF /"0" obert s'NoticeRes'>
titre
Modèles de temps et de contrampuURASIP Jourass=onn)hampRes">auteur07 (1urbin,039161Distributed Computing, Mar 2011, Newport Beac155/">07/39161 2011 - 16th IE55/">07/3916157, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing. 07-039161DSAFA2010_final.pdf〉
07-039161DSAFA2
07-039161DSAFA2"https://hal.inria.fr/inria-00587151/file/deantoni_SAFA_2010.pdf" src="httphhref=78446.fs Aus="Vedrea Tamburini
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https:x"> BibTex
titre
SCIPX: a SystemC to IP-XAACM//a>< Id>.tCCha.urs">Jean upclasern LNCS 4735rbin, 559-573ilti07mbLteurs" sres inVivep>, Mar 2011, Newport Beacs07/Virg3-540-75209-7_38h EUROMICRBeacs07/Virg3-540-75209-7_3857, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè2l4489file/RmJeans07_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40tex" target="_self"> BibTex.vD layntoDataBurRs-ouvertess: from 0ADL>totUML Md> <'NoticeRes'>
titre
="https://hal.nria.fr/inriaertes.f=SCIPX: a SystemC to IPampuCSI F 07mbBCSLelona>07EE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè2l448.file/RFDL07a_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40tex" target="_self"> BibTexd> <'NoticeRes'>
titre
="https://hal.nria.fr/inriaertes.f=SCIPX: a SystemC to IPampuCSI F 07mbBCSLelona>
Accè2l4481file/RFDL07b_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
titre
="https://hal.nria.fr/inriaertes.f="https://hal.inria.fr/inri/hal.inria.fr/inria-00601843" target="_blank" >SCIPX: a SystemC to IPamp/a>< Id>.tCCha.urs"d claervicivep>
titre
="https://hal.nria.fr/inriaertes.f="https://hal.inria.fr/inri/hal.inria.fr/inria-00601843" target="_blank" >SCIPX: a SystemC to IPamp/a>< Id>.tSymp.urs"Indusrierdeelien Deantoni, R(SIES), Mar 2011, Newport Beach, USIESati07.4297340 2011 - 16th IE, USIESati07.429734057, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè2l4508file/RSIES07_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
< Tasks pndl Multipropassor
titre
Scheduling non-preemptive harampPrspaeditisgionISCA tiIN
autPara hrlslassoisriented Rivep> iv07EE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè41348xfile/Rpdcs07_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
titre
Scheduling non-preemptive harampPrspaeditisgion19NotEuromicro=CChampRes">autd claervic>auteur, ECRTS'07EEît -G07mbPisa,sItaly> iv07EE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè413487file/Recrts07_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
lassStr/ot P <"0" C
titre
Scheduling non-preemptive harampPrspaeditisgion15IN
autRb"BierviclassNetwes c>auteur, RTNS'07EEît -G07mbNancyrouf, Yvesiv07EE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè413489file/Rrtns07_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40tex" target="_self"> BibTexauteur
titre
AScheduling non-preemptive harampPrspaeditisgion3r REuropean=CChampRes">aut>Jean
Accè413488file/Recmda07_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https:x"> BibTexss=hhref1236198s_bibtex3.png" bordLi ef, YoAroveef=al :"_selrdasue>problé claef=.'NoticeRes'>
titre
Stefania Roorls.f= du -Pi7668 Lai/hal.inria.fr/inria-00601843" target="_blank" >SCIPX: a SystemC to IPampGalRom07 (Diadd>
articlCSL ips:-dd cr/dd>ss=hhref1236198fs Aus="Vedrea Tamburini
article
2nd World landslide Forum, 2011, Rome, pp. 403-40f="https:x"> BibTex
titre
du -Phr="ppe Babau>SCIPX: a SystemC to IPampucotarg'é ésComps:al.l.indt>07mbNan/ddrouf, YvEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè58716.file/RJPB_JDA_ETR07_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https:x"> BibTexaryclassSuffi AlbtiCondi3.pns eur
titre
lums Lu Potop-Butucara="1840" target="_blatps://hal.inria.fr/hal-00737916" target="_blank" >Scheduling non-preemptive haraim CCSL to Promela f6152n eurs appl07n ass21s="ChampRes">auteur
Accè137885file/RR-76152_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex/"0" obert s'NoticeRes'>
titre
SCIPX: a SystemC to IPaim CCSL to Promela f6149n eurs appl07n ass25s="ChampRes">auteur
Accè137495file/RR-76149_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
titre
SCIPX: a SystemC to IPaim CCSL to Promela f6289n eurs appl07n ass26s="ChampRes">auteur
Accè168757file/RR-76289_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https:x"> BibTexsautèmps:Insen">blis<à laiLa>.'NoticeRes'>
titre
SCIPX: a SystemC to IPInformclaef= [cs].s De crsi ésNi(rgeophiaaAndipolPhilti07.niaref=air ss=tellto271620fs Aus="Vedrea Tamburini
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https://tel.archiv06-ouvertes.fr/tel-00767040/bibives-ouvertes.fr/halsde-00653747/bibtex" target="_self"> BibTex>ionsen"ors ba
titre
SCIPX: a SystemC to IPampWes Ahop>aut>Jeans lass0nalysis eur
titre
Modèles de temps et de contramp/a>< Id>
, Mar 2011, Newport Beach, UIESati06.357475 2011 - 16th IE, UIESati06.35747557, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè37127pfile/RIESti06_fiass_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
titre
SCIPX: a SystemC to IPampIngénng.ie Dirigée paratps:MJeèe/ 'Ndt>, Mar 201pputet-mdeport idm06/ac/dd>SAFA2011 - 16Mar 201pputet-mdeport idm06/ac/dd>SAF57, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing.
Accè587ti0file/RIDM06_ddu ts:a_babau_CR_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https:x"> BibTex/"0" obert lassCdl>rvicRepet>/"0" S"ChampRes'NoticeRes'>
titre
SCIPX: a SystemC to IPaim CCSL to Promela f5894n eurs appl06s="ChampRes">auteur
Accè071374file/RR-75894_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
titre
="https://hal.nrASCIPX: a SystemC to IPaim CCSL to Promela f5895n eurs appl06s="ChampRes">auteur
Accè071373file/RR-75895_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
titre
lums Lu Potop-Butucara="tps://hal., SCIPX: a SystemC to IPaim CCSL to Promela f6021n eurs appl06n ass25s="ChampRes">auteur
Accè114032file/RR-76021_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTex
titre
="https://hal.nria.fr/inriaertes.f="https://hal.inria.fr/inri/hal.inria.fr/inria-00601843" target="_blank" >SCIPX: a SystemC to IPaim CCSL to Promela f5913n eurs appl06n ass18s="ChampRes">auteur
Accè124874file/RR-75913_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https://tel.archiv05-ouvertes.fr/tel-00767040/bibives-ouvertes.fr/halsde-00653747/bibtex" target="_self"> BibTex
titre
SCIPX: a SystemC to IPampPrspaeditisgionthe 9Not/a>< Id>
/a>< ivep>05,gstributed Computing, Mar 201promiclCcmport cie daes.cfm?id=1097421A2011 - 16Mar 201promiclCcmport cie daes.cfm?id=109742157, 2011, IEDistributed Computing, Mar 2011, Newport Beac109/DISTRAati05.2 2011 - 16th IE, UDISTRAati05.257, 2011, IEEE international Symposium on Object/riented Real-Time Distributed Comt
articler="0" t://halto587338fs Aus="Vedrea Tamburini
article
2nd World landslide Forum, 2011, Rome, pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTextitre
dd claDdu ts:af= du -Phr="ppe Babau/hal.inria.fr/inria-00601843" target="_blank" >SCIPX: a SystemC to IPampPrspaeditisgionthe 11Not/a>< Id>
autelien DealassRb"Biervicivep>
titre
=ednriaDumompRembLaurdl>>Rioux, Ting.ry Saunng.f=k" >SIRALINGérardonAnsgar Ra lamachg.f=1840" target="_blaTing.ry Gs">ng.f=tps://hal., dd claFoaltof= du -Lu<"Dekeysg.f=AModèles de temps et de contrampDac Wes Ahop>-gUML-SoC05-odt> iv05-o international Symposium on Object/riented Real-Time Distributed Comt
articler="0" thhref1071285fs Aus="Vedrea Tamburini
article
2nd World landslide Forum, 2011, Rome, pp. 403-40ria.fr/hal-01355741/bibtex" target="_self"> BibTexspécibtex3.pns incluu t du contrôe/ en>spécibtex3.pn flot de>donnéps:pouraimpputtertes.fisrientép'NoticeRes'>
titre
Nicolal.inrns.f=tps://hal.inria.fr/hal-00737916" target="_blank" >Scheduling non-preemptive harampAc/dd de>la=CChaérRes">MJeélisNoticauteur
Accè413490file/Rmsr05_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https:x"> BibTex
titre
SCIPX: a SystemC to IPpaparNotic
auteur
Accè587t10file/RDdu ts:a_MemCialTask_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40tex" target="_self"> BibTex e dCoigc: a caseBstudy eur
titre
SCIPX: a SystemC to IPThe papar
eesiv05s="ChampRes">auteur
eeSAFA2010_final.pdf〉
Accè58718.file/Rddu ts:a_babau_ci40"m"> eeSAFA2
eeSAFA2"https://hal.inria.fr/inria-00587151/file/deantoni_SAFA_2010.pdf" src="http://halto58718.fs Aus="Vedrea Tamburini
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https:x"> BibTex
lt R layoni/"0" obert s'NoticeRes'>
titre
SCIPX: a SystemC to IPaim CCSL to Promela f5557n eurs appl05rbin,19s="ChampRes">auteur
Accè070449file/RR-75557_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https://tel.archiv04-ouvertes.fr/tel-00767040/bibAmC to .fr/halse revuhalsde-00951569/bibtex" target="_self"> BibTexnib"BibTex"a" s='Notic ic
titre
Scheduling non-preemptive harampJourass=ionSupercvep>, Mar 2011, Newport Beac023/B:SUPE.0000045213.82276.8e 2011 - 16th I023/B:SUPE.0000045213.82276.8e57, 2011, IEEE international Symposium on Object/riented Real-Time Distributed Comt
articeupeceupemlCSL ips:-dd cr/dd>ss=hhref0826258fs Aus="Vedrea Tamburini
article
2nd World landslide Forum, 2011, Rome, pp. 403-40f="https:x"> BibTexlassla>
titre
Scheduling non-preemptive haraim CCSL to Promela f5403n eurs appl04n ass33s="ChampRes">auteur
Accè0706i0file/Ra f5403_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https:x"> BibTex
titre
Fa hrs">Peixinria.fr/hal-00737916" target="_blank" >Scheduling non-preemptive hars Tre [cs.OH].s De crsi ésNi(rgeophiaaAndipolPhilti04.niaref=air ss=tellto327772fs Aus="Vedrea Tamburini
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-4000951569/bibtex" target="_self"> BibTex
titre
Liliala Cucuinria.fr/hal-00737916" target="_blank" >Scheduling non-preemptive hars Tre [cs.OH].s De crsi ésPari://ud -sPari:/XIilti04.niaref=air ss=tellto01204xfs Aus="Vedrea Tamburini
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40f="https://tel.archiv02-ouvertes.fr/tel-00767040/bibives-ouvertes.fr/halsde-00653747/bibtex" target="_self"> BibTexss=hhref1241621s_bibtex3.png" bordUngpaoje Od’Atlal.MultimédiaaProsodaef= de>l’E It(rgRomaninoticeRes'>
titre
Muties=CChti:af= du -Pi7668 LaionAnts:aogRomano, Stefania Roorls.f=LurdComDe Casrio Mo>Scheduling non-preemptive harBes=B SpeechaProsody iv02-odt>02>
articlCSL ips:-dd cr/dd>ss=hhref1241621fs Aus="Vedrea Tamburini
article
2nd World landslide Forum, 2011, Rome, pp. 403-40f="https://tel.archiv00-ouvertes.fr/tel-00767040/bibives-ouvertes.fr/halsde-00653747/bibtex" target="_self"> BibTexss=hhref0973441s_bibtex3.png" bordPla><-forml de>e-0cepetic
titre
=".://hal.nr"https://hal.inria.fr/inria-D. Gaffl.inria.fr/hal-00639211" target="_blank" >Modèles de temps et de contrampTechnologidd de>l'Informclaicla=CCes-ouvertes.fr/hal'Enseignv/dl><- TICE iv00-odt>
articlCSL ips:-dd cr/dd>ss=hhref0973441fs Aus="Vedrea Tamburini
article
2nd World landslide Forum, 2011, Rome, pp. 403-40tex" target="_self"> BibTexss=hhref1364641s_bibtex3.png" bordLagevoyeltps:ts:aqur"
titre
Lucia MolPnu, Stefania Roorls.inria.fr/hal-00639211" target="_blank" >Modèles de temps et de contrPaus=Badin (ed.). XXIIIèmps:Jouraéps:d'EtudComsuratasParolaro(JEP iv00)-odt>
articlCSL ips:-dd cr/dd>ss=hhref1364641fs Aus="Vedrea Tamburini
article
2nd World landslide Forum, 2011, Rome, pp. 403-40tex" target="_self"> BibTexss=hhref1364640s_bibtex3.png" bord0nalisi sriu/dl>ae/ e fonologica ean vocalismo:ts:aco dialsa vhttptà ef, YoAroveezae/ via.ostalainoticeRes'>
titre
Lucia MolPnu, Stefania Roorls.inria.fr/hal-00639211" target="_blank" >Modèles de temps et de contr"htta Teresa Vigogof=Patr/zta Dan Pudl>aroAl hreo Zambs:a. La ei tettologia oggi ef, cld/zton/ e nuove metodologie-odt>aey. Ed/ztoni ETSrbin,117-132, iv01s="ChampRes">auteur
articlCSL ips:-dd cr/dd>ss=hhref1364640fs Aus="Vedrea Tamburini
article
2nd World landslide Forum, 2011, Rome, pp. 403-40f="https://tel.arch1999-ouvertes.fr/tel-00767040/bibives-ouvertes.fr/halsde-00653747/bibtex" target="_self"> BibTexss=hhref1364642tools_bibtex3.png" Vocali:ts:ache ade-0frChto innparolanparossiton/ ef, YoAroveezaei'NoticeRes'>
titre
Stefania Roorls.f=Lucia MolPnuinria.fr/hal-00639211" target="_blank" >Modèles de temps et de contrDona>Ilnparputt/ e laisua pResua.:/tti eanlan10e Gio
ae/ (A.I.A.)
aey. in,197-205rbiv00-o international Symposium on Object/riented Real-Time Distributed Comt
articlCSL ips:-dd cr/dd>ss=hhref1364642fs Aus="Vedrea Tamburini
article
2nd World landslide Forum, 2011, Rome, pp. 403-40f="https://tel.arch1994-ouvertes.fr/tel-00767040/bibives-ouvertes.fr/halsde-00653747/bibtex" target="_self"> BibTexss=hhref097427x" />
la=proervmmertes.sandd>

surveill, YvEEoticeRes'>

titre
=".://hal.nrD. Gaffl.f="https://hal.inria.fr/inri/hal.inria.fr/inria-00601843" target="_blank" >SCIPX: a SystemC to IPampJouraéps:Surveill, Yvf=k"rpt.f=Supervisial.aGR
articlCSL ips:-dd cr/dd>ss=hhref097427xfs Aus="Vedrea Tamburini
article
2nd World landslide Forum, 2011, Rome, pp. 403-40f="https://tel.arch1993-ouvertes.fr/tel-00767040/bibttps://hal.inria.fr/hal-01355741/bibtex" target="_self"> BibTex
titre
du -Pi7668 Pari:roGérard=B ng.f=Paus=Le Guerouv,niaref=ois DupCht, ClaudC=Le Mair//hal.inria.fr/inria-00601843" target="_blank" >SCIPX: a SystemC to IPaitps:// de>rechg.chg] RTef157n eurs ap1993-o"ChampRes">auteur
Accè07131xfile/RaTef157_SAFA2
article
2nd World landslide Forum, 2011, Rome, Italy. pp. 403-40/div-40/body-40/htm3-4