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


Wyświetlanie 1-61 z 61
Tytuł :
Concurrent control system: from Grafcet to VHDL
Autorzy :
Mallet , Frédéric
Gaffé , D.
Boéri , F.
Pokaż więcej
Temat :
[ SPI.ELEC ] Engineering Sciences [physics]/Electromagnetism
Specification
Modelling
GRAFCET
VHDL
programmable components
FPGA
[SPI.ELEC]Engineering Sciences [physics]/Electromagnetism
Źródło :
Euromicro 2000
Euromicro 2000, Sep 2000, Maastricht, Netherlands. pp.230-234, 2000
Euromicro 2000, Sep 2000, Maastricht, Netherlands. pp.230-234
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f5e8552ac5af3008ab6d8882f8750c2b
https://hal.archives-ouvertes.fr/hal-00973434
Tytuł :
Modeling of Immediate vs. Delayed Data Communications: from AADL to UML MARTE
Autorzy :
André, Charles
Mallet, Frédéric
De Simone, Robert
Pokaż więcej
Temat :
UML
MARTE
Time
AADL
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
ECSI Forum on specification & Design Languages (FDL)
ECSI Forum on specification & Design Languages (FDL), ECSI, Sep 2007, Barcelona, Spain. pp.249-254
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::04b86daa0f7932f63c5da5746b0aafe4
https://hal.inria.fr/inria-00204484
Tytuł :
Time Modeling in MARTE
Autorzy :
André, Charles
Mallet, Frédéric
De Simone, Robert
Pokaż więcej
Temat :
UML
MARTE
Time
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
ECSI Forum on specification & Design Languages (FDL)
ECSI Forum on specification & Design Languages (FDL), ECSI, Sep 2007, Barcelona, Spain. pp.268-273
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1a5ecd3c704bdc65530eeb9c45b1fbc8
https://hal.inria.fr/inria-00204481
Tytuł :
CCSL: specifying clock constraints with UML/MARTE
Autorzy :
Mallet, Frédéric
Pokaż więcej
Temat :
UML profile
Time model
MARTE
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :
Innovations in Systems and Software Engineering
Innovations in Systems and Software Engineering, Springer Verlag, 2008, Special Issue on UML & Formal Methods, 4 (3), pp.309-314. ⟨10.1007/s11334-008-0055-2⟩
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::37d87f2d76d55b2cf8c4cafbfa6dc66a
https://hal.inria.fr/inria-00371371
Tytuł :
Marte, le nouveau standard UML pour les systèmes temps réel embarqués
Autorzy :
Demathieu, Sébastien
Gérard, Sébastien
Mallet, Frédéric
Pokaż więcej
Temat :
UML
MARTE
Standard
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :
ElectroniqueS
ElectroniqueS, Groupe01, 2008, pp.2-6
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f17a3d93fa122f534951bc7e49728edf
https://hal.inria.fr/inria-00371386
Tytuł :
Event-based vs. Time-Triggered Communications with UML Marte
Autorzy :
Mallet, Frédéric
De Simone, Robert
Rioux, Laurent
Pokaż więcej
Temat :
UML
AADL
event-based
time-triggered
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :
Forum on specification, verification & Design Languages (FDL'08)
Forum on specification, verification & Design Languages (FDL'08), ECSI, Sep 2008, Stuttgart, Germany. pp.154-159, ⟨10.1109/FDL.2008.4641438⟩
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d4c269775a542479eb9d73619bf7e480
https://hal.inria.fr/inria-00371392
Tytuł :
On the Formal Execution of UML and DSL Models
Autorzy :
Deantoni, Julien
Mallet, Frédéric
André, Charles
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
WIP of the 4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems
WIP of the 4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems, Apr 2009, Aussois, France
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::db5a4e825c46521b8be10188fcd3bfd1
https://hal.inria.fr/inria-00587100
Tytuł :
Un processus automatique pour concevoir les profils UML
Autorzy :
Mallet, Frédéric
André, Charles
Lagarde, François
Pokaż więcej
Temat :
Modélisation multiniveau
profil UML
MARTE
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Źródło :
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, Lavoisier, 2010, 29 (5), pp.391-419
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8ea9a62a93e3b81e985e15054113a5c3
https://hal.inria.fr/inria-00482745
Tytuł :
Mise en œuvre du MDE pour la conception de systèmes embarqués: premiers résultats et perspectives du projet Lambda
Autorzy :
Demathieu, Sébastien
Bernard, Yves
Maillet-Contoz, Laurent
Bordin, Matteo
Mallet, Frédéric
Pokaż więcej
Temat :
Model-Based System Engineering
Embedded Systems
SysML
MARTE
AADL
IP-XACT
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :
Génie logiciel
Génie logiciel, C & S, 2010, pp.38-42
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ce39b8d0f73586250684a8d23ef066ae
https://hal.inria.fr/inria-00545266
Tytuł :
Logical Time: observation vs. implementation
Autorzy :
Mallet, Frédéric
André, Charles
De Simone, Robert
Pokaż więcej
Temat :
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :
Software Engineering Notes
Software Engineering Notes, Association for Computing Machinery, 2011, 36 (1), pp.1--8. ⟨10.1145/1921532.1921554⟩
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dc020940c43c4ba579b08e5372edf52d
https://hal.inria.fr/inria-00576647
Tytuł :
Combining SystemC, IP-XACT and UML/MARTE in model-based SoC design
Autorzy :
Le Tallec, Jean-François
Deantoni, Julien
De Simone, Robert
Ferrero, Benoît
Mallet, Frédéric
Maillet-Contoz, Laurent
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011)
Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), Mar 2011, Grenoble, France
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::109f2ab4fa00311a5a1906d4dc5ca66e
https://hal.inria.fr/inria-00601840
Tytuł :
Logical time @ work: the RT-Simex project
Autorzy :
Deantoni, Julien
Mallet, Frédéric
André, Charles
Thomas, Frédéric
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
Sophia Antipolis Formal Approach
Sophia Antipolis Formal Approach, Apr 2011, Sophia, France
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9b751f4d5f5fad744171ae7bfaba4a7d
https://hal.inria.fr/inria-00587151
Tytuł :
Semantic Multi-View model for Low-Power
Autorzy :
Gomez, Carlos
Deantoni, Julien
Mallet, Frédéric
Pokaż więcej
Temat :
Power Management
UPF
CPF
MARTE
IEEE 1801
CCSL
TimeSquare
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Źródło :
Ingénierie Dirigée par les Modèles (IDM)
Journées nationales IDM, CAL, et du GDR GPL
Journées nationales IDM, CAL, et du GDR GPL, Jun 2011, Lille, France. pp.19
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0eb8a9f3ec6e96187ba339602fd00eef
https://hal.archives-ouvertes.fr/hal-00596239
Tytuł :
TimeSquare: Treat your Models with Logical Time
Autorzy :
Deantoni, Julien
Mallet, Frédéric
Pokaż więcej
Temat :
TimeSquare
Logical time
Embedded systems
Polychronous specifications
Model driven Engineering
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Model-driven architecture
computer.programming_language
computer
Java code
Clock constraint specification language
Eclipse
Specification language
Unified Modeling Language
Computer science
Plug-in
computer.software_genre
Programming language
Time model
Źródło :
TOOLS-50th International Conference on Objects, Models, Components, Patterns-2012
TOOLS-50th International Conference on Objects, Models, Components, Patterns-2012, Czech Technical University in Prague, in co-operation with ETH Zurich, May 2012, Prague, Czech Republic. pp.34-41, ⟨10.1007/978-3-642-30561-0_4⟩
TOOLS (50)
Dostępność :
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::13175a4425e645f42b66d69061d985be
https://hal.inria.fr/hal-00688590
Tytuł :
Schedulability analysis by exhaustive state space construction: translating CCSL to transition-based Generalized Buchi Automata
Autorzy :
Yin, Ling
Deantoni, Julien
Mallet, Frédéric
De Simone, Robert
Pokaż więcej
Temat :
CCSL
Scheduling
Automata
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
[Research Report] RR-8102, 2012, pp.22
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::65e7328b204f69501edde8215fd9879e
https://hal.inria.fr/hal-00743874
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
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ł :
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ł :
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ł :
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ł :
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ł :
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ł :
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
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ł :
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ł :
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
    Wyświetlanie 1-61 z 61

    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