Publications HAL du labo/EPI aoste

2017

Rapport

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

Thèse

titre
Low power application architecture adaptation using SMT solvers
auteur
Émilien Kofman
article
Other [cs.OH]. Université Côte d'Azur, 2017. English. <NNT : 2017AZUR4009>
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01534440/file/2017AZUR4009.pdf BibTex

2016

Article dans des revues

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, 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>
Accès au bibtex
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
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
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
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
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
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
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
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

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
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. 2016, pp.70
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01286112/file/RR-8875.pdf BibTex
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 des revues

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
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
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
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
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
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 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
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 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
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
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
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

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

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
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
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
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

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

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 des revues

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
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
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
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
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

Direction d'ouvrage, Proceedings

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, Array. 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
Compilation efficace de spécifications de contrôle embarqué avec prise en compte de propriétés fonctionnelles et non-fonctionnelles complexes
auteur
Thomas Carle
article
Base de données [cs.DB]. Université Pierre et Marie Curie - Paris VI, 2014. Français. <NNT : 2014PA066392>
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01088786/file/thesis.pdf BibTex
titre
Reconciling performance and predictability on a noc-based mpsoc using off-line scheduling techniques
auteur
Manel Djemal
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 des revues

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-, 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-, 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-, 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
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
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

Communication dans un congrès

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
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
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; Formal Methods and Software Engineering. <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; Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings. <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
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
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
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
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
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
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
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
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; Software Architecture. <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
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
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
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; Integrated Formal Methods. <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

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 des revues

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; Isola 2012 Proceedings. <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; Objects, Models, Components, Patterns. <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 des revues

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
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
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

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
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
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

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.pdf BibTex
titre
Throughput Optimization by Software Pipelining of Conditional Reservation tables
auteur
Thomas Carle, Dumitru Potop-Butucaru
article
[Research Report] RR-7606, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587319/file/RR.pdf BibTex
titre
From concurrent multi-clock programs to concurrent multi-threaded implementations
auteur
Virginia Papailiopoulou, Dumitru Potop-Butucaru, Yves Sorel, Robert De Simone, Loic Besnard, Jean-Pierre Talpin
article
[Research Report] RR-7577, INRIA. 2011, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578585/file/report.pdf BibTex
titre
Logical time and temporal logics: Comparing UML MARTE/CCSL and PSL
auteur
R. Gascon, Frédéric Mallet, Julien Deantoni
article
[Research Report] RR-7459, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00540738/file/RR7459.pdf BibTex
titre
An Algebraic Approach for Fixed-Priority Scheduling of Hard Real-time Systems with Exact Preemption Cost
auteur
Patrick Meumeu Yomsi, Yves Sorel
article
[Research Report] RR-7702, INRIA. 2011, pp.43
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00613347/file/RR-7702.pdf BibTex

2010

Article dans des revues

titre
Mise en œuvre du MDE pour la conception de systèmes embarqués: premiers résultats et perspectives du projet Lambda
auteur
Sébastien Demathieu, Yves Bernard, Laurent Maillet-Contoz, Matteo Bordin, Frédéric Mallet
article
Génie logiciel, C & S, 2010, pp.38-42
Accès au bibtex
BibTex
titre
Un processus automatique pour concevoir les profils UML
auteur
Frédéric Mallet, Charles André, François Lagarde
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2010, 29 (5), pp.391-419. <http://tsi.revuesonline.com>
Accès au bibtex
BibTex
titre
The Clock Constraint Specification Language for building timed causality models
auteur
Frédéric Mallet, Julien Deantoni, Charles André, Robert De Simone
article
Innovations in Systems and Software Engineering, Springer Verlag, 2010, 6 (1-2), pp.99-106. <10.1007/s11334-009-0109-0>
Accès au bibtex
BibTex

Communication dans un congrès

titre
RT-simex: retro-analysis of execution traces
auteur
Julien Deantoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux, Nicolas Sordon
article
Gruia-Catalin Roman, Kevin J. Sullivan. SIGSOFT FSE, Nov 2010, Santa Fe, United States. ISBN 978-1-60558-791-2, pp.377-378, 2010, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering. <http://doi.acm.org/10.1145/1882291.1882357>. <10.1145/1882291.1882357>
Accès au bibtex
BibTex
titre
Schedulability conditions for non-preemptive hard real-time tasks with strict period
auteur
Mohamed Marouf, Yves Sorel
article
M. Marouf and Y. Sorel. 18th International Conference on Real-Time and Network Systems RTNS'10, Nov 2010, Toulouse, France. 2010, Proceedings of 18th International Conference on Real-Time and Network Systems, RTNS'10
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00566359/file/rtns10_final.pdf BibTex
titre
Quantifying the Sub-optimality of Uniprocessor Fixed Priority Non-Pre-emptive Scheduling
auteur
Robert Davis, Laurent George, Pierre Courbin
article
18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.1-10, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536363/file/rtns2010_davis.pdf BibTex
titre
Semantics-Preserving Implementation of Synchronous Specifications Over Dynamic TDMA Distributed Architectures
auteur
Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fischmeister
article
International Conference on Embedded Software (EMSOFT), Oct 2010, Scottsdale, AZ, United States. ACM, pp.199-208, 2010, <10.1145/1879021.1879048>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00544665/file/final-version.pdf BibTex
titre
Logical time at work: capturing data dependencies and platform constraints
auteur
Calin Glitia, Julien Deantoni, Frédéric Mallet
article
Forum for Design Languages (FDL), Sep 2010, Southampton, United Kingdom. pp.240-246, 2010, Proceedings of the 2010 Forum on specification & Design Languages. <http://www.ecsi.org/fdl2010/fdl-2010-proceedings/>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00545866/file/fdl2010-hal.pdf BibTex
titre
VHDL Observers for Clock Constraint Checking
auteur
Charles André, Frédéric Mallet, Julien Deantoni
article
Symposium on Industrial Embedded Systems, Jul 2010, trento, Italy. IEEE computer society, 2010, <http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5551372VHDL Observers for Clock Constraint Checking>. <10.1109/SIES.2010.5551372>
Accès au bibtex
BibTex
titre
Polychronous Analysis of Timing Constraints in UML MARTE
auteur
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert De Simone
article
IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design, May 2010, Parador of Carmona, Spain. 7 p., 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00497249/file/yu2010mobe.pdf BibTex
titre
Requirement traceability in safety critical systems
auteur
Marie-Agnès Peraldi-Frati, Arnaud Albinet
article
Jean-Charles Fabre and Olivier Guetta and Mario Trapp. EDCC2010 - Workshop on Critical Automotive applications: Robustness and Safety (CARS'2010), Apr 2010, Valencia, Spain. ACM, pp.11-14, 2010, ACM International Conference Proceeding Series; Proceeding of the 1st Workshop on Critical Automotive applications: Robustness & Safety. <10.1145/1772643.1772647>
Accès au bibtex
BibTex
titre
A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systems
auteur
Hubert Dubois, Marie-Agnès Peraldi-Frati, Lakhal Fadoi
article
R. Calinescu and R. paige and M. Kwiatkowska. ICECCS'10, Mar 2010, Oxford, United Kingdom. IEEE Computer Society, ISBN:978-0-7695-4015-3, pp.233-242, 2010, 15th IEEE International Conference on Engineering of Complex Computer Systems. <10.1109/ICECCS.2010.13>
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, A. Tamburini
article
7th EGU General Assembly, 2010, Vienne, Austria
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
The Time Model of Logical Clocks available in the OMG MARTE profile
auteur
Charles André, Julien Deantoni, Frédéric Mallet, Robert De Simone
article
Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Springer Science+Business Media, LLC 2010, pp.28, 2010, 978-1-4419-6399-4
Accès au bibtex
BibTex
titre
From Synchronous Specifications to Statically-Scheduled Hard Real-Time Implementations
auteur
Dumitru Potop-Butucaru, Robert De Simone, Yves Sorel
article
Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Springer Science+Business Media, LLC 2010, pp.34, 2010, 978-1-4419-6399-4
Accès au bibtex
BibTex
titre
Formal Modeling of Embedded Systems with Explicit Schedules and Routes
auteur
Julien Boucaron, Anthony Coadou, Robert De Simone
article
Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Springer Science+Business Media, LLC 2010, pp.38, 2010, 978-1-4419-6399-4
Accès au bibtex
BibTex

HDR

titre
Temps Logique pour l'ingénierie dirigée par le modèles
auteur
Frédéric Mallet
article
Modeling and Simulation. Université Nice Sophia Antipolis, 2010
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00541140/file/hdr_uns-mallet.pdf BibTex

Rapport

titre
Normal Forms and Equivalence of K-periodically Routed Graphs
auteur
Anthony Coadou, Robert De Simone
article
[Research Report] RR-7286, INRIA. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00485609/file/RR-7286.pdf BibTex
titre
A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systems
auteur
Hubert Dubois, Marie-Agnès Peraldi-Frati, Fadoi Lakhal
article
[Research Report] RR-7292, INRIA. 2010, pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00483970/file/RR_7292.pdf BibTex
titre
Un profil UML pour la modélisation multiniveau
auteur
Frédéric Mallet, Charles André, François Lagarde
article
[Rapport de recherche] RR-7287, INRIA. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00482727/file/RR-7287.pdf BibTex
titre
Verification of clock constraints: CCSL Observers in Esterel
auteur
Charles André
article
[Research Report] RR-7211, INRIA. 2010, pp.59
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00458847/file/RR-7211.pdf BibTex

Thèse

titre
Réseaux de processus flots de données avec routage pour la modélisation de systèmes embarqués
auteur
Anthony Coadou
article
Réseaux et télécommunications [cs.NI]. Université Nice Sophia Antipolis, 2010. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00545008/file/these.pdf BibTex
titre
Model-based design for on-chip systems using and extending Marte and IP-XACT
auteur
Aamir Mehmood Khan
article
Embedded Systems. Université Nice Sophia Antipolis, 2010. English. <NNT : 2010NICE4002>
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00834283/file/ThesisAamir2010.pdf BibTex

2009

Article dans des revues

titre
Latency-Insensitive Design: Retry Relay-Station and Fusion Shell
auteur
Julien Boucaron, Anthony Coadou, Robert De Simone
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2009, 245, <10.1016/j.entcs.2009.07.026>
Accès au bibtex
BibTex
titre
Modèle de contraintes temporelles pour systèmes polychrones
auteur
Charles André, Frédéric Mallet
article
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2009, 7-9 (43), pp.725-739. <http://jesa.revuesonline.com/>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00434462/file/jesa09.pdf BibTex
titre
Les modèles de temps de MARTE et CCSL
auteur
Charles André, Frédéric Mallet
article
Génie logiciel, C & S, 2009, pp.44-49
Accès au bibtex
BibTex
titre
SAIA : une utilisation conjointe du génie logiciel et des méthodes formelles
auteur
Julien Deantoni, Jean-Philippe Babau
article
journal du département informatique de l'INSA de Lyon, INSA de lyon, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587097/file/IF_juin_2010_SAIA.pdf BibTex

Communication dans un congrès

titre
Toward a TLM to RTL refinement : a formal approach
auteur
Jean-François Le Tallec, Julien Deantoni
article
3rd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2009), Oct 2009, Paris, France. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00494224/file/Toward_a_TLM_to_RTL_re_nement_a_formal_approach.pdf BibTex
titre
Clock-Driven Distributed Real-Time Implementation of Endochronous Synchronous Programs
auteur
Dumitru Potop-Butucaru, Robert De Simone, Yves Sorel, Jean-Pierre Talpin
article
Samarjit Chakraborty and Nicolas Halbwachs. International conference on Embedded software - EMSOFT 2009, Oct 2009, Grenoble, France. ACM, 2009, <10.1145/1629335.1629356>
Accès au bibtex
BibTex
titre
An Automated Process for Implementing Multilevel Domain Models
auteur
Frédéric Mallet, François Lagarde, Charles André, Sébastien Gérard, François Terrier
article
M. van den Brand, D. Gašević, J. Gray. Software Language Engineering, Oct 2009, Denver, Colorado, United States. Springer-Verlag Berlin Heidelberg, pp.314-333, 2010, Lecture Note in Computer Sciences. <10.1007/978-3-642-12107-4_22>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00464880/file/sle.pdf BibTex
titre
An exact schedulability test for real-time dependant periodic task systems with latency constraints
auteur
Liliana Cucu-Grosjean, Yves Sorel
article
Models and Algorithms for Planning and Scheduling Problems - MAPSP'09, Jun 2009, Abbey Rolduc, Netherlands. 2009
Accès au bibtex
BibTex
titre
Specification and Verification of Time Requirements with CCSL and Esterel
auteur
Charles André, Frédéric Mallet
article
Christoph Kirsch and Mahmut Kandemir. Languages, Compilers, and Tools for Embedded Systems, Jun 2009, Dublin, Ireland. ACM SIGPLAN/SIGBED, 44, pp.167-176, 2009, ACM SIGPLAN Notices. <10.1145/1543136.1542475>
Accès au bibtex
BibTex
titre
Executing AADL models with UML/Marte
auteur
Frédéric Mallet, Charles André, Julien Deantoni
article
Int. Conf. Engineering of Complex Computer Systems - ICECCS'09, Jun 2009, Potsdam, Germany. pp. 371-376, 2009, <10.1109/ICECCS.2009.10>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00416592/file/aadl.pdf BibTex
titre
Présentation des résultats du projet OpenEmbeDD
auteur
Charles André, Mariano Belaunde, Bernard Berthomieu, Christian Brunette, Agusti Canals, Hubert Garavel, Susanne Graf, Frederic Lang, Vincent Mahé, Michel Nakhlé, Rémi Schnekenburger, Robert De Simone, Jean-Pierre Talpin, François Vernadat
article
Pierre Bazex and Agusti Canals and Thierry Millan. Neptune, May 2009, Paris, France. Revue Génie Logiciel - AFCET, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00381639/file/Neptune-09.pdf BibTex
titre
On the semantics of UML/Marte Clock Constraints
auteur
Frédéric Mallet, Charles André
article
Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. IEEE, pp.301-312, 2009, <10.1109/ISORC.2009.27>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00383279/file/ISORC09a.pdf BibTex
titre
Marte CCSL to execute East-ADL Timing Requirements
auteur
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André
article
Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. IEEE, pp.249-253, 2009, <10.1109/ISORC.2009.18>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00383262/file/EastMarte.pdf BibTex

Chapitre d'ouvrage

titre
MARTE vs. AADL for Discrete-Event and Discrete-Time Domains
auteur
Frédéric Mallet, Robert De Simone
article
Martin Radetzki. Languages for Embedded Systems and their Applications, 36, Springer, pp.27-41, 2009, Lecture Notes in Electrical Engineering, 978-1-4020-9713-3. <10.1007/978-1-4020-9714-0_2>
Accès au bibtex
BibTex
titre
Synchronous hypothesis and polychronous languages
auteur
Dumitru Potop-Butucaru, Robert De Simone, Jean-Pierre Talpin
article
Richard Zurawski. Embedded Systems Design and Verification, CRC Press, pp.6-1-6-27, 2009, 978-1-4398-0755-2. <10.1201/9781439807637.ch6>
Accès au bibtex
BibTex

Document associé à des manifestations scientifiques

titre
On the Formal Execution of UML and DSL Models
auteur
Julien Deantoni, Frédéric Mallet, Charles André
article
WIP of the 4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems, Apr 2009, Aussois, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587100/file/mdd4dreswip09_deantoni.pdf BibTex

Rapport

titre
LID: Retry Relay Station and Fusion Shell
auteur
Julien Boucaron, Anthony Coadou, Robert De Simone
article
[Research Report] RR-7293, INRIA. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00484185/file/RR-7293.pdf BibTex
titre
Throughput and FIFO Sizing: an Application to Latency-Insensitive Design
auteur
Julien Boucaron, Anthony Coadou, Robert De Simone
article
[Research Report] RR-6919, INRIA. 2009, pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00381644/file/RR-6919.pdf BibTex
titre
Dynamic Variable Stage Pipeline: an Implementation of its Control
auteur
Julien Boucaron, Anthony Coadou
article
[Research Report] RR-6918, INRIA. 2009, pp.15
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00381563/file/RR-6918.pdf BibTex
titre
Combining CCSL and Esterel to specify and verify time requirements
auteur
Charles André, Frédéric Mallet
article
[Research Report] RR-6839, INRIA. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00360528/file/RR-6839.pdf BibTex
titre
Syntax and Semantics of the Clock Constraint Specification Language (CCSL)
auteur
Charles André
article
[Research Report] RR-6925, INRIA. 2009, pp.37
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00384077/file/RR-6925.pdf BibTex

2008

Article dans des revues

titre
Periodic real-time scheduling: from deadline-based model to latency-based model
auteur
Liliana Cucu, Nicolas Pernet, Yves Sorel
article
Annals of Operations Research, Springer Verlag, 2008, 159 (1), pp.41-51
Accès au bibtex
BibTex
titre
CCSL: specifying clock constraints with UML/MARTE
auteur
Frédéric Mallet
article
Innovations in Systems and Software Engineering, Springer Verlag, 2008, Special Issue on UML & Formal Methods, 4 (3), pp.309-314. <10.1007/s11334-008-0055-2>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00371371/file/isse08.pdf BibTex
titre
Marte, le nouveau standard UML pour les systèmes temps réel embarqués
auteur
Sébastien Demathieu, Sébastien Gérard, Frédéric Mallet
article
Electronique, Electronique, 2008, pp.2-6. <http://www.electronique.biz/article/385880.html>
Accès au bibtex
BibTex

Communication dans un congrès

titre
From high-level modelling of time in MARTE to real-time scheduling analysis.
auteur
Marie-Agnès Peraldi-Frati, Yves Sorel
article
Stefan van Baelen and Iulian Ober and Susanne Grafand and Mamoun Filali and Thomas Weige. Int. Workshop of MODEL'S 2008 - Int. Workshop on Model Based Architecting and Construction of Embedded Systems, Sep 2008, Toulouse, France. http://ceur-ws.org, 503, pp.129-144, 2008, First International Workshop on Model Based Architecting and Construction of Embedded Systems
Accès au bibtex
BibTex
titre
Event-based vs. Time-Triggered Communications with UML Marte
auteur
Frédéric Mallet, Robert De Simone, Laurent Rioux
article
Forum on specification, verification & Design Languages (FDL'08), Sep 2008, Stuttgart, Germany. IEEE, pp.154-159, 2008, <10.1109/FDL.2008.4641438>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00371392/file/fdl08.pdf BibTex
titre
Dealing with AADL end-to-end Flow Latency with UML Marte.
auteur
Su-Young Lee, Frédéric Mallet, Robert De Simone
article
ICECCS - UML&AADL, Apr 2008, Belfast, Ireland. IEEE, pp.228-233, 2008, <10.1109/ICECCS.2008.14>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00371400/file/uml_aadl08.pdf BibTex
titre
A Methodology for Improving Software Design Lifecycle in Embedded Control Systems
auteur
Mohamed El Mongi Ben Gaïd, Rémy Kocik, Yves Sorel, Rédha Hamouche
article
Design, Automation and Test in Europe, Mar 2008, Munich, Germany. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00274634/file/IP_0489.pdf BibTex
titre
MARTE: A Profile for RT/E Systems Modeling, Analysis (and Simulation?)
auteur
Frédéric Mallet, Robert De Simone
article
First International Conference on Simulation Tools and Techniques for Communications, Networks and Systems SIMUTools'08, Mar 2008, Marseille, France. ACM, pp.1-8, 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00371397/file/simutools08.pdf BibTex
titre
Load Balancing and Efficient Memory Usage for Homogeneous Distributed Real-Time Embedded Systems
auteur
Omar Kermia, Yves Sorel
article
Proceedings of the 4th International Workshop on Scheduling and Resource Management for Parallel and Distributed Systems, SRMPDS'08, 2008, Portland, Oregon, United States. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00413485/file/srmpds08.pdf BibTex

Chapitre d'ouvrage

titre
Modeling AADL data-communications with UML MARTE
auteur
Charles André, Frédéric Mallet, Robert De Simone
article
Eugenio villar. Embedded Systems Specification and Design Languages, 10, Springer, pp.150-170, 2008, Lecture Notes in Electrical Engineering, 978-1-4020-8296-2. <10.1007/978-1-4020-8297-9_11>
Accès au bibtex
BibTex

Rapport

titre
Multilevel Modeling Paradigm in Profile Definition
auteur
François Lagarde, Frédéric Mallet, Charles André, Sébastien Gérard, François Terrier
article
[Research Report] RR-6525, INRIA. 2008, pp.17
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00276653/file/rr-6525.pdf BibTex
titre
Marte CCSL and East-ADL2 Timing Requirements
auteur
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André
article
[Research Report] RR-6781, INRIA. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00348134/file/RR-6781.pdf BibTex
titre
Deterministic execution of synchronous programs in an asynchronous environment. A compositional necessary and sufficient condition
auteur
Dumitru Potop-Butucaru, Robert De Simone, Yves Sorel
article
[Research Report] RR-6656, INRIA. 2008, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00322563/file/RR-6656.pdf BibTex
titre
Optimized static real-time scheduling of communications on a broadcast bus
auteur
Dumitru Potop-Butucaru, Yves Sorel
article
[Research Report] RR-6655, INRIA. 2008, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00322561/file/RR-6655.pdf BibTex
titre
Dealing with AADL End-to-end Flow Latency with UML MARTE
auteur
Su-Young Lee, Frédéric Mallet, Robert De Simone
article
[Research Report] RR-6402, INRIA. 2008, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00200834/file/RR-FlowLatency.pdf BibTex
titre
An Automated Process for Designing UML Profiles
auteur
François Lagarde, Frédéric Mallet, Charles André, Sébastien Gérard, François Terrier
article
[Research Report] RR-6599, INRIA. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00308386/file/RR-6599.pdf BibTex
titre
Marte Timing Requirement and Spirit IP-XACT
auteur
Aamir Mehmood Khan, Frédéric Mallet, Charles André, Robert De Simone
article
[Research Report] RR-6647, INRIA. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00321953/file/RR-6647.pdf BibTex
titre
UML/MARTE CCSL, Signal and Petri nets
auteur
Frédéric Mallet, Charles André
article
[Research Report] RR-6545, INRIA. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00283077/file/RR-6545.pdf BibTex
titre
Schedulability Analysis for non Necessarily Harmonic Real-Time Systems with Precedence and Strict Periodicity Constraints using the Exact Number of Preemptions and no Idle Time
auteur
Patrick Meumeu Yomsi, Yves Sorel
article
[Research Report] RR-6610, INRIA. 2008, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00310248/file/RR-6610.pdf BibTex
titre
Kahn-extended Event Graphs
auteur
Julien Boucaron, Anthony Coadou, Benoît Ferrero, Jean-Vivien Millo, Robert De Simone
article
[Research Report] RR-6541, INRIA. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00281559/file/RR-6541.pdf BibTex
titre
Clock Constraints in UML/MARTE CCSL
auteur
Charles André, Frédéric Mallet
article
[Research Report] RR-6540, INRIA. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00280941/file/rr-6540.pdf BibTex

Thèse

titre
Ordonnancements périodiques dans les réseaux de processus : Application à la conception insensible aux latences
auteur
Jean-Vivien Millo
article
Réseaux et télécommunications [cs.NI]. Université Nice Sophia Antipolis, 2008. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00507498/file/Millo.pdf BibTex

2007

Article dans des revues

titre
Formal Methods for Scheduling of Latency-Insensitive Designs
auteur
Julien Boucaron, Robert De Simone, Jean-Vivien Millo
article
EURASIP Journal on Embedded Systems, SpringerOpen, 2007, 2007 (1), pp.039161. <10.1155/2007/39161>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00784464/file/1687-3963-2007-039161.pdf BibTex

Communication dans un congrès

titre
Modeling Time(s)
auteur
Charles André, Frédéric Mallet, Robert De Simone
article
ACM/IEEE Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS/UML), Oct 2007, Nashville, TN, United States. Springer, LNCS 4735, pp. 559-573, 2007, Lecture Notes in Computer Sciences; MoDELS. <10.1007/978-3-540-75209-7_38>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00204489/file/models07.pdf BibTex
titre
Modeling of Immediate vs. Delayed Data Communications: from AADL to UML MARTE
auteur
Charles André, Frédéric Mallet, Robert De Simone
article
ECSI Forum on specification & Design Languages (FDL), Sep 2007, Barcelona, Spain. ECSI, pp.249-254, 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00204484/file/FDL07a.pdf BibTex
titre
Time Modeling in MARTE
auteur
Charles André, Frédéric Mallet, Robert De Simone
article
ECSI Forum on specification & Design Languages (FDL), Sep 2007, Barcelona, Spain. ECSI, pp.268-273, 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00204481/file/FDL07b.pdf BibTex
titre
Multiform Time in UML for Real-time Embedded Applications
auteur
Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati
article
IEEE Int. Conf. on Real-Time Computing Systems and Applications (RTCSA), Aug 2007, Daegu, South Korea. IEEE, pp.232-237, 2007, <10.1109/RTCSA.2007.51>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00204503/file/rtcsa07.pdf BibTex
titre
A multiform time approach to real-time system modeling: Application to an automotive system
auteur
Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati
article
IEEE Int. Symp. on Industrial Embedded Systems (SIES), Jul 2007, Lisbon, Portugal. IEEE, pp.234-241, 2007, <10.1109/SIES.2007.4297340>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00204508/file/SIES07.pdf BibTex
titre
Schedulability Analysis using Exact Number of Preemptions and No Idle Time for Real-Time Systems with Precedence and Strict Periodicity Constraints
auteur
Patrick Meumeu Yomsi, Yves Sorel
article
Proceedings of 15th International Conference on Real-Time and Network Systems, RTNS'07, 2007, Nancy, France. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00413489/file/rtns07.pdf BibTex
titre
Model-Based Methodology for Requirements Traceability in Embedded Systems
auteur
Arnaud Albinet, Jean-Louis Boulanger, Hubert Dubois, Marie-Agnès Peraldi-Frati, Yves Sorel, Quang-Dao Van
article
Proceedings of 3rd European Conference on Model Driven Architecture® Foundations and Applications, ECMDA'07, 2007, Haifa, Israel. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00413488/file/ecmda07.pdf BibTex
titre
Extending Rate Monotonic Analysis with Exact Cost of Preemptions for Hard Real-Time Systems
auteur
Patrick Meumeu Yomsi, Yves Sorel
article
Proceedings of 19th Euromicro Conference on Real-Time Systems, ECRTS'07, 2007, Pisa, Italy. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00413487/file/ecrts07.pdf BibTex
titre
A Rapid Heuristic for Scheduling Non-Preemptive Dependent Periodic Tasks onto Multiprocessor
auteur
Omar Kermia, Yves Sorel
article
Proceedings of ISCA 20th International Conference on Parallel and Distributed Computing Systems, PDCS'07, 2007, Las Vegas, Nevada, United States. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00413486/file/pdcs07.pdf BibTex

Poster

titre
Le francoprovençal : une langue problématique.
auteur
Stefania Roullet, Jean-Pierre Lai
article
GalRom07 (Diachronie du Galloroman), Jan 2007, Nice, France
Accès au bibtex
BibTex

Document associé à des manifestations scientifiques

titre
Architectures logicielles pour les systèmes embarqués temps réel
auteur
Jean-Philippe Babau, Julien Deantoni
article
Ecole d'été temps réel, Sep 2007, Nantes, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587164/file/JPB_JDA_ETR07.pdf BibTex

Rapport

titre
Statically scheduled Process Networks
auteur
Julien Boucaron, Benoît Ferrero, Jean-Vivien Millo, Robert De Simone
article
[Research Report] RR-6289, INRIA. 2007, pp.26
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00168757/file/RR-6289.pdf BibTex
titre
Formal Methods for Schedulings of Latency-Insensitive Designs
auteur
Julien Boucaron, Jean-Vivien Millo, Robert De Simone
article
[Research Report] RR-6149, INRIA. 2007, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00137495/file/RR-6149.pdf BibTex
titre
Necessary and Sufficient Conditions for Deterministic Desynchronization
auteur
Dumitru Potop-Butucaru, Robert De Simone, Yves Sorel
article
[Research Report] RR-6152, INRIA. 2007, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00137885/file/RR-6152.pdf BibTex

Thèse

titre
Modélisation formelle de systèmes Insensibles à la Latence et ordonnancement.
auteur
Julien Boucaron
article
Informatique [cs]. Université Nice Sophia Antipolis, 2007. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00271620/file/these.pdf BibTex

2006

Communication dans un congrès

titre
SAIA: safe deployment of sensors based real time application
auteur
Julien Deantoni, Jean-Philippe Babau
article
Workshop on Models and Analysis for Automotive Systems (held in conjunction with RTSS), Dec 2006, Rio de Janeiro, Brazil. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587178/file/deantoni_babau_MAMAS.pdf BibTex
titre
From UML to Petri Nets for non functional Property Verification
auteur
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André
article
IEEE International Symposium on Industrial Embedded Systems, 2006. IES '06., Oct 2006, Sophia antipolis, France. IEEE, 2006, <10.1109/IES.2006.357475>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00371277/file/IES2006_final.pdf BibTex
titre
Model driven engineering method for SAIA architecture design
auteur
Julien Deantoni, Jean-Philippe Babau
article
Ingénierie Dirigée par les Modèles, Jun 2006, Lille, France. 2006, <http://planet-mde.org/idm06/actes.pdf>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587200/file/IDM06_deantoni_babau_CR.pdf BibTex

Rapport

titre
Modeling with logical time in UML for real-time embedded system design
auteur
Charles André, Arnaud Cuccuru, Robert De Simone, Jean-Pierre Talpin
article
[Research Report] RR-5895, INRIA. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071373/file/RR-5895.pdf BibTex
titre
Latency-Insensitive Design and Central Repetitive Scheduling
auteur
Julien Boucaron, Jean-Vivien Millo, Robert De Simone
article
[Research Report] RR-5894, INRIA. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071374/file/RR-5894.pdf BibTex
titre
From multi-clock constraints to multi-rate GALS executives
auteur
Dumitru Potop-Butucaru, Yves Sorel, Robert De Simone
article
[Research Report] RR-6021, INRIA. 2006, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00114032/file/RR-6021.pdf BibTex
titre
Non-functional property analysis using UML2.0 and model transformations
auteur
Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati
article
[Research Report] RR-5913, INRIA. 2006, pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00124874/file/RR-5913.pdf BibTex

2005

Communication dans un congrès

titre
A MDA-based approach for real time embedded systems simulation
auteur
Julien Deantoni, Jean-Philippe Babau
article
Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications, Oct 2005, Washington, DC, USA, United States. IEEE Computer Society, pp.257--264, 2005, <http://portal.acm.org/citation.cfm?id=1097421>. <10.1109/DISTRA.2005.2>
Accès au bibtex
BibTex
titre
A MDA Approach for Systems Dedicated to Process Control
auteur
Julien Deantoni, Jean-Philippe Babau
article
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2005, hong kong, China. IEEE Computer Society, pp.567--570, 2005, <http://portal.acm.org/citation.cfm?id=1099550.1100781&coll=DL&dl=GUIDE&CFID=17127953&CFTOKEN=17034312>. <10.1109/RTCSA.2005.11>
Accès au bibtex
BibTex
titre
Marte: A new profile rfp for the modeling and analysis of real-time embedded systems
auteur
Cedric Dumoulin, Laurent Rioux, Thierry Saunier, Sébastien Gérard, Ansgar Radermacher, Robert De Simone, Thierry Gautier, Yves Sorel, Julien Forget, Jean-Luc Dekeyser, Arnaud Cuccuru, Charles André
article
Dac Workshop - UML-SoC05, Jun 2005, Anaheim CA, United States. 2005
Accès au bibtex
BibTex
titre
Transformations de spécifications incluant du contrôle en spécification flot de données pour implantation distribuée
auteur
Nicolas Pernet, Yves Sorel
article
Actes de la Conférence Modélisation des Systèmes Réactifs, MSR'05, 2005, Grenoble, France. 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00413490/file/msr05.pdf BibTex

Autre publication

titre
CiberMouse design: a case study for SAIA model reuse
auteur
Julien Deantoni, Jean-Philippe Babau
article
The paper describes the approach proposed during the international robotic challenge : cibermouse. 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587184/file/deantoni_babau_cibermouse.pdf BibTex
titre
SAIA : Sensors/Actuators Independent Architecture -- A showcase through the Martian Task Specifications
auteur
Julien Deantoni, Jean-Philippe Babau
article
paper associated with the implementation of the martian task international robotic challenge. 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587210/file/Deantoni_MartianTask.pdf BibTex

Rapport

titre
Another glance at Relay Stations in Latency-Insensitive Designs
auteur
Julien Boucaron, Jean-Vivien Millo, Robert De Simone
article
[Research Report] RR-5557, INRIA. 2005, pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070449/file/RR-5557.pdf BibTex

2004

Article dans des revues

titre
A methodology to implement real-time applications on reconfigurable circuits
auteur
Linda Kaouane, Mohamed Akil, Thierry Grandpierre, Yves Sorel
article
Journal of Supercomputing, Springer Verlag, 2004, 30 (3), pp.283-301. <10.1023/B:SUPE.0000045213.82276.8e>
Accès au bibtex
BibTex

Rapport

titre
Non-preemptive scheduling algorithms and schedulability conditions for real-time systems with precedence and latency constraints
auteur
Liliana Cucu, Yves Sorel
article
[Research Report] RR-5403, INRIA. 2004, pp.33
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070600/file/RR-5403.pdf BibTex

Thèse

titre
Distribution de programmes synchrones : Le cas d'Esterel
auteur
Fabrice Peix
article
Autre [cs.OH]. Université Nice Sophia Antipolis, 2004. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00327772/file/These_FPeix.pdf BibTex
titre
Ordonnancement non préemptif et condition d'ordonnançabilité pour systèmes embarqués à contraintes temps réel
auteur
Liliana Cucu
article
Autre [cs.OH]. Université Paris Sud - Paris XI, 2004. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00012046/file/these.pdf BibTex

2002

Communication dans un congrès

titre
Un projet d’Atlas Multimédia Prosodique de l’Espace Roman
auteur
Michel Contini, Jean-Pierre Lai, Antonio Romano, Stefania Roullet, Lurdes De Castro Moutinho
article
Bel Bernard et Marlien I. Speech Prosody 2002, Apr 2002, Aix-en Provence, France. pp.227-230, 2002, Speech Prosody 2002
Accès au bibtex
BibTex

2000

Communication dans un congrès

titre
Plate-forme de conception de systèmes automatisés
auteur
Ch. André, Marie-Agnès Peraldi-Frati, D. Gaffé
article
Technologies de l'Information et de la Communication dans l'Enseignement - TICE 2000, Oct 2000, Troyes, France. pp.121-126, 2000
Accès au bibtex
BibTex
titre
Les voyelles toniques des paroxytons francoprovençaux
auteur
Lucia Molinu, Stefania Roullet
article
Paul Badin (ed.). XXIIIèmes Journées d'Etudes sur la Parole, (JEP 2000), Jun 2000, Aussois, France. pp.269-271, 2000
Accès au bibtex
BibTex
titre
Analisi strumentale e fonologica del vocalismo tonico di una varietà francoprovenzale valdostana
auteur
Lucia Molinu, Stefania Roullet
article
Maria Teresa Vigolo, Patrizia Del Puente, Alberto Zamboni. La dialettologia oggi fra tradizione e nuove metodologie, Feb 2000, Pise, Italy. Edizioni ETS, pp.117-132, 2001
Accès au bibtex
BibTex

1999

Communication dans un congrès

titre
Vocali toniche a confronto in parole parossitone francoprovenzali
auteur
Stefania Roullet, Lucia Molinu
article
Donatella Locchi (ed.). Il parlante e la sua lingua. Atti delle 10e Giornate di Studio del Gruppo di Fonetica Sperimentale (A.I.A.), Dec 1999, Naples, Italy. pp.197-205, 2000
Accès au bibtex
BibTex

1994

Communication dans un congrès

titre
Apports récents de la programmation synchrone en surveillance
auteur
Ch. André, D. Gaffé, Marie-Agnès Peraldi-Frati
article
Journées Surveillance, Sûreté, Supervision, GR Automatique, Dec 1994, Paris, France. pp.126-144
Accès au bibtex
BibTex

1993

Rapport

titre
Projet SYNCHRONE : les formats communs des langages synchrones
auteur
Jean-Pierre Paris, Gérard Berry, Frédéric Mignard, Philippe Couronné, Paul Caspi, Nicolas Halbwachs, Yves Sorel, Albert Benveniste, Thierry Gautier, Paul Le Guernic, François Dupont, Claude Le Maire
article
[Rapport de recherche] RT-0157, INRIA. 1993
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071316/file/RT-0157.pdf BibTex