Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Przeglądasz jako GOŚĆ

Wyszukujesz frazę ""Mallet, Frédéric"" wg kryterium: Autor


Tytuł :
A Model-Based Combination Language for Scheduling Verification
Autorzy :
Zhao, Hui
Apvrille, Ludovic
Mallet, FrédéricAff9, Aff10
Pokaż więcej
Źródło :
Model-Driven Engineering and Software Development : 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers. 1161:27-49
Materiał oryginalny :
This work was financially Supported by the CLARITY project and by a .
Książka elektroniczna
Tytuł :
Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint
Autorzy :
Gao, Fei
Mallet, Frédéric
Zhang, Min
Chen, Mingsong
Pokaż więcej
Temat :
Timing behavior
Parametric CCSL
Logical time
SMT
Uncertainty
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
DATE 2020 - Design, Automation and Test in Europe Conference
DATE 2020 - Design, Automation and Test in Europe Conference, Mar 2020, Grenoble, France
Tytuł :
Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint
Autorzy :
Gao, Fei
Mallet, Frédéric
Zhang, Min
Chen, Mingsong
Pokaż więcej
Temat :
SMT
Parametric CCSL
Uncertainty
Timing behavior
Logical time
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
DATE 2020 - Design, Automation and Test in Europe Conference
DATE 2020 - Design, Automation and Test in Europe Conference, Mar 2020, Grenoble, France
Tytuł :
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications
Autorzy :
Zhang, Yuanrui
Wu, Hengyang
Chen, Yixiang
Mallet, Frédéric
Pokaż więcej
Źródło :
Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. 1008:101-118
Materiał oryginalny :
F. Mallet—This work was partly funded by the French Government, through program #ANR-11-LABX-0031-01.
Książka elektroniczna
Tytuł :
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
Autorzy :
Zhang, Min
Song, Fu
Mallet, Frédéric
Chen, Xiaohong
Pokaż więcej
Źródło :
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings. 11424:61-78
Materiał oryginalny :
This work is supported by NSFC grants 61872146, 61532019 and 61761136011.
Książka elektroniczna
Tytuł :
A Language-based Multi-view Approach for Combining Functional and Security Models
Autorzy :
Zhao, Hui
Mallet, Frédéric
Apvrille, Ludovic
Pokaż więcej
Temat :
SysML
SysML-Sec
TTool
CPS
UML-like
ARCADIA
Multi-View Design
Security&Safety
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
MDE
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Źródło :
APSEC 2019 - Asia-Pacific Software Engineering Conference, Dec 2019, Putrajaya, Malaysia
APSEC 2019 - Asia-Pacific Software Engineering Conference
Tytuł :
A Language-based Multi-view Approach for Combining Functional and Security Models
Autorzy :
Zhao, Hui
Mallet, Frédéric
Apvrille, Ludovic
Pokaż więcej
Temat :
UML-like
SysML
SysML-Sec
ARCADIA
TTool
Multi-View Design
Security&Safety
MDE
CPS
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Źródło :
APSEC 2019 - Asia-Pacific Software Engineering Conference
APSEC 2019 - Asia-Pacific Software Engineering Conference, Dec 2019, Putrajaya, Malaysia
Tytuł :
Correction to: Information and Communication Technologies in Education, Research, and Industrial Applications
Autorzy :
Ermolayev, Vadim
Mallet, Frédéric
Yakovyna, Vitaliy
Mayr, Heinrich C.
Spivakovsky, Aleksander
Pokaż więcej
Źródło :
Information and Communication Technologies in Education, Research, and Industrial Applications : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers. 1175:C1-C1
Materiał oryginalny :
The updated version of the book can be found at https://doi.org/10.1007/978-3-030-39459-2
Książka elektroniczna
Tytuł :
A Logical Approach for the Schedulability Analysis of CCSL
Autorzy :
Zhang, Yuanrui
Mallet, Frédéric
Zhu, Huibiao
Chen, Yixiang
Pokaż więcej
Temat :
Index Terms-CCSL
dynamic logic
schedulability analysis
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
TASE 2019 - 13th International Symposium on Theoretical Aspects of Software Engineering
TASE 2019 - 13th International Symposium on Theoretical Aspects of Software Engineering, Jul 2019, Guilin, China. pp.25-32, ⟨10.1109/TASE.2019.00-23⟩

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies