2022
Communication dans un congrès
- titre
- Adaptation policies and measures to cope with climate change in Alpine mountain farming.
- auteur
- A. Piccot, Giovanni Argenti, Gianni Bellocchi, Brien, P, Edoardo Cremonese, M. Della Vedova, Camilla Dibari, M. Galvagno, Ghidotti, S, Claude Napoléone, L. Stendardi, Stefano Targetti, G. Trombi, P Varese, M. Bassignana
- article
- 2nd International Symposium on Climate-Resilient Agri-Environmental Systems, European Climate, Infrastructure and Environment Executive Agency, Aug 2022, Dublin, Ireland
- Accès au texte intégral et bibtex
-
2020
Communication dans un congrès
- titre
- The sustainability of Alpine pastures: first results of the project PASTORALP
- auteur
- Gianni Bellocchi, G Argenti, M. Bassignana, Luca Bindi, L. Brilli, Sergi Costafreda-Aumedes, G. Filippa, Raphaël Martin, Marco Moriondo, Claude Napoleone, Nicolina Staglianò, S Targetti, Camilla Dibari
- article
- 28th General meeting of the European Grassland Federation, The Organising Committee of the 28th General Meeting of the European Grassland Federation, Natural Resources Institute Finland (Luke), Oct 2020, online, Finland
- Accès au bibtex
-
- titre
- Efficient fine-grain parallelism in shared memory for real-time avionics
- auteur
- Philippe Baufreton, Vincent Bregeon, Keryan Didier, Guillaume Iooss, Dumitru Potop-Butucaru, Jean Souyris
- article
- ERTS 2020 - 10th European Congress Embedded Real Time Systems, Jan 2020, Toulouse, France
- Accès au bibtex
-
Rapport
- titre
- Kamishibaï plurilingue : de la création à la mise en œuvre Guide d’accompagnement- Livret pédagogique
- auteur
- Rosa Faneca, Delphine Leroy, Evangelina Moussouri, Anna Stevanato, Gabriella Vernetto, Marie Peretti Ndiaye, Michela Jaccond, Joyce Peel, Maria Helena Araújo E Sá
- article
- Erasmus+. 2020
- Accès au texte intégral et bibtex
-
2019
Article dans une revue
- titre
- Introduction [du dossier : La fabrique des patrimoines européens au XXIe siècle]
- auteur
- Isabelle Brianso, Françoise Rigat
- article
- Culture et Musées, 2019, La fabrique des patrimoines européens au XXIe siècle, 33, pp.9-18. ⟨10.4000/culturemusees.2713⟩
- Accès au texte intégral et bibtex
-
- titre
- Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware
- auteur
- Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen, Jean Souyris, Philippe Baufreton, Amaury Graillat
- article
- ACM Transactions on Architecture and Code Optimization, 2019, 16 (3), pp.1-27. ⟨10.1145/3328799⟩
- Accès au bibtex
-
- titre
- Previous alpine grazing experience of cows has little medium-term effect on feeding behaviour, milk yield and composition in a traditional alpine system
- auteur
- Madeline Koczura, Steve Pervier, Elisa Manzocchi, Germano Turille, Rupert M Bruckmaier, Michael Kreuzer, Joel Berard
- article
- Italian Journal of Animal Science, 2019, 18 (1), pp.410-422. ⟨10.1080/1828051X.2018.1532326⟩
- Accès au texte intégral et bibtex
-
- titre
- A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems
- auteur
- Robert Davis, Liliana Cucu-Grosjean
- article
- Leibniz Transactions on Embedded Systems, 2019, 6 (1), pp.60. ⟨10.4230/LITES-v006-i001-a003⟩
- Accès au bibtex
-
- titre
- Grazing on upland pastures part-time instead of full-time affects the feeding behavior of dairy cows and has consequences on milk fatty acid profiles
- auteur
- Elisa Manzocchi, Madeline Koczura, Mauro Coppa, Germano Turille, Michael M. Kreuzer, Joël Berard
- article
- Animals, 2019, 9 (11), pp.908. ⟨10.3390/ani9110908⟩
- Accès au bibtex
-
- titre
- A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems
- auteur
- Robert Davis, Liliana Cucu-Grosjean
- article
- Leibniz Transactions on Embedded Systems, 2019, 6 (1), pp.53. ⟨10.4230/LITES-v006-i001-a004⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- Effects of future climate change on some production patterns in Alpine pastures.
- auteur
- L. Brilli, G Argenti, Marco Moriondo, Nicolina Staglianò, Gianluca Filippa, G Marta, M. Bassignana, G. Trombi, Gianni Bellocchi, Marco Bindi, Camilla Dibari
- article
- 48th Congress of the Italian Society of Agronomy, Sep 2019, Perugia (Italy), Italy
- Accès au bibtex
-
- titre
- Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software
- auteur
- Keryan Didier, Albert Cohen, Dumitru Potop-Butucaru, Adrien Gauffriau
- article
- ACSD 2019 - 19th International Conference on Application of Concurrency to System Design, Jun 2019, Aachen, Germany. pp.43-52, ⟨10.1109/ACSD.2019.00009⟩
- Accès au bibtex
-
Thèse
- titre
- Contributions to the safe and efficient parallelisation of hard real-time systems
- auteur
- Keryan Didier
- article
- Embedded Systems. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS485⟩
- Accès au texte intégral et bibtex
-
2018
Article dans une revue
- titre
- Guest editorial: special issue on real time and network systems
- auteur
- Liliana Cucu-Grosjean, Nathan Fisher
- article
- Real-Time Systems, 2018, 54 (3), pp.605-606. ⟨10.1007/s11241-018-9309-8⟩
- Accès au bibtex
-
- titre
- On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs
- auteur
- Benjamin Lesage, Sebastien Altmeyer, David Griffin, Liliana Cucu-Grosjean, Robert Davis
- article
- Real-Time Systems, 2018, 54 (2), pp.307-388. ⟨10.1007/s11241-017-9295-2⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- Ensuring data freshness for periodic real-time tasks
- auteur
- Evariste Ntaryamira, Cristian Maxim, Liliana Cucu-Grosjean
- article
- Junior Workshop: JRWRTC 2018 - 12th Junior Researcher Workshop on Real-Time Computing, Oct 2018, Poitiers, France
- Accès au texte intégral et bibtex
-
- titre
- LIFE PASTORALP: a project for alpine pasture vulnerability assessment
- auteur
- Giovanni Argenti, Mauro Bassignana, Gianni Bellocchi, Camilla Dibari, Gianluca Filippa, Laura Poggio, Nicolina Staglianò, Marco Bindi
- article
- XLVII Colloque national de la Societé Italienne d'Agronomie, Sep 2018, Marsala, Italy
- Accès au texte intégral et bibtex
-
- titre
- Latency analysis for data chains of real-time periodic tasks
- auteur
- Tomasz Kloda, Antoine Bertout, Yves Sorel
- article
- ETFA'2018 - IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2018, Torino, Italy
- Accès au texte intégral et bibtex
-
- titre
- How do animals differing in experience and genetic merit behave and perform when grazing biodiverse mountainous pastures?
- auteur
- Madeline Koczura, Matthieu Bouchon, Germano Turille, Joël Berard, Michael Kreuzer, Anne Farruggia, Bruno Martin
- article
- 10. International Symposium on the Nutrition of Herbivores (ISNH10), Sep 2018, Clermont-Ferrand, France
- Accès au bibtex
-
- titre
- Scheduling Real-time HiL Co-simulation of Cyber-Physical Systems on Multi-core Architectures
- auteur
- Salah Eddine Saidi, Nicolas Pernet, Yves Sorel
- article
- RTCSA2018 - IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2018, Hakodate, Japan
- Accès au texte intégral et bibtex
-
- titre
- Ensuring consistency between cycle-accurate and instruction set simulators
- auteur
- Fatma Jebali, Dumitru Potop-Butucaru
- article
- ACSD 2018 - 18th International Conference on Application of Concurrency to System Design, Jun 2018, Bratislava, Slovakia
- Accès au texte intégral et bibtex
-
- titre
- Automatic Parallelization from Lustre Models in Avionics
- auteur
- Jean Souyris, Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Timothy Bourke, Albert Cohen, Marc Pouzet
- article
- ERTS2 2018 - 9th European Congress Embedded Real-Time Software and Systems, 3AF - Association Aéronautique Astronautique de France; SEE - Société de l'électricité, de l'électronique et des technologies de l'information et de la communication; SIA - Société de Ingénieurs de l'Automobile, Jan 2018, Toulouse, France. pp.1-4
- Accès au texte intégral et bibtex
-
Poster de conférence
- titre
- Time4Sys – Integrating Timing Verification in your Engineering Practices
- auteur
- Loïc Fejoz, Lionel Havet, Aurélien Didier, Benoit Viaud, Anh Toan Bui Long, Thanh Dat Nguyen, Yassine Ouhammou, Emmanuel Grolleau, Adriana Gogonel, Cristian Maxim, Liliana Cucu-Grosjean, Rafik Henia, Laurent Rioux, Nicolas Sordon, Nicolas Ayache, Joris Rehm
- article
- RTSS@Work 2018 - 39th IEEE Real-Time Systems Symposium Workshop, Dec 2018, Nashville, United States. , 2018
- Accès au bibtex
-
- titre
- Response time analysis for precedence constrained and partitioned multiprocessor scheduled tasks
- auteur
- Slim Ben-Amor, Liliana Cucu-Grosjean
- article
- JWRTC 2018 - 12th Junior Researcher Workshop on Real-Time Computing, Oct 2018, Poitiers, France. 2018
- Accès au bibtex
-
- titre
- Probabilistic parallel real-time tasks model on multiprocessor platform
- auteur
- Slim Ben-Amor, Liliana Cucu-Grosjean
- article
- RTSOPS 2018 - 9th International Real-Time Scheduling Open Problems Seminar, Jul 2018, Barcelone, Spain. , pp.1-2, 2018
- Accès au bibtex
-
- titre
- Towards temporal constraints in self driving cars
- auteur
- Evariste Ntaryamira, Cristian Maxim, Carlos Flores, Liliana Cucu-Grosjean
- article
- RTSOPS 2018 - 9th International Real-Time Scheduling Open Problems Seminar, Jul 2018, Barcelone, Spain. 2018
- Accès au bibtex
-
Rapport
- titre
- Efficient parallelization of large-scale hard real-time applications
- auteur
- Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen, Jean Souyris, Philippe Baufreton, Amaury Graillat
- article
- [Research Report] RR-9180, INRIA Paris. 2018
- Accès au texte intégral et bibtex
-
Thèse
- titre
- Automatic parallelization and scheduling approaches for co-simulation of numerical models on multi-core processors
- auteur
- Salah Eddine Saidi
- article
- Modeling and Simulation. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS036⟩
- Accès au texte intégral et bibtex
-
2017
Article dans une revue
- 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
- article
- ACM SIGBED Review, 2017, 14 (3), pp.24-31. ⟨10.1145/3166227.3166230⟩
- Accès au bibtex
-
- titre
- Scheduling Live Migration of Virtual Machines
- auteur
- Vincent Kherbache, Eric Madelaine, Fabien Hermenier
- article
- IEEE Transactions on Cloud Computing, 2017, pp.1-14. ⟨10.1109/TCC.2017.2754279⟩
- Accès au texte intégral et bibtex
-
- titre
- Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time
- auteur
- Samuel Jiménez Gil, Iain Bate, George Lima, Luca Santinelli, Adriana Gogonel, Liliana Cucu-Grosjean
- article
- IEEE Embedded Systems Letters, 2017, 9 (3), p. 69 - 72. ⟨10.1109/LES.2017.2712858⟩
- Accès au texte intégral et bibtex
-
- titre
- Behavioural semantics for asynchronous components
- auteur
- Rabéa Ameur-Boulifa, Ludovic Henrio, Oleksandra Kulankhina, Eric Madelaine, Alexandra Savu
- article
- Journal of Logical and Algebraic Methods in Programming, 2017, 89, pp.1 - 40. ⟨10.1016/j.jlamp.2017.02.003⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- pWCET estimator for real-time systems
- auteur
- Adriana Gogonel, Cristian Maxim, Liliana Cucu-Grosjean
- article
- RTSS 2017 - IEEE Real-Time Systems Symposium, Dec 2017, Paris, France
- Accès au bibtex
-
- titre
- Probabilistic Analysis for Mixed Criticality Systems using Fixed Priority Preemptive Scheduling
- auteur
- Dorin I Maxim, Robert Davis, Liliana Cucu-Grosjean, Arvind Easwaran
- article
- RTNS 2017 - International Conference on Real-Time Networks and Systems, Oct 2017, Grenoble, France. pp.10, ⟨10.1145/3139258.3139276⟩
- Accès au texte intégral et bibtex
-
- titre
- Probabilistic foundations for the time predictions of cyber-physical systems
- auteur
- Liliana Cucu-Grosjean, Adriana Gogonel
- article
- MMR 2017 - 10th International Conference on Mathematical Methods in Reliability , Jul 2017, Grenoble, France
- Accès au bibtex
-
- titre
- Analysis and Simulation Tools for Probabilistic Real-Time Systems
- auteur
- Dorin Maxim, Antoine Bertout
- article
- 8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), Jun 2017, Dubrovnik, Croatia
- Accès au texte intégral et bibtex
-
- titre
- Schedulability analysis of dependent probabilistic real-time tasks
- auteur
- Slim Ben-Amor, Dorin Maxim, Liliana Cucu
- article
- MAPSP 2017 - 13th Workshop on Models and Algorithms for Planning and Scheduling Problems, Jun 2017, Seeon-Seebruck, Germany. pp.99-107
- Accès au bibtex
-
- titre
- Automatic parallelization of multi-rate fmi-based co-simulation on multi-core
- auteur
- Salah Eddine Saidi, Nicolas Pernet, Yves Sorel
- article
- TMS/DEVS 2017 - Symposium on Theory of Modeling and Simulation , Society for Computer Simulation International San Diego, CA, USA, Apr 2017, Virginia Beach, United States. pp.Article No. 5
- Accès au texte intégral et bibtex
-
- titre
- Probabilistic Schedulability Analysis for Fixed Priority Mixed Criticality Real-Time Systems
- auteur
- Yasmina Abdeddaïm, Maxim Dorin
- article
- Design, Automation and Test in Europe - DATE 2017, Mar 2017, Lausanne, Switzerland
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- Probabilistic schedulability analysis
- auteur
- Dorin Maxim, Liliana Cucu-Grosjean, Robert Davis
- article
- Arvind Easwaran. Handbook on Real-Time Computing, Springer, In press, Handbook on Real-Time Computing
- Accès au bibtex
-
Ouvrages
- titre
- Mixed Criticality on Multicore / Manycore Platforms (Dagstuhl Seminar 17131)
- auteur
- Liliana Cucu-Grosjean, Robert Davis, Sanjoy K. Baruah, Zoe Stephenson
- article
- Schloss Dagstuhl, pp.70-98, 2017, ⟨10.4230/DagRep.7.3.70⟩
- Accès au bibtex
-
Brevet
- titre
- Dispositif de caractérisation et/ou de modélisation de temps d’exécution pire-cas
- auteur
- Adriana Gogonel, Liliana Cucu-Grosjean
- article
- France, Patent n° : 1000408053. 2017
- Accès au bibtex
-
Poster de conférence
- titre
- Towards statistical estimation of worst case inter-core communications
- auteur
- Anselme Revuz, Liliana Cucu-Grosjean
- article
- JRWRTC 2017 - 11th Junior Researcher Workshop on Real-Time Computing, Oct 2017, Grenoble, France.
- Accès au bibtex
-
- titre
- Using an integrated framework to assess multiple objective habitat restoration projects
- auteur
- Renaud Jaunatre, T. Spiegelberger, Fanny Dommanget, M. Bassignana
- article
- 7th World Conference on Ecological Restoration, Aug 2017, Foz de Iguassu, Brazil. 2017
- Accès au bibtex
-
Rapport
- titre
- Parametric and Non-Parametric Statistics for Program Performance Analysis and Comparison
- auteur
- Julien Worms, Sid Touati
- article
- [Research Report] RR-8875, INRIA Sophia Antipolis - I3S; Université Nice Sophia Antipolis; Université Versailles Saint Quentin en Yvelines; Laboratoire de mathématiques de Versailles. 2017, pp.70
- Accès au texte intégral et bibtex
-
- 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
-
Thèse
- titre
- Probabilistic study of end-to-end constraints in real-time systems
- auteur
- Cristian Maxim
- article
- Systems and Control [cs.SY]. Université Pierre et Marie Curie - Paris VI, 2017. English. ⟨NNT : 2017PA066479⟩
- Accès au texte intégral et bibtex
-
2016
Article dans une revue
- titre
- Periodicity of real-time schedules for dependent periodic tasks on identical multiprocessor platforms
- auteur
- Goossens Joël, Emmanuel Grolleau, Liliana Cucu-Grosjean
- article
- Real-Time Systems, 2016, 52 (6), pp.808-832. ⟨10.1007/s11241-016-9256-1⟩
- Accès au bibtex
-
- titre
- Traceability analyses between features and assets in software product lines
- auteur
- Ganesh Khandu Narwane, José Angel Galindo Duarte, Shankara Narayanan Krishna, David Benavides, Jean-Vivien Millo, S Ramesh
- article
- Entropy, 2016, 18 (8), pp.269. ⟨10.3390/e18080269⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards a bisimulation theory for open synchronized networks of automata
- auteur
- Eric Madelaine, Min Zhang
- article
- Science in China Series F: 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
-
- 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, 2016, 65, pp.64 - 82
- Accès au 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
- Accès au bibtex
-
- titre
- Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC
- auteur
- Dorin I Maxim, Robert Davis, Liliana Cucu-Grosjean, Arvind Easwaran
- article
- WMC 2016 - 4th International Workshop on Mixed Criticality Systems, Nov 2016, Porto, Portugal
- Accès au texte intégral et 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. pp.10
- Accès au texte intégral et 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. pp.433-449, ⟨10.1007/978-3-319-47846-3_27⟩
- Accès au texte intégral et 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. ⟨10.1007/978-3-319-47677-3_2⟩
- Accès au 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. pp.99-107, ⟨10.1145/2997465.2997499⟩
- Accès au 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
-
- 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. ⟨10.1109/MCSoC.2016.14⟩
- Accès au texte intégral et 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, ECSI, Sep 2016, Bremen, Germany
- Accès au texte intégral et 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. ⟨10.1109/DSD.2016.86⟩
- Accès au texte intégral et 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. ⟨10.1109/DSD.2016.22⟩
- Accès au 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, Universite de reykjavik, Jun 2016, Reykjavik, Iceland. pp.20
- Accès au texte intégral et bibtex
-
- titre
- Acceleration of FMU Co-Simulation On Multi-core Architectures
- auteur
- Salah Eddine Saidi, Nicolas Pernet, Yves Sorel, Abir Ben Ben Khaled
- article
- Japanese Modelica Conference, May 2016, Tokyo, Japan. pp.106 - 112, ⟨10.3384/ecp16124106⟩
- Accès au texte intégral et bibtex
-
- titre
- Natural Interpretation of UML/MARTE Diagrams for System Requirements Specification
- auteur
- Aamir Mehmood Khan, Frédéric Mallet, Rashid Muhammad
- article
- 2016 11th IEEE Symposium on Industrial Embedded Systems (SIES), May 2016, Krakow, Poland. pp.193-198, ⟨10.1109/SIES.2016.7509429⟩
- Accès au texte intégral et 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
- 15th International Conference on Software Reuse (ICSR-15), May 2016, Limassol, Cyprus
- Accès au texte intégral et bibtex
-
- titre
- Modeling the Behavioral Semantics of Heterogeneous Languages and their Coordination
- auteur
- Julien Deantoni
- article
- Architecture Centric Virtual Integration (ACVI), Julien Delange; Jerome Hugues; Peter Feiler, Apr 2016, Venise, Italy
- Accès au texte intégral et bibtex
-
- titre
- Integrated Environment for Verifying and Running Distributed Components
- auteur
- Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine
- article
- Fundamental Approaches to Software Engineering, Perdita Stevens; Andrzej Wąsowski, Apr 2016, Eindhoven, Netherlands. pp.66-83, ⟨10.1007/978-3-662-49665-7_5⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
- Accès au texte intégral et 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
-
- titre
- Simulation Device
- auteur
- Liliana Cucu-Grosjean, Adriana Gogonel
- article
- France, Patent n° : FR2016/050504. 2016
- Accès au bibtex
-
Poster de conférence
- 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
-
Rapport
- titre
- Natural Interpretation of UML/MARTE Diagrams for System Requirements Specification
- auteur
- Aamir Mehmood Khan, Frédéric Mallet, Muhammad Rashid
- article
- [Research Report] RR-8909, I3S; INRIA. 2016
- Accès au texte intégral et bibtex
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
2015
Article dans une revue
- titre
- From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation *
- auteur
- Thomas Carle, Dumitru Potop-Butucaru, Yves Sorel, David Lesens
- article
- Leibniz Transactions on Embedded Systems, 2015, ⟨10.4230/LITES-v002-i002-a001⟩
- Accès au texte intégral et 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, 2015, ⟨10.1007/s11241-015-9241-0⟩
- Accès au bibtex
-
- titre
- Correctness Issues on MARTE/CCSL constraints
- auteur
- Frédéric Mallet, Robert de Simone
- article
- Science of Computer Programming, 2015, 106, pp.78-92. ⟨10.1016/j.scico.2015.03.001⟩
- Accès au texte intégral et bibtex
-
- titre
- Quand la RespberryPi se met à l'avionique
- auteur
- Dumitru Potop-Butucaru
- article
- Open Silicium, 2015
- Accès au 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), 2015, Special Issue on Embedded Platforms for Crypto and Regular Papers, 14 (3), pp.article 46. ⟨10.1145/2700081⟩
- Accès au 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, 2015, 51 (1), pp.77-123. ⟨10.1007/s11241-014-9218-4⟩
- Accès au bibtex
-
- titre
- A Probabilistic Calculus for Probabilistic Real-Time Systems
- auteur
- Luca Santinelli, Liliana Cucu-Grosjean
- article
- ACM Transactions on Embedded Computing Systems (TECS), 2015, RTAS2012 special issue, 14 (3), ⟨10.1145/2717113⟩
- Accès au 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
-
- 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
-
- titre
- An Executable Semantics of Clock Constraint Specification Language and its Applications
- auteur
- Min Zhang, Frédéric Mallet
- article
- Formal Techniques for Safety-Critical Systems, Nov 2015, Luxembourg, Luxembourg. pp.37-51, ⟨10.1007/978-3-319-29510-7_2⟩
- Accès au texte intégral et 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, eSAME, Nov 2015, Sophia Antipolis, France
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- A Model-Driven Based Environment for Automatic Model Coordination
- auteur
- Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet
- article
- Models 2015 demo and posters, Oct 2015, Ottawa, Canada
- Accès au texte intégral et bibtex
-
- titre
- A Behavioral Coordination Operator Language (BCOoL)
- auteur
- Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet
- article
- International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. pp.462
- Accès au texte intégral et 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
- Accès au 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. pp.16, ⟨10.1007/978-3-319-22975-1_8⟩
- Accès au texte intégral et 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
-
- 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, Eurospace, May 2015, Barcelone, Spain
- Accès au texte intégral et 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
- Accès au texte intégral et 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
- Accès au texte intégral et 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
- Accès au 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
- Accès au texte intégral et 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
- Accès au texte intégral et bibtex
-
- titre
- Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
- auteur
- Florent Latombe, Xavier Crégut, Benoit Combemale, Julien Deantoni, Marc Pantel
- article
- 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States
- Accès au texte intégral et 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
- Accès au texte intégral et 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
-
- 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
-
HDR
- titre
- Real-Time Systems Compilation
- auteur
- Dumitru Potop-Butucaru
- article
- Embedded Systems. EDITE, 2015
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- Proceedings of the 3rd International Workshop on Mixed Criticality Systems
- auteur
- Liliana Cucu-Grosjean, Robert Davis
- article
- 2015
- Accès au bibtex
-
Poster de conférence
- 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
- Accès au 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
-
Proceedings/Recueil des communications
- 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
- Accès au bibtex
-
- titre
- Mixed Criticality on Multicore/Manycore Platforms (Dagstuhl Seminar 15121)
- auteur
- Sanjoy K. 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⟩
- Accès au 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
-
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
-
- 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
-
Thèse
- titre
- Adaptation du calcul de la Transformée de Fourier Rapide sur une architecture mixte CPU/GPU intégrée
- auteur
- Mohamed Amine Bergach
- article
- Autre [cs.OH]. Université Nice Sophia Antipolis, 2015. Français. ⟨NNT : 2015NICE4060⟩
- Accès au texte intégral et bibtex
-
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
-
2014
Article dans une revue
- titre
- Globalizing Modeling Languages
- auteur
- Benoit Combemale, Julien Deantoni, Benoit Baudry, Robert B. France, Jean-Marc Jézéquel, Jeff Gray
- article
- Computer, 2014, pp.10-13
- Accès au texte intégral et 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, 2014, 2, pp.118-122
- Accès au 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, 2014, 11, pp.1 - 26. ⟨10.1145/2579676⟩
- Accès au texte intégral et 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
- Accès au 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
- Accès au texte intégral et 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
- International Dagstuhl Seminar, Oct 2014, Dagstuhl, Germany. pp.70-87, ⟨10.1007/978-3-319-26172-0_5⟩
- Accès au texte intégral et 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. pp.201-208, ⟨10.1109/TASE.2014.10⟩
- Accès au texte intégral et bibtex
-
- titre
- Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications
- auteur
- Thorsten Koch, Jörg Holtmann, Julien Deantoni
- article
- European Conference on Software Architecture, Aug 2014, Vienna, Austria. pp.146-153, ⟨10.1007/978-3-319-09970-5_14⟩
- Accès au 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
- Accès au texte intégral et 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
- Accès au texte intégral et 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
- Accès au texte intégral et 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
- Accès au texte intégral et 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. pp.1-8, ⟨10.1109/ReCoSoC.2014.6861367⟩
- Accès au texte intégral et 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
- Accès au texte intégral et bibtex
-
- titre
- Simulation intervals for real-time scheduling
- auteur
- Emmanuel Grolleau, Joël Goossens, Liliana Cucu-Grosjean
- article
- Proc. Open Problems in Real-Time Computing (OPRTC 2014), Apr 2014, Brussels, Belgium
- Accès au 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, ⟨10.1145/2659787.2659821⟩
- Accès au 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
-
- 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⟩
- Accès au bibtex
-
- titre
- Fostering Analysis from Industrial Embedded Systems Modeling
- auteur
- Michel Bourdelles, Shuai Li, Imran Rafiq Quadri, Etienne Brosse, Andrey Sadovykh, Emmanuel Gaudin, Frédéric Mallet, Arda Goknil, David George, Jari Kreku
- 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⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
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
-
Ouvrages
- titre
- Advanced Backend Code Optimization
- auteur
- Sid Touati, Benoît de Dinechin
- article
- ISTE, Wiley, pp.384, 2014, Jean-Charles Pomerol, 9781848215382
- Accès au 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
-
Proceedings/Recueil des communications
- 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
- Accès au texte intégral et 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
- Accès au texte intégral et bibtex
-
- titre
- Actes de la journée d’échange : récolte et utilisation des semences locales de montagne
- auteur
- E.M. Koch, M. Bassignana, A. Curtaz, A. Barrel, T. Spiegelberger
- article
- Journée d’échange : Récolte et utilisation des semences locales de montagne, Jun 2014, La Plagne, France. pp.35, 2014
- Accès au bibtex
-
Rapport
- titre
- CCSL denotational semantics
- auteur
- Julien Deantoni, Charles André, Régis Gascon
- article
- [Research Report] RR-8628, Inria. 2014, pp.29
- Accès au texte intégral et bibtex
-
- 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
-
Thèse
- titre
- Reconciling performance and predictability on a noc-based mpsoc using off-line scheduling techniques
- auteur
- Manel Djemal Fakhfakh
- article
- Other [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2014. English. ⟨NNT : 2014PA066145⟩
- Accès au texte intégral et 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
-
2013
Article dans une revue
- titre
- Salvage intracerebrospinal fluid thiotepa in breast cancer-related leptomeningeal metastases
- auteur
- Emilie Le Rhun, Sophie Taillibert, Patrick Devos, Fahed Zairi, Anthony Turpin, Isabelle Rodrigues, Jean Louis Cazin, Matthieu Faivre Pierret, Charles André, François Dubois, Jacques Bonneterre, Marc Chamberlain
- article
- Anti-Cancer Drugs, 2013, 24 (10), pp.1093-1097. ⟨10.1097/CAD.0000000000000010⟩
- Accès au bibtex
-
- 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, 2013, ⟨10.1016/j.jss.2013.10.006⟩
- Accès au 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, 2013, 7 (5), pp.627-649. ⟨10.1007/s11704-013-2307-z⟩
- Accès au 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, 2013, 47 (3), pp.223-249. ⟨10.1051/ro/2013036⟩
- Accès au 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, 2013, 7 (5), pp.650-672. ⟨10.1007/s11704-013-3094-6⟩
- Accès au bibtex
-
- titre
- Explicit routing schemes for implementation of cellular automata on processor arrays
- auteur
- Jean-Vivien Millo, Robert de Simone
- article
- Natural Computing, 2013, 12 (3), pp.353-368. ⟨10.1007/s11047-013-9378-5⟩
- Accès au bibtex
-
- titre
- Hybrid MARTE statecharts
- auteur
- Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding
- article
- Frontiers of Computer Science, 2013, 7 (1), pp.95-108. ⟨10.1007/s11704-012-1301-1⟩
- Accès au texte intégral et 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, 2013, 25 (10), pp.1410-1426. ⟨10.1002/cpe.2939⟩
- Accès au texte intégral et 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 : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 105, pp.4-11
- Accès au texte intégral et bibtex
-
- titre
- PROARTIS: Probabilistically Analyzable Real-Time System
- auteur
- Francisco J. Cazorla, Eduardo Quinones, Tullio Vardanega, Liliana Cucu-Grosjean, Benoit Triquet, Guillem Bernat, Eric Berger, Jaume Abella, Franck Wartel, Michael Houston, Luca Santinelli, Leonidas Kosmidis, Codé Lo, Dorin Maxim
- article
- ACM Transactions on Embedded Computing Systems (TECS), 2013, 12 (2s), ⟨10.1145/2465787.2465796⟩
- Accès au 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
- Accès au 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
- Accès au texte intégral et bibtex
-
- titre
- Schedulability analysis with CCSL specifications
- auteur
- Ling Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert de Simone
- article
- APSEC 2013 - 20th Asia-Pacific Software Engineering Conference, Dec 2013, Bangkok, Thailand. pp.414-421, ⟨10.1109/APSEC.2013.62⟩
- Accès au texte intégral et bibtex
-
- titre
- Boundness Issues in CCSL Specifications
- auteur
- Frédéric Mallet, Jean-Vivien Millo
- article
- ICFEM 2013 - 15th International Conference on Formal Engineering Methods, Oct 2013, Queenstown, New Zealand. pp.20-35, ⟨10.1007/978-3-642-41202-8_3⟩
- Accès au 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
- SLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. pp.365-384, ⟨10.1007/978-3-319-02654-1_20⟩
- Accès au texte intégral et bibtex
-
- titre
- Safe CCSL Specifications and Marked Graphs
- auteur
- Frédéric Mallet, Jean-Vivien Millo, Robert de Simone
- article
- MEMOCODE - 11th IEEE/ACM International Conference on Formal Methods and Models for Codesign, Oct 2013, Portland, United States. pp.157-166
- Accès au texte intégral et 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
- Accès au 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, Sebastian Altmeyer, Oct 2013, Sophia Antipolis, France. pp.4
- Accès au texte intégral et 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. pp.3-13
- Accès au 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
- Accès au texte intégral et bibtex
-
- titre
- Verifying MARTE/CCSL Mode Behaviors Using UPPAAL
- auteur
- Jagadish Suryadevara, Cristina Seceleanu, Frédéric Mallet, Paul Pettersson
- article
- SEFM 2013 - 11th International Conference on Software Engineering and Formal Methods, Sep 2013, Madrid, Spain. pp.1-15, ⟨10.1007/978-3-642-40561-7_1⟩
- Accès au 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
- Accès au texte intégral et 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, ⟨10.1109/PATMOS.2013.6662180⟩
- Accès au bibtex
-
- titre
- Probabilistic real-time scheduling
- auteur
- Liliana Cucu-Grosjean
- article
- ETR 2013 - Ecole d'été temps réel, Aug 2013, Toulouse, France
- Accès au bibtex
-
- titre
- Dynamic Thread Pinning for Phase-Based OpenMP Programs
- auteur
- Abdelhafid Mazouz, Sid Touati, Denis Barthou
- article
- The Euro-Par 2013 conference, Aug 2013, Aachen, Germany. pp.53-64, ⟨10.1007/978-3-642-40047-6_8⟩
- Accès au texte intégral et 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
- Accès au texte intégral et bibtex
-
- titre
- Analysis of Probabilistic Cache Related Pre-emption Delays
- auteur
- Robert Davis, Luca Santinelli, Sebastian Altmeyer, Claire Maiza, Liliana Cucu-Grosjean
- article
- ECRTS 2013 - 25th Euromicro Conference on Real-Time Systems, Jul 2013, Paris, France. pp.168-179, ⟨10.1109/ECRTS.2013.27⟩
- Accès au bibtex
-
- titre
- Integrated Worst-Case Execution Time Estimation of Multicore Applications
- auteur
- Dumitru Potop-Butucaru, Isabelle Puaut
- article
- 13th International Workshop on Worst-Case Execution Time Analysis, Jul 2013, Paris, France. pp.21-31, ⟨10.4230/OASIcs.WCET.2013.i⟩
- Accès au 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
- ECSA 2013 - 7th European Conference on Software Architecture, Jul 2013, Montpellier, France. pp.89-105, ⟨10.1007/978-3-642-39031-9_8⟩
- Accès au 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. pp.241-248, ⟨10.1109/SIES.2013.6601497⟩
- Accès au 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. pp.130-145
- Accès au texte intégral et bibtex
-
- titre
- Compositional Verification of Software Product Lines
- auteur
- Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane
- article
- iFM 2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. pp.109-123, ⟨10.1007/978-3-642-38613-8_8⟩
- Accès au bibtex
-
- titre
- Independence - a misunderstood property of and for probabilistic real-‐time systems
- auteur
- Liliana Cucu-Grosjean
- article
- Alan Burns 60th Anniversary, Mar 2013, York, United Kingdom
- Accès au 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. pp.127-136
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- 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
-
- 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
-
Ouvrages
- 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
-
- 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. CEUR-WS, 1102, pp.88, 2013
- Accès au 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
-
- 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
-
- 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
-
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
-
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
-
2012
Article dans une revue
- titre
- Periodic scheduling of marked graphs using balanced binary words
- auteur
- Jean-Vivien Millo, Robert de Simone
- article
- Theoretical Computer Science, 2012, 458 (2), pp.113-130. ⟨10.1016/j.tcs.2012.08.012⟩
- Accès au bibtex
-
- titre
- Dynamic Scheduling Algorithm for Parallel Real-time Graph Tasks
- auteur
- Manar Qamhieh, Serge Midonnet, Laurent George
- article
- ACM SIGBED Review, 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
-
- 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, 2012, ⟨10.1007/s10766-012-0203-z⟩
- Accès au texte intégral et 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, 2012, 16 (2), pp.137-169. ⟨10.1007/s10617-012-9093-y⟩
- Accès au 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, ⟨10.1109/APSEC.2012.67⟩
- Accès au 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. pp.1-8
- Accès au texte intégral et 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
- ISOLA 2012 - 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, TU Dortmund - EASST, Oct 2012, Amirandes, Héraklion, Greece. pp.111-125, ⟨10.1007/978-3-642-34032-1_14⟩
- Accès au 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. ⟨10.1109/RSP.2012.6380695⟩
- Accès au bibtex
-
- titre
- A DSL for Specifying Timing Requirements
- auteur
- Arda Goknil, Marie-Agnès Peraldi-Frati
- article
- MoDRE 2012 - 2nd IEEE International Workshop on Model-Driven Requirements Engineering, IEEE Requirement Engineering Conference, Sep 2012, Chicago, United States. pp.49-57, ⟨10.1109/MoDRE.2012.6360074⟩
- Accès au 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
- Accès au texte intégral et 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, ⟨10.1109/SEAA.2012.66⟩
- Accès au bibtex
-
- titre
- Tracing SPLs precisely and efficiently
- auteur
- Swarup Mohalik, S. Ramesh, Jean-Vivien Millo, Shankara Narayanan Krishna, Ganesh Narwane
- article
- SPLC '12 - Proceedings of the 16th International Software Product Line Conference, Sep 2012, Salvador, Brazil. pp.186-195, ⟨10.1145/2362536.2362562⟩
- Accès au 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 - 17th International Conference on Engineering of Complex Computer Systems, Jul 2012, Paris, France. pp.230-239
- Accès au 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
- HPCS 2012 : International Conference on High Performance Computing & Simulation, Pr Waleed Smari, Jul 2012, Madrid, Spain
- Accès au texte intégral et 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. ⟨10.1109/TASE.2012.26⟩
- Accès au bibtex
-
- titre
- TimeSquare: Treat your Models with Logical Time
- auteur
- Julien Deantoni, Frédéric Mallet
- article
- TOOLS - 50th International Conference on Objects, Models, Components, Patterns - 2012, Czech Technical University in Prague, in co-operation with ETH Zurich, May 2012, Prague, Czech Republic. pp.34-41, ⟨10.1007/978-3-642-30561-0_4⟩
- Accès au 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
- Accès au texte intégral et 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. pp.1-5, ⟨10.1109/DATE.2012.6176604⟩
- Accès au 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
- Accès au texte intégral et 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
- ERTS2 2012 - 6th International Congres on Embedded Real Time Software and Systems, Feb 2012, Toulouse, France. pp.1-10
- Accès au 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
-
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
-
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
-
- 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
-
- titre
- Compositional Verification of Evolving SPL
- auteur
- Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane
- article
- [Research Report] RR-8125, INRIA. 2012, pp.34
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
2011
Article dans une revue
- titre
- Logical Time: observation vs. implementation
- auteur
- Frédéric Mallet, Charles André, Robert de Simone
- article
- Software Engineering Notes, 2011, 36 (1), pp.1--8. ⟨10.1145/1921532.1921554⟩
- Accès au bibtex
-
- titre
- Dinamica delle valanghe : distacco e interazione flusso / ostacoli
- auteur
- V. Segor, L. Pitet, Thierry Faug, F. Naaim-Bouvet, Mohamed Naaim, Emmanuel Thibert
- article
- Neve e valanghe, 2011, 73, pp.8-12
- Accès au 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, 2011, 22 (4), pp.819-844. ⟨10.1007/s10878-010-9332-8⟩
- Accès au texte intégral et 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, 57 (5), pp.518-535. ⟨10.1016/j.sysarc.2011.02.008⟩
- Accès au 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, 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
-
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
- APSEC 2011 - 18th Asia Pacific Software Engineering Conference, Dec 2011, Ho Chi Minh, Vietnam. pp.381-388, ⟨10.1109/APSEC.2011.30⟩
- Accès au texte intégral et 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
- Accès au texte intégral et 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. pp.1-8, ⟨10.1109/ETFA.2011.6059014⟩
- Accès au texte intégral et 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
- Accès au texte intégral et 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
- Accès au 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
- Accès au 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, Faculty of Mathematics and Physics, Charles University, ITI - Institute for Theoretical Computer Science, Jun 2011, Nymburk, Czech Republic
- Accès au texte intégral et 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
- Accès au texte intégral et 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
- Accès au 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. ⟨10.1109/ICECCS.2011.14⟩
- Accès au 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
- Accès au texte intégral et 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. pp.50; 57, ⟨10.1109/ISORC.2011.16⟩
- Accès au texte intégral et 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
- Accès au texte intégral et 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
- Accès au texte intégral et 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
- Accès au 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
-
- 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
- Accès au 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. pp.518-535, ⟨10.1016/j.sysarc.2011.02.008⟩
- Accès au 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
-
Ouvrages
- 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
-
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
-
Rapport
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Transforming CCSL partially-ordered Traces into UML Interaction Diagrams
- auteur
- Kelly Garcés, Julien Deantoni, Frédéric Mallet
- article
- [Research Report] RR-7842, INRIA. 2011
- Accès au texte intégral et bibtex
-
2010
Article dans une revue
- 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 : le magazine de l'ingénierie du logiciel et des systèmes, 2010, 93, pp.38-42
- Accès au texte intégral et 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, 2010, 29 (5), pp.391-419
- Accès au 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, 2010, 6 (1-2), pp.99-106. ⟨10.1007/s11334-009-0109-0⟩
- Accès au 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
- SIGSOFT FSE, Nov 2010, Santa Fe, United States. pp.377-378, ⟨10.1145/1882291.1882357⟩
- Accès au bibtex
-
- titre
- Schedulability conditions for non-preemptive hard real-time tasks with strict period
- auteur
- Mohamed Marouf, Yves Sorel
- article
- 18th International Conference on Real-Time and Network Systems RTNS'10, Nov 2010, Toulouse, France
- Accès au texte intégral et 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
- Accès au texte intégral et 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. pp.199-208, ⟨10.1145/1879021.1879048⟩
- Accès au texte intégral et 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), Electronic Chips & Systems design Initiative (ECSI), Sep 2010, Southampton, United Kingdom. pp.240-246
- Accès au texte intégral et 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. ⟨10.1109/SIES.2010.5551372⟩
- Accès au texte intégral et 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
- Accès au texte intégral et bibtex
-
- titre
- Requirement traceability in safety critical systems
- auteur
- Marie-Agnès Peraldi-Frati, Arnaud Albinet
- article
- EDCC2010 - Workshop on Critical Automotive applications: Robustness and Safety (CARS'2010), Apr 2010, Valencia, Spain. pp.11-14, ⟨10.1145/1772643.1772647⟩
- Accès au 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
- ICECCS'10, IEEE, Mar 2010, Oxford, United Kingdom. pp.233-242, ⟨10.1109/ICECCS.2010.13⟩
- Accès au 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
-
Chapitre d'ouvrage
- 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
-
- 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 texte intégral et 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
-
HDR
- titre
- Logical Time in Model-Driven Engineering
- auteur
- Frédéric Mallet
- article
- Embedded Systems. Université Nice Sophia Antipolis, 2010
- Accès au texte intégral et bibtex
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
2009
Article dans une revue
- 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, 2009, 245, ⟨10.1016/j.entcs.2009.07.026⟩
- Accès au 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), 2009, 7-9 (43), pp.725-739
- Accès au texte intégral et bibtex
-
- titre
- Les modèles de temps de MARTE et CCSL
- auteur
- Charles André, Frédéric Mallet
- article
- Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009, 89, pp.44-49
- Accès au bibtex
-
- titre
- SAIA : une utilisation conjointe du génie logiciel et des méthodes formelles
- auteur
- Julien Deantoni, Jean-Philippe Babau
- article
- En vue - Lettre d'information de l'INSA de Lyon, 2009, 26
- Accès au texte intégral et 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
- Accès au texte intégral et 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
- International conference on Embedded software - EMSOFT 2009, Oct 2009, Grenoble, France. ⟨10.1145/1629335.1629356⟩
- Accès au 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
- Software Language Engineering, Oct 2009, Denver, Colorado, United States. pp.314-333, ⟨10.1007/978-3-642-12107-4_22⟩
- Accès au texte intégral et 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
- Accès au bibtex
-
- titre
- Specification and Verification of Time Requirements with CCSL and Esterel
- auteur
- Charles André, Frédéric Mallet
- article
- Languages, Compilers, and Tools for Embedded Systems, Jun 2009, Dublin, Ireland. pp.167-176, ⟨10.1145/1543136.1542475⟩
- Accès au 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, ⟨10.1109/ICECCS.2009.10⟩
- Accès au texte intégral et 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
- Neptune, May 2009, Paris, France
- Accès au texte intégral et 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. pp.249-253, ⟨10.1109/ISORC.2009.18⟩
- Accès au texte intégral et 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. pp.301-312, ⟨10.1109/ISORC.2009.27⟩
- Accès au texte intégral et 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
-
- 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
-
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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
2008
Article dans une revue
- titre
- CCSL: specifying clock constraints with UML/MARTE
- auteur
- Frédéric Mallet
- article
- Innovations in Systems and Software Engineering, 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
-
- 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
- ElectroniqueS, 2008, 189, pp.2-6
- Accès au texte intégral et bibtex
-
- 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, 2008, 159 (1), pp.41-51. ⟨10.1007/s10479-007-0279-9⟩
- Accès au 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
- Int. Workshop of MODEL'S 2008 - Int. Workshop on Model Based Architecting and Construction of Embedded Systems, IRIT, Sep 2008, Toulouse, France. pp.129-144
- Accès au 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), ECSI, Sep 2008, Stuttgart, Germany. pp.154-159, ⟨10.1109/FDL.2008.4641438⟩
- Accès au texte intégral et 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. pp.228-233, ⟨10.1109/ICECCS.2008.14⟩
- Accès au texte intégral et 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
- DATE 2008 - Design, Automation and Test in Europe, Mar 2008, Munich, Germany
- Accès au texte intégral et 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, ICST, Mar 2008, Marseille, France. pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- The MeMVaTEx methodology: from requirements to models in automotive application design
- auteur
- A. Albinet, S. Begoc, J.-L. Boulanger, O. Casse, I. Dal, H. Dubois, F. Lakhal, D. Louar, M.-A. Peraldi-Frati, Y. Sorel, Q.-D. Van
- article
- Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
- Accès au texte intégral et 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
- Accès au texte intégral et 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
-
Rapport
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
2007
Article dans une revue
- titre
- Formal Methods for Scheduling of Latency-Insensitive Designs
- auteur
- Julien Boucaron, Robert de Simone, Jean-Vivien Millo
- article
- EURASIP Journal on Embedded Systems, 2007, 2007 (1), pp.039161. ⟨10.1155/2007/39161⟩
- Accès au texte intégral et 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. pp. 559-573, ⟨10.1007/978-3-540-75209-7_38⟩
- Accès au texte intégral et bibtex
-
- titre
- Time Modeling in MARTE
- auteur
- Charles André, Frédéric Mallet, Robert de Simone
- article
- ECSI Forum on specification & Design Languages (FDL), ECSI, Sep 2007, Barcelona, Spain. pp.268-273
- Accès au texte intégral et 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), ECSI, Sep 2007, Barcelona, Spain. pp.249-254
- Accès au texte intégral et 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. pp.232-237, ⟨10.1109/RTCSA.2007.51⟩
- Accès au texte intégral et 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. pp.234-241, ⟨10.1109/SIES.2007.4297340⟩
- Accès au texte intégral et 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
- Accès au texte intégral et 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
- Accès au texte intégral et 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
- Accès au texte intégral et 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
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- Les végétations d'alpage de la Vanoise. Description agro-écologique et gestion pastorale
- auteur
- A. Bornard, M. Bassignana, C. Bernard Brunet, S. Labonne, P. Cozic
- article
- Editions Quae, pp.235, 2007, Guide pratique, 978-2-7592-0016-0
- Accès au bibtex
-
Poster de conférence
- 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
-
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
-
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
-
- 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
-
- 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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et 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
- Accès au texte intégral et 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. ⟨10.1109/IES.2006.357475⟩
- Accès au texte intégral et 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
- Accès au texte intégral et bibtex
-
Rapport
- 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
-
- 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
-
- 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
-
- 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
-
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. pp.257--264, ⟨10.1109/DISTRA.2005.2⟩
- Accès au 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. pp.567--570, ⟨10.1109/RTCSA.2005.11⟩
- Accès au bibtex
-
- titre
- MARTE: a new OMG profile RFP for the Modeling and Analysis of Real-Time Embedded Systems
- auteur
- Charles André, Arnaud Cuccuru, Jean-Luc Dekeyser, Robert de Simone, Cédric Dumoulin, Julien Forget, Thierry Gautier, Sébastien Gérard, Frédéric Mallet, Ansgar Radermacher, Laurent Rioux, Thierry Saunier, Yves Sorel
- article
- DAC 2005 Workshop - UML for SoC Design, Jun 2005, Anaheim California, United States
- Accès au 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
- Accès au 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
- Accès au texte intégral et bibtex
-
Autre publication scientifique
- titre
- SAIA : Sensors/Actuators Independent Architecture -- A showcase through the Martian Task Specifications
- auteur
- Julien Deantoni, Jean-Philippe Babau
- article
- 2005
- Accès au texte intégral et bibtex
-
- titre
- CiberMouse design: a case study for SAIA model reuse
- auteur
- Julien Deantoni, Jean-Philippe Babau
- article
- 2005
- Accès au texte intégral et 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
-
2004
Article dans une revue
- titre
- La diversité végétale des alpages des Alpes internes françaises et italiennes, influence du milieu et des pratiques
- auteur
- A. Bornard, M. Bassignana, C. Bernard Brunet, S. Labonne, P. Cozic
- article
- Fourrages, 2004, 178, pp.153-169
- Accès au bibtex
-
- titre
- A methodology to implement real-time applications on reconfigurable circuits
- auteur
- Linda Kaouane, Mohamed Akil, Thierry Grandpierre, Yves Sorel
- article
- Journal of Supercomputing, 2004, 30 (3), pp.283-301. ⟨10.1023/B:SUPE.0000045213.82276.8e⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- La diversité végétale des alpages des Alpes internes françaises et italiennes. Influence du milieu et des pratiques
- auteur
- A. Bornard, M. Bassignana, C. Bernard Brunet, S. Labonne, P. Cozic
- article
- La Biodiversité des prairies, un patrimoine, un rôle fonctionnel, Paris, 23-24 mars 2004, 2004, pp.5-16
- Accès au 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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et 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
- Speech Prosody 2002, Daniel Hirst, Apr 2002, Aix-en Provence, France. pp.227-230
- Accès au bibtex
-
2001
Ouvrages
- titre
- Typologie agro-écologique des végétations d'alpages en zone intra-alpine des Alpes Nord-Occidentales
- auteur
- A. Bornard, M. Bassignana
- article
- Ed. Duc, pp.134, 2001
- Accès au 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
- Accès au bibtex
-
- titre
- Les voyelles toniques des paroxytons francoprovençaux
- auteur
- Lucia Molinu, Stefania Roullet
- article
- XXIIIèmes Journées d'Etudes sur la Parole, (JEP 2000), Jun 2000, Aussois, France. pp.269-271
- Accès au bibtex
-
- titre
- Analisi strumentale e fonologica del vocalismo tonico di una varietà francoprovenzale valdostana
- auteur
- Lucia Molinu, Stefania Roullet
- article
- La dialettologia oggi fra tradizione e nuove metodologie, Feb 2000, Pise, Italy. pp.117-132
- Accès au bibtex
-
1999
Communication dans un congrès
- titre
- Vocali toniche a confronto in parole parossitone francoprovenzali
- auteur
- Stefania Roullet, Lucia Molinu
- article
- 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
- Accès au 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
-
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
-