Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Frédéric Mallet

> Home > Persons

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

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2010
[b2]
- view
  - electronic edition @ archives-ouvertes.fr
  - no references & citations available
- export record
  dblp key:
  - books/hal/Mallet10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/hal/Mallet10
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]
- view
  - electronic edition @ archives-ouvertes.fr
  - no references & citations available
- export record
  dblp key:
  - books/hal/Mallet10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/hal/Mallet10a
Frédéric Mallet:
Logical Time in Model-Driven Engineering. University of Nice Sophia Antipolis, France, 2010

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/HuZMFC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/HuZMFC23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/HuXZCMC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/HuXZCMC23
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)
2022
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/ZhangML22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/ZhangML22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ChenLMLCJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ChenLMLCJ22
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)
2021
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ZhangMZCLL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZhangMZCLL21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ZhangWCM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZhangWCM21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/HasanM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HasanM21
Osman Hasan, Frédéric Mallet:
Preface - FTSCS 2019. Sci. Comput. Program. 209: 102669 (2021)
2020
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/ZhangMC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/ZhangMC20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/YueJM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/YueJM20
Daian Yue, Vania Joloboff, Frédéric Mallet:
TRAP: trace runtime analysis of properties. Frontiers Comput. Sci. 14(3): 143201 (2020)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/Mallet020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Mallet020
Frédéric Mallet, Min Zhang:
Editorial - Theoretical Aspects of Software Engineering (2017). Sci. Comput. Program. 198: 102521 (2020)
2019
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/KhanMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/KhanMR19
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)
2018
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ZhangDM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZhangDM18
Min Zhang, Feng Dai, Frédéric Mallet:
Periodic scheduling for MARTE/CCSL: Theory and practice. Sci. Comput. Program. 154: 42-60 (2018)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/DuHJM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DuHJM18
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)
2017
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/BaoCZWMZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/BaoCZWMZ17
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)
2015
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/dafes/GlitiaDMMBG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/GlitiaDMMBG15
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MalletS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MalletS15
Frédéric Mallet, Robert de Simone:
Correctness issues on MARTE/CCSL constraints. Sci. Comput. Program. 106: 78-92 (2015)
2013
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/LiuLHMD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/LiuLHMD13
Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding:
Hybrid MARTE statecharts. Frontiers Comput. Sci. 7(1): 95-108 (2013)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/MilloMCR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/MilloMCR13
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)
2012
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/dafes/GlitiaDMMBG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/GlitiaDMMBG12
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)
2011
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/MalletAS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/MalletAS11
Frédéric Mallet, Charles André, Robert de Simone:
Logical time: specification vs. implementation. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011)
2010
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/MalletDAS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/MalletDAS10
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tsi/MalletAL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsi/MalletAL10
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)
2008
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/Mallet08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/Mallet08
Frédéric Mallet:
Clock constraint specification language: specifying clock constraints with UML/MARTE. Innov. Syst. Softw. Eng. 4(3): 309-314 (2008)
2003
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/crossroads/AlamIM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/crossroads/AlamIM03
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Mallet23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Mallet23
Frédéric Mallet:
Time: It is only Logical! Theories of Programming and Formal Methods 2023: 323-347
2021
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/brains/BarisicZM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/brains/BarisicZM21
Ankica Barisic, Enlin Zhu, Frédéric Mallet:
Model-driven approach for the design of Multi-Chain Smart Contracts. BRAINS 2021: 37-38
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/FaysalZBM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/FaysalZBM21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/HuDZMC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/HuDZMC21
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
2020
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/date/GaoMZC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/GaoMZC20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/0007ML20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/0007ML20
Xiaohong Chen, Frédéric Mallet, Xiaoshan Liu:
Formally Verifying Sequence Diagrams for Safety Critical Systems. TASE 2020: 217-224
2019
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/ZhaoMA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/ZhaoMA19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/HuWZMC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/HuWZMC19
Ming Hu, Tongquan Wei, Min Zhang, Frédéric Mallet, Mingsong Chen:
Sample-Guided Automated Synthesis for CCSL Specifications. DAC 2019: 98
[c66]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/ZhangSMC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ZhangSMC19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/ZhaoAM19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/ZhaoAM19a
Hui Zhao, Ludovic Apvrille, Frédéric Mallet:
A Model-Based Combination Language for Scheduling Verification. MODELSWARD (Revised Selected Papers) 2019: 27-49
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/ZhaoAM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/ZhaoAM19
Hui Zhao, Ludovic Apvrille, Frédéric Mallet:
Meta-models Combination for Reusing Verification Techniques. MODELSWARD 2019: 37-48
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/ZhangMZC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/ZhangMZC19
Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen:
A Logical Approach for the Schedulability Analysis of CCSL. TASE 2019: 25-32
2018
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/GuanADM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/GuanADM18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/Schulz-Rosengarten18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/Schulz-Rosengarten18
Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni:
Time in SCCharts. FDL 2018: 5-16
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/ZhangWCM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/ZhangWCM18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/MalletZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/MalletZ18
Frédéric Mallet, Min Zhang:
Work-in-Progress: From Logical Time Scheduling to Real-Time Scheduling. RTSS 2018: 143-146
2017
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/MilloOKDMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/MilloOKDMS17
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
2016
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/DuHJMY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/DuHJMY16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/YueJM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/YueJM16
Daian Yue, Vania Joloboff, Frédéric Mallet:
Flexible runtime verification based on logical clock constraints. FDL 2016: 1-8
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ZhangMZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ZhangMZ16
Min Zhang, Frédéric Mallet, Huibiao Zhu:
An SMT-Based Approach to the Formal Analysis of MARTE/CCSL. ICFEM 2016: 433-449
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/KhanMR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/KhanMR16
Aamir M. Khan, Frédéric Mallet, Muhammad Rashid:
Natural interpretation of UML/MARTE diagrams for system requirements specification. SIES 2016: 193-198
2015
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/ZhangM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/ZhangM15
Min Zhang, Frédéric Mallet:
An Executable Semantics of Clock Constraint Specification Language and Its Applications. FTSCS 2015: 37-51
[c52]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/LarsenDCM15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LarsenDCM15a
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]
- view
  authority control:
- export record
  dblp key:
  - conf/models/LarsenDCM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LarsenDCM15
Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoît Combemale, Frédéric Mallet:
A Behavioral Coordination Operator Language (BCOoL). MoDELS 2015: 186-195
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/syde/Mallet15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syde/Mallet15
Frédéric Mallet:
MARTE/CCSL for Modeling Cyber-Physical Systems. SyDe Summer School 2015: 26-49
2014
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/KhecharemGDMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/KhecharemGDMS14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/MalletZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/MalletZ14
Frédéric Mallet, Grygoriy Zholtkevych:
Coalgebraic Semantic Model for the Clock Constraint Specification Language. FTSCS 2014: 174-188
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/ZhangMC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/ZhangMC14
Yuanrui Zhang, Frédéric Mallet, Yixiang Chen:
Timed Automata Semantics of Spatial-Temporal Consistency Language STeC. TASE 2014: 201-208
2013
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/YinLDMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/YinLDMS13
Ling Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert de Simone:
Schedulability Analysis with CCSL Specifications. APSEC (1) 2013: 414-421
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/GoknilSPM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/GoknilSPM13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/GoknilDPM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/GoknilDPM13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/MalletM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/MalletM13
Frédéric Mallet, Jean-Vivien Millo:
Boundness Issues in CCSL Specifications. ICFEM 2013: 20-35
[c42]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icteri/RomenskaM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/RomenskaM13
Yuliia Romenska, Frédéric Mallet:
Lazy Parallel Synchronous Composition of Infinite Transition Systems. ICTERI 2013: 130-145
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/ZholtkevychMZZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/ZholtkevychMZZ13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/RomenskaM13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/RomenskaM13a
Yuliia Romenska, Frédéric Mallet:
Improving the Efficiency of Synchronized Product with Infinite Transition Systems. ICTERI (Revised Selected Papers) 2013: 285-307
[c39]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icteri/Mallet13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/Mallet13
Frédéric Mallet:
UML Profile for MARTE: Time Model and CCSL. ICTERI 2013: 289-294
[c38]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icteri/ZaretskaZZM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/ZaretskaZZM13
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]
- view
- export record
  dblp key:
  - conf/memocode/MalletMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/MalletMS13
Frédéric Mallet, Jean-Vivien Millo, Robert de Simone:
Safe CCSL specifications and marked graphs. MEMOCODE 2013: 157-166
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/patmos/GomezDM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/patmos/GomezDM13
Carlos Gomez, Julien DeAntoni, Frédéric Mallet:
Power consumption analysis using multi-view modeling. PATMOS 2013: 235-238
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/SuryadevaraSMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/SuryadevaraSMP13
Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frédéric Mallet, Paul Pettersson:
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. SEFM 2013: 1-15
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sle/CombemaleDLMBBF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/CombemaleDLMBBF13
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
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/GomezDM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/GomezDM12
Carlos Gomez, Julien DeAntoni, Frédéric Mallet:
Multi-view Power Modeling Based on UML, MARTE and SysML. EUROMICRO-SEAA 2012: 17-20
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/Mallet12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/Mallet12
Frédéric Mallet:
Automatic generation of observers from MARTE/CCSL. RSP 2012: 86-92
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/LiuLHMZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/LiuLHMZ12
Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Miaomiao Zhang:
Formal Specification of Hybrid MARTE Statecharts. TASE 2012: 59-66
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/DeAntoniM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/DeAntoniM12
Julien DeAntoni, Frédéric Mallet:
TimeSquare: Treat Your Models with Logical Time. TOOLS (50) 2012: 34-41
2011
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/ChenLMJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/ChenLMJ11
Xiaohong Chen, Jing Liu, Frédéric Mallet, Zhi Jin:
Modeling Timing Requirements in Problem Frames Using CCSL. APSEC 2011: 381-388
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/GarcesDM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/GarcesDM11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/YinML11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/YinML11
Ling Yin, Frédéric Mallet, Jing Liu:
Verification of MARTE/CCSL Time Requirements in Promela/SPIN. ICECCS 2011: 65-74
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/PerseilPRFDBJBMBFZBSCAFMG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/PerseilPRFDBJBMBFZBSCAFMG11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/time/GasconMD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/GasconMD11
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
[c24]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fdl/GlitiaDM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/GlitiaDM10
Calin Glitia, Julien DeAntoni, Frédéric Mallet:
Logical Time at Work: Capturing Data Dependencies and Platform Constraints. FDL 2010: 241-
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/YuTBGMAS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/YuTBGMAS10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/AndreMD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/AndreMD10
Charles André, Frédéric Mallet, Julien DeAntoni:
VHDL Observers for Clock Constraint Checking. SIES 2010: 98-107
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/DeAntoniMTRBMGRS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/DeAntoniMTRBMGRS10
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
2009
[c20]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fdl/KhanMAS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/KhanMAS09
Aamir Mehut Khan, Frédéric Mallet, Charles André, Robert de Simone:
IP-XACT components with abstract time characterization. FDL 2009: 1-6
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/MalletAD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/MalletAD09
Frédéric Mallet, Charles André, Julien DeAntoni:
Executing AADL Models with UML/MARTE. ICECCS 2009: 371-376
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/MalletPA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/MalletPA09
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André:
Marte CCSL to Execute East-ADL Timing Requirements. ISORC 2009: 249-253
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/MalletA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/MalletA09
Frédéric Mallet, Charles André:
On the Semantics of UML/MARTE Clock Constraints. ISORC 2009: 305-312
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/AndreM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/AndreM09
Charles André, Frédéric Mallet:
Specification and verification of time requirements with CCSL and Esterel. LCTES 2009: 167-176
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sle/MalletLAGT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/MalletLAGT09
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
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/MalletS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/MalletS08
Frédéric Mallet, Robert de Simone:
MARTE vs. AADL for Discrete-Event and Discrete-Time Domains. FDL (Selected Papers) 2008: 27-41
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/MalletSR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/MalletSR08
Frédéric Mallet, Robert de Simone, Laurent Rioux:
Event-Triggered vs. Time-Triggered Communications with UML MARTE. FDL 2008: 154-159
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/0002MS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/0002MS08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/simutools/MalletS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simutools/MalletS08
Frédéric Mallet, Robert de Simone:
MARTE: a profile for RT/E systems modeling, analysis-and simulation? SimuTools 2008: 43
2007
[c10]
- view
  - electronic edition @ ecsi-association.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/fdl/MalletAS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/MalletAS07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/models/AndreMS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AndreMS07
Charles André, Frédéric Mallet, Robert de Simone:
Modeling Time(s). MoDELS 2007: 559-573
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/rtcsa/AndreMP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtcsa/AndreMP07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/AndreMP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/AndreMP07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/MalletPA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/MalletPA06
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
2000
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/esm/MalletBD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esm/MalletBD00
Frédéric Mallet, Fernand Boéri, Jean-François Duboc:
SEP: Simulation framework to evaluate digital hardware architectures. ESM 2000: 355-359
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/MalletGB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/MalletGB00
Frédéric Mallet, Daniel Gaffé, Fernand Boéri:
Concurrent Control Systems: From Grafcet to VHDL. EUROMICRO 2000: 1230-1234
1999
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/MalletB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/MalletB99
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/esm/MalletBD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esm/MalletBD98
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]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/MalletBD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/MalletBD98
Frédéric Mallet, Fernand Boéri, Jean-François Duboc:
Hardware Architecture Modelling Using an Object-Oriented Method. EUROMICRO 1998: 10147-10153

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2010
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/10/AndreDMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/10/AndreDMS10
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

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2024
[e13]
- view
- export record
  dblp key:
  - conf/iti2/2023w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iti2/2023w
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
[e12]
- view
- export record
  dblp key:
  - conf/iti2/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iti2/2022
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]
- view
- export record
  dblp key:
  - conf/iti2/2022w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iti2/2022w
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
[e10]
- view
- export record
  dblp key:
  - conf/iti2/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iti2/2021
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]
- view
- export record
  dblp key:
  - conf/iti2/2021w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iti2/2021w
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]
- view
- export record
  dblp key:
  - conf/iti2/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iti2/2023
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
[e7]
- view
- export record
  dblp key:
  - conf/iti2/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iti2/2020
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]
- view
- export record
  dblp key:
  - conf/iti2/2020w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iti2/2020w
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
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/2019
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/2019s
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/2019s
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]
2019
[e3]
- view
- export record
  dblp key:
  - conf/icteri/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/2019
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]
- view
- export record
  dblp key:
  - conf/icteri/2019w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/2019w
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]
2017
[e1]
- view
- export record
  dblp key:
  - conf/tase/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/2017
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]

Coauthor Index

see FAQ

a service of

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.