Wszystkie pola: "Mallet, Frédéric" - OpacWWW

Skocz do pozycji: 1 1.

Informacja :: Dostęp do tej pozycji wymaga zalogowania się.
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 2 2.

Tytuł :: A verification framework for spatio-temporal consistency language with CCSL as a specification language
Autorzy :: Zhang, Yuanrui
Mallet, Frédéric
Chen, Yixiang; Pokaż więcej
Źródło :: Frontiers of Computer Science. 14(1):105-129
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 3 3.

Informacja :: Dostęp do tej pozycji wymaga zalogowania się.
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 4 4.

Tytuł :: Model-driven approach for the design of Multi-Chain Smart Contracts
Autorzy :: Barisic, Ankica
Zhu, Enlin
Mallet, Frédéric; Pokaż więcej
Temat :: [SCCO.COMP]Cognitive science/Computer science
Źródło :: Crossref
3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS)
3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Sep 2021, Paris, France
Dostępność :: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::758772658e75251e17df20a26553d8aa
http://xplorestaging.ieee.org/ielx7/9568781/9569777/09569809.pdf?arnumber=9569809

Szczegóły

Skocz do pozycji: 5 5.

Tytuł :: An Approach to Ensure Safety of Autonomous Vehicles in Planned Trajectories
Autorzy :: Abou Faysal, Joelle
Zalmai, Nour
Barisic, Ankica
Mallet, Frédéric; Pokaż więcej
Temat :: Operational Design Domain
autonomous vehicles
model development and verification
test and simulation
specific design domains
automotive model-based safety design
formal rules
[INFO]Computer Science [cs]
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Źródło :: FDL 2021 Forum on specification & Design Languages
FDL 2021 Forum on specification & Design Languages, Sep 2021, ANTIBES, France
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::85803e078497c2839ff6a1a4c77352f9
https://hal.archives-ouvertes.fr/hal-03331199

Szczegóły

Skocz do pozycji: 6 6.

Tytuł :: TRAP: trace runtime analysis of properties
Autorzy :: Yue, DaianAff1, Aff2
Joloboff, VaniaAff1, Aff2
Mallet, FrédéricAff1, Aff3; Pokaż więcej
Źródło :: Frontiers of Computer Science. 14(3)
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 7 7.

Tytuł :: A framework to specify system requirements using natural interpretation of UML/MARTE diagrams
Autorzy :: Khan, Aamir M.
Mallet, Frédéric
Rashid, Muhammad; Pokaż więcej
Źródło :: Software & Systems Modeling. 18(1):11-37
: Czasopismo naukowe

Szczegóły Pełny tekst Pełny tekst

Skocz do pozycji: 8 8.

Tytuł :: EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles
Autorzy :: Abou Faysal, Joelle
Zalmai, Nour
Barisic, Ankica
Mallet, Frederic; Pokaż więcej
Źródło :: Advances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings. 1481:101-111
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 9 9.

Tytuł :: EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles
Autorzy :: Abou Faysal, Joelle
Zalmai, Nour
Barisic, Ankica
Mallet, Frédéric; Pokaż więcej
Temat :: Rule-Based Planner
Formal methods
Testing and simulating
Model development and verification
Safety
Autonomous cars
[INFO]Computer Science [cs]
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Źródło :: MEDI 2021-10th International Conference on Model and Data Engineering
MEDI 2021-10th International Conference on Model and Data Engineering, Jun 2021, Tallinn, Estonia
Crossref
Dostępność :: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ff93e14a003672864d9e9fe83a3c9bce
https://hal.archives-ouvertes.fr/hal-03331190

Szczegóły

Skocz do pozycji: 10 10.

Informacja :: Dostęp do tej pozycji wymaga zalogowania się.
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 11 11.

Tytuł :: Formally Verifying Sequence Diagrams for Safety Critical Systems
Autorzy :: Chen, Xiaohong
Mallet, Frédéric
Liu, Xiaoshan; Pokaż więcej
Temat :: Safety Critical Systems
Sequence Diagram
Clock Constraint Specification Language
Formal Verification
Safety Requirements
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :: TASE 2020-14th International Symposium on Theoretical Aspects of Software Engineering
TASE 2020-14th International Symposium on Theoretical Aspects of Software Engineering, Dec 2020, Hangzhou, China
Crossref
Dostępność :: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d4069cd193473321bcb24baf6a8cd7d8
https://hal.inria.fr/hal-03121933

Szczegóły

Skocz do pozycji: 12 12.

Informacja :: Dostęp do tej pozycji wymaga zalogowania się.
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 13 13.

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

Szczegóły

Skocz do pozycji: 14 14.

Tytuł :: Time in SCCharts
Autorzy :: Schulz-Rosengarten, Alexander
von Hanxleden, Reinhard
Mallet, Frédéric
de Simone, Robert
Deantoni, Julien; Pokaż więcej
Źródło :: Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2018. 611:1-25
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 15 15.

Informacja :: Dostęp do tej pozycji wymaga zalogowania się.
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 16 16.

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

Szczegóły

Skocz do pozycji: 17 17.

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

Szczegóły

Skocz do pozycji: 18 18.

Tytuł :: A Model-Based Combination Language for Scheduling Verification
Autorzy :: Zhao, Hui
Apvrille, Ludovic
Mallet, Frédéric; Pokaż więcej
Temat :: AADL
SysML
Multi- View Design
Combination Modeling Language
MDE
CPS
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Software deployment
Software engineering
business.industry
business
System model
Software
Competence (human resources)
Computer science
Universal language
language.human_language
language
Systems Modeling Language
Scheduling (computing)
Global consistency
Źródło :: Model-Driven Engineering and Software Development
Model-Driven Engineering and Software Development, Springer International Publishing, 2020
Crossref
MODELSWARD (Revised Selected Papers)
Dostępność :: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0a60e20cdcdc40f73e8e89671c4478bb
https://hal.telecom-paris.fr/hal-02430903

Szczegóły

Skocz do pozycji: 19 19.

Tytuł :: Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE
Autorzy :: Glitia, Calin
DeAntoni, Julien
Mallet, Frédéric
Millo, Jean-Vivien
Boulet, Pierre
Gamatié, Abdoulaye; Pokaż więcej
Źródło :: Design Automation for Embedded Systems: An International Journal. March 2015 19(1-2):1-33
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 20 20.

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

Szczegóły

Skocz do pozycji: 21 21.

Tytuł :: Scenario-based verification in presence of variability using a synchronous approach
Autorzy :: Millo, Jean-Vivien
Mallet, Frédéric
Coadou, Anthony
Ramesh, S.; Pokaż więcej
Źródło :: Frontiers of Computer Science: Selected Publications from Chinese Universities. October 2013 7(5):650-672
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 22 22.

Tytuł :: Meta-models Combination for Reusing Verification Techniques
Autorzy :: Zhao, Hui
Apvrille, Ludovic
Mallet, Frédéric; Pokaż więcej
Temat :: Computer science
System model
Software engineering
business.industry
business
Reuse
Model transformation
computer.programming_language
computer
Global consistency
Universal language
language.human_language
language
Software
Competence (human resources)
Software deployment
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :: Crossref
MODELSWARD
MODELSWARD 2019-7th International Conference on Model-Driven Engineering and Software Development
MODELSWARD 2019-7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.39-50, ⟨10.5220/0007261000390050⟩
Dostępność :: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::65849510f1aebfc1cd86edc4a85e4f17

Szczegóły

Skocz do pozycji: 23 23.

Tytuł :: From Logical Time Scheduling to Real-Time Scheduling
Autorzy :: Mallet, Frédéric
Zhang, Min; Pokaż więcej
Temat :: [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :: 39th IEEE Real-Time Systems Symposium
39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::14e31935433d56444382cea7bc26cd0e
https://hal.inria.fr/hal-01971976

Szczegóły

Skocz do pozycji: 24 24.

Tytuł :: MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks
Autorzy :: Du, Dehui
Huang, Ping
Jiang, Kaiqiang
Mallet, FrédéricAff15, Aff16, Aff17
Yang, Mingrui; Pokaż więcej
Źródło :: Formal Aspects of Component Software : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. 10231:111-133
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 25 25.

Tytuł :: MARTE for CPS and CPSoS : Present and Future, Methodology and Tools
Autorzy :: Mallet, Frédéric
Villar, Eugenio
Herrera, Fernando; Pokaż więcej
Źródło :: Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings. :81-108
: Książka elektroniczna

Szczegóły

Informacja

Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

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

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język