Frédéric Mallet

120 papers A* 1A 5B 12C 21Misc 9Journal 26Unranked 31
YearRankTypeTitle / Venue / Authors
2025 — conf
A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements Using TASTD.
SBMF
Alex Rodrigue Ndouna, Marc Frappier, Frédéric Mallet
2025 — ed.
Selected Papers of the XI International Scientific Conference "Information Technology and Implementation" (IT&I 2024). Conference Proceedings, Kyiv, Ukraine, November 20-21, 2024.
IT&I
Anatoly Anisimov, Vitaliy Snytyuk, Aldrich Chris, Andreas Pester, Frédéric Mallet, Iurii Krak, Nickolas Cogan, Oleg Chertov, Oleksandr Marchenko, Sándor Bozóki, Tom Needham, Vitaliy Tsyganok, Vladimir Vovk
2024 J jnl
A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems.
IEEE Trans. Intell. Transp. Syst.
Xiaohong Chen, Zhi Jin, Min Zhang, Frédéric Mallet, Xiaoshan Liu, Tingliang Zhou
2024 C conf
Real-Time CCSL: Application to the Mechanical Lung Ventilator.
ABZ
Pavlo Tokariev, Frédéric Mallet
2024 — ed.
Selected Papers of the X International Scientific Conference "Information Technology and Implementation" (IT&I-2023). Workshop Proceedings, Kyiv, Ukraine, November 20-21, 2023.
IT&I Workshops
Anatoly Anisimov, Vitaliy Snytyuk, Aldrich Chris, Andreas Pester, Frédéric Mallet, Hiroshi Tanaka, Iurii Krak, Karsten Henke, Oleg Chertov, Oleksandr Marchenko, Sándor Bozóki, Vitaliy Tsyganok, Vladimir Vovk
2024 — conf
Spatio-Temporal Framework for Verifying Safety Rules in Autonomous Vehicles.
MoDELS (Companion)
Maksym Labzhaniia, Julien Deantoni, Marie-Agnès Peraldi-Frati, Frédéric Mallet
2024 J jnl
Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints.
Formal Aspects Comput.
Yuanrui Zhang, Frédéric Mallet, Min Zhang, Zhiming Liu
2023 J jnl
Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration.
IEEE Trans. Computers
Ming Hu, Min Zhang, Frédéric Mallet, Xin Fu, Mingsong Chen
2023 J jnl
Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Ming Hu, Jun Xia, Min Zhang, Xiaohong Chen, Frédéric Mallet, Mingsong Chen
2023 — ed.
Selected Papers of the IX International Scientific Conference "Information Technology and Implementation" (IT&I-2022), Workshop Proceedings, Kyiv, Ukraine, November 30 - December 02, 2022.
IT&I Workshops
Anatoly Anisimov, Vitaliy Snytyuk, Aldrich Chris, Andreas Pester, Frédéric Mallet, Hiroshi Tanaka, Iurii Krak, Karsten Henke, Oleg Chertov, Oleksandr Marchenko, Sándor Bozóki, Vitaliy V. Tsyganok, Vladimir Vovk
2023 — ed.
Selected Papers of the IX International Scientific Conference "Information Technology and Implementation" (IT&I-2022). Conference Proceedings Kyiv, Ukraine, November 30 - December 02, 2022.
IT&I
Anatoly Anisimov, Vitaliy Snytyuk, Aldrich Chris, Andreas Pester, Frédéric Mallet, Hiroshi Tanaka, Iurii Krak, Karsten Henke, Oleg Chertov, Oleksandr Marchenko, Sándor Bozóki, Vitaliy V. Tsyganok, Vladimir Vovk
2023 — conf
Time: It is only Logical!
Theories of Programming and Formal Methods
Frédéric Mallet
2022 J jnl
A dynamic logic for verification of synchronous models based on theorem proving.
Frontiers Comput. Sci.
Yuanrui Zhang, Frédéric Mallet, Zhiming Liu
2022 J jnl
Formally verifying consistency of sequence diagrams for safety critical systems.
Sci. Comput. Program.
Xiaohong Chen, Qianqian Liu, Frédéric Mallet, Qin Li, Shubin Cai, Zhi Jin
2022 — ed.
Selected Papers of the VIII International Scientific Conference "Information Technology and Implementation" (IT&I-2021), Workshop Proceedings, Kyiv, Ukraine, December 1-3, 2021.
IT&I Workshops
Anatoly Anisimov, Vitaliy Snytyuk, Chris Aldrich, Andreas Pester, Frédéric Mallet, Hiroshi Tanaka, Iurii Krak, Karsten Henke, Mykola Nikitchenko, Oleg Chertov, Oleksandr Marchenko, Sándor Bozóki, Vitaliy V. Tsyganok, Vladimir Vovk
2022 — ed.
Selected Papers of the VIII International Scientific Conference "Information Technology and Implementation" (IT&I-2021). Conference Proceedings, Kyiv, Ukraine, December 01-03, 2021.
IT&I
Anatoly Anisimov, Vitaliy Snytyuk, Chris Aldrich, Andreas Pester, Frédéric Mallet, Hiroshi Tanaka, Iurii Krak, Karsten Henke, Mykola Nikitchenko, Oleg Chertov, Oleksandr Marchenko, Sándor Bozóki, Vitaliy V. Tsyganok, Vladimir Vovk
2022 — ed.
Selected Papers of the X International Scientific Conference "Information Technology and Implementation" (IT&I-2023). Conference Proceedings, Kyiv, Ukraine, November 20 - 21, 2023.
IT&I
Anatoly Anisimov, Vitaliy Snytyuk, Aldrich Chris, Andreas Pester, Frédéric Mallet, Hiroshi Tanaka, Iurii Krak, Karsten Henke, Oleg Chertov, Oleksandr Marchenko, Sándor Bozóki, Vitaliy Tsyganok, Vladimir Vovk
2021 J jnl
A clock-based dynamic logic for schedulability analysis of CCSL specifications.
Sci. Comput. Program.
Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu
2021 J jnl
A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems.
Sci. Comput. Program.
Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet
2021 — conf
EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles.
MEDI Workshops
Joelle Abou Faysal, Nour Zalmai, Ankica Barisic, Frédéric Mallet
2021 A conf
Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning.
RTSS
Ming Hu, Jiepin Ding, Min Zhang, Frédéric Mallet, Mingsong Chen
2021 — conf
Model-driven approach for the design of Multi-Chain Smart Contracts.
BRAINS
Ankica Barisic, Enlin Zhu, Frédéric Mallet
2021 J jnl
Preface - FTSCS 2019.
Sci. Comput. Program.
Osman Hasan, Frédéric Mallet
2021 — ed.
Proceedings of the 7th International Conference "Information Technology and Interactions" (IT&I-2020). Workshops Proceedings, Kyiv, Ukraine, December 02-03, 2020.
IT&I Workshops
Vitaliy Snytyuk, Anatoly Anisimov, Iurii Krak, Mykola Nikitchenko, Oleksandr Marchenko, Frédéric Mallet, Vitaliy V. Tsyganok, Chris Aldrich, Andreas Pester, Hiroshi Tanaka, Karsten Henke, Oleg Chertov, Sándor Bozóki, Vladimir Vovk
2021 — ed.
Selected Papers of the 7th International Conference "Information Technology and Interactions" (IT&I-2020). Conferece Proceedings, Kyiv, Ukraine, December 02-03, 2020.
IT&I
Vitaliy Snytyuk, Anatoly Anisimov, Iurii Krak, Mykola Nikitchenko, Oleksandr Marchenko, Frédéric Mallet, Vitaliy V. Tsyganok, Chris Aldrich, Andreas Pester, Hiroshi Tanaka, Karsten Henke, Oleg Chertov, Sándor Bozóki, Vladimir Vovk
2020 J jnl
A verification framework for spatio-temporal consistency language with CCSL as a specification language.
Frontiers Comput. Sci.
Yuanrui Zhang, Frédéric Mallet, Yixiang Chen
2020 J jnl
Editorial - Theoretical Aspects of Software Engineering (2017).
Sci. Comput. Program.
Frédéric Mallet, Min Zhang
2020 — ed.
Formal Techniques for Safety-Critical Systems - 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
FTSCS
Osman Hasan, Frédéric Mallet
2020 Misc conf
Formally Verifying Sequence Diagrams for Safety Critical Systems.
TASE
Xiaohong Chen, Frédéric Mallet, Xiaoshan Liu
2020 — ed.
Information and Communication Technologies in Education, Research, and Industrial Applications - 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12-15, 2019, Revised Selected Papers
ICTERI (Revised Selected Papers)
Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Heinrich C. Mayr, Aleksander Spivakovsky
2020 A conf
Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint.
DATE
Fei Gao, Frédéric Mallet, Min Zhang, Mingsong Chen
2020 J jnl
TRAP: trace runtime analysis of properties.
Frontiers Comput. Sci.
Daian Yue, Vania Joloboff, Frédéric Mallet
2019 C conf
A Language-Based Multi-View Approach for Combining Functional and Security Models.
APSEC
Hui Zhao, Frédéric Mallet, Ludovic Apvrille
2019 Misc conf
A Logical Approach for the Schedulability Analysis of CCSL.
TASE
Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen
2019 — conf
A Model-Based Combination Language for Scheduling Verification.
MODELSWARD (Revised Selected Papers)
Hui Zhao, Ludovic Apvrille, Frédéric Mallet
2019 J jnl
A framework to specify system requirements using natural interpretation of UML/MARTE diagrams.
Softw. Syst. Model.
Aamir M. Khan, Frédéric Mallet, Muhammad Rashid
2019 C conf
Meta-models Combination for Reusing Verification Techniques.
MODELSWARD
Hui Zhao, Ludovic Apvrille, Frédéric Mallet
2019 Misc ed.
Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume I: Main Conference, Kherson, Ukraine, June 12-15, 2019.
ICTERI
Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Heinrich C. Mayr, Aleksander Spivakovsky
2019 — ed.
Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kherson, Ukraine, June 12-15, 2019.
ICTERI Workshops
Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Vyacheslav S. Kharchenko, Vitaliy Kobets, Artur Kornilowicz, Hennadiy Kravtsov, Mykola S. Nikitchenko, Serhiy Semerikov, Aleksander Spivakovsky
2019 B conf
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language.
FASE
Min Zhang, Fu Song, Frédéric Mallet, Xiaohong Chen
2019 A* conf
Sample-Guided Automated Synthesis for CCSL Specifications.
DAC
Ming Hu, Tongquan Wei, Min Zhang, Frédéric Mallet, Mingsong Chen
2018 — conf
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications.
FTSCS
Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet
2018 J jnl
Periodic scheduling for MARTE/CCSL: Theory and practice.
Sci. Comput. Program.
Min Zhang, Feng Dai, Frédéric Mallet
2018 C conf
Time in SCCharts.
FDL
Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni
2018 A conf
Work-in-Progress: From Logical Time Scheduling to Real-Time Scheduling.
RTSS
Frédéric Mallet, Min Zhang
2018 J jnl
pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems.
Sci. Comput. Program.
Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet
2018 C conf
xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems.
APSEC
Chunlin Guan, Yi Ao, Dehui Du, Frédéric Mallet
2017 Misc ed.
11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017
TASE
Frédéric Mallet, Min Zhang, Eric Madelaine
2017 C conf
Explicit Control of Dataflow Graphs with MARTE/CCSL.
MODELSWARD
Jean-Vivien Millo, Amine Oueslati, Emilien Kofman, Julien Deantoni, Frédéric Mallet, Robert de Simone
2017 J jnl
Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yongxiang Bao, Mingsong Chen, Qi Zhu, Tongquan Wei, Frédéric Mallet, Tingliang Zhou
2016 C conf
An SMT-Based Approach to the Formal Analysis of MARTE/CCSL.
ICFEM
Min Zhang, Frédéric Mallet, Huibiao Zhu
2016 C conf
Flexible runtime verification based on logical clock constraints.
FDL
Daian Yue, Vania Joloboff, Frédéric Mallet
2016 — conf
MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks.
FACS
Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet, Mingrui Yang
2016 — conf
Natural interpretation of UML/MARTE diagrams for system requirements specification.
SIES
Aamir M. Khan, Frédéric Mallet, Muhammad Rashid
2015 A conf
A Behavioral Coordination Operator Language (BCOoL).
MoDELS
Matias Ezequiel Vara Larsen, Julien Deantoni, Benoît Combemale, Frédéric Mallet
2015 — conf
A Model-Driven Based Environment for Automatic Model Coordination.
P&D@MoDELS
Matias Ezequiel Vara Larsen, Julien Deantoni, Benoît Combemale, Frédéric Mallet
2015 — conf
An Executable Semantics of Clock Constraint Specification Language and Its Applications.
FTSCS
Min Zhang, Frédéric Mallet
2015 J jnl
Correctness issues on MARTE/CCSL constraints.
Sci. Comput. Program.
Frédéric Mallet, Robert de Simone
2015 — conf
MARTE/CCSL for Modeling Cyber-Physical Systems.
SyDe Summer School
Frédéric Mallet
2015 J jnl
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE.
Des. Autom. Embed. Syst.
Calin Glitia, Julien Deantoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié
2014 — conf
Coalgebraic Semantic Model for the Clock Constraint Specification Language.
FTSCS
Frédéric Mallet, Grygoriy Zholtkevych
2014 C conf
Execution of heterogeneous models for thermal analysis with a multi-view approach.
FDL
Amani Khecharem, Carlos Gomez, Julien Deantoni, Frédéric Mallet, Robert de Simone
2014 Misc conf
Timed Automata Semantics of Spatial-Temporal Consistency Language STeC.
TASE
Yuanrui Zhang, Frédéric Mallet, Yixiang Chen
2013 B conf
Analysis Support for TADL2 Timing Constraints on EAST-ADL Models.
ECSA
Arda Goknil, Jagadish Suryadevara, Marie-Agnès Peraldi-Frati, Frédéric Mallet
2013 C conf
Boundness Issues in CCSL Specifications.
ICFEM
Frédéric Mallet, Jean-Vivien Millo
2013 Misc conf
Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems.
ICTERI
Iryna Zaretska, Galyna Zholtkevych, Grygoriy Zholtkevych, Frédéric Mallet
2013 J jnl
Hybrid MARTE statecharts.
Frontiers Comput. Sci.
Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding
2013 — conf
Improving the Efficiency of Synchronized Product with Infinite Transition Systems.
ICTERI (Revised Selected Papers)
Yuliia Romenska, Frédéric Mallet
2013 Misc conf
Lazy Parallel Synchronous Composition of Infinite Transition Systems.
ICTERI
Yuliia Romenska, Frédéric Mallet
2013 — conf
Power consumption analysis using multi-view modeling.
PATMOS
Carlos Gomez, Julien Deantoni, Frédéric Mallet
2013 B conf
Reifying Concurrency for Executable Metamodeling.
SLE
Benoît Combemale, Julien De Antoni, Matias Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry, Robert B. France
2013 C conf
Safe CCSL specifications and marked graphs.
MEMOCODE
Frédéric Mallet, Jean-Vivien Millo, Robert de Simone
2013 J jnl
Scenario-based verification in presence of variability using a synchronous approach.
Frontiers Comput. Sci.
Jean-Vivien Millo, Frédéric Mallet, Anthony Coadou, S. Ramesh
2013 — conf
Schedulability Analysis with CCSL Specifications.
APSEC (1)
Ling Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert de Simone
2013 B conf
Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare.
ICECCS
Arda Goknil, Julien Deantoni, Marie-Agnès Peraldi-Frati, Frédéric Mallet
2013 — conf
Two Semantic Models for Clock Relations in the Clock Constraint Specification Language.
ICTERI (Revised Selected Papers)
Grygoriy Zholtkevych, Frédéric Mallet, Iryna Zaretska, Galyna Zholtkevych
2013 Misc conf
UML Profile for MARTE: Time Model and CCSL.
ICTERI
Frédéric Mallet
2013 B conf
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL.
SEFM
Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frédéric Mallet, Paul Pettersson
2012 C conf
Automatic generation of observers from MARTE/CCSL.
RSP
Frédéric Mallet
2012 Misc conf
Formal Specification of Hybrid MARTE Statecharts.
TASE
Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Miaomiao Zhang
2012 — conf
Multi-view Power Modeling Based on UML, MARTE and SysML.
EUROMICRO-SEAA
Carlos Gomez, Julien Deantoni, Frédéric Mallet
2012 J jnl
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte.
Des. Autom. Embed. Syst.
Calin Glitia, Julien Deantoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié
2012 — conf
TimeSquare: Treat Your Models with Logical Time.
TOOLS (50)
Julien Deantoni, Frédéric Mallet
2011 — conf
A Model-Based Approach for Reconciliation of Polychronous Execution Traces.
EUROMICRO-SEAA
Kelly Garcés, Julien Deantoni, Frédéric Mallet
2011 B conf
An Efficient Modeling and Execution Framework for Complex Systems Development.
ICECCS
Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frédéric Mallet, Dominique Bertrand, Sébastien Faucou, Abdelhafid Zitouni, Mahmoud Boufaïda, Lionel Seinturier, Joël Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sébastien Gérard
2011 C conf
Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL.
TIME
Régis Gascon, Frédéric Mallet, Julien Deantoni
2011 J jnl
Logical time: specification vs. implementation.
ACM SIGSOFT Softw. Eng. Notes
Frédéric Mallet, Charles André, Robert de Simone
2011 C conf
Modeling Timing Requirements in Problem Frames Using CCSL.
APSEC
Xiaohong Chen, Jing Liu, Frédéric Mallet, Zhi Jin
2011 B conf
Verification of MARTE/CCSL Time Requirements in Promela/SPIN.
ICECCS
Ling Yin, Frédéric Mallet, Jing Liu
2010 C conf
Logical Time at Work: Capturing Data Dependencies and Platform Constraints.
FDL
Calin Glitia, Julien Deantoni, Frédéric Mallet
2010 — book
Logical Time in Model-Driven Engineering.
Frédéric Mallet
2010 — conf
Polychronous Analysis of Timing Constraints in UML MARTE.
ISORC Workshops
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone
2010 — conf
RT-simex: retro-analysis of execution traces.
SIGSOFT FSE
Julien Deantoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux, Nicolas Sordon
2010 — book
Temps Logique pour l'ingénierie dirigée par le modèles (Logical Time in Model-Driven Engineering).
Frédéric Mallet
2010 — ch.
The Time Model of Logical Clocks Available in the OMG MARTE Profile.
Synthesis of Embedded Software
Charles André, Julien Deantoni, Frédéric Mallet, Robert de Simone
2010 J jnl
The clock constraint specification language for building timed causality models - Application to synchronous data flow graphs.
Innov. Syst. Softw. Eng.
Frédéric Mallet, Julien Deantoni, Charles André, Robert de Simone
2010 J jnl
Un processus automatique pour concevoir les profils UML. Un profil UML pour la modélisation multiniveau.
Tech. Sci. Informatiques
Frédéric Mallet, Charles André, François Lagarde
2010 — conf
VHDL Observers for Clock Constraint Checking.
SIES
Charles André, Frédéric Mallet, Julien Deantoni
2009 B conf
An Automated Process for Implementing Multilevel Domain Models.
SLE
Frédéric Mallet, François Lagarde, Charles André, Sébastien Gérard, François Terrier
2009 B conf
Executing AADL Models with UML/MARTE.
ICECCS
Frédéric Mallet, Charles André, Julien Deantoni
2009 C conf
IP-XACT components with abstract time characterization.
FDL
Aamir Mehut Khan, Frédéric Mallet, Charles André, Robert de Simone
2009 C conf
Marte CCSL to Execute East-ADL Timing Requirements.
ISORC
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André
2009 C conf
On the Semantics of UML/MARTE Clock Constraints.
ISORC
Frédéric Mallet, Charles André
2009 B conf
Specification and verification of time requirements with CCSL and Esterel.
LCTES
Charles André, Frédéric Mallet
2008 J jnl
Clock constraint specification language: specifying clock constraints with UML/MARTE.
Innov. Syst. Softw. Eng.
Frédéric Mallet
2008 B conf
Dealing with AADL End-to-End Flow Latency with UML MARTE.
ICECCS
Su-Young Lee, Frédéric Mallet, Robert de Simone
2008 C conf
Event-Triggered vs. Time-Triggered Communications with UML MARTE.
FDL
Frédéric Mallet, Robert de Simone, Laurent Rioux
2008 — conf
MARTE vs. AADL for Discrete-Event and Discrete-Time Domains.
FDL (Selected Papers)
Frédéric Mallet, Robert de Simone
2008 — conf
MARTE: a profile for RT/E systems modeling, analysis-
SimuTools
Frédéric Mallet, Robert de Simone
2007 — conf
A multiform time approach to real-time system modeling; Application to an automotive system.
SIES
Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati
2007 A conf
Modeling Time(s).
MoDELS
Charles André, Frédéric Mallet, Robert de Simone
2007 C conf
Modeling of immediate vs. delayed data communications: from AADL to UML Marte.
FDL
Frédéric Mallet, Charles André, Robert de Simone
2007 B conf
Multiform Time in UML for Real-time Embedded Applications.
RTCSA
Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati
2006 C conf
From UML to Petri Nets for non functional Property Verification.
IES
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André
2003 J jnl
Simulation of a computer architecture for quantum chromodynamics calculations.
ACM Crossroads
Sadaf Alam, Roland N. Ibbett, Frédéric Mallet
2000 — conf
Concurrent Control Systems: From Grafcet to VHDL.
EUROMICRO
Frédéric Mallet, Daniel Gaffé, Fernand Boéri
2000 — conf
SEP: Simulation framework to evaluate digital hardware architectures.
ESM
Frédéric Mallet, Fernand Boéri, Jean-François Duboc
1999 — conf
Esterel and Java in an Object-Oriented Modelling and Simulation Framework for Heterogeneous Software and Hardware Systems The SEP Approach.
EUROMICRO
Frédéric Mallet, Fernand Boéri
1998 — conf
Hardware Architecture Modelling Using an Object-Oriented Method.
EUROMICRO
Frédéric Mallet, Fernand Boéri, Jean-François Duboc
1998 — conf
Hardware Modelling and Simulation Using an Object-Oriented Method.
ESM
Frédéric Mallet, Fernand Boéri, Jean-François Duboc