default search action
Frédéric Mallet
Person information
- affiliation: Université Nice Sophia Antipolis, France
- affiliation: INRIA Sophia Antipolis Méditerranée; France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j26]Yuanrui Zhang, Frédéric Mallet, Min Zhang, Zhiming Liu:
Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints. Formal Aspects Comput. 36(2): 13 (2024) - [j25]Xiaohong Chen, Zhi Jin, Min Zhang, Frédéric Mallet, Xiaoshan Liu, Tingliang Zhou:
A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems. IEEE Trans. Intell. Transp. Syst. 25(8): 8375-8386 (2024) - [c75]Pavlo Tokariev, Frédéric Mallet:
Real-Time CCSL: Application to the Mechanical Lung Ventilator. ABZ 2024: 289-306 - [e13]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:
Selected Papers of the X International Scientific Conference "Information Technology and Implementation" (IT&I-2023). Workshop Proceedings, Kyiv, Ukraine, November 20-21, 2023. CEUR Workshop Proceedings 3646, CEUR-WS.org 2024 [contents] - 2023
- [j24]Ming Hu, Min Zhang, Frédéric Mallet, Xin Fu, Mingsong Chen:
Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration. IEEE Trans. Computers 72(5): 1431-1446 (2023) - [j23]Ming Hu, Jun Xia, Min Zhang, Xiaohong Chen, Frédéric Mallet, Mingsong Chen:
Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(12): 5127-5140 (2023) - [c74]Frédéric Mallet:
Time: It is only Logical! Theories of Programming and Formal Methods 2023: 323-347 - [e12]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:
Selected Papers of the IX International Scientific Conference "Information Technology and Implementation" (IT&I-2022). Conference Proceedings Kyiv, Ukraine, November 30 - December 02, 2022. CEUR Workshop Proceedings 3347, CEUR-WS.org 2023 [contents] - [e11]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:
Selected Papers of the IX International Scientific Conference "Information Technology and Implementation" (IT&I-2022), Workshop Proceedings, Kyiv, Ukraine, November 30 - December 02, 2022. CEUR Workshop Proceedings 3384, CEUR-WS.org 2023 [contents] - 2022
- [j22]Yuanrui Zhang, Frédéric Mallet, Zhiming Liu:
A dynamic logic for verification of synchronous models based on theorem proving. Frontiers Comput. Sci. 16(4): 164407 (2022) - [j21]Xiaohong Chen, Qianqian Liu, Frédéric Mallet, Qin Li, Shubin Cai, Zhi Jin:
Formally verifying consistency of sequence diagrams for safety critical systems. Sci. Comput. Program. 216: 102777 (2022) - [e10]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:
Selected Papers of the VIII International Scientific Conference "Information Technology and Implementation" (IT&I-2021). Conference Proceedings, Kyiv, Ukraine, December 01-03, 2021. CEUR Workshop Proceedings 3132, CEUR-WS.org 2022 [contents] - [e9]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:
Selected Papers of the VIII International Scientific Conference "Information Technology and Implementation" (IT&I-2021), Workshop Proceedings, Kyiv, Ukraine, December 1-3, 2021. CEUR Workshop Proceedings 3179, CEUR-WS.org 2022 [contents] - [e8]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:
Selected Papers of the X International Scientific Conference "Information Technology and Implementation" (IT&I-2023). Conference Proceedings, Kyiv, Ukraine, November 20 - 21, 2023. CEUR Workshop Proceedings 3624, CEUR-WS.org 2022 [contents] - 2021
- [j20]Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu:
A clock-based dynamic logic for schedulability analysis of CCSL specifications. Sci. Comput. Program. 202: 102546 (2021) - [j19]Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet:
A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems. Sci. Comput. Program. 203: 102591 (2021) - [j18]Osman Hasan, Frédéric Mallet:
Preface - FTSCS 2019. Sci. Comput. Program. 209: 102669 (2021) - [c73]Ankica Barisic, Enlin Zhu, Frédéric Mallet:
Model-driven approach for the design of Multi-Chain Smart Contracts. BRAINS 2021: 37-38 - [c72]Joelle Abou Faysal, Nour Zalmai, Ankica Barisic, Frédéric Mallet:
EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles. MEDI Workshops 2021: 101-111 - [c71]Ming Hu, Jiepin Ding, Min Zhang, Frédéric Mallet, Mingsong Chen:
Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning. RTSS 2021: 227-239 - [e7]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:
Selected Papers of the 7th International Conference "Information Technology and Interactions" (IT&I-2020). Conferece Proceedings, Kyiv, Ukraine, December 02-03, 2020. CEUR Workshop Proceedings 2833, CEUR-WS.org 2021 [contents] - [e6]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:
Proceedings of the 7th International Conference "Information Technology and Interactions" (IT&I-2020). Workshops Proceedings, Kyiv, Ukraine, December 02-03, 2020. CEUR Workshop Proceedings 2845, CEUR-WS.org 2021 [contents] - 2020
- [j17]Yuanrui Zhang, Frédéric Mallet, Yixiang Chen:
A verification framework for spatio-temporal consistency language with CCSL as a specification language. Frontiers Comput. Sci. 14(1): 105-129 (2020) - [j16]Daian Yue, Vania Joloboff, Frédéric Mallet:
TRAP: trace runtime analysis of properties. Frontiers Comput. Sci. 14(3): 143201 (2020) - [j15]Frédéric Mallet, Min Zhang:
Editorial - Theoretical Aspects of Software Engineering (2017). Sci. Comput. Program. 198: 102521 (2020) - [c70]Fei Gao, Frédéric Mallet, Min Zhang, Mingsong Chen:
Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint. DATE 2020: 376-381 - [c69]Xiaohong Chen, Frédéric Mallet, Xiaoshan Liu:
Formally Verifying Sequence Diagrams for Safety Critical Systems. TASE 2020: 217-224 - [e5]Osman Hasan, Frédéric Mallet:
Formal Techniques for Safety-Critical Systems - 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. Communications in Computer and Information Science 1165, Springer 2020, ISBN 978-3-030-46901-6 [contents] - [e4]Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Heinrich C. Mayr, Aleksander Spivakovsky:
Information and Communication Technologies in Education, Research, and Industrial Applications - 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12-15, 2019, Revised Selected Papers. Communications in Computer and Information Science 1175, Springer 2020, ISBN 978-3-030-39458-5 [contents]
2010 – 2019
- 2019
- [j14]Aamir M. Khan, Frédéric Mallet, Muhammad Rashid:
A framework to specify system requirements using natural interpretation of UML/MARTE diagrams. Softw. Syst. Model. 18(1): 11-37 (2019) - [c68]Hui Zhao, Frédéric Mallet, Ludovic Apvrille:
A Language-Based Multi-View Approach for Combining Functional and Security Models. APSEC 2019: 426-433 - [c67]Ming Hu, Tongquan Wei, Min Zhang, Frédéric Mallet, Mingsong Chen:
Sample-Guided Automated Synthesis for CCSL Specifications. DAC 2019: 98 - [c66]Min Zhang, Fu Song, Frédéric Mallet, Xiaohong Chen:
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. FASE 2019: 61-78 - [c65]Hui Zhao, Ludovic Apvrille, Frédéric Mallet:
A Model-Based Combination Language for Scheduling Verification. MODELSWARD (Revised Selected Papers) 2019: 27-49 - [c64]Hui Zhao, Ludovic Apvrille, Frédéric Mallet:
Meta-models Combination for Reusing Verification Techniques. MODELSWARD 2019: 37-48 - [c63]Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen:
A Logical Approach for the Schedulability Analysis of CCSL. TASE 2019: 25-32 - [e3]Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Heinrich C. Mayr, Aleksander Spivakovsky:
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. CEUR Workshop Proceedings 2387, CEUR-WS.org 2019 [contents] - [e2]Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Vyacheslav S. Kharchenko, Vitaliy Kobets, Artur Kornilowicz, Hennadiy Kravtsov, Mykola S. Nikitchenko, Serhiy Semerikov, Aleksander Spivakovsky:
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. CEUR Workshop Proceedings 2393, CEUR-WS.org 2019 [contents] - 2018
- [j13]Min Zhang, Feng Dai, Frédéric Mallet:
Periodic scheduling for MARTE/CCSL: Theory and practice. Sci. Comput. Program. 154: 42-60 (2018) - [j12]Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet:
pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems. Sci. Comput. Program. 166: 71-88 (2018) - [c62]Chunlin Guan, Yi Ao, Dehui Du, Frédéric Mallet:
xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems. APSEC 2018: 683-687 - [c61]Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni:
Time in SCCharts. FDL 2018: 5-16 - [c60]Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet:
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications. FTSCS 2018: 101-118 - [c59]Frédéric Mallet, Min Zhang:
Work-in-Progress: From Logical Time Scheduling to Real-Time Scheduling. RTSS 2018: 143-146 - 2017
- [j11]Yongxiang Bao, Mingsong Chen, Qi Zhu, Tongquan Wei, Frédéric Mallet, Tingliang Zhou:
Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(12): 1989-2002 (2017) - [c58]Jean-Vivien Millo, Amine Oueslati, Emilien Kofman, Julien DeAntoni, Frédéric Mallet, Robert de Simone:
Explicit Control of Dataflow Graphs with MARTE/CCSL. MODELSWARD 2017: 542-549 - [e1]Frédéric Mallet, Min Zhang, Eric Madelaine:
11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-1924-7 [contents] - 2016
- [c57]Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet, Mingrui Yang:
MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks. FACS 2016: 111-133 - [c56]Daian Yue, Vania Joloboff, Frédéric Mallet:
Flexible runtime verification based on logical clock constraints. FDL 2016: 1-8 - [c55]Min Zhang, Frédéric Mallet, Huibiao Zhu:
An SMT-Based Approach to the Formal Analysis of MARTE/CCSL. ICFEM 2016: 433-449 - [c54]Aamir M. Khan, Frédéric Mallet, Muhammad Rashid:
Natural interpretation of UML/MARTE diagrams for system requirements specification. SIES 2016: 193-198 - 2015
- [j10]Calin Glitia, Julien DeAntoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié:
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE. Des. Autom. Embed. Syst. 19(1-2): 1-33 (2015) - [j9]Frédéric Mallet, Robert de Simone:
Correctness issues on MARTE/CCSL constraints. Sci. Comput. Program. 106: 78-92 (2015) - [c53]Min Zhang, Frédéric Mallet:
An Executable Semantics of Clock Constraint Specification Language and Its Applications. FTSCS 2015: 37-51 - [c52]Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoît Combemale, Frédéric Mallet:
A Model-Driven Based Environment for Automatic Model Coordination. P&D@MoDELS 2015: 44-47 - [c51]Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoît Combemale, Frédéric Mallet:
A Behavioral Coordination Operator Language (BCOoL). MoDELS 2015: 186-195 - [c50]Frédéric Mallet:
MARTE/CCSL for Modeling Cyber-Physical Systems. SyDe Summer School 2015: 26-49 - 2014
- [c49]Amani Khecharem, Carlos Gomez, Julien Deantoni, Frédéric Mallet, Robert de Simone:
Execution of heterogeneous models for thermal analysis with a multi-view approach. FDL 2014: 1-8 - [c48]Frédéric Mallet, Grygoriy Zholtkevych:
Coalgebraic Semantic Model for the Clock Constraint Specification Language. FTSCS 2014: 174-188 - [c47]Yuanrui Zhang, Frédéric Mallet, Yixiang Chen:
Timed Automata Semantics of Spatial-Temporal Consistency Language STeC. TASE 2014: 201-208 - 2013
- [j8]Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding:
Hybrid MARTE statecharts. Frontiers Comput. Sci. 7(1): 95-108 (2013) - [j7]Jean-Vivien Millo, Frédéric Mallet, Anthony Coadou, S. Ramesh:
Scenario-based verification in presence of variability using a synchronous approach. Frontiers Comput. Sci. 7(5): 650-672 (2013) - [c46]Ling Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert de Simone:
Schedulability Analysis with CCSL Specifications. APSEC (1) 2013: 414-421 - [c45]Arda Goknil, Jagadish Suryadevara, Marie-Agnès Peraldi-Frati, Frédéric Mallet:
Analysis Support for TADL2 Timing Constraints on EAST-ADL Models. ECSA 2013: 89-105 - [c44]Arda Goknil, Julien DeAntoni, Marie-Agnès Peraldi-Frati, Frédéric Mallet:
Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare. ICECCS 2013: 145-154 - [c43]Frédéric Mallet, Jean-Vivien Millo:
Boundness Issues in CCSL Specifications. ICFEM 2013: 20-35 - [c42]Yuliia Romenska, Frédéric Mallet:
Lazy Parallel Synchronous Composition of Infinite Transition Systems. ICTERI 2013: 130-145 - [c41]Grygoriy Zholtkevych, Frédéric Mallet, Iryna Zaretska, Galyna Zholtkevych:
Two Semantic Models for Clock Relations in the Clock Constraint Specification Language. ICTERI (Revised Selected Papers) 2013: 190-209 - [c40]Yuliia Romenska, Frédéric Mallet:
Improving the Efficiency of Synchronized Product with Infinite Transition Systems. ICTERI (Revised Selected Papers) 2013: 285-307 - [c39]Frédéric Mallet:
UML Profile for MARTE: Time Model and CCSL. ICTERI 2013: 289-294 - [c38]Iryna Zaretska, Galyna Zholtkevych, Grygoriy Zholtkevych, Frédéric Mallet:
Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems. ICTERI 2013: 475-489 - [c37]Frédéric Mallet, Jean-Vivien Millo, Robert de Simone:
Safe CCSL specifications and marked graphs. MEMOCODE 2013: 157-166 - [c36]Carlos Gomez, Julien DeAntoni, Frédéric Mallet:
Power consumption analysis using multi-view modeling. PATMOS 2013: 235-238 - [c35]Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frédéric Mallet, Paul Pettersson:
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. SEFM 2013: 1-15 - [c34]Benoît Combemale, Julien De Antoni, Matias Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry, Robert B. France:
Reifying Concurrency for Executable Metamodeling. SLE 2013: 365-384 - 2012
- [j6]Calin Glitia, Julien DeAntoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié:
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte. Des. Autom. Embed. Syst. 16(2): 137-169 (2012) - [c33]Carlos Gomez, Julien DeAntoni, Frédéric Mallet:
Multi-view Power Modeling Based on UML, MARTE and SysML. EUROMICRO-SEAA 2012: 17-20 - [c32]Frédéric Mallet:
Automatic generation of observers from MARTE/CCSL. RSP 2012: 86-92 - [c31]Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Miaomiao Zhang:
Formal Specification of Hybrid MARTE Statecharts. TASE 2012: 59-66 - [c30]Julien DeAntoni, Frédéric Mallet:
TimeSquare: Treat Your Models with Logical Time. TOOLS (50) 2012: 34-41 - 2011
- [j5]Frédéric Mallet, Charles André, Robert de Simone:
Logical time: specification vs. implementation. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011) - [c29]Xiaohong Chen, Jing Liu, Frédéric Mallet, Zhi Jin:
Modeling Timing Requirements in Problem Frames Using CCSL. APSEC 2011: 381-388 - [c28]Kelly Garcés, Julien Deantoni, Frédéric Mallet:
A Model-Based Approach for Reconciliation of Polychronous Execution Traces. EUROMICRO-SEAA 2011: 259-266 - [c27]Ling Yin, Frédéric Mallet, Jing Liu:
Verification of MARTE/CCSL Time Requirements in Promela/SPIN. ICECCS 2011: 65-74 - [c26]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:
An Efficient Modeling and Execution Framework for Complex Systems Development. ICECCS 2011: 317-331 - [c25]Régis Gascon, Frédéric Mallet, Julien Deantoni:
Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL. TIME 2011: 141-148 - 2010
- [b2]Frédéric Mallet:
Temps Logique pour l'ingénierie dirigée par le modèles (Logical Time in Model-Driven Engineering). University of Nice Sophia Antipolis, France, 2010 - [b1]Frédéric Mallet:
Logical Time in Model-Driven Engineering. University of Nice Sophia Antipolis, France, 2010 - [j4]Frédéric Mallet, Julien DeAntoni, Charles André, Robert de Simone:
The clock constraint specification language for building timed causality models - Application to synchronous data flow graphs. Innov. Syst. Softw. Eng. 6(1-2): 99-106 (2010) - [j3]Frédéric Mallet, Charles André, François Lagarde:
Un processus automatique pour concevoir les profils UML. Un profil UML pour la modélisation multiniveau. Tech. Sci. Informatiques 29(4-5): 391-419 (2010) - [c24]Calin Glitia, Julien DeAntoni, Frédéric Mallet:
Logical Time at Work: Capturing Data Dependencies and Platform Constraints. FDL 2010: 241- - [c23]Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone:
Polychronous Analysis of Timing Constraints in UML MARTE. ISORC Workshops 2010: 145-151 - [c22]Charles André, Frédéric Mallet, Julien DeAntoni:
VHDL Observers for Clock Constraint Checking. SIES 2010: 98-107 - [c21]Julien DeAntoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux, Nicolas Sordon:
RT-simex: retro-analysis of execution traces. SIGSOFT FSE 2010: 377-378 - [p1]Charles André, Julien DeAntoni, Frédéric Mallet, Robert de Simone:
The Time Model of Logical Clocks Available in the OMG MARTE Profile. Synthesis of Embedded Software 2010: 201-227
2000 – 2009
- 2009
- [c20]Aamir Mehut Khan, Frédéric Mallet, Charles André, Robert de Simone:
IP-XACT components with abstract time characterization. FDL 2009: 1-6 - [c19]Frédéric Mallet, Charles André, Julien DeAntoni:
Executing AADL Models with UML/MARTE. ICECCS 2009: 371-376 - [c18]Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André:
Marte CCSL to Execute East-ADL Timing Requirements. ISORC 2009: 249-253 - [c17]Frédéric Mallet, Charles André:
On the Semantics of UML/MARTE Clock Constraints. ISORC 2009: 305-312 - [c16]Charles André, Frédéric Mallet:
Specification and verification of time requirements with CCSL and Esterel. LCTES 2009: 167-176 - [c15]Frédéric Mallet, François Lagarde, Charles André, Sébastien Gérard, François Terrier:
An Automated Process for Implementing Multilevel Domain Models. SLE 2009: 314-333 - 2008
- [j2]Frédéric Mallet:
Clock constraint specification language: specifying clock constraints with UML/MARTE. Innov. Syst. Softw. Eng. 4(3): 309-314 (2008) - [c14]Frédéric Mallet, Robert de Simone:
MARTE vs. AADL for Discrete-Event and Discrete-Time Domains. FDL (Selected Papers) 2008: 27-41 - [c13]Frédéric Mallet, Robert de Simone, Laurent Rioux:
Event-Triggered vs. Time-Triggered Communications with UML MARTE. FDL 2008: 154-159 - [c12]Su-Young Lee, Frédéric Mallet, Robert de Simone:
Dealing with AADL End-to-End Flow Latency with UML MARTE. ICECCS 2008: 228-233 - [c11]Frédéric Mallet, Robert de Simone:
MARTE: a profile for RT/E systems modeling, analysis-and simulation? SimuTools 2008: 43 - 2007
- [c10]Frédéric Mallet, Charles André, Robert de Simone:
Modeling of immediate vs. delayed data communications: from AADL to UML Marte. FDL 2007: 249-254 - [c9]Charles André, Frédéric Mallet, Robert de Simone:
Modeling Time(s). MoDELS 2007: 559-573 - [c8]Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati:
Multiform Time in UML for Real-time Embedded Applications. RTCSA 2007: 232-240 - [c7]Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati:
A multiform time approach to real-time system modeling; Application to an automotive system. SIES 2007: 234-241 - 2006
- [c6]Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André:
From UML to Petri Nets for non functional Property Verification. IES 2006: 1-9 - 2003
- [j1]Sadaf Alam, Roland N. Ibbett, Frédéric Mallet:
Simulation of a computer architecture for quantum chromodynamics calculations. ACM Crossroads 9(3): 16-23 (2003) - 2000
- [c5]Frédéric Mallet, Fernand Boéri, Jean-François Duboc:
SEP: Simulation framework to evaluate digital hardware architectures. ESM 2000: 355-359 - [c4]Frédéric Mallet, Daniel Gaffé, Fernand Boéri:
Concurrent Control Systems: From Grafcet to VHDL. EUROMICRO 2000: 1230-1234
1990 – 1999
- 1999
- [c3]Frédéric Mallet, Fernand Boéri:
Esterel and Java in an Object-Oriented Modelling and Simulation Framework for Heterogeneous Software and Hardware Systems The SEP Approach. EUROMICRO 1999: 1214- - 1998
- [c2]Frédéric Mallet, Fernand Boéri, Jean-François Duboc:
Hardware Modelling and Simulation Using an Object-Oriented Method. ESM 1998: 166-168 - [c1]Frédéric Mallet, Fernand Boéri, Jean-François Duboc:
Hardware Architecture Modelling Using an Object-Oriented Method. EUROMICRO 1998: 10147-10153
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-10 01:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint