Informacja

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

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


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:
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
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
Dostępność:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d4069cd193473321bcb24baf6a8cd7d8
https://hal.inria.fr/hal-03121933
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:
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
Tytuł:
Model-Based Systems Engineering for Cyber-Physical Systems: a (possible) roadmap for MARTE
Autorzy:
Mallet, Frédéric
Pokaż więcej
Temat:
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
ComputingMilieux_MISCELLANEOUS
Źródło:
3rd International workshop on TIming Performance engineering for Safety critical systems CONFESTA/TIPS
3rd International workshop on TIming Performance engineering for Safety critical systems CONFESTA/TIPS, Sep 2018, Beijing, China
Dostępność:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a7cff74e05b53febb10a80c4bd33d573
https://hal.inria.fr/hal-01898291
Tytuł:
Multi-View Design for Cyber-Physical Systems
Autorzy:
Zhao, Hui
Apvrille, Ludovic
Mallet, Frédéric
Pokaż więcej
Temat:
CPS
MDE
Heterogeneous Modeling
Multi-View Design
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Źródło:
PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications
PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications, May 2017, Kiev, Ukraine. pp.22-28
Dostępność:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f4c9e67bbccfd106fd54753546d98d2c
https://hal.inria.fr/hal-01669918
Tytuł:
MARTE for CPS and CPSoS: Present and Future, Methodology and Tools
Autorzy:
Mallet, Frédéric
Villar, Eugenio
Herrera, Fernando
Pokaż więcej
Temat:
System engineering
Systems of systems
Model-driven methodology
Cyber-Physical Systems
MARTE
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło:
Cyber-Physical System Design from an Architecture Analysis Viewpoint
Jean-Pierre Talpin. Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, pp.81-108, 2017, 978-981-10-4435-9. ⟨10.1007/978-981-10-4436-6_4⟩
Dostępność:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6668f809ffe1d0c20de01c9f8fef7296
https://hal.inria.fr/hal-01671190
Tytuł:
MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks
Autorzy:
Du, Dehui
Huang, Ping
Jiang, Kaiqiang
Mallet, Frédéric
Yang, Mingrui
Pokaż więcej
Temat:
stochastic hybrid automata
MARTE
statistical model checkin
energy- aware building
pCCSL
cyber-physical systems
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS
Źródło:
FACS 2016-The 13th International Conference on Formal Aspects of Component Software
FACS 2016-The 13th International Conference on Formal Aspects of Component Software, Oct 2016, Besançon, France
Dostępność:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3e8d4955406a34891b6d961b48c4b005
https://hal.inria.fr/hal-01394769
Tytuł:
Modeling SystemVerilog Assertions using SysML and CCSL
Autorzy:
Mehmood Khan, Aamir
Mallet, Frédéric
Muhammad, Rashid
Pokaż więcej
Temat:
System Specification
Time Model
Verification techniques
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło:
Electronic System Level Synthesis Conference
Electronic System Level Synthesis Conference, Jun 2015, San Francisco, United States
Dostępność:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a15ada8ccb4eddece0d14ebe721bca11
https://hal.inria.fr/hal-01257934
Tytuł:
Framework for Heterogeneous Modeling and Composition
Autorzy:
Vara Larsen, Matias Ezequiel
Deantoni, Julien
Mallet, Frédéric
Pokaż więcej
Temat:
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Źródło:
Troisième Conférence en IngénieriE du Logiciel
Conférence en IngénieriE du Logiciel
Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.81
Dostępność:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::75ccd8938dcde23895f2654dbf64aaec
https://hal.archives-ouvertes.fr/hal-01073202
Tytuł:
Lazy Parallel Synchronous Composition of In finite Transition Systems
Autorzy:
Romenska, Yuliia
Mallet, Frédéric
Pokaż więcej
Temat:
Synchronized Product
MARTE
CCSL
Verification
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło:
International Conference on ICT in Education, Research and Industrial Applications
International Conference on ICT in Education, Research and Industrial Applications, Jun 2013, Kherson, Ukraine. pp.130-145
Dostępność:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::06ca0d6d4f5b5fb131e6b4c20335e855
https://hal.inria.fr/hal-00839978

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

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

Formularz