2023

Journal articles

titre

Automated Synthesis of Safe Timing Behaviors for Requirements Models using CCSL

auteur

Ming Hu, Jun Xia, Min Zhang, Xiaohong Chen, Frédéric Mallet, Mingsong Chen

article

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023, pp.1-1. ⟨10.1109/TCAD.2023.3285412⟩

DOI

DOI : 10.1109/TCAD.2023.3285412

Accès au bibtex

titre

Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration

auteur

Ming Hu, Min Zhang, Frédéric Mallet, Xin Fu, Mingsong Chen

article

IEEE Transactions on Computers, 2023, 72 (5), pp.1431-1446. ⟨10.1109/TC.2022.3197956⟩

DOI

DOI : 10.1109/TC.2022.3197956

Accès au bibtex

Proceedings

titre

Actes des 22ème Journées des approches formelles dans l’assistance au développement de logiciels,AFADL'23

auteur

Natalia Kushik, Frédéric Mallet

article

pp.60, 2023, Journées AFADL

Accès au texte intégral et bibtex

2022

Journal articles

titre

A dynamic logic for verification of synchronous models based on theorem proving

auteur

Yuanrui Zhang, Frédéric Mallet, Zhiming Liu

article

Frontiers of Computer Science, 2022, 16 (4), pp.164407. ⟨10.1007/s11704-022-1374-4⟩

DOI

DOI : 10.1007/s11704-022-1374-4

Accès au bibtex

titre

Formally verifying consistency of sequence diagrams for safety critical systems

auteur

Xiaohong Chen, Qianqian Liu, Frédéric Mallet, Qin Li, Shubin Cai, Zhi Jin

article

Science of Computer Programming, 2022, 216, pp.102777. ⟨10.1016/j.scico.2022.102777⟩

DOI

DOI : 10.1016/j.scico.2022.102777

Accès au bibtex

Conference papers

titre

Safety analysis of inconsistencies using a formal verification tool for DSML

auteur

Joelle Abou Faysal, Nour Zalmai, Ankica Barisic, Frédéric Mallet

article

DSC 2022 Europe VR - 21th Driving Simulation & Virtual reality Conference Europe, Sep 2022, Strasbourg, France

Accès au texte intégral et bibtex

titre

Adaptation of an auto-generated code using a model-based approach to verify functional safety in real scenarios

auteur

Joelle Abou Faysal, Nour Zalmai, Ankica Barisic, Frédéric Mallet

article

ERTS 2022 - Embedded Real Time Systems, Jun 2022, Toulouse, France

Accès au texte intégral et bibtex

Proceedings

titre

IT&I-2021 : Information Technology and Implementation 2021

auteur

Anatoly Anisimov, Vitaliy Snytyuk, Aldrich Chris, Andreas Pester, Frédéric Mallet, Hiroshi Tanaka, Iurii Krak

article

CEUR Workshop Proceedings, CEUR-3132, 2022

Accès au bibtex

2021

Journal articles

titre

A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems

auteur

Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet

article

Science of Computer Programming, 2021, 203, pp.102591. ⟨10.1016/j.scico.2020.102591⟩

DOI

DOI : 10.1016/j.scico.2020.102591

Accès au texte intégral et bibtex

titre

A clock-based dynamic logic for schedulability analysis of CCSL specifications

auteur

Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu

article

Science of Computer Programming, 2021, 202, pp.102546. ⟨10.1016/j.scico.2020.102546⟩

DOI

DOI : 10.1016/j.scico.2020.102546

Accès au bibtex

Conference papers

titre

Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications Using Reinforcement Learning

auteur

Ming Hu, Jiepin Ding, Min Zhang, Frédéric Mallet, Mingsong Chen

article

RTSS 2021 - IEEE Real-Time Systems Symposium, Dec 2021, Dortmund / Virtual, Germany. pp.227-239, ⟨10.1109/RTSS52674.2021.00030⟩

DOI

DOI : 10.1109/RTSS52674.2021.00030

Accès au texte intégral et bibtex

titre

EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles

auteur

Joelle Abou Faysal, Nour Zalmai, Ankica Barisic, Frédéric Mallet

article

MEDI 2021 - 10th International Conference on Model and Data Engineering, Jun 2021, Tallinn, Estonia. ⟨10.1007/978-3-030-87657-9_8⟩

DOI

DOI : 10.1007/978-3-030-87657-9_8

Accès au texte intégral et bibtex

Poster communications

titre

Model-driven approach for the design of multi-chain smart contracts

auteur

Ankica Barisic, Enlin Zhu, Frédéric Mallet

article

3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Sep 2021, Paris, France. ⟨10.1109/BRAINS52497.2021.9569809⟩

DOI

DOI : 10.1109/BRAINS52497.2021.9569809

Accès au texte intégral et bibtex

titre

An Approach to Ensure Safety of Autonomous Vehicles in Planned Trajectories

auteur

Joelle Abou Faysal, Nour Zalmai, Ankica Barisic, Frédéric Mallet

article

FDL 2021 Forum on specification & Design Languages, Sep 2021, ANTIBES, France

Accès au texte intégral et bibtex

2020

Journal articles

titre

Editorial - Theoretical Aspects of Software Engineering (2017)

auteur

Frédéric Mallet, Min Zhang

article

Science of Computer Programming, 2020, 198, pp.102521. ⟨10.1016/j.scico.2020.102521⟩

DOI

DOI : 10.1016/j.scico.2020.102521

Accès au bibtex

titre

TRAP: trace runtime analysis of properties

auteur

Daian Yue, Vania Joloboff, Frédéric Mallet

article

Frontiers of Computer Science, 2020, 14 (3), pp.1-15. ⟨10.1007/s11704-018-7217-7⟩

DOI

DOI : 10.1007/s11704-018-7217-7

Accès au texte intégral et bibtex

titre

A verification framework for spatio-temporal consistency language with CCSL as a specification language

auteur

Yuanrui Zhang, Frédéric Mallet, Yixiang Chen

article

Frontiers of Computer Science, 2020, 14 (1), pp.105--129. ⟨10.1007/s11704-018-7054-8⟩

DOI

DOI : 10.1007/s11704-018-7054-8

Accès au bibtex

Conference papers

titre

Formally Verifying Sequence Diagrams for Safety Critical Systems

auteur

Xiaohong Chen, Frédéric Mallet, Xiaoshan Liu

article

TASE 2020 - 14th International Symposium on Theoretical Aspects of Software Engineering, Dec 2020, Hangzhou, China. pp.217-224, ⟨10.1109/TASE49443.2020.00037⟩

DOI

DOI : 10.1109/TASE49443.2020.00037

Accès au texte intégral et bibtex

titre

Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint

auteur

Fei Gao, Frédéric Mallet, Min Zhang, Mingsong Chen

article

DATE 2020 - Design, Automation and Test in Europe Conference, Mar 2020, Grenoble, France

Accès au texte intégral et bibtex

Book sections

titre

A Model-Based Combination Language for Scheduling Verification

auteur

Hui Zhao, Ludovic Apvrille, Frédéric Mallet

article

Model-Driven Engineering and Software Development, Springer International Publishing, 2020

Accès au texte intégral et bibtex

2019

Journal articles

titre

A Framework to Specify System Requirements using Natural interpretation of UML/MARTE diagrams

auteur

Aamir Khan, Frédéric Mallet, Muhammad Rashid

article

Software and Systems Modeling, 2019, 18 (1), pp.11-37. ⟨10.1007/s10270-017-0588-7⟩

DOI

DOI : 10.1007/s10270-017-0588-7

Accès au texte intégral et bibtex

Conference papers

titre

A Language-based Multi-view Approach for Combining Functional and Security Models

auteur

Hui Zhao, Frédéric Mallet, Ludovic Apvrille

article

APSEC 2019 - Asia-Pacific Software Engineering Conference, Dec 2019, Putrajaya, Malaysia

Accès au texte intégral et bibtex

titre

A Logical Approach for the Schedulability Analysis of CCSL

auteur

Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen

article

TASE 2019 - 13th International Symposium on Theoretical Aspects of Software Engineering, Jul 2019, Guilin, China. pp.25-32, ⟨10.1109/TASE.2019.00-23⟩

DOI

DOI : 10.1109/TASE.2019.00-23

Accès au texte intégral et bibtex

titre

Sample-Guided Automated Synthesis for CCSL Specifications

auteur

Ming Hu, Tongquan Wei, Min Zhang, Frédéric Mallet, Mingsong Chen

article

DAC 2019 - 56th Annual Design Automation Conference 2019, Jun 2019, Las Vegas, United States. pp.1-6, ⟨10.1145/3316781.3317904⟩

DOI

DOI : 10.1145/3316781.3317904

Accès au texte intégral et bibtex

titre

SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language

auteur

Min Zhang, Fu Song, Frédéric Mallet, Xiaohong Chen

article

FASE 2019 - Fundamental Approaches to Software Engineering, Apr 2019, Prague, Czech Republic. pp.61-78, ⟨10.1007/978-3-030-16722-6_4⟩

DOI

DOI : 10.1007/978-3-030-16722-6_4

Accès au texte intégral et bibtex

titre

Meta-models Combination for Reusing Verification Techniques

auteur

Hui Zhao, Ludovic Apvrille, Frédéric Mallet

article

MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.39-50, ⟨10.5220/0007261000390050⟩

DOI

DOI : 10.5220/0007261000390050

Accès au texte intégral et bibtex

Book sections

titre

Time in SCCharts

auteur

Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni

article

Language, Design Methods, and Tools for Electronic System Design, Springer, pp.1-25, 2019, ⟨10.1007/978-3-030-31585-6_1⟩

DOI

DOI : 10.1007/978-3-030-31585-6_1

Accès au bibtex

2018

Journal articles

titre

pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems

auteur

Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet

article

Science of Computer Programming, 2018, 166, pp.71 - 88. ⟨10.1016/j.scico.2018.05.005⟩

DOI

DOI : 10.1016/j.scico.2018.05.005

Accès au bibtex

titre

Periodic scheduling for MARTE/CCSL: Theory and practice

auteur

Min Zhang, Feng Dai, Frédéric Mallet

article

Science of Computer Programming, 2018, 154, pp.42-60. ⟨10.1016/j.scico.2017.08.015⟩

DOI

DOI : 10.1016/j.scico.2017.08.015

Accès au texte intégral et bibtex

Conference papers

titre

From Logical Time Scheduling to Real-Time Scheduling

auteur

Frédéric Mallet, Min Zhang

article

39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States

Accès au bibtex

titre

xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems

auteur

Chunlin Guan, Yi Ao, Dehui Du, Frédéric Mallet

article

APSEC 2018 - 25th Asia-Pacific Software Engineering Conference, Dec 2018, Nara, Japan

Accès au bibtex

titre

Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications

auteur

Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet

article

ICFEM / FTSCS 2018, Nov 2018, Gold Coast, Australia

Accès au texte intégral et bibtex

titre

Time in SCCharts

auteur

Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni

article

Forum on specification & Design Languages, Sep 2018, Munich, Germany. pp.5-16, ⟨10.1109/FDL.2018.8524111⟩

DOI

DOI : 10.1109/FDL.2018.8524111

Accès au bibtex

titre

Model-Based Systems Engineering for Cyber-Physical Systems: a (possible) roadmap for MARTE

auteur

Frédéric Mallet

article

3rd International workshop on TIming Performance engineering for Safety critical systems CONFESTA/TIPS, Sep 2018, Beijing, China

Accès au bibtex

2017

Journal articles

titre

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking

auteur

Yongxiang Bao, Mingsong Chen, Qi Zhu, Tongquan Wei, Tingliang Zhou, Frédéric Mallet

article

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017, 36 (12), pp.1989 - 2002. ⟨10.1109/TCAD.2017.2681076⟩

DOI

DOI : 10.1109/TCAD.2017.2681076

Accès au texte intégral et bibtex

Conference papers

titre

Multi-View Design for Cyber-Physical Systems

auteur

Hui Zhao, Ludovic Apvrille, Frédéric Mallet

article

PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications, May 2017, Kiev, Ukraine. pp.22-28

Accès au texte intégral et bibtex

titre

Explicit Control of Dataflow Graphs with MARTE/CCSL

auteur

Jean-Vivien Millo, Emilien Kofman, Julien Deantoni, Frédéric Mallet, Amine Oueslati, Robert de Simone

article

MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Feb 2017, Porto, Portugal. pp.542-549, ⟨10.5220/0006269505420549⟩

DOI

DOI : 10.5220/0006269505420549

Accès au texte intégral et bibtex

Book sections

titre

MARTE for CPS and CPSoS: Present and Future, Methodology and Tools

auteur

Frédéric Mallet, Eugenio Villar, Fernando Herrera

article

Jean-Pierre Talpin. Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, pp.81-108, 2017, 978-981-10-4435-9. ⟨10.1007/978-981-10-4436-6_4⟩

DOI

DOI : 10.1007/978-981-10-4436-6_4

Accès au texte intégral et bibtex

Books

titre

Eleventh International Symposium on Theoretical Aspects of Software Engineering

auteur

Frédéric Mallet, Min Zhang, Eric Madelaine

article

IEEE, 2017, 978-1-5386-1924-7

Accès au bibtex

titre

PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications

auteur

Frédéric Mallet, Zholtkevych Grygoriy

article

, 2017

Accès au bibtex

2016

Conference papers

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⟩

DOI

DOI : 10.1007/978-3-319-47846-3_27

Accès au texte intégral et 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

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

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⟩

DOI

DOI : 10.1109/SIES.2016.7509429

Accès au texte intégral et bibtex

Reports

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

2015

Journal articles

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⟩

DOI

DOI : 10.1016/j.scico.2015.03.001

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, 2015, 19 (1-2), pp.1-33. ⟨10.1007/s10617-014-9140-y⟩

DOI

DOI : 10.1007/s10617-014-9140-y

Accès au bibtex

Conference papers

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⟩

DOI

DOI : 10.1007/978-3-319-29510-7_2

Accès au texte intégral et 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

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

Book sections

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⟩

DOI

DOI : 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⟩

DOI

DOI : 10.1007/978-3-319-17581-2_12

Accès au bibtex

2014

Conference papers

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

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⟩

DOI

DOI : 10.1109/TASE.2014.10

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

Book sections

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⟩

DOI

DOI : 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⟩

DOI

DOI : 10.4018/978-1-4666-6194-3.ch011

Accès au texte intégral et bibtex

2013

Journal articles

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⟩

DOI

DOI : 10.1007/s11704-013-3094-6

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⟩

DOI

DOI : 10.1007/s11704-012-1301-1

Accès au texte intégral et bibtex

Conference papers

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⟩

DOI

DOI : 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⟩

DOI

DOI : 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⟩

DOI

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

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⟩

DOI

DOI : 10.1007/978-3-642-40561-7_1

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

DOI

DOI : 10.1109/PATMOS.2013.6662180

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

DOI

DOI : 10.1007/978-3-642-39031-9_8

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

Book sections

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⟩

DOI

DOI : 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⟩

DOI

DOI : 10.1007/978-3-319-03998-5_10

Accès au bibtex

Reports

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

2012

Journal articles

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⟩

DOI

DOI : 10.1007/s10617-012-9093-y

Accès au bibtex

Conference papers

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⟩

DOI

DOI : 10.1109/RSP.2012.6380695

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

DOI

DOI : 10.1109/SEAA.2012.66

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

DOI

DOI : 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⟩

DOI

DOI : 10.1007/978-3-642-30561-0_4

Accès au bibtex

Book sections

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⟩

DOI

DOI : 10.1007/978-1-4614-1427-8_14

Accès au bibtex

Patents

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

Reports

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

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

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

2011

Journal articles

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⟩

DOI

DOI : 10.1145/1921532.1921554

Accès au bibtex

Conference papers

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⟩

DOI

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

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

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

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⟩

DOI

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

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

Books

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

Reports

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

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

Journal articles

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⟩

DOI

DOI : 10.1007/s11334-009-0109-0

Accès au bibtex

Conference papers

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⟩

DOI

DOI : 10.1145/1882291.1882357

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

DOI

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

Book sections

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

Habilitation à diriger des recherches

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

Reports

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

2009

Journal articles

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

Conference papers

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⟩

DOI

DOI : 10.1007/978-3-642-12107-4_22

Accès au texte intégral et 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⟩

DOI

DOI : 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⟩

DOI

DOI : 10.1109/ICECCS.2009.10

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⟩

DOI

DOI : 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⟩

DOI

DOI : 10.1109/ISORC.2009.27

Accès au texte intégral et bibtex

Book sections

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⟩

DOI

DOI : 10.1007/978-1-4020-9714-0_2

Accès au bibtex

Documents associated with scientific events

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

Reports

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

2008

Journal articles

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⟩

DOI

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

Conference papers

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⟩

DOI

DOI : 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⟩

DOI

DOI : 10.1109/ICECCS.2008.14

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

Book sections

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⟩

DOI

DOI : 10.1007/978-1-4020-8297-9_11

Accès au bibtex

Reports

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

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

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

2007

Conference papers

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⟩

DOI

DOI : 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⟩

DOI

DOI : 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⟩

DOI

DOI : 10.1109/SIES.2007.4297340

Accès au texte intégral et bibtex

2006

Conference papers

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⟩

DOI

DOI : 10.1109/IES.2006.357475

Accès au texte intégral et bibtex

Reports

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

2005

Journal articles

titre

Natural history of the ERVWE1 endogenous retroviral locus

auteur

B. Bonnaud, J. Beliaeff, O. Bouton, G. Oriol, L. Duret, Frédéric Mallet

article

Retrovirology, 2005, 2, pp.1-7

Accès au bibtex

Conference papers

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

2004

Journal articles

titre

The endogenous retroviral locus ERVWE1 is a bona fide gene involved in hominoid placental physiology

auteur

Frédéric Mallet, O. Bouton, S. Prudhomme, V. Cheynet, G. Oriol, B. Bonnaud, G. Lucotte, L. Duret, B. Mandrand

article

Proceedings of the National Academy of Sciences of the United States of America, 2004, 101, pp.1731-1736

Accès au bibtex

titre

Evidence of Selection on the Domesticated ERVWE1 env Retroviral Element Involved in Placentation

auteur

B. Bonnaud, O. Bouton, G. Oriol, V. Cheynet, L. Duret, Frédéric Mallet

article

Molecular Biology and Evolution, 2004, 21, pp.1895-1901

Accès au bibtex

2000

Journal articles

titre

Chromosomal distribution and coding capacity of the human endogenous retrovirus HERV-W family

auteur

C. Voisset, O. Bouton, F. Bedin, L. Duret, B. Mandrand, Frédéric Mallet, G. Paranhos-Baccala

article

AIDS Research and Human Retroviruses, 2000, 16, pp.731-740

Accès au bibtex

Conference papers

titre

Concurrent control system: from Grafcet to VHDL

auteur

Frédéric Mallet, Daniel Gaffé, Fernand Boéri

article

Euromicro 2000, Sep 2000, Maastricht, Netherlands. pp.230-234, ⟨10.1109/eurmic.2000.874637⟩

DOI

DOI : 10.1109/eurmic.2000.874637

Accès au texte intégral et bibtex

1999

Journal articles

titre

Molecular characterization and placental expression of HERV-W a new human endogenous retrovirus family

auteur

J.L. Blond, F. Beseme, L. Duret, O. Bouton, F. Bedin, H. Perron, B. Mandrand, Frédéric Mallet

article

Journal of Virology, 1999, 73, pp.1175-1185

Accès au bibtex