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

Dear user, the application need JavaScript support. Please enable JavaScript in your browser.

You search for a phrase ""Mallet, Frédéric"" according to the criterion: Author

Showing 1-12 from 12 results

Select items

Go to position: 1.

Title:: A dynamic logic for verification of synchronous models based on theorem proving
Authors:: Zhang, Yuanrui
Mallet, Frédéric
Liu, ZhimingAff1, Aff3, IDs1170402213744_cor3; Show more
Source:: Frontiers of Computer Science. 16(4)

Academic Journal

in the bookshelf

Details

Go to position: 2.

Title:: A verification framework for spatio-temporal consistency language with CCSL as a specification language
Authors:: Zhang, Yuanrui
Mallet, Frédéric
Chen, Yixiang; Show more
Source:: Frontiers of Computer Science. 14(1):105-129

Academic Journal

in the bookshelf

Details

Go to position: 3.

Title:: A framework to specify system requirements using natural interpretation of UML/MARTE diagrams
Authors:: Khan, Aamir M.
Mallet, Frédéric
Rashid, Muhammad; Show more
Source:: Software & Systems Modeling. 18(1):11-37

Academic Journal

in the bookshelf

Full Text Full Text Details

Go to position: 4.

Title:: TRAP: trace runtime analysis of properties
Authors:: Yue, DaianAff1, Aff2
Joloboff, VaniaAff1, Aff2
Mallet, FrédéricAff1, Aff3; Show more
Source:: Frontiers of Computer Science. 14(3)

Academic Journal

in the bookshelf

Details

Go to position: 5.

Title:: Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE
Authors:: Glitia, Calin
DeAntoni, Julien
Mallet, Frédéric
Millo, Jean-Vivien
Boulet, Pierre
Gamatié, Abdoulaye; Show more
Source:: Design Automation for Embedded Systems: An International Journal. March 2015 19(1-2):1-33

Academic Journal

in the bookshelf

Details

Go to position: 6.

Title:: Scenario-based verification in presence of variability using a synchronous approach
Authors:: Millo, Jean-Vivien
Mallet, Frédéric
Coadou, Anthony
Ramesh, S.; Show more
Source:: Frontiers of Computer Science: Selected Publications from Chinese Universities. October 2013 7(5):650-672

Academic Journal

in the bookshelf

Details

Go to position: 7.

Title:: Hybrid MARTE statecharts
Authors:: Liu, Jing
Liu, Ziwei
He, Jifeng
Mallet, Frédéric
Ding, Zuohua; Show more
Source:: Frontiers of Computer Science: Selected Publications from Chinese Universities. February 2013 7(1):95-108

Academic Journal

in the bookshelf

Details

Go to position: 8.

Title:: Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte
Authors:: Glitia, Calin
DeAntoni, Julien
Mallet, Frédéric
Millo, Jean-Vivien
Boulet, Pierre
Gamatié, Abdoulaye; Show more
Source:: Design Automation for Embedded Systems: An International Journal. June 2012 16(2):137-169

Academic Journal

in the bookshelf

Details

Go to position: 9.

Title:: The clock constraint specification language for building timed causality models: Application to synchronous data flow graphs
Authors:: Mallet, Frédéric
DeAntoni, Julien
André, Charles
de Simone, Robert; Show more
Source:: Innovations in Systems and Software Engineering: A NASA Journal. March 2010 6(1-2):99-106

Academic Journal

in the bookshelf

Details

Go to position: 10.

Title:: Clock constraint specification language: specifying clock constraints with UML/MARTE
Authors:: Mallet, Frédéric; Show more
Source:: Innovations in Systems and Software Engineering: A NASA Journal. October 2008 4(3):309-314

Academic Journal

in the bookshelf

Details

Go to position: 11.

Title:: Logical time
Authors:: Mallet, Frédéric
André, Charles
de Simone, Robert; Show more
Source:: ACM SIGSOFT Software Engineering Notes; January 2011, Vol. 36 Issue: 1 p1-8, 8p

Periodical

in the bookshelf

Details

Go to position: 12.

Title:: TRAP: trace runtime analysis of properties
Authors:: Yue, Daian
Joloboff, Vania
Mallet, Frédéric; Show more
Source:: Frontiers of Computer Science; June 2020, Vol. 14 Issue: 3

Periodical

in the bookshelf

Details

Showing 1-12 from 12 results

We use cookies to help identify your computer so we can tailor your user experience, track shopping basket contents and remember where you are in the order process.

Information

You search for a phrase ""Mallet, Frédéric"" according to the criterion: Author

Data source

Restrict to:

Select databases

Source Type

Subject

Publisher

Publication

Language