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

Skocz do pozycji: 1.

Tytuł:: A dynamic logic for verification of synchronous models based on theorem proving
Autorzy:: Zhang, Yuanrui
Mallet, Frédéric
Liu, Zhiming; Pokaż więcej
Źródło:: Frontiers of Computer Science; August 2022, Vol. 16 Issue: 4

Periodyk

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: TRAP: trace runtime analysis of properties
Autorzy:: Yue, Daian
Joloboff, Vania
Mallet, Frédéric; Pokaż więcej
Źródło:: Frontiers of Computer Science; June 2020, Vol. 14 Issue: 3

Periodyk

na półce

Szczegóły

Skocz do pozycji: 3.

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; February 2020, Vol. 14 Issue: 1 p105-129, 25p

Periodyk

na półce

Szczegóły

Skocz do pozycji: 4.

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

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 5.

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

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 6.

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

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

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

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

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

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

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

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; October 2013, Vol. 7 Issue: 5 p650-672, 23p

Periodyk

na półce

Szczegóły

Skocz do pozycji: 13.

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; February 2013, Vol. 7 Issue: 1 p95-108, 14p

Periodyk

na półce

Szczegóły

Skocz do pozycji: 14.

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

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

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

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

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

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

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 20.

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:: Banque Magazine / Revue Banque. jan2012, Issue 744, p60-62. 3p.

Periodyk

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 21.

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

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 22.

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

Tytuł:: Logical time
Autorzy:: Mallet, Frédéric
André, Charles
de Simone, Robert; Pokaż więcej
Źródło:: ACM SIGSOFT Software Engineering Notes; January 2011, Vol. 36 Issue: 1 p1-8, 8p

Periodyk

na półce

Szczegóły

Skocz do pozycji: 24.

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

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

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

Skocz do pozycji: 27.

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

na półce

Szczegóły

Skocz do pozycji: 28.

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

na półce

Szczegóły

Skocz do pozycji: 29.

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

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