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

Skocz do pozycji: 1.

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

na półce

Szczegóły

Skocz do pozycji: 2.

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

na półce

Szczegóły

Skocz do pozycji: 3.

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

na półce

Szczegóły

Skocz do pozycji: 4.

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

na półce

Szczegóły

Skocz do pozycji: 5.

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

na półce

Szczegóły

Skocz do pozycji: 6.

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

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: MARTE/CCSL for Modeling Cyber-Physical Systems
Autorzy:: Mallet, Frédéric; Pokaż więcej
Źródło:: Formal Modeling and Verification of Cyber-Physical Systems : 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015. :26-49

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 8.

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

na półce

Szczegóły

Skocz do pozycji: 9.

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

na półce

Szczegóły

Skocz do pozycji: 10.

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

na półce

Szczegóły

Skocz do pozycji: 11.

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

na półce

Szczegóły

Skocz do pozycji: 12.

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

na półce

Szczegóły

Skocz do pozycji: 13.

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

na półce

Szczegóły

Skocz do pozycji: 14.

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

na półce

Szczegóły

Skocz do pozycji: 15.

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 : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings. 7304:34-41
Materiał oryginalny:: This work has been partially supported by the RT-SIMEX ANR project (http://www.rtsimex.org) and the PRESTO ARTEMIS project (http://www.presto-embedded.eu/).

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 16.

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

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 17.

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

na półce

Szczegóły

Skocz do pozycji: 18.

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

na półce

Szczegóły

Skocz do pozycji: 19.

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

na półce

Szczegóły

Skocz do pozycji: 20.

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

na półce

Szczegóły

Informacja

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