Autor: "Mallet, Frédéric" - OpacWWW

Skocz do pozycji: 1 1.

Tytuł :: Some early allusions to Barren Island; with a few remarks thereon. (From the Records, Geological Survey of India.). [electronic resource]
Autorzy :: MALLET, Frederick Richard.; Pokaż więcej
Dostęp URL :: https://www.europeana.eu/item/2059209/data_sounds_ark__81055_vdc_0000000367E0?utm_source=api&utm_medium=api&utm_campaign=YuvuWBeCa

Szczegóły

Skocz do pozycji: 2 2.

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

Szczegóły

Skocz do pozycji: 3 3.

Tytuł :: Cancers de prostate non métastatiques traités par radiothérapie exclusive : devenir des patients selon la méthode d'évaluation ganglionnaire radiologique ou chirurgicale. Une analyse rétrospective multivariée
Autorzy :: Dat Nguyen, Tan; Pokaż więcej
Źródło :: In Annales d'urologie 2002 36(3):182-189
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 4 4.

Tytuł :: Non metastatic prostate cancers treated by exclusive radiotherapy: the different outcome of node negative patients according to surgical or radiological staging
Autorzy :: Dat Nguyen, Tan
Mallet, Frédéric
Petit, Michel
Lemaire, Philippe
Cauchois, Adéla
Loirette, Michel
Merle, Corinne; Pokaż więcej
Alternatywny tytuł :: Cancers de prostate non me´tastatiques traite´s par radiothe´rapie exclusive : devenir des patients selon la me´thode d'e´valuation ganglionnaire radiologique ou chirurgicale. Une analyse re´trospective multivarie´e
Źródło :: Annales d'Urologie. Apr2002, Vol. 36 Issue 3, p182. 8p.
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 5 5.

Tytuł :: [Non-metastatic prostate cancer treated with exclusive radiotherapy: prognosis of patients according to lymph node radiologic or surgical assessment method. Multivariate retrospective analysis].
Autorzy :: Nguyen TD; Institut Jean-Godinot, département d'Oncologie Radiothérapie, BP 171, Reims, France. />Mallet F
Petit M
Lemaire P
Cauchois A
Loirette M
Merle C; Pokaż więcej
Transliterated Title :: Cancers de prostate non métastatiques traités par radiothérapie exclusive: devenir des patients selon la méthode d'évaluation ganglionnaire radiologique ou chirurgicale. Une analyse rétrospective multivariée.
Źródło :: Annales d'urologie [Ann Urol (Paris)] 2002 May; Vol. 36 (3), pp. 182-9.
Typ publikacji :: Comparative Study; Journal Article
MeSH Terms :: Adenocarcinoma/*radiotherapy
Prostatic Neoplasms/*radiotherapy
Adenocarcinoma/mortality ; Adenocarcinoma/pathology ; Aged ; Aged, 80 and over ; Humans ; Lymph Node Excision ; Lymphatic Metastasis/diagnostic imaging ; Male ; Middle Aged ; Multivariate Analysis ; Prostatic Neoplasms/mortality ; Prostatic Neoplasms/pathology ; Radiography ; Retrospective Studies ; Survival Rate
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 6 6.

Tytuł :: MARTE: a new OMG profile RFP for the Modeling and Analysis of Real-Time Embedded Systems
Autorzy :: André, Charles
Cuccuru, Arnaud
Dekeyser, Jean-Luc
De Simone, Robert
Dumoulin, Cédric
Forget, Julien
Gautier, Thierry
Gérard, Sébastien
Mallet, Frédéric
Radermacher, Ansgar
Rioux, Laurent
Saunier, Thierry
Sorel, Yves; Pokaż więcej
Temat :: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :: DAC 2005 Workshop-UML for SoC Design
DAC 2005 Workshop-UML for SoC Design, Jun 2005, Anaheim California, United States
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6eab71c7a9a3caff5593050c7ebff7d3
https://hal.archives-ouvertes.fr/hal-02466757

Szczegóły

Skocz do pozycji: 7 7.

Tytuł :: Non-functional property analysis using UML2.0 and model transformations
Autorzy :: André, Charles
Mallet, Frédéric
Peraldi-Frati, Marie-Agnès; Pokaż więcej
Temat :: Model transformation
UML2.0
Non-functional property analysis
Distributed embedded systems
Time Petri Net
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Źródło :: [Research Report] RR-5913, INRIA. 2006, pp.18
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5082e92b062259d4306d37316beeb735
https://hal.inria.fr/inria-00124874

Szczegóły

Skocz do pozycji: 8 8.

Tytuł :: Modeling Time(s)
Autorzy :: André, Charles
Mallet, Frédéric
de Simone, Robert; Pokaż więcej
Źródło :: Model Driven Engineering Languages and Systems : 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings. 4735:559-573
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 9 9.

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

Szczegóły

Skocz do pozycji: 10 10.

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

Szczegóły

Skocz do pozycji: 11 11.

Tytuł :: An Automated Process for Designing UML Profiles
Autorzy :: Lagarde, François
Mallet, Frédéric
André, Charles
Gérard, Sébastien
Terrier, François; Pokaż więcej
Temat :: Domain-Specific Languages
Deep Instantiation
Domain model
Multi-level paradigm
UML Profile
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Źródło :: [Research Report] RR-6599, INRIA. 2008
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8489551e6c5ead1263db3194b4fbdfd1
https://hal.inria.fr/inria-00308386

Szczegóły

Skocz do pozycji: 12 12.

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

Szczegóły

Skocz do pozycji: 13 13.

Tytuł :: Clock Constraints in UML/MARTE CCSL
Autorzy :: André, Charles
Mallet, Frédéric; Pokaż więcej
Temat :: Time Model
UML MARTE
Logical Time
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :: [Research Report] RR-6540, INRIA. 2008
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a3290e99a027c88636c6f3576d97ed54
https://hal.inria.fr/inria-00280941

Szczegóły

Skocz do pozycji: 14 14.

Tytuł :: Modeling AADL Data Communications with UML MARTE
Autorzy :: André, CharlesAff4, Aff5
Mallet, FrédéricAff4, Aff5
de Simone, RobertAff4, Aff5; Pokaż więcej
Źródło :: Embedded Systems Specification and Design Languages : Selected contributions from FDL’07. 10:155-168
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 15 15.

Tytuł :: Marte CCSL and East-ADL2 Timing Requirements
Autorzy :: Mallet, Frédéric
Peraldi-Frati, Marie-Agnès
André, Charles; Pokaż więcej
Temat :: UML
East-ADL2
Automotive
Executable specifications
timing requirements
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :: [Research Report] RR-6781, INRIA. 2008
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b16ca163daaf2cd6b25563f3f25676f2
https://hal.inria.fr/inria-00348134

Szczegóły

Skocz do pozycji: 16 16.

Tytuł :: Marte Timing Requirement and Spirit IP-XACT
Autorzy :: Mehmood Khan, Aamir
Mallet, Frédéric
André, Charles
De Simone, Robert; Pokaż więcej
Temat :: MARTE
IP-XACT
Timing Requirement
ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.0: Elicitation methods (e.g., rapid prototyping, interviews, JAD)
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques/D.2.3.4: Standards
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION
Źródło :: [Research Report] RR-6647, INRIA. 2008
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::65742f717768918d7f6513f8b67343a3
https://hal.inria.fr/inria-00321953

Szczegóły

Skocz do pozycji: 17 17.

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

Szczegóły

Skocz do pozycji: 18 18.

Tytuł :: Multilevel Modeling Paradigm in Profile Definition
Autorzy :: Lagarde, François
Mallet, Frédéric
André, Charles
Gérard, Sébastien
Terrier, François; Pokaż więcej
Temat :: domain model
multilevel modeling
UML profiles
deep instantiation
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Źródło :: [Research Report] RR-6525, INRIA. 2008, pp.17
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2cb431fe378c1557f376f01dfb6a4810
https://hal.inria.fr/inria-00276653

Szczegóły

Skocz do pozycji: 19 19.

Tytuł :: UML/MARTE CCSL, Signal and Petri nets
Autorzy :: Mallet, Frédéric
André, Charles; Pokaż więcej
Temat :: UML/MARTE
CCSL
Logical Time
Signal
Petri net
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :: [Research Report] RR-6545, INRIA. 2008
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e08709887ce8505bb0c8af5b0624516e
https://hal.inria.fr/inria-00283077

Szczegóły

Skocz do pozycji: 20 20.

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

Szczegóły

Skocz do pozycji: 21 21.

Tytuł :: Clock constraint specification language: specifying clock constraints with UML/MARTE.
Autorzy :: Mallet, Frédéric; Pokaż więcej
Źródło :: Innovations in Systems & Software Engineering; Oct2008, Vol. 4 Issue 3, p309-314, 6p
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 22 22.

Tytuł :: Combining CCSL and Esterel to specify and verify time requirements
Autorzy :: André, Charles
Mallet, Frédéric; Pokaż więcej
Temat :: Time Model
MARTE
Synchronous languages
Esterel
SyncCharts
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages
ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :: [Research Report] RR-6839, INRIA. 2009
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4e3274daec935808fd9fe91f92a72c3f
https://hal.inria.fr/inria-00360528

Szczegóły

Skocz do pozycji: 23 23.

Tytuł :: MARTE vs. AADL for Discrete-Event and Discrete-Time Domains
Autorzy :: Mallet, Frédéric
de Simone, Robert; Pokaż więcej
Źródło :: Languages for Embedded Systems and their Applications : Selected Contributions on Specification, Design, and Verification from FDL’08. 36:27-41
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 24 24.

Tytuł :: Specification and verification of time requirements with CCSL and Esterel.
Autorzy :: André, Charles
Mallet, Frédéric; Pokaż więcej
Źródło :: Languages, Compilers, Tools & Theory for Embedded Systems; Jan2009, p167-176, 10p
: Konferencja

Szczegóły

Skocz do pozycji: 25 25.

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

Szczegóły

Skocz do pozycji: 26 26.

Tytuł :: Les modèles de temps de MARTE et CCSL
Autorzy :: André, Charles
Mallet, Frédéric; Pokaż więcej
Temat :: [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :: Génie logiciel
Génie logiciel, C & S, 2009, pp.44-49
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::80f30e0cb4e3544ba3a594591ad4582a
https://hal.inria.fr/inria-00416597

Szczegóły

Skocz do pozycji: 27 27.

Tytuł :: Specification and verification of time requirements with CCSL and Esterel.
Autorzy :: André, Charles
Mallet, Frédéric; Pokaż więcej
Źródło :: Proceedings of the 2009 ACM SIGPLAN/SIGBED Conference: Languages, Compilers & Tools for Embedded Systems; 6/19/2009, p167-176, 10p
: Konferencja

Szczegóły

Skocz do pozycji: 28 28.

Tytuł :: Specification and verification of time requirements with CCSL and Esterel.
Autorzy :: André, Charles
Mallet, Frédéric; Pokaż więcej
Źródło :: ACM / SIGPLAN Notices; Jun2009, Vol. 44 Issue 7, p167-176, 10p
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 29 29.

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

Szczegóły

Skocz do pozycji: 30 30.

Tytuł :: IP-XACT Components with Abstract Time Characterization
Autorzy :: Mallet, Frédéric
André, Charles
de Simone, Robert; Pokaż więcej
Źródło :: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s : Selected Contributions on Specification, Design, and Verification from FDL 2009. 63:3-18
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 31 31.

Tytuł :: RT-simex.
Autorzy :: DeAntoni, Julien
Mallet, Frédéric
Thomas, Frédéric
Reydet, Gonzague
Babau, Jean-Philippe
Mraidha, Chokri
Gauthier, Ludovic
Rioux, Laurent
Sordon, Nicolas; Pokaż więcej
Źródło :: SIGSOFT: Foundations of Software Engineering; Jan2010, p377-378, 2p
: Konferencja

Szczegóły

Skocz do pozycji: 32 32.

Tytuł :: An Automated Process for Implementing Multilevel Domain Models
Autorzy :: Mallet, Frédéric
Lagarde, François
André, Charles
Gérard, Sébastien
Terrier, François; Pokaż więcej
Źródło :: Software Language Engineering : Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers. 5969:314-333
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 33 33.

Tytuł :: The Time Model of Logical Clocks Available in the OMG MARTE Profile
Autorzy :: André, Charles
DeAntoni, Julien
Mallet, Frédéric
de Simone, Robert; Pokaż więcej
Źródło :: Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction. :201-227
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 34 34.

Tytuł :: The clock constraint specification language for building timed causality models.
Autorzy :: Mallet, Frédéric
DeAntoni, Julien
André, Charles
Simone, Robert; Pokaż więcej
Źródło :: Innovations in Systems & Software Engineering; Mar2010, Vol. 6 Issue 1/2, p99-106, 8p
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 35 35.

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

Szczegóły

Skocz do pozycji: 36 36.

Tytuł :: Un profil UML pour la modélisation multiniveau
Autorzy :: Mallet, Frédéric
André, Charles
Lagarde, François; Pokaż więcej
Temat :: multilevel modeling
UML profile
MARTE
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Źródło :: [Rapport de recherche] RR-7287, INRIA. 2010
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bb699ac5e171db2926e68057ac45879a
https://hal.inria.fr/inria-00482727

Szczegóły

Skocz do pozycji: 37 37.

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

Szczegóły

Skocz do pozycji: 38 38.

Tytuł :: Logical time at work: capturing data dependencies and platform constraints
Autorzy :: Glitia, Calin
Deantoni, Julien
Mallet, Frédéric; Pokaż więcej
Temat :: Logical time
synchronous data flow
CCSL
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
[INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing
[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing
Źródło :: Forum for Design Languages (FDL)
Forum for Design Languages (FDL), Electronic Chips & Systems design Initiative (ECSI), Sep 2010, Southampton, United Kingdom. pp.240-246
Dostępność :: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ddc24c1c89626210c836e463d44d3078
https://hal.inria.fr/inria-00545866

Szczegóły

Skocz do pozycji: 39 39.

Tytuł :: RT-simex.
Autorzy :: DeAntoni, Julien
Mallet, Frédéric
Thomas, Frédéric
Reydet, Gonzague
Babau, Jean-Philippe
Mraidha, Chokri
Gauthier, Ludovic
Rioux, Laurent
Sordon, Nicolas; Pokaż więcej
Źródło :: Proceedings of the Eighteenth ACM SIGSOFT International Symposium: Foundations of Software Engineering; 11/ 7/2010, p377-378, 2p
: Konferencja

Szczegóły

Skocz do pozycji: 40 40.

Tytuł :: RT-simex: retro-analysis of execution traces
Autorzy :: Deantoni, Julien
Mallet, Frédéric
Thomas, Frédéric
Reydet, Gonzague
Babau, Jean-Philippe
Mraidha, Chokri
Gauthier, Ludovic
Rioux, Laurent
Sordon, Nicolas; Pokaż więcej
Temat :: [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :: SIGSOFT FSE
SIGSOFT FSE, Nov 2010, Santa Fe, United States. pp.377-378, ⟨10.1145/1882291.1882357⟩
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d9d869c344e165125761189f87271379
https://hal.inria.fr/inria-00587116

Szczegóły

Skocz do pozycji: 41 41.

Tytuł :: Logical Time in Model-Driven Engineering
Autorzy :: Mallet, Frédéric; Pokaż więcej
Temat :: Logical Time
Embedded Systems
Temps logique
MARTE
CCSL
AADL
Systèmes embarqués
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Źródło :: Modeling and Simulation. Université Nice Sophia Antipolis, 2010
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8a068573892168269978475f5d1a5fb5
https://tel.archives-ouvertes.fr/tel-00541140

Szczegóły

Skocz do pozycji: 42 42.

Tytuł :: Logical Time in Model-Driven Engineering
Autorzy :: Mallet, Frédéric; Pokaż więcej
Temat :: Logical Time
Temps Logique
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :: Embedded Systems. Université Nice Sophia Antipolis, 2010
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::12d45040b07cbf393654d1ef77c4fb01
https://hal.archives-ouvertes.fr/tel-02113377

Szczegóły

Skocz do pozycji: 43 43.

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

Szczegóły

Skocz do pozycji: 44 44.

Tytuł :: Transforming CCSL partially-ordered Traces into UML Interaction Diagrams
Autorzy :: Garcés, Kelly
Deantoni, Julien
Mallet, Frédéric; Pokaż więcej
Temat :: Verification
Debugging
UML
Traces
Logical time
Model-Driven Engineering
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :: [Research Report] RR-7842, INRIA. 2011
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c8f91ae0e853546aee185f72a4fa8cca
https://hal.archives-ouvertes.fr/hal-00652987

Szczegóły

Skocz do pozycji: 45 45.

Tytuł :: Logical Time @ Work for the Modeling and Analysis of Embedded Systems
Autorzy :: Mallet, Frédéric; Pokaż więcej
Temat :: [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :: LAP LAMBERT Academic Publishing, pp.124, 2011, 978-3-8433-9388-1
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::faa5fbace9539e268ebc0bdbcd49876b
https://hal.inria.fr/inria-00561247

Szczegóły

Skocz do pozycji: 46 46.

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

Szczegóły

Skocz do pozycji: 47 47.

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

Szczegóły

Skocz do pozycji: 48 48.

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

Szczegóły

Skocz do pozycji: 49 49.

Tytuł :: TimeSquare: Treat Your Models with Logical Time.
Autorzy :: DeAntoni, Julien
Mallet, Frédéric; Pokaż więcej
Źródło :: Objects, Models, Components, Patterns (9783642305603); 2012, p34-41, 8p
: Książka

Szczegóły

Skocz do pozycji: 50 50.

Tytuł :: ÉVOLUTIONS RÉGLEMENTAIRES SÉCURISER LE FINANCEMENT DES PARCS D'ÉOLIENNES.
Autorzy :: Delavenne, Charles
Mallet, Frédéric; Pokaż więcej
Źródło :: Revue Banque/Banque Magazine. jan2012, Issue 744, p60-62. 3p.
: Periodyk

Szczegóły Pełny tekst

Skocz do pozycji: 51 51.

Tytuł :: Logical Time @ Work: Capturing Data Dependencies and Platform Constraints.
Autorzy :: Glitia, Calin
DeAntoni, Julien
Mallet, Frédéric; Pokaż więcej
Źródło :: System Specification & Design Languages; 2012, p223-238, 16p
: Książka

Szczegóły

Skocz do pozycji: 52 52.

Tytuł :: Logical Time @ Work: Capturing Data Dependencies and Platform Constraints
Autorzy :: Glitia, Calin
DeAntoni, Julien
Mallet, Frédéric; Pokaż więcej
Źródło :: System Specification and Design Languages : Selected Contributions from FDL 2010. 106:223-238
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 53 53.

Tytuł :: Correct Transformation from CCSL to Promela for verification
Autorzy :: Mallet, Frédéric
Yin, Ling; Pokaż więcej
Temat :: [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Computer Science::Logic in Computer Science
Źródło :: [Research Report] RR-7491, INRIA. 2012, pp.33
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::00bf7a18b28e74f55a359d098d98e783
https://hal.inria.fr/hal-00667849

Szczegóły

Skocz do pozycji: 54 54.

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

Szczegóły

Skocz do pozycji: 55 55.

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. June 2012 16(2):137-169
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 56 56.

Tytuł :: ECL: the Event Constraint Language, an Extension of OCL with Events
Autorzy :: Deantoni, Julien
Mallet, Frédéric; Pokaż więcej
Temat :: CCSL
OCL
time constraints
semantics
MoC
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :: [Research Report] RR-8031, INRIA. 2012, pp.24
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b18426d29f9d8fc33b3f2ea0b900d7ac
https://hal.inria.fr/hal-00721169

Szczegóły

Skocz do pozycji: 57 57.

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

Szczegóły

Skocz do pozycji: 58 58.

Tytuł :: TimeSquare
Autorzy :: Chleq, Nicolas
Ferrero, Benoît
Deantoni, Julien
Mallet, Frédéric
André, Charles; Pokaż więcej
Temat :: Profil MARTE
Embedded systems
UML
MDE
simulation
Clock
semantics
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Źródło :: France, Patent n° : IDDN.FR.001.430002.000.S.A.2012.000.10600. 2012
Dostępność :: https://explore.openaire.eu/search/publication?articleId=od______2592::0889a7a0a0e30bb9c3791a34e4f57360
https://hal.inria.fr/hal-01355710

Szczegóły

Skocz do pozycji: 59 59.

Tytuł :: TimeSquare
Autorzy :: Chleq, Nicolas
Ferrero, Benoît
Deantoni, Julien
Mallet, Frédéric
André, Charles; Pokaż więcej
Temat :: Profil MARTE
Embedded systems
UML
MDE
simulation
Clock
semantics
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Źródło :: France, Patent n° : IDDN.FR.001.430002.000.S.A.2012.000.10600. 2012
Dostępność :: https://explore.openaire.eu/search/publication?articleId=od_______166::0889a7a0a0e30bb9c3791a34e4f57360
https://hal.inria.fr/hal-01355710

Szczegóły

Skocz do pozycji: 60 60.

Tytuł :: TimeSquare
Autorzy :: Chleq, Nicolas
Ferrero, Benoît
Deantoni, Julien
Mallet, Frédéric
André, Charles; Pokaż więcej
Temat :: Profil MARTE
Embedded systems
UML
MDE
simulation
Clock
semantics
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Źródło :: France, Patent n° : IDDN.FR.001.430002.000.S.A.2012.000.10600. 2012
Dostępność :: https://explore.openaire.eu/search/publication?articleId=od______3379::0889a7a0a0e30bb9c3791a34e4f57360
https://hal.inria.fr/hal-01355710

Szczegóły

Skocz do pozycji: 61 61.

Tytuł :: TimeSquare
Autorzy :: Chleq, Nicolas
Ferrero, Benoît
Deantoni, Julien
Mallet, Frédéric
André, Charles; Pokaż więcej
Temat :: Profil MARTE
Embedded systems
UML
MDE
simulation
Clock
semantics
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Źródło :: France, Patent n° : IDDN.FR.001.430002.000.S.A.2012.000.10600. 2012
Dostępność :: https://explore.openaire.eu/search/publication?articleId=od_______212::0889a7a0a0e30bb9c3791a34e4f57360
https://hal.inria.fr/hal-01355710

Szczegóły

Skocz do pozycji: 62 62.

Tytuł :: TimeSquare
Autorzy :: Chleq, Nicolas
Ferrero, Benoît
Deantoni, Julien
Mallet, Frédéric
André, Charles; Pokaż więcej
Temat :: Profil MARTE
Embedded systems
UML
MDE
simulation
Clock
semantics
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Źródło :: France, Patent n° : IDDN.FR.001.430002.000.S.A.2012.000.10600. 2012
Dostępność :: https://explore.openaire.eu/search/publication?articleId=od_______165::0889a7a0a0e30bb9c3791a34e4f57360
https://hal.inria.fr/hal-01355710

Szczegóły

Skocz do pozycji: 63 63.

Tytuł :: Boundness Issues in CCSL Specifications.
Autorzy :: Mallet, Frédéric
Millo, Jean-Viven; Pokaż więcej
Źródło :: Formal Methods & Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings; 2013, p20-35, 16p
: Książka

Szczegóły

Skocz do pozycji: 64 64.

Tytuł :: Boundness Issues in CCSL Specifications
Autorzy :: Mallet, Frédéric
Millo, Jean-Viven; Pokaż więcej
Źródło :: Formal Methods and Software Engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings. 8144:20-35
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 65 65.

Tytuł :: Two Semantic Models for Clock Relations in the Clock Constraint Specification Language.
Autorzy :: Zholtkevych, Grygoriy
Mallet, Frédéric
Zaretska, Iryna
Zholtkevych, Galyna; Pokaż więcej
Źródło :: Information & Communication Technologies in Education, Research & Industrial Applications; 2013, p190-209, 20p
: Książka

Szczegóły

Skocz do pozycji: 66 66.

Tytuł :: Improving the Efficiency of Synchronized Product with Infinite Transition Systems.
Autorzy :: Romenska, Yuliia
Mallet, Frédéric; Pokaż więcej
Źródło :: Information & Communication Technologies in Education, Research & Industrial Applications; 2013, p285-307, 23p
: Książka

Szczegóły

Skocz do pozycji: 67 67.

Tytuł :: Two Semantic Models for Clock Relations in the Clock Constraint Specification Language
Autorzy :: Zholtkevych, Grygoriy
Mallet, Frédéric
Zaretska, Iryna
Zholtkevych, Galyna; Pokaż więcej
Źródło :: Information and Communication Technologies in Education, Research, and Industrial Applications : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers. 412:190-209
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 68 68.

Tytuł :: Improving the Efficiency of Synchronized Product with Infinite Transition Systems
Autorzy :: Romenska, YuliiaAff6, Aff7
Mallet, Frédéric; Pokaż więcej
Źródło :: Information and Communication Technologies in Education, Research, and Industrial Applications : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers. 412:285-307
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 69 69.

Tytuł :: Analysis Support for TADL2 Timing Constraints on EAST-ADL Models.
Autorzy :: Goknil, Arda
Suryadevara, Jagadish
Peraldi-Frati, Marie-Agnès
Mallet, Frédéric; Pokaż więcej
Źródło :: Software Architecture (9783642390302); 2013, p89-105, 17p
: Książka

Szczegóły

Skocz do pozycji: 70 70.

Tytuł :: Analysis Support for TADL2 Timing Constraints on EAST-ADL Models
Autorzy :: Goknil, Arda
Suryadevara, Jagadish
Peraldi-Frati, Marie-Agnès
Mallet, Frédéric; Pokaż więcej
Źródło :: Software Architecture : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings. 7957:89-105
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 71 71.

Tytuł :: Verifying MARTE/CCSL Mode Behaviors Using UPPAAL.
Autorzy :: Suryadevara, Jagadish
Seceleanu, Cristina
Mallet, Frédéric
Pettersson, Paul; Pokaż więcej
Źródło :: Software Engineering & Formal Methods (9783642405600); 2013, p1-15, 15p
: Książka

Szczegóły

Skocz do pozycji: 72 72.

Tytuł :: Verifying MARTE/CCSL Mode Behaviors Using UPPAAL
Autorzy :: Suryadevara, Jagadish
Seceleanu, Cristina
Mallet, Frédéric
Pettersson, Paul; Pokaż więcej
Źródło :: Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. 8137:1-15
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 73 73.

Tytuł :: Reifying Concurrency for Executable Metamodeling
Autorzy :: Combemale, Benoît
De Antoni, Julien
Larsen, Matias Vara
Mallet, Frédéric
Barais, Olivier
Baudry, Benoit
France, Robert B.; Pokaż więcej
Źródło :: Software Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings. 8225:365-384
Materiał oryginalny :: This work is partially supported by the ANR INS Project GEMOC (ANR-12-INSE-0011), and the CNRS PICS Project MBSAR.
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 74 74.

Tytuł :: Reifying Concurrency for Executable Metamodeling.
Autorzy :: Combemale, Benoȋt
De Antoni, Julien
Larsen, Matias Vara
Mallet, Frédéric
Barais, Olivier
Baudry, Benoit
France, Robert B.; Pokaż więcej
Źródło :: Software Language Engineering: 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013, Proceedings; 2013, p365-384, 20p
: Książka

Szczegóły

Skocz do pozycji: 75 75.

Tytuł :: Hybrid MARTE statecharts
Autorzy :: Liu, Jing
Liu, Ziwei
He, Jifeng
Mallet, Frédéric
Ding, Zuohua; Pokaż więcej
Źródło :: Frontiers of Computer Science: Selected Publications from Chinese Universities. February 2013 7(1):95-108
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 76 76.

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

Szczegóły

Skocz do pozycji: 77 77.

Tytuł :: State-based representation of CCSL operators
Autorzy :: Mallet, Frédéric
Millo, Jean-Vivien
Romenska, Yuliia; Pokaż więcej
Temat :: [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :: [Research Report] RR-8334, INRIA. 2013
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::61b47cfbfcd8fdcdbfde0b2debfd3be1
https://hal.inria.fr/hal-00846684

Szczegóły

Skocz do pozycji: 78 78.

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: 79 79.

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

Szczegóły

Skocz do pozycji: 80 80.

Tytuł :: MARTE/CCSL for Modeling Cyber-Physical Systems.
Autorzy :: Mallet, Frédéric; Pokaż więcej
Źródło :: Formal Modeling & Verification of Cyber-Physical Systems; 2015, p26-49, 24p
: Książka

Szczegóły

Skocz do pozycji: 81 81.

Tytuł :: Coalgebraic Semantic Model for the Clock Constraint Specification Language
Autorzy :: Mallet, FrédéricAff3, Aff4, Aff5
Zholtkevych, Grygoriy; Pokaż więcej
Źródło :: Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers. 476:174-188
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 82 82.

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: 83 83.

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

Szczegóły

Skocz do pozycji: 84 84.

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

Szczegóły

Skocz do pozycji: 85 85.

Tytuł :: An SMT-Based Approach to the Formal Analysis of MARTE/CCSL.
Autorzy :: Zhang, Min
Mallet, Frédéric
Zhu, Huibiao; Pokaż więcej
Źródło :: Formal Methods & Software Engineering (9783319478456); 2016, p433-449, 17p
: Książka

Szczegóły

Skocz do pozycji: 86 86.

Tytuł :: An SMT-Based Approach to the Formal Analysis of MARTE/CCSL
Autorzy :: Zhang, Min
Mallet, FrédéricAff16, Aff17, Aff18
Zhu, Huibiao; Pokaż więcej
Źródło :: Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings. 10009:433-449
Materiał oryginalny :: This research work was supported by National Natural Science Foundation of China (NSFC) projects: No. 61502171, No. 61361136002, and China HGJ Project: No. 2014ZX01038-101-001.
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 87 87.

Tytuł :: An Executable Semantics of Clock Constraint Specification Language and Its Applications
Autorzy :: Zhang, Min
Mallet, FrédéricAff12, Aff13, Aff14; Pokaż więcej
Źródło :: Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers. 596:37-51
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 88 88.

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

Szczegóły

Skocz do pozycji: 89 89.

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

Skocz do pozycji: 90 90.

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: 91 91.

Tytuł :: PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications
Autorzy :: Mallet, Frédéric
Grygoriy, Zholtkevych; Pokaż więcej
Temat :: [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :: May 2017, Kiev, Ukraine. 2017
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a8f8badbdc0f14d8f9b2848ab38a4d9b
https://hal.inria.fr/hal-01669920

Szczegóły

Skocz do pozycji: 92 92.

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

Szczegóły

Skocz do pozycji: 93 93.

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

Szczegóły

Skocz do pozycji: 94 94.

Tytuł :: pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems
Autorzy :: Du, Dehui
Huang, Ping
Jiang, Kaiqiang
Mallet, Frédéric; Pokaż więcej
Temat :: Software
Distributed computing
Unified Modeling Language
computer.programming_language
computer
Computer science
Footprint
Logical clock
Synchronization
Complex system
Cyber-physical system
Systems Modeling Language
Novelty
Cyber-Physical Systems
MARTE
pCCSL
Stochastic hybrid automata
Energy-aware building
Statistical model checking
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :: Science of Computer Programming
Science of Computer Programming, Elsevier, 2018, 166, pp.71-88. ⟨10.1016/j.scico.2018.05.005⟩
Dostępność :: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bcdc0669737bab0dbae08b25e096baeb

Szczegóły

Skocz do pozycji: 95 95.

Tytuł :: Periodic scheduling for MARTE/CCSL: Theory and practice.
Autorzy :: Zhang, Min
Dai, Feng
Mallet, Frédéric Frederic.Mallet@unice.fr; Pokaż więcej
Źródło :: Science of Computer Programming. Mar2018, Vol. 154, p42-60. 19p.
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 96 96.

Tytuł :: Smart IoT for Mobility: Automating of Mobility Value Chain through the Adoption of Smart Contracts within IoT Platforms
Autorzy :: Verdier, François
De Filippi, Primavera
Mallet, Frédéric
Collet, Philippe
Arena , Lise
Attour , Amel
Ballator, Marta
Chessa, Michela
Festré, Agnès
Guitton-Ouhamou, Patricia
Bernhard, Raphaël
Miramond, Benoit; Pokaż więcej
Temat :: IoT
privacy data
smart contracts
social impacts
trust
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Źródło :: 17th Driving Simulation & Virtual Reality Conference (DSC 2018)
17th Driving Simulation & Virtual Reality Conference (DSC 2018), Sep 2018, Antibes, France
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::77ea7b245c5bcf312b1c2906fd069e85
https://hal.archives-ouvertes.fr/hal-01903049

Szczegóły

Skocz do pozycji: 97 97.

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

Szczegóły

Skocz do pozycji: 98 98.

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: 99 99.

Tytuł :: Sample-Guided Automated Synthesis for CCSL Specifications.
Autorzy :: Ming Hu
Tongquan Wei
Min Zhang
Mallet, Frédéric
Mingsong Chen; Pokaż więcej
Temat :: ELECTRONIC design automation
EMBEDDED computer systems
NATURAL language processing
SCALABILITY
PROGRAMMING languages
Źródło :: DAC: Annual ACM/IEEE Design Automation Conference; 2019, Issue 56, p979-984, 6p
: Konferencja

Szczegóły

Skocz do pozycji: 100 100.

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

Informacja

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

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

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język