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

Skocz do pozycji: 1 1.

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

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

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

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

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

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

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

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

Szczegóły

Skocz do pozycji: 9 9.

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

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

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

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
Temat :: UNIFIED modeling language
DATA flow computing
EMBEDDED computer systems
SCHEDULING software
SIGNAL processing
Źródło :: Design Automation for Embedded Systems; Jun2012, Vol. 16 Issue 2, p137-169, 33p
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 13 13.

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

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

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

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

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

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

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; Feb2013, Vol. 7 Issue 1, p95-108, 14p
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 20 20.

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; Oct2013, Vol. 7 Issue 5, p650-672, 23p
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 21 21.

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

Tytuł :: Coalgebraic Semantic Model for the Clock Constraint Specification Language.
Autorzy :: Mallet, Frédéric
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; 2015, p174-188, 15p
: Książka

Szczegóły

Skocz do pozycji: 23 23.

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
Temat :: DATA flow computing
EMBEDDED computer systems
UNIFIED modeling language
APPLICATION software
COMPUTER science
Źródło :: Design Automation for Embedded Systems; Mar2015, Vol. 19 Issue 1/2, p1-33, 33p
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 24 24.

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

Tytuł :: An Executable Semantics of Clock Constraint Specification Language and Its Applications.
Autorzy :: Zhang, Min
Mallet, Frédéric; 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; 2016, p37-51, 15p
: Książka

Szczegóły

Skocz do pozycji: 26 26.

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

Tytuł :: A framework to specify system requirements using natural interpretation of UML/MARTE diagrams.
Autorzy :: Khan, Aamir M.
Mallet, Frédéric
Rashid, Muhammad; Pokaż więcej
Temat :: UNIFIED modeling language
COMPUTATIONAL complexity
SEMANTICS
EMBEDDED computer systems
GRAPHICAL modeling (Statistics)
Źródło :: Software & Systems Modeling; Feb2019, Vol. 18 Issue 1, p11-37, 27p
: Czasopismo naukowe

Szczegóły Pełny tekst Pełny tekst

Skocz do pozycji: 28 28.

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

Szczegóły

Skocz do pozycji: 29 29.

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; Jun2020, Vol. 14 Issue 3, pN.PAG-N.PAG, 1p
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 30 30.

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; Aug2022, Vol. 16 Issue 4, p1-3, 3p
: Czasopismo naukowe

Szczegóły

Informacja

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

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

Aktywne filtry:

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język